Version: 1.13 
 _ data/zoo_json_reachability/LambdaNet_1.json -f output/flip/zoo_reach/flip/data/zoo_json_reachability/LambdaNet_1.json.subpaths
Flip subpaths generated in 0.164 seconds!
real 1.12
user 0.67
sys 0.06
<logging.Logger object at 0x7f4320c207d0>
I1217 13:33:00.245 2439535 flip.py:638] node 11 (11->41->11) adds LOOP: ANY ['11'] < ['41']
I1217 13:33:00.248 2439535 flip.py:564] node 36 adds BLACKHOLE: ALL ['41'] < ['36']
I1217 13:33:00.248 2439535 flip.py:564] node 37 adds BLACKHOLE: ALL ['41'] < ['37']
I1217 13:33:00.249 2439535 flip.py:564] node 38 adds BLACKHOLE: ALL ['41'] < ['38']
I1217 13:33:00.249 2439535 flip.py:564] node 40 adds BLACKHOLE: ALL ['41'] < ['40']
I1217 13:33:00.249 2439535 flip.py:564] node 39 adds BLACKHOLE: ALL ['41'] < ['39']
I1217 13:33:00.249 2439535 flip.py:564] node 2 adds BLACKHOLE: ALL ['33'] < ['2']
I1217 13:33:00.250 2439535 flip.py:564] node 32 adds BLACKHOLE: ALL ['32'] < ['33']
I1217 13:33:00.250 2439535 flip.py:564] node 16 adds BLACKHOLE: ALL ['16'] < ['11']
I1217 13:33:00.251 2439535 flip.py:564] node 13 adds BLACKHOLE: ALL ['13'] < ['11']
I1217 13:33:00.251 2439535 flip.py:564] node 14 adds BLACKHOLE: ALL ['14'] < ['11']
I1217 13:33:00.251 2439535 flip.py:564] node 15 adds BLACKHOLE: ALL ['15'] < ['11']
I1217 13:33:00.251 2439535 flip.py:564] node 30 adds BLACKHOLE: ALL ['30'] < ['11']
I1217 13:33:00.252 2439535 flip.py:564] node 29 adds BLACKHOLE: ALL ['29'] < ['11']
I1217 13:33:00.252 2439535 flip.py:564] node 8 adds BLACKHOLE: ALL ['8'] < ['11']
I1217 13:33:00.252 2439535 flip.py:564] node 7 adds BLACKHOLE: ALL ['7'] < ['11']
I1217 13:33:00.252 2439535 flip.py:564] node 6 adds BLACKHOLE: ALL ['6'] < ['11']
I1217 13:33:00.252 2439535 flip.py:564] node 4 adds BLACKHOLE: ALL ['4'] < ['11']
I1217 13:33:00.252 2439535 flip.py:564] node 5 adds BLACKHOLE: ALL ['5'] < ['11']
I1217 13:33:00.252 2439535 flip.py:564] node 3 adds BLACKHOLE: ALL ['3'] < ['11']
Restricted license - for non-production use only - expires 2022-01-13
I1217 13:33:00.260 2439535 lplib.py:51] Restricted license - for non-production use only - expires 2022-01-13
/nfs/home/student.aau.dk/rtollu18/.local/lib/python2.7/site-packages/pulp/pulp.py:1313: UserWarning: Spaces are not permitted in the name. Converted to '_'
  warnings.warn("Spaces are not permitted in the name. Converted to '_'")
Finished in  0.049686  seconds

*PREUPDATE*
	
*STEP 1*
	OP<10>: migrate
	OP<13>: migrate
	OP<14>: migrate
	OP<15>: migrate
	OP<16>: migrate
	OP<29>: migrate
	OP<3>: migrate
	OP<30>: migrate
	OP<32>: migrate
	OP<35>: migrate
	OP<4>: migrate
	OP<5>: migrate
	OP<6>: migrate
	OP<7>: migrate
	OP<8>: migrate
*STEP 2*
	OP<11>: migrate
	OP<33>: migrate
*STEP 3*
	OP<2>: migrate
	OP<41>: migrate
*STEP 4*
	OP<36>: migrate
	OP<37>: migrate
	OP<38>: migrate
	OP<39>: migrate
	OP<40>: migrate
*POSTUPDATE*
	
