Version: 1.13 
 _ data/zoo_json_reachability/Roedunet_1.json -f output/flip/zoo_reach/flip/data/zoo_json_reachability/Roedunet_1.json.subpaths
Flip subpaths generated in 0.159 seconds!
real 1.11
user 0.68
sys 0.04
<logging.Logger object at 0x7f7c6f2887d0>
I1217 13:32:27.193 2339931 flip.py:564] node 40 adds BLACKHOLE: ALL ['31'] < ['40']
I1217 13:32:27.193 2339931 flip.py:564] node 36 adds BLACKHOLE: ALL ['31'] < ['36']
I1217 13:32:27.194 2339931 flip.py:564] node 22 adds BLACKHOLE: ALL ['31'] < ['22']
I1217 13:32:27.194 2339931 flip.py:564] node 4 adds BLACKHOLE: ALL ['4'] < ['31']
Restricted license - for non-production use only - expires 2022-01-13
I1217 13:32:27.199 2339931 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.025131  seconds

*PREUPDATE*
	
*STEP 1*
	OP<0>: migrate
	OP<2>: migrate
	OP<21>: migrate
	OP<4>: migrate
*STEP 2*
	OP<31>: migrate
*STEP 3*
	OP<22>: migrate
	OP<36>: migrate
	OP<40>: migrate
*POSTUPDATE*
	
