runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3482603-1307576465/watcher-3482603-1307576465 -o /tmp/evaluation-result-3482603-1307576465/solver-3482603-1307576465 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482603-1307576465.opb -seed 696044499 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.43 0.10 0.03 4/432 16263
/proc/meminfo: memFree=29542180/32951124 swapFree=43324008/67111528
[pid=16263] ppid=16261 vsize=15908 CPUtime=0 cores=0,2,4,6
/proc/16263/stat : 16263 (python) S 16261 16263 16182 0 -1 4202496 945 0 0 0 0 0 0 0 17 0 1 0 869247030 16289792 821 33554432000 4194304 5683644 140737005642640 18446744073709551615 244446943232 0 2147483391 16781312 2 18446744071699199166 0 0 17 0 0 0 0
/proc/16263/statm: 3977 821 357 364 0 464 0
[startup+0.039525 s]
/proc/loadavg: 0.43 0.10 0.03 4/432 16263
/proc/meminfo: memFree=29542180/32951124 swapFree=43324008/67111528
[pid=16263] ppid=16261 vsize=18888 CPUtime=0.01 cores=0,2,4,6
/proc/16263/stat : 16263 (python) S 16261 16263 16182 0 -1 4202496 1251 0 0 0 1 0 0 0 17 0 1 0 869247030 19341312 1105 33554432000 4194304 5683644 140737005642640 18446744073709551615 244446943232 0 2147483391 16781312 2 18446744071699199166 0 0 17 0 0 0 0
/proc/16263/statm: 4722 1105 421 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18888
[startup+0.100511 s]
/proc/loadavg: 0.43 0.10 0.03 4/432 16263
/proc/meminfo: memFree=29542180/32951124 swapFree=43324008/67111528
[pid=16263] ppid=16261 vsize=84436 CPUtime=0.06 cores=0,2,4,6
/proc/16263/stat : 16263 (python) R 16261 16263 16182 0 -1 4202496 2388 0 0 0 4 2 0 0 17 0 1 0 869247030 86462464 2116 33554432000 4194304 5683644 140737005642640 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16263/statm: 21142 2116 706 364 0 1359 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 84436
[startup+0.300492 s]
/proc/loadavg: 0.43 0.10 0.03 4/432 16263
/proc/meminfo: memFree=29542180/32951124 swapFree=43324008/67111528
[pid=16263] ppid=16261 vsize=123740 CPUtime=0.17 cores=0,2,4,6
/proc/16263/stat : 16263 (python) R 16261 16263 16182 0 -1 4202496 5357 931 1 0 12 5 0 0 16 0 1 0 869247030 126709760 3744 33554432000 4194304 5683644 140737005642640 18446744073709551615 244446941189 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16263/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700435 s]
/proc/loadavg: 0.43 0.10 0.03 4/432 16263
/proc/meminfo: memFree=29542180/32951124 swapFree=43324008/67111528
[pid=16263] ppid=16261 vsize=262008 CPUtime=0.43 cores=0,2,4,6
/proc/16263/stat : 16263 (python) S 16261 16263 16182 0 -1 4202496 8387 931 1 0 29 14 0 0 15 0 1 0 869247030 268296192 6473 33554432000 4194304 5683644 140737005642640 18446744073709551615 244446943232 0 2147483391 16781312 2 18446744071699199166 0 0 17 0 0 0 0
/proc/16263/statm: 65502 6473 1677 364 0 5218 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 262008
[startup+1.50028 s]
/proc/loadavg: 0.43 0.10 0.03 3/428 16295
/proc/meminfo: memFree=29548532/32951124 swapFree=43324008/67111528
[pid=16263] ppid=16261 vsize=293480 CPUtime=0.55 cores=0,2,4,6
/proc/16263/stat : 16263 (python) S 16261 16263 16182 0 -1 4202496 9704 931 1 0 40 15 0 0 18 0 2 0 869247030 300523520 7213 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16263/statm: 73370 7213 1870 364 0 8257 0
[pid=16293] ppid=16263 vsize=283236 CPUtime=0 cores=0,2,4,6
/proc/16293/stat : 16293 (python) S 16263 16263 16182 0 -1 4202560 699 0 0 0 0 0 0 0 18 0 1 0 869247113 290033664 5688 33554432000 4194304 5683644 140737005642640 18446744073709551615 244446965263 0 0 16781312 33554946 18186044339140919556 0 0 17 6 0 0 0
/proc/16293/statm: 70809 5688 349 364 0 5696 0
[pid=16295] ppid=16293 vsize=2256 CPUtime=0.66 cores=0,2,4,6
/proc/16295/stat : 16295 (clasp-1.3.7-x86) R 16293 16295 16295 0 -1 4202496 582 0 0 0 66 0 0 0 19 0 1 0 869247113 2310144 325 33554432000 134512640 136139019 4292119392 18446744073709551615 134883401 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/16295/statm: 564 325 184 398 0 164 0
[pid=16263/tid=16294] ppid=16261 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/16263/task/16294/stat : 16294 (python) S 16261 16263 16182 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 869247113 300523520 7213 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554434 18446604453331368768 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 578972
[startup+3.10096 s]
/proc/loadavg: 0.43 0.10 0.03 3/436 16307
/proc/meminfo: memFree=29521684/32951124 swapFree=43324008/67111528
[pid=16263] ppid=16261 vsize=293480 CPUtime=0.55 cores=0,2,4,6
/proc/16263/stat : 16263 (python) S 16261 16263 16182 0 -1 4202496 9704 931 1 0 40 15 0 0 18 0 2 0 869247030 300523520 7213 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16263/statm: 73370 7213 1870 364 0 8257 0
[pid=16293] ppid=16263 vsize=283236 CPUtime=0 cores=0,2,4,6
/proc/16293/stat : 16293 (python) S 16263 16263 16182 0 -1 4202560 723 0 0 0 0 0 0 0 15 0 1 0 869247113 290033664 5691 33554432000 4194304 5683644 140737005642640 18446744073709551615 244446965263 0 0 16781312 33554946 2825876176239558916 0 0 17 6 0 0 0
/proc/16293/statm: 70809 5691 352 364 0 5696 0
[pid=16295] ppid=16293 vsize=2656 CPUtime=2.26 cores=0,2,4,6
/proc/16295/stat : 16295 (clasp-1.3.7-x86) R 16293 16295 16295 0 -1 4202496 655 0 0 0 226 0 0 0 25 0 1 0 869247113 2719744 398 33554432000 134512640 136139019 4292119392 18446744073709551615 134883456 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/16295/statm: 664 398 184 398 0 264 0
[pid=16263/tid=16294] ppid=16261 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/16263/task/16294/stat : 16294 (python) S 16261 16263 16182 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 869247113 300523520 7213 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554434 18446604453331368768 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 579372
[startup+6.30039 s]
/proc/loadavg: 0.72 0.16 0.05 3/436 16307
/proc/meminfo: memFree=29516896/32951124 swapFree=43324008/67111528
[pid=16263] ppid=16261 vsize=293480 CPUtime=0.55 cores=0,2,4,6
/proc/16263/stat : 16263 (python) S 16261 16263 16182 0 -1 4202496 9704 931 1 0 40 15 0 0 18 0 2 0 869247030 300523520 7213 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16263/statm: 73370 7213 1870 364 0 8257 0
[pid=16293] ppid=16263 vsize=283236 CPUtime=0.01 cores=0,2,4,6
/proc/16293/stat : 16293 (python) S 16263 16263 16182 0 -1 4202560 876 0 0 0 0 1 0 0 15 0 1 0 869247113 290033664 5715 33554432000 4194304 5683644 140737005642640 18446744073709551615 244446965263 0 0 16781312 33554946 18186037535912722692 0 0 17 4 0 0 0
/proc/16293/statm: 70809 5715 376 364 0 5696 0
[pid=16295] ppid=16293 vsize=3056 CPUtime=5.46 cores=0,2,4,6
/proc/16295/stat : 16295 (clasp-1.3.7-x86) R 16293 16295 16295 0 -1 4202496 756 0 0 0 546 0 0 0 25 0 1 0 869247113 3129344 499 33554432000 134512640 136139019 4292119392 18446744073709551615 134598561 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/16295/statm: 764 499 184 398 0 364 0
[pid=16263/tid=16294] ppid=16261 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/16263/task/16294/stat : 16294 (python) S 16261 16263 16182 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 869247113 300523520 7213 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554434 18446604453331368768 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 579772
[startup+12.7012 s]
/proc/loadavg: 0.82 0.19 0.06 3/436 16307
/proc/meminfo: memFree=29519384/32951124 swapFree=43324008/67111528
[pid=16263] ppid=16261 vsize=293480 CPUtime=0.55 cores=0,2,4,6
/proc/16263/stat : 16263 (python) S 16261 16263 16182 0 -1 4202496 9704 931 1 0 40 15 0 0 18 0 2 0 869247030 300523520 7213 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16263/statm: 73370 7213 1870 364 0 8257 0
[pid=16293] ppid=16263 vsize=283236 CPUtime=0.03 cores=0,2,4,6
/proc/16293/stat : 16293 (python) S 16263 16263 16182 0 -1 4202560 878 0 0 0 1 2 0 0 15 0 1 0 869247113 290033664 5715 33554432000 4194304 5683644 140737005642640 18446744073709551615 244446965263 0 0 16781312 33554946 72409437758827198 0 0 17 4 0 0 0
/proc/16293/statm: 70809 5715 376 364 0 5696 0
[pid=16295] ppid=16293 vsize=3472 CPUtime=11.86 cores=0,2,4,6
/proc/16295/stat : 16295 (clasp-1.3.7-x86) R 16293 16295 16295 0 -1 4202496 863 0 0 0 1186 0 0 0 25 0 1 0 869247113 3555328 606 33554432000 134512640 136139019 4292119392 18446744073709551615 134883454 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/16295/statm: 868 606 184 398 0 468 0
[pid=16263/tid=16294] ppid=16261 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/16263/task/16294/stat : 16294 (python) S 16261 16263 16182 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 869247113 300523520 7213 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554434 18446604453331368768 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 580188
[startup+25.5158 s]
/proc/loadavg: 1.16 0.30 0.10 3/436 16378
/proc/meminfo: memFree=29519148/32951124 swapFree=43324008/67111528
[pid=16263] ppid=16261 vsize=293480 CPUtime=0.55 cores=0,2,4,6
/proc/16263/stat : 16263 (python) S 16261 16263 16182 0 -1 4202496 9704 931 1 0 40 15 0 0 18 0 2 0 869247030 300523520 7213 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16263/statm: 73370 7213 1870 364 0 8257 0
[pid=16293] ppid=16263 vsize=283236 CPUtime=0.07 cores=0,2,4,6
/proc/16293/stat : 16293 (python) S 16263 16263 16182 0 -1 4202560 885 0 0 0 3 4 0 0 15 0 1 0 869247113 290033664 5715 33554432000 4194304 5683644 140737005642640 18446744073709551615 244446965263 0 0 16781312 33554946 72556772316949182 0 0 17 6 0 0 0
/proc/16293/statm: 70809 5715 376 364 0 5696 0
[pid=16295] ppid=16293 vsize=4004 CPUtime=24.68 cores=0,2,4,6
/proc/16295/stat : 16295 (clasp-1.3.7-x86) R 16293 16295 16295 0 -1 4202496 1007 0 0 0 2468 0 0 0 25 0 1 0 869247113 4100096 750 33554432000 134512640 136139019 4292119392 18446744073709551615 134883744 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/16295/statm: 1001 750 184 398 0 601 0
[pid=16263/tid=16294] ppid=16261 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/16263/task/16294/stat : 16294 (python) S 16261 16263 16182 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 869247113 300523520 7213 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554434 18446604453331368768 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 580720
[startup+51.1011 s]
/proc/loadavg: 1.44 0.43 0.15 3/440 16557
/proc/meminfo: memFree=29446196/32951124 swapFree=43324008/67111528
[pid=16263] ppid=16261 vsize=304192 CPUtime=0.71 cores=0,2,4,6
/proc/16263/stat : 16263 (python) S 16261 16263 16182 0 -1 4202496 10659 931 1 0 56 15 0 0 20 0 3 0 869247030 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16263/statm: 76048 7346 1873 364 0 10932 0
[pid=16293] ppid=16263 vsize=293480 CPUtime=0.16 cores=0,2,4,6
/proc/16293/stat : 16293 (python) S 16263 16263 16182 0 -1 4202560 1136 0 0 0 8 8 0 0 17 0 2 0 869247113 300523520 5765 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16293/statm: 73370 5765 421 364 0 8257 0
[pid=16295] ppid=16293 vsize=4656 CPUtime=48.15 cores=0,2,4,6
/proc/16295/stat : 16295 (clasp-1.3.7-x86) T 16293 16295 16295 0 -1 4202496 1182 0 0 0 4815 0 0 0 25 0 1 0 869247113 4767744 925 33554432000 134512640 136139019 4292119392 18446744073709551615 134742352 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/16295/statm: 1164 925 184 398 0 764 0
[pid=16293/tid=16542] ppid=16263 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/16293/task/16542/stat : 16542 (python) S 16263 16263 16182 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869251929 300523520 5765 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554946 18446604453331367872 0 0 -1 6 0 0 0
[pid=16543] ppid=16263 vsize=293948 CPUtime=0 cores=0,2,4,6
/proc/16543/stat : 16543 (python) S 16263 16263 16182 0 -1 4202560 776 0 0 0 0 0 0 0 18 0 1 0 869251947 301002752 5818 33554432000 4194304 5683644 140737005642640 18446744073709551615 244446965318 0 0 16781312 33554946 3424298024040366339 0 0 17 4 0 0 0
/proc/16543/statm: 73487 5818 349 364 0 8371 0
[pid=16545] ppid=16543 vsize=65288 CPUtime=1.92 cores=0,2,4,6
/proc/16545/stat : 16545 (minion) R 16543 16545 16545 0 -1 4202496 9410 0 0 0 191 1 0 0 25 0 1 0 869251947 66854912 9044 33554432000 134512640 165565024 4289962928 18446744073709551615 159737071 0 0 16781312 8396802 0 0 0 17 0 0 0 0
/proc/16545/statm: 16322 9044 346 7582 0 8737 0
[pid=16263/tid=16294] ppid=16261 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/16263/task/16294/stat : 16294 (python) S 16261 16263 16182 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 3 0 869247113 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554434 18446604453331368768 0 0 -1 4 0 0 0
[pid=16263/tid=16544] ppid=16261 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/16263/task/16544/stat : 16544 (python) S 16261 16263 16182 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 3 0 869251947 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554434 18446604453331368768 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 961564
Solver just ended. Dumping a history of the last processes samples
[startup+52.4008 s]
/proc/loadavg: 1.44 0.43 0.15 3/440 16557
/proc/meminfo: memFree=29438260/32951124 swapFree=43324008/67111528
[pid=16263] ppid=16261 vsize=304192 CPUtime=0.71 cores=0,2,4,6
/proc/16263/stat : 16263 (python) S 16261 16263 16182 0 -1 4202496 10659 931 1 0 56 15 0 0 20 0 3 0 869247030 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16263/statm: 76048 7346 1873 364 0 10932 0
[pid=16293] ppid=16263 vsize=293480 CPUtime=0.16 cores=0,2,4,6
/proc/16293/stat : 16293 (python) S 16263 16263 16182 0 -1 4202560 1136 0 0 0 8 8 0 0 17 0 2 0 869247113 300523520 5765 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16293/statm: 73370 5765 421 364 0 8257 0
[pid=16295] ppid=16293 vsize=4656 CPUtime=48.15 cores=0,2,4,6
/proc/16295/stat : 16295 (clasp-1.3.7-x86) T 16293 16295 16295 0 -1 4202496 1182 0 0 0 4815 0 0 0 25 0 1 0 869247113 4767744 925 33554432000 134512640 136139019 4292119392 18446744073709551615 134742352 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/16295/statm: 1164 925 184 398 0 764 0
[pid=16293/tid=16542] ppid=16263 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/16293/task/16542/stat : 16542 (python) S 16263 16263 16182 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869251929 300523520 5765 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554946 18446604453331367872 0 0 -1 6 0 0 0
[pid=16543] ppid=16263 vsize=293948 CPUtime=0 cores=0,2,4,6
/proc/16543/stat : 16543 (python) S 16263 16263 16182 0 -1 4202560 915 0 0 0 0 0 0 0 18 0 1 0 869251947 301002752 5842 33554432000 4194304 5683644 140737005642640 18446744073709551615 244446965318 0 0 16781312 33554946 8552943486083498243 0 0 17 6 0 0 0
/proc/16543/statm: 73487 5842 373 364 0 8371 0
[pid=16545] ppid=16543 vsize=65288 CPUtime=3.22 cores=0,2,4,6
/proc/16545/stat : 16545 (minion) R 16543 16545 16545 0 -1 4202496 9410 0 0 0 321 1 0 0 25 0 1 0 869251947 66854912 9044 33554432000 134512640 165565024 4289962928 18446744073709551615 142424548 0 0 16781312 8396802 0 0 0 17 0 0 0 0
/proc/16545/statm: 16322 9044 346 7582 0 8737 0
[pid=16263/tid=16294] ppid=16261 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/16263/task/16294/stat : 16294 (python) S 16261 16263 16182 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 3 0 869247113 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554434 18446604453331368768 0 0 -1 4 0 0 0
[pid=16263/tid=16544] ppid=16261 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/16263/task/16544/stat : 16544 (python) S 16261 16263 16182 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 3 0 869251947 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554434 18446604453331368768 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 52.24
Current children cumulated vsize (KiB) 961564
[startup+55.6012 s]
/proc/loadavg: 1.49 0.46 0.16 3/437 16589
/proc/meminfo: memFree=29475988/32951124 swapFree=43324008/67111528
[pid=16263] ppid=16261 vsize=304192 CPUtime=0.71 cores=0,2,4,6
/proc/16263/stat : 16263 (python) S 16261 16263 16182 0 -1 4202496 10659 931 1 0 56 15 0 0 20 0 3 0 869247030 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16263/statm: 76048 7346 1873 364 0 10932 0
[pid=16293] ppid=16263 vsize=293480 CPUtime=0.16 cores=0,2,4,6
/proc/16293/stat : 16293 (python) S 16263 16263 16182 0 -1 4202560 1136 0 0 0 8 8 0 0 17 0 2 0 869247113 300523520 5765 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16293/statm: 73370 5765 421 364 0 8257 0
[pid=16295] ppid=16293 vsize=4656 CPUtime=48.15 cores=0,2,4,6
/proc/16295/stat : 16295 (clasp-1.3.7-x86) T 16293 16295 16295 0 -1 4202496 1182 0 0 0 4815 0 0 0 25 0 1 0 869247113 4767744 925 33554432000 134512640 136139019 4292119392 18446744073709551615 134742352 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/16295/statm: 1164 925 184 398 0 764 0
[pid=16293/tid=16542] ppid=16263 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/16293/task/16542/stat : 16542 (python) S 16263 16263 16182 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869251929 300523520 5765 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554946 18446604453331367872 0 0 -1 6 0 0 0
[pid=16543] ppid=16263 vsize=293948 CPUtime=0 cores=0,2,4,6
/proc/16543/stat : 16543 (python) S 16263 16263 16182 0 -1 4202560 915 0 0 0 0 0 0 0 18 0 1 0 869251947 301002752 5842 33554432000 4194304 5683644 140737005642640 18446744073709551615 244446965318 0 0 16781312 33554946 8552943486083498243 0 0 17 6 0 0 0
/proc/16543/statm: 73487 5842 373 364 0 8371 0
[pid=16545] ppid=16543 vsize=65288 CPUtime=6.42 cores=0,2,4,6
/proc/16545/stat : 16545 (minion) R 16543 16545 16545 0 -1 4202496 9410 0 0 0 641 1 0 0 25 0 1 0 869251947 66854912 9044 33554432000 134512640 165565024 4289962928 18446744073709551615 159737071 0 0 16781312 8396802 0 0 0 17 0 0 0 0
/proc/16545/statm: 16322 9044 346 7582 0 8737 0
[pid=16263/tid=16294] ppid=16261 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/16263/task/16294/stat : 16294 (python) S 16261 16263 16182 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 3 0 869247113 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554434 18446604453331368768 0 0 -1 4 0 0 0
[pid=16263/tid=16544] ppid=16261 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/16263/task/16544/stat : 16544 (python) S 16261 16263 16182 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 3 0 869251947 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554434 18446604453331368768 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 55.44
Current children cumulated vsize (KiB) 961564
[startup+57.2009 s]
/proc/loadavg: 1.49 0.46 0.16 3/440 16592
/proc/meminfo: memFree=29450172/32951124 swapFree=43324008/67111528
[pid=16263] ppid=16261 vsize=304192 CPUtime=0.71 cores=0,2,4,6
/proc/16263/stat : 16263 (python) S 16261 16263 16182 0 -1 4202496 10659 931 1 0 56 15 0 0 20 0 3 0 869247030 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16263/statm: 76048 7346 1873 364 0 10932 0
[pid=16293] ppid=16263 vsize=293480 CPUtime=0.16 cores=0,2,4,6
/proc/16293/stat : 16293 (python) S 16263 16263 16182 0 -1 4202560 1136 0 0 0 8 8 0 0 17 0 2 0 869247113 300523520 5765 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16293/statm: 73370 5765 421 364 0 8257 0
[pid=16295] ppid=16293 vsize=4656 CPUtime=48.15 cores=0,2,4,6
/proc/16295/stat : 16295 (clasp-1.3.7-x86) T 16293 16295 16295 0 -1 4202496 1182 0 0 0 4815 0 0 0 25 0 1 0 869247113 4767744 925 33554432000 134512640 136139019 4292119392 18446744073709551615 134742352 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/16295/statm: 1164 925 184 398 0 764 0
[pid=16293/tid=16542] ppid=16263 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/16293/task/16542/stat : 16542 (python) S 16263 16263 16182 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869251929 300523520 5765 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554946 18446604453331367872 0 0 -1 6 0 0 0
[pid=16543] ppid=16263 vsize=293948 CPUtime=0 cores=0,2,4,6
/proc/16543/stat : 16543 (python) S 16263 16263 16182 0 -1 4202560 915 0 0 0 0 0 0 0 18 0 1 0 869251947 301002752 5842 33554432000 4194304 5683644 140737005642640 18446744073709551615 244446965318 0 0 16781312 33554946 8552943486083498243 0 0 17 6 0 0 0
/proc/16543/statm: 73487 5842 373 364 0 8371 0
[pid=16545] ppid=16543 vsize=65288 CPUtime=8.02 cores=0,2,4,6
/proc/16545/stat : 16545 (minion) R 16543 16545 16545 0 -1 4202496 9410 0 0 0 801 1 0 0 25 0 1 0 869251947 66854912 9044 33554432000 134512640 165565024 4289962928 18446744073709551615 142765077 0 0 16781312 8396802 0 0 0 17 0 0 0 0
/proc/16545/statm: 16322 9044 346 7582 0 8737 0
[pid=16263/tid=16294] ppid=16261 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/16263/task/16294/stat : 16294 (python) S 16261 16263 16182 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 3 0 869247113 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554434 18446604453331368768 0 0 -1 4 0 0 0
[pid=16263/tid=16544] ppid=16261 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/16263/task/16544/stat : 16544 (python) S 16261 16263 16182 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 3 0 869251947 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554434 18446604453331368768 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 57.04
Current children cumulated vsize (KiB) 961564
[startup+58.0008 s]
/proc/loadavg: 1.49 0.46 0.16 3/440 16592
/proc/meminfo: memFree=29453748/32951124 swapFree=43324008/67111528
[pid=16263] ppid=16261 vsize=304192 CPUtime=0.71 cores=0,2,4,6
/proc/16263/stat : 16263 (python) S 16261 16263 16182 0 -1 4202496 10659 931 1 0 56 15 0 0 20 0 3 0 869247030 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16263/statm: 76048 7346 1873 364 0 10932 0
[pid=16293] ppid=16263 vsize=293480 CPUtime=0.16 cores=0,2,4,6
/proc/16293/stat : 16293 (python) S 16263 16263 16182 0 -1 4202560 1136 0 0 0 8 8 0 0 17 0 2 0 869247113 300523520 5765 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16293/statm: 73370 5765 421 364 0 8257 0
[pid=16295] ppid=16293 vsize=4656 CPUtime=48.15 cores=0,2,4,6
/proc/16295/stat : 16295 (clasp-1.3.7-x86) T 16293 16295 16295 0 -1 4202496 1182 0 0 0 4815 0 0 0 25 0 1 0 869247113 4767744 925 33554432000 134512640 136139019 4292119392 18446744073709551615 134742352 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/16295/statm: 1164 925 184 398 0 764 0
[pid=16293/tid=16542] ppid=16263 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/16293/task/16542/stat : 16542 (python) S 16263 16263 16182 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869251929 300523520 5765 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554946 18446604453331367872 0 0 -1 6 0 0 0
[pid=16543] ppid=16263 vsize=293948 CPUtime=0.02 cores=0,2,4,6
/proc/16543/stat : 16543 (python) S 16263 16263 16182 0 -1 4202560 917 0 0 0 1 1 0 0 18 0 1 0 869251947 301002752 5842 33554432000 4194304 5683644 140737005642640 18446744073709551615 244446965318 0 0 16781312 33554946 72556772316949182 0 0 17 6 0 0 0
/proc/16543/statm: 73487 5842 373 364 0 8371 0
[pid=16545] ppid=16543 vsize=65288 CPUtime=8.82 cores=0,2,4,6
/proc/16545/stat : 16545 (minion) R 16543 16545 16545 0 -1 4202496 9410 0 0 0 881 1 0 0 25 0 1 0 869251947 66854912 9044 33554432000 134512640 165565024 4289962928 18446744073709551615 142765075 0 0 16781312 8396802 0 0 0 17 0 0 0 0
/proc/16545/statm: 16322 9044 346 7582 0 8737 0
[pid=16263/tid=16294] ppid=16261 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/16263/task/16294/stat : 16294 (python) S 16261 16263 16182 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 3 0 869247113 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554434 18446604453331368768 0 0 -1 4 0 0 0
[pid=16263/tid=16544] ppid=16261 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/16263/task/16544/stat : 16544 (python) S 16261 16263 16182 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 3 0 869251947 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554434 18446604453331368768 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 57.86
Current children cumulated vsize (KiB) 961564
[startup+58.8006 s]
/proc/loadavg: 1.53 0.48 0.17 3/440 16592
/proc/meminfo: memFree=29453624/32951124 swapFree=43324008/67111528
[pid=16263] ppid=16261 vsize=304192 CPUtime=0.71 cores=0,2,4,6
/proc/16263/stat : 16263 (python) S 16261 16263 16182 0 -1 4202496 10659 931 1 0 56 15 0 0 20 0 3 0 869247030 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16263/statm: 76048 7346 1873 364 0 10932 0
[pid=16293] ppid=16263 vsize=293480 CPUtime=0.16 cores=0,2,4,6
/proc/16293/stat : 16293 (python) S 16263 16263 16182 0 -1 4202560 1136 0 0 0 8 8 0 0 17 0 2 0 869247113 300523520 5765 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16293/statm: 73370 5765 421 364 0 8257 0
[pid=16295] ppid=16293 vsize=4656 CPUtime=48.15 cores=0,2,4,6
/proc/16295/stat : 16295 (clasp-1.3.7-x86) T 16293 16295 16295 0 -1 4202496 1182 0 0 0 4815 0 0 0 25 0 1 0 869247113 4767744 925 33554432000 134512640 136139019 4292119392 18446744073709551615 134742352 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/16295/statm: 1164 925 184 398 0 764 0
[pid=16293/tid=16542] ppid=16263 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/16293/task/16542/stat : 16542 (python) S 16263 16263 16182 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869251929 300523520 5765 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554946 18446604453331367872 0 0 -1 6 0 0 0
[pid=16543] ppid=16263 vsize=293948 CPUtime=0.02 cores=0,2,4,6
/proc/16543/stat : 16543 (python) S 16263 16263 16182 0 -1 4202560 917 0 0 0 1 1 0 0 18 0 1 0 869251947 301002752 5842 33554432000 4194304 5683644 140737005642640 18446744073709551615 244446965318 0 0 16781312 33554946 72556772316949182 0 0 17 6 0 0 0
/proc/16543/statm: 73487 5842 373 364 0 8371 0
[pid=16545] ppid=16543 vsize=65288 CPUtime=9.62 cores=0,2,4,6
/proc/16545/stat : 16545 (minion) R 16543 16545 16545 0 -1 4202496 9410 0 0 0 961 1 0 0 25 0 1 0 869251947 66854912 9044 33554432000 134512640 165565024 4289962928 18446744073709551615 142424489 0 0 16781312 8396802 0 0 0 17 0 0 0 0
/proc/16545/statm: 16322 9044 346 7582 0 8737 0
[pid=16263/tid=16294] ppid=16261 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/16263/task/16294/stat : 16294 (python) S 16261 16263 16182 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 3 0 869247113 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554434 18446604453331368768 0 0 -1 4 0 0 0
[pid=16263/tid=16544] ppid=16261 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/16263/task/16544/stat : 16544 (python) S 16261 16263 16182 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 3 0 869251947 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554434 18446604453331368768 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 58.66
Current children cumulated vsize (KiB) 961564
[startup+59.0006 s]
/proc/loadavg: 1.53 0.48 0.17 3/440 16592
/proc/meminfo: memFree=29453624/32951124 swapFree=43324008/67111528
[pid=16263] ppid=16261 vsize=304192 CPUtime=0.71 cores=0,2,4,6
/proc/16263/stat : 16263 (python) S 16261 16263 16182 0 -1 4202496 10659 931 1 0 56 15 0 0 20 0 3 0 869247030 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16263/statm: 76048 7346 1873 364 0 10932 0
[pid=16293] ppid=16263 vsize=293480 CPUtime=0.16 cores=0,2,4,6
/proc/16293/stat : 16293 (python) S 16263 16263 16182 0 -1 4202560 1136 0 0 0 8 8 0 0 17 0 2 0 869247113 300523520 5765 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16293/statm: 73370 5765 421 364 0 8257 0
[pid=16295] ppid=16293 vsize=4656 CPUtime=48.15 cores=0,2,4,6
/proc/16295/stat : 16295 (clasp-1.3.7-x86) T 16293 16295 16295 0 -1 4202496 1182 0 0 0 4815 0 0 0 25 0 1 0 869247113 4767744 925 33554432000 134512640 136139019 4292119392 18446744073709551615 134742352 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/16295/statm: 1164 925 184 398 0 764 0
[pid=16293/tid=16542] ppid=16263 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/16293/task/16542/stat : 16542 (python) S 16263 16263 16182 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869251929 300523520 5765 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554946 18446604453331367872 0 0 -1 6 0 0 0
[pid=16543] ppid=16263 vsize=293948 CPUtime=0.02 cores=0,2,4,6
/proc/16543/stat : 16543 (python) S 16263 16263 16182 0 -1 4202560 917 0 0 0 1 1 0 0 15 0 1 0 869251947 301002752 5842 33554432000 4194304 5683644 140737005642640 18446744073709551615 244446965318 0 0 16781312 33554946 1803270576463151104 0 0 17 6 0 0 0
/proc/16543/statm: 73487 5842 373 364 0 8371 0
[pid=16545] ppid=16543 vsize=47556 CPUtime=9.82 cores=0,2,4,6
/proc/16545/stat : 16545 (minion) R 16543 16545 16545 0 -1 4202496 9414 0 0 0 981 1 0 0 25 0 1 0 869251947 48697344 2560 33554432000 134512640 165565024 4289962928 18446744073709551615 159788705 0 0 16781312 8396802 0 0 0 17 0 0 0 0
/proc/16545/statm: 11889 2560 350 7582 0 4304 0
[pid=16263/tid=16294] ppid=16261 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/16263/task/16294/stat : 16294 (python) S 16261 16263 16182 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 3 0 869247113 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554434 18446604453331368768 0 0 -1 4 0 0 0
[pid=16263/tid=16544] ppid=16261 vsize=304192 CPUtime=0 cores=0,2,4,6
/proc/16263/task/16544/stat : 16544 (python) S 16261 16263 16182 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 3 0 869251947 311492608 7346 33554432000 4194304 5683644 140737005642640 18446744073709551615 244458768817 0 0 16781312 33554434 18446604453331368768 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 58.86
Current children cumulated vsize (KiB) 943832
Child status: 0
Real time (s): 59.0278
CPU time (s): 58.96
CPU user time (s): 58.6661
CPU system time (s): 0.293955
CPU usage (%): 99.8851
Max. virtual memory (cumulated for all children) (KiB): 961564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.6661
system time used= 0.293955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28930
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4781
involuntary context switches= 233
runsolver used 0.243962 second user time and 0.545917 second system time
The end