runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3742759-1338725506/watcher-3742759-1338725506 -o /tmp/evaluation-result-3742759-1338725506/solver-3742759-1338725506 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3742759-1338725506.opb -seed 462299973 -budget 1800 

running on 4 cores: 1,3,5,7

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: 2.01 2.00 2.00 3/188 3487
/proc/meminfo: memFree=26635008/32873648 swapFree=7120/7120
[pid=3487] ppid=3485 vsize=15308 CPUtime=0 cores=1,3,5,7
/proc/3487/stat : 3487 (python) R 3485 3487 27000 0 -1 4202496 660 0 0 0 0 0 0 0 20 0 1 0 338678036 15675392 554 33554432000 4194304 5683644 140737247107776 140737247093688 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3487/statm: 3827 550 316 364 0 269 0

[startup+0.0735379 s]
/proc/loadavg: 2.01 2.00 2.00 3/188 3487
/proc/meminfo: memFree=26635008/32873648 swapFree=7120/7120
[pid=3487] ppid=3485 vsize=16732 CPUtime=0.01 cores=1,3,5,7
/proc/3487/stat : 3487 (python) D 3485 3487 27000 0 -1 4202496 1282 0 0 0 1 0 0 0 20 0 1 0 338678036 17133568 1061 33554432000 4194304 5683644 140737247107776 140737247065736 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3487/statm: 4183 1061 426 364 0 625 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16732

[startup+0.10024 s]
/proc/loadavg: 2.01 2.00 2.00 3/188 3487
/proc/meminfo: memFree=26635008/32873648 swapFree=7120/7120
[pid=3487] ppid=3485 vsize=21304 CPUtime=0.03 cores=1,3,5,7
/proc/3487/stat : 3487 (python) D 3485 3487 27000 0 -1 4202496 1410 0 0 0 3 0 0 0 20 0 1 0 338678036 21815296 1164 33554432000 4194304 5683644 140737247107776 140737247047768 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3487/statm: 5326 1164 437 364 0 728 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21304

[startup+0.300244 s]
/proc/loadavg: 2.01 2.00 2.00 3/188 3487
/proc/meminfo: memFree=26635008/32873648 swapFree=7120/7120
[pid=3487] ppid=3485 vsize=102080 CPUtime=0.12 cores=1,3,5,7
/proc/3487/stat : 3487 (python) D 3485 3487 27000 0 -1 4202496 4154 1009 1 0 9 3 0 0 20 0 1 0 338678036 104529920 2733 33554432000 4194304 5683644 140737247107776 140737246976136 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3487/statm: 25520 2733 876 364 0 1730 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 102080

[startup+0.700179 s]
/proc/loadavg: 2.01 2.00 2.00 3/188 3487
/proc/meminfo: memFree=26635008/32873648 swapFree=7120/7120
[pid=3487] ppid=3485 vsize=166948 CPUtime=0.24 cores=1,3,5,7
/proc/3487/stat : 3487 (python) R 3485 3487 27000 0 -1 4202496 6561 1009 1 0 17 7 0 0 20 0 1 0 338678036 170954752 4351 33554432000 4194304 5683644 140737247107776 140737247012008 4619652 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3487/statm: 41737 4351 1227 364 0 3290 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 166948

[startup+1.50023 s]
/proc/loadavg: 2.01 2.00 2.00 2/189 3492
/proc/meminfo: memFree=26617088/32873648 swapFree=7120/7120
[pid=3487] ppid=3485 vsize=359196 CPUtime=0.57 cores=1,3,5,7
/proc/3487/stat : 3487 (python) S 3485 3487 27000 0 -1 4202496 10854 1009 1 0 46 11 0 0 20 0 2 0 338678036 367816704 7659 33554432000 4194304 5683644 140737247107776 140737247102608 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3487/statm: 89799 7659 1900 364 0 25022 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 359196

[startup+3.10035 s]
/proc/loadavg: 2.01 2.00 2.00 3/192 3495
/proc/meminfo: memFree=26557048/32873648 swapFree=7120/7120
[pid=3487] ppid=3485 vsize=359196 CPUtime=0.57 cores=1,3,5,7
/proc/3487/stat : 3487 (python) S 3485 3487 27000 0 -1 4202496 10854 1009 1 0 46 11 0 0 20 0 2 0 338678036 367816704 7659 33554432000 4194304 5683644 140737247107776 140737247102608 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3487/statm: 89799 7659 1900 364 0 25022 0
[pid=3493] ppid=3487 vsize=283416 CPUtime=0 cores=1,3,5,7
/proc/3493/stat : 3493 (python) S 3487 3487 27000 0 -1 4202560 778 0 0 0 0 0 0 0 20 0 1 0 338678169 290217984 6094 33554432000 4194304 5683644 140737247107776 140737247098864 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 5 0 0 0 0 0
/proc/3493/statm: 70854 6094 341 364 0 6077 0
[pid=3495] ppid=3493 vsize=87284 CPUtime=1.76 cores=1,3,5,7
/proc/3495/stat : 3495 (scip-2.0.1.linu) R 3493 3495 3495 0 -1 4202496 19065 0 0 0 168 8 0 0 20 0 1 0 338678169 89378816 18462 33554432000 4194304 15243407 140737211852064 140737211848376 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3495/statm: 21821 18462 693 2698 0 19116 0
[pid=3487/tid=3494] ppid=3485 vsize=359196 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3494/stat : 3494 (python) S 3485 3487 27000 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 338678169 367816704 7659 33554432000 4194304 5683644 140737247107776 139980319633968 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 729896
heavy processes:

[startup+6.30039 s]
/proc/loadavg: 2.01 2.00 2.00 3/192 3495
/proc/meminfo: memFree=26507240/32873648 swapFree=7120/7120
[pid=3487] ppid=3485 vsize=359196 CPUtime=0.57 cores=1,3,5,7
/proc/3487/stat : 3487 (python) S 3485 3487 27000 0 -1 4202496 10854 1009 1 0 46 11 0 0 20 0 2 0 338678036 367816704 7659 33554432000 4194304 5683644 140737247107776 140737247102608 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3487/statm: 89799 7659 1900 364 0 25022 0
[pid=3493] ppid=3487 vsize=283416 CPUtime=0 cores=1,3,5,7
/proc/3493/stat : 3493 (python) S 3487 3487 27000 0 -1 4202560 898 0 0 0 0 0 0 0 20 0 1 0 338678169 290217984 6117 33554432000 4194304 5683644 140737247107776 140737247098864 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3493/statm: 70854 6117 364 364 0 6077 0
[pid=3495] ppid=3493 vsize=121916 CPUtime=4.96 cores=1,3,5,7
/proc/3495/stat : 3495 (scip-2.0.1.linu) R 3493 3495 3495 0 -1 4202496 27743 0 0 0 482 14 0 0 20 0 1 0 338678169 124841984 27140 33554432000 4194304 15243407 140737211852064 140737211848360 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3495/statm: 30479 27140 693 2698 0 27774 0
[pid=3487/tid=3494] ppid=3485 vsize=359196 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3494/stat : 3494 (python) S 3485 3487 27000 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 338678169 367816704 7659 33554432000 4194304 5683644 140737247107776 139980319633968 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.53
Current children cumulated vsize (KiB) 764528

[startup+12.7069 s]
/proc/loadavg: 2.01 2.00 2.00 3/195 3498
/proc/meminfo: memFree=26421788/32873648 swapFree=7120/7120
[pid=3487] ppid=3485 vsize=359196 CPUtime=0.57 cores=1,3,5,7
/proc/3487/stat : 3487 (python) S 3485 3487 27000 0 -1 4202496 10854 1009 1 0 46 11 0 0 20 0 2 0 338678036 367816704 7659 33554432000 4194304 5683644 140737247107776 140737247102608 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3487/statm: 89799 7659 1900 364 0 25022 0
[pid=3493] ppid=3487 vsize=283416 CPUtime=0 cores=1,3,5,7
/proc/3493/stat : 3493 (python) S 3487 3487 27000 0 -1 4202560 996 0 0 0 0 0 0 0 20 0 1 0 338678169 290217984 6122 33554432000 4194304 5683644 140737247107776 140737247098864 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3493/statm: 70854 6122 369 364 0 6077 0
[pid=3495] ppid=3493 vsize=150720 CPUtime=11.36 cores=1,3,5,7
/proc/3495/stat : 3495 (scip-2.0.1.linu) R 3493 3495 3495 0 -1 4202496 34898 0 0 0 1101 35 0 0 20 0 1 0 338678169 154337280 34270 33554432000 4194304 15243407 140737211852064 140737211848152 8098665 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3495/statm: 37680 34270 888 2698 0 34975 0
[pid=3487/tid=3494] ppid=3485 vsize=359196 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3494/stat : 3494 (python) S 3485 3487 27000 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 338678169 367816704 7659 33554432000 4194304 5683644 140737247107776 139980319633968 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 11.93
Current children cumulated vsize (KiB) 793332

[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/195 3498
/proc/meminfo: memFree=26419204/32873648 swapFree=7120/7120
[pid=3487] ppid=3485 vsize=359196 CPUtime=0.57 cores=1,3,5,7
/proc/3487/stat : 3487 (python) S 3485 3487 27000 0 -1 4202496 10854 1009 1 0 46 11 0 0 20 0 2 0 338678036 367816704 7659 33554432000 4194304 5683644 140737247107776 140737247102608 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3487/statm: 89799 7659 1900 364 0 25022 0
[pid=3493] ppid=3487 vsize=283416 CPUtime=0.02 cores=1,3,5,7
/proc/3493/stat : 3493 (python) S 3487 3487 27000 0 -1 4202560 1006 0 0 0 1 1 0 0 20 0 1 0 338678169 290217984 6122 33554432000 4194304 5683644 140737247107776 140737247098864 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3493/statm: 70854 6122 369 364 0 6077 0
[pid=3495] ppid=3493 vsize=156884 CPUtime=24.15 cores=1,3,5,7
/proc/3495/stat : 3495 (scip-2.0.1.linu) R 3493 3495 3495 0 -1 4202496 42390 0 0 0 2375 40 0 0 20 0 1 0 338678169 160649216 34918 33554432000 4194304 15243407 140737211852064 140737211846456 13354455 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3495/statm: 39221 34918 949 2698 0 36516 0
[pid=3487/tid=3494] ppid=3485 vsize=359196 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3494/stat : 3494 (python) S 3485 3487 27000 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 338678169 367816704 7659 33554432000 4194304 5683644 140737247107776 139980319633968 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 24.74
Current children cumulated vsize (KiB) 799496

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/199 3502
/proc/meminfo: memFree=26410096/32873648 swapFree=7120/7120
[pid=3487] ppid=3485 vsize=434988 CPUtime=0.6 cores=1,3,5,7
/proc/3487/stat : 3487 (python) S 3485 3487 27000 0 -1 4202496 11779 1009 1 0 49 11 0 0 20 0 3 0 338678036 445427712 8176 33554432000 4194304 5683644 140737247107776 140737247102608 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3487/statm: 108747 8176 1903 364 0 43967 0
[pid=3493] ppid=3487 vsize=359196 CPUtime=0.07 cores=1,3,5,7
/proc/3493/stat : 3493 (python) S 3487 3487 27000 0 -1 4202560 1153 0 0 0 4 3 0 0 20 0 2 0 338678169 367816704 6157 33554432000 4194304 5683644 140737247107776 140737247099424 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3493/statm: 89799 6157 397 364 0 25022 0
[pid=3495] ppid=3493 vsize=156956 CPUtime=48.58 cores=1,3,5,7
/proc/3495/stat : 3495 (scip-2.0.1.linu) T 3493 3495 3495 0 -1 4202496 45474 0 0 0 4814 44 0 0 20 0 1 0 338678169 160722944 35145 33554432000 4194304 15243407 140737211852064 140737211846456 8113544 0 0 16781312 2 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/3495/statm: 39239 35145 949 2698 0 36534 0
[pid=3493/tid=3499] ppid=3487 vsize=359196 CPUtime=0 cores=1,3,5,7
/proc/3493/task/3499/stat : 3499 (python) S 3487 3487 27000 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338683030 367816704 6157 33554432000 4194304 5683644 140737247107776 139980319633968 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3500] ppid=3487 vsize=359208 CPUtime=0 cores=1,3,5,7
/proc/3500/stat : 3500 (python) S 3487 3487 27000 0 -1 4202560 768 0 0 0 0 0 0 0 20 0 1 0 338683032 367828992 6095 33554432000 4194304 5683644 140737247107776 140737247098864 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3500/statm: 89802 6095 336 364 0 25022 0
[pid=3502] ppid=3500 vsize=4064 CPUtime=1.14 cores=1,3,5,7
/proc/3502/stat : 3502 (clasp-1.3.7-x86) R 3500 3502 3502 0 -1 4202496 1047 0 0 0 114 0 0 0 20 0 1 0 338683032 4161536 765 33554432000 134512640 136139019 4293620704 4293619680 134883391 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0
/proc/3502/statm: 1016 765 182 398 0 616 0
[pid=3487/tid=3494] ppid=3485 vsize=434988 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3494/stat : 3494 (python) S 3485 3487 27000 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 3 0 338678169 445427712 8176 33554432000 4194304 5683644 140737247107776 139980319633968 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3487/tid=3501] ppid=3485 vsize=434988 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3501/stat : 3501 (python) S 3485 3487 27000 0 -1 4202560 19 1009 0 0 0 0 0 0 20 0 3 0 338683032 445427712 8176 33554432000 4194304 5683644 140737247107776 139980231926320 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 1314412

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/207 3511
/proc/meminfo: memFree=26235024/32873648 swapFree=7120/7120
[pid=3487] ppid=3485 vsize=510780 CPUtime=0.63 cores=1,3,5,7
/proc/3487/stat : 3487 (python) S 3485 3487 27000 0 -1 4202496 12669 1009 1 0 51 12 0 0 20 0 4 0 338678036 523038720 8184 33554432000 4194304 5683644 140737247107776 140737247102608 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3487/statm: 127695 8184 1905 364 0 62912 0
[pid=3493] ppid=3487 vsize=359196 CPUtime=0.07 cores=1,3,5,7
/proc/3493/stat : 3493 (python) S 3487 3487 27000 0 -1 4202560 1153 0 0 0 4 3 0 0 20 0 2 0 338678169 367816704 6157 33554432000 4194304 5683644 140737247107776 140737247099424 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3493/statm: 89799 6157 397 364 0 25022 0
[pid=3495] ppid=3493 vsize=156956 CPUtime=48.58 cores=1,3,5,7
/proc/3495/stat : 3495 (scip-2.0.1.linu) T 3493 3495 3495 0 -1 4202496 45474 0 0 0 4814 44 0 0 20 0 1 0 338678169 160722944 35145 33554432000 4194304 15243407 140737211852064 140737211846456 8113544 0 0 16781312 2 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/3495/statm: 39239 35145 949 2698 0 36534 0
[pid=3493/tid=3499] ppid=3487 vsize=359196 CPUtime=0 cores=1,3,5,7
/proc/3493/task/3499/stat : 3499 (python) S 3487 3487 27000 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338683030 367816704 6157 33554432000 4194304 5683644 140737247107776 139980319633968 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3500] ppid=3487 vsize=359208 CPUtime=0.06 cores=1,3,5,7
/proc/3500/stat : 3500 (python) S 3487 3487 27000 0 -1 4202560 1081 0 0 0 3 3 0 0 20 0 2 0 338683032 367828992 6144 33554432000 4194304 5683644 140737247107776 140737247099424 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3500/statm: 89802 6144 384 364 0 25022 0
[pid=3502] ppid=3500 vsize=10316 CPUtime=47.1 cores=1,3,5,7
/proc/3502/stat : 3502 (clasp-1.3.7-x86) T 3500 3502 3502 0 -1 4202496 2593 0 0 0 4710 0 0 0 20 0 1 0 338683032 10563584 2311 33554432000 134512640 136139019 4293620704 4293619680 134883787 0 0 16781312 16386 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/3502/statm: 2579 2311 182 398 0 2179 0
[pid=3500/tid=3508] ppid=3487 vsize=359208 CPUtime=0 cores=1,3,5,7
/proc/3500/task/3508/stat : 3508 (python) S 3487 3487 27000 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 338687744 367828992 6144 33554432000 4194304 5683644 140737247107776 139980319633968 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3509] ppid=3487 vsize=435000 CPUtime=0 cores=1,3,5,7
/proc/3509/stat : 3509 (python) S 3487 3487 27000 0 -1 4202560 919 0 0 0 0 0 0 0 20 0 1 0 338687747 445440000 6632 33554432000 4194304 5683644 140737247107776 140737247098864 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3509/statm: 108750 6632 359 364 0 43967 0
[pid=3511] ppid=3509 vsize=122744 CPUtime=5.18 cores=1,3,5,7
/proc/3511/stat : 3511 (scip-2.0.1.linu) R 3509 3511 3511 0 -1 4202496 28165 0 0 0 506 12 0 0 20 0 1 0 338687747 125689856 27550 33554432000 4194304 13684479 140735956110416 140735956106728 4880943 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/3511/statm: 30686 27550 646 2317 0 28364 0
[pid=3487/tid=3494] ppid=3485 vsize=510780 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3494/stat : 3494 (python) S 3485 3487 27000 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 4 0 338678169 523038720 8184 33554432000 4194304 5683644 140737247107776 139980319633968 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3487/tid=3501] ppid=3485 vsize=510780 CPUtime=0 cores=1,3,5,7

################
# More data... #
################

[startup+285.701 s]
/proc/loadavg: 2.02 2.02 2.00 3/238 3542
/proc/meminfo: memFree=24315692/32873648 swapFree=7120/7120
[pid=3487] ppid=3485 vsize=662364 CPUtime=1.06 cores=1,3,5,7
/proc/3487/stat : 3487 (python) S 3485 3487 27000 0 -1 4202496 14572 1009 1 0 94 12 0 0 20 0 6 0 338678036 678260736 8200 33554432000 4194304 5683644 140737247107776 140737247102608 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3487/statm: 165591 8200 1909 364 0 100802 0
[pid=3493] ppid=3487 vsize=359196 CPUtime=0.07 cores=1,3,5,7
/proc/3493/stat : 3493 (python) S 3487 3487 27000 0 -1 4202560 1153 0 0 0 4 3 0 0 20 0 2 0 338678169 367816704 6157 33554432000 4194304 5683644 140737247107776 140737247099424 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3493/statm: 89799 6157 397 364 0 25022 0
[pid=3495] ppid=3493 vsize=156956 CPUtime=48.58 cores=1,3,5,7
/proc/3495/stat : 3495 (scip-2.0.1.linu) T 3493 3495 3495 0 -1 4202496 45474 0 0 0 4814 44 0 0 20 0 1 0 338678169 160722944 36968 33554432000 4194304 15243407 140737211852064 140737211846456 8113544 0 0 16781312 2 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/3495/statm: 39239 36968 949 2698 0 36534 0
[pid=3493/tid=3499] ppid=3487 vsize=359196 CPUtime=0 cores=1,3,5,7
/proc/3493/task/3499/stat : 3499 (python) S 3487 3487 27000 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338683030 367816704 6157 33554432000 4194304 5683644 140737247107776 139980319633968 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3500] ppid=3487 vsize=359208 CPUtime=0.14 cores=1,3,5,7
/proc/3500/stat : 3500 (python) S 3487 3487 27000 0 -1 4202560 1142 0 0 0 8 6 0 0 20 0 2 0 338683032 367828992 6144 33554432000 4194304 5683644 140737247107776 140737247099424 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3500/statm: 89802 6144 384 364 0 25022 0
[pid=3502] ppid=3500 vsize=12176 CPUtime=92.22 cores=1,3,5,7
/proc/3502/stat : 3502 (clasp-1.3.7-x86) T 3500 3502 3502 0 -1 4202496 3073 0 0 0 9222 0 0 0 20 0 1 0 338683032 12468224 2791 33554432000 134512640 136139019 4293620704 4293619568 134608269 0 0 16781312 16386 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/3502/statm: 3044 2791 182 398 0 2644 0
[pid=3500/tid=3508] ppid=3487 vsize=359208 CPUtime=0 cores=1,3,5,7
/proc/3500/task/3508/stat : 3508 (python) S 3487 3487 27000 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 338687744 367828992 6144 33554432000 4194304 5683644 140737247107776 139980319633968 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3509] ppid=3487 vsize=435000 CPUtime=0.07 cores=1,3,5,7
/proc/3509/stat : 3509 (python) S 3487 3487 27000 0 -1 4202560 1106 0 0 0 4 3 0 0 20 0 2 0 338687747 445440000 6657 33554432000 4194304 5683644 140737247107776 140737247099424 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3509/statm: 108750 6657 384 364 0 43967 0
[pid=3511] ppid=3509 vsize=174984 CPUtime=49.6 cores=1,3,5,7
/proc/3511/stat : 3511 (scip-2.0.1.linu) T 3509 3511 3511 0 -1 4202496 43231 0 0 0 4909 51 0 0 20 0 1 0 338687747 179183616 40583 33554432000 4194304 13684479 140735956110416 140735956104264 7361336 0 0 16781312 2 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/3511/statm: 43746 40583 814 2317 0 41424 0
[pid=3509/tid=3513] ppid=3487 vsize=435000 CPUtime=0 cores=1,3,5,7
/proc/3509/task/3513/stat : 3513 (python) S 3487 3487 27000 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338692708 445440000 6657 33554432000 4194304 5683644 140737247107776 139980231926320 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3535] ppid=3487 vsize=510792 CPUtime=0.07 cores=1,3,5,7
/proc/3535/stat : 3535 (python) S 3487 3487 27000 0 -1 4202560 1116 0 0 0 5 2 0 0 20 0 2 0 338697261 523051008 6664 33554432000 4194304 5683644 140737247107776 140737247099424 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3535/statm: 127698 6664 384 364 0 62912 0
[pid=3537] ppid=3535 vsize=85656 CPUtime=47.24 cores=1,3,5,7
/proc/3537/stat : 3537 (minion) T 3535 3537 3537 0 -1 4202496 7466 0 0 0 4723 1 0 0 20 0 1 0 338697262 87711744 14102 33554432000 134512640 165565024 4291295552 4291292800 142765048 0 0 16781312 8396802 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/3537/statm: 21414 14102 336 7582 0 13829 0
[pid=3535/tid=3539] ppid=3487 vsize=510792 CPUtime=0 cores=1,3,5,7
/proc/3535/task/3539/stat : 3539 (python) S 3487 3487 27000 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 338701988 523051008 6664 33554432000 4194304 5683644 140737247107776 139980221436464 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3540] ppid=3487 vsize=586584 CPUtime=0.07 cores=1,3,5,7
/proc/3540/stat : 3540 (python) S 3487 3487 27000 0 -1 4202560 970 0 0 0 4 3 0 0 20 0 1 0 338701990 600662016 6644 33554432000 4194304 5683644 140737247107776 140737247098864 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3540/statm: 146646 6644 359 364 0 81857 0
[pid=3542] ppid=3540 vsize=82936 CPUtime=46.13 cores=1,3,5,7
/proc/3542/stat : 3542 (wbo1.4a) R 3540 3542 3542 0 -1 4202496 20614 0 0 0 4585 28 0 0 20 0 1 0 338701991 84926464 20295 33554432000 134512640 135751879 4293755312 4293753488 134616520 0 0 16781312 3 0 0 0 17 3 0 0 0 0 0
/proc/3542/statm: 20734 20295 143 303 0 20429 0
[pid=3487/tid=3494] ppid=3485 vsize=662364 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3494/stat : 3494 (python) S 3485 3487 27000 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 6 0 338678169 678260736 8200 33554432000 4194304 5683644 140737247107776 139980319633968 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3487/tid=3501] ppid=3485 vsize=662364 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3501/stat : 3501 (python) S 3485 3487 27000 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338683032 678260736 8200 33554432000 4194304 5683644 140737247107776 139980231926320 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3487/tid=3510] ppid=3485 vsize=662364 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3510/stat : 3510 (python) S 3485 3487 27000 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338687747 678260736 8200 33554432000 4194304 5683644 140737247107776 139980221436464 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3487/tid=3536] ppid=3485 vsize=662364 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3536/stat : 3536 (python) S 3485 3487 27000 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338697261 678260736 8200 33554432000 4194304 5683644 140737247107776 139980210946608 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3487/tid=3541] ppid=3485 vsize=662364 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3541/stat : 3541 (python) S 3485 3487 27000 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338701991 678260736 8200 33554432000 4194304 5683644 140737247107776 139980200456752 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 285.25
Current children cumulated vsize (KiB) 3425852

[startup+286.101 s]
/proc/loadavg: 2.02 2.02 2.00 3/238 3542
/proc/meminfo: memFree=24315692/32873648 swapFree=7120/7120
[pid=3487] ppid=3485 vsize=662364 CPUtime=1.06 cores=1,3,5,7
/proc/3487/stat : 3487 (python) S 3485 3487 27000 0 -1 4202496 14572 1009 1 0 94 12 0 0 20 0 6 0 338678036 678260736 8200 33554432000 4194304 5683644 140737247107776 140737247102608 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3487/statm: 165591 8200 1909 364 0 100802 0
[pid=3493] ppid=3487 vsize=359196 CPUtime=0.07 cores=1,3,5,7
/proc/3493/stat : 3493 (python) S 3487 3487 27000 0 -1 4202560 1153 0 0 0 4 3 0 0 20 0 2 0 338678169 367816704 6157 33554432000 4194304 5683644 140737247107776 140737247099424 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3493/statm: 89799 6157 397 364 0 25022 0
[pid=3495] ppid=3493 vsize=156956 CPUtime=48.58 cores=1,3,5,7
/proc/3495/stat : 3495 (scip-2.0.1.linu) T 3493 3495 3495 0 -1 4202496 45474 0 0 0 4814 44 0 0 20 0 1 0 338678169 160722944 36968 33554432000 4194304 15243407 140737211852064 140737211846456 8113544 0 0 16781312 2 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/3495/statm: 39239 36968 949 2698 0 36534 0
[pid=3493/tid=3499] ppid=3487 vsize=359196 CPUtime=0 cores=1,3,5,7
/proc/3493/task/3499/stat : 3499 (python) S 3487 3487 27000 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338683030 367816704 6157 33554432000 4194304 5683644 140737247107776 139980319633968 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3500] ppid=3487 vsize=359208 CPUtime=0.14 cores=1,3,5,7
/proc/3500/stat : 3500 (python) S 3487 3487 27000 0 -1 4202560 1142 0 0 0 8 6 0 0 20 0 2 0 338683032 367828992 6144 33554432000 4194304 5683644 140737247107776 140737247099424 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3500/statm: 89802 6144 384 364 0 25022 0
[pid=3502] ppid=3500 vsize=12176 CPUtime=92.22 cores=1,3,5,7
/proc/3502/stat : 3502 (clasp-1.3.7-x86) T 3500 3502 3502 0 -1 4202496 3073 0 0 0 9222 0 0 0 20 0 1 0 338683032 12468224 2791 33554432000 134512640 136139019 4293620704 4293619568 134608269 0 0 16781312 16386 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/3502/statm: 3044 2791 182 398 0 2644 0
[pid=3500/tid=3508] ppid=3487 vsize=359208 CPUtime=0 cores=1,3,5,7
/proc/3500/task/3508/stat : 3508 (python) S 3487 3487 27000 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 338687744 367828992 6144 33554432000 4194304 5683644 140737247107776 139980319633968 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3509] ppid=3487 vsize=435000 CPUtime=0.07 cores=1,3,5,7
/proc/3509/stat : 3509 (python) S 3487 3487 27000 0 -1 4202560 1106 0 0 0 4 3 0 0 20 0 2 0 338687747 445440000 6657 33554432000 4194304 5683644 140737247107776 140737247099424 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3509/statm: 108750 6657 384 364 0 43967 0
[pid=3511] ppid=3509 vsize=174984 CPUtime=49.6 cores=1,3,5,7
/proc/3511/stat : 3511 (scip-2.0.1.linu) T 3509 3511 3511 0 -1 4202496 43231 0 0 0 4909 51 0 0 20 0 1 0 338687747 179183616 40583 33554432000 4194304 13684479 140735956110416 140735956104264 7361336 0 0 16781312 2 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/3511/statm: 43746 40583 814 2317 0 41424 0
[pid=3509/tid=3513] ppid=3487 vsize=435000 CPUtime=0 cores=1,3,5,7
/proc/3509/task/3513/stat : 3513 (python) S 3487 3487 27000 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338692708 445440000 6657 33554432000 4194304 5683644 140737247107776 139980231926320 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3535] ppid=3487 vsize=510792 CPUtime=0.07 cores=1,3,5,7
/proc/3535/stat : 3535 (python) S 3487 3487 27000 0 -1 4202560 1116 0 0 0 5 2 0 0 20 0 2 0 338697261 523051008 6664 33554432000 4194304 5683644 140737247107776 140737247099424 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3535/statm: 127698 6664 384 364 0 62912 0
[pid=3537] ppid=3535 vsize=85656 CPUtime=47.24 cores=1,3,5,7
/proc/3537/stat : 3537 (minion) T 3535 3537 3537 0 -1 4202496 7466 0 0 0 4723 1 0 0 20 0 1 0 338697262 87711744 14102 33554432000 134512640 165565024 4291295552 4291292800 142765048 0 0 16781312 8396802 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/3537/statm: 21414 14102 336 7582 0 13829 0
[pid=3535/tid=3539] ppid=3487 vsize=510792 CPUtime=0 cores=1,3,5,7
/proc/3535/task/3539/stat : 3539 (python) S 3487 3487 27000 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 338701988 523051008 6664 33554432000 4194304 5683644 140737247107776 139980221436464 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3540] ppid=3487 vsize=586584 CPUtime=0.07 cores=1,3,5,7
/proc/3540/stat : 3540 (python) S 3487 3487 27000 0 -1 4202560 970 0 0 0 4 3 0 0 20 0 1 0 338701990 600662016 6644 33554432000 4194304 5683644 140737247107776 140737247098864 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3540/statm: 146646 6644 359 364 0 81857 0
[pid=3542] ppid=3540 vsize=83332 CPUtime=46.54 cores=1,3,5,7
/proc/3542/stat : 3542 (wbo1.4a) R 3540 3542 3542 0 -1 4202496 20709 0 0 0 4625 29 0 0 20 0 1 0 338701991 85331968 20390 33554432000 134512640 135751879 4293755312 4293753564 135270609 0 0 16781312 3 0 0 0 17 3 0 0 0 0 0
/proc/3542/statm: 20833 20390 143 303 0 20528 0
[pid=3487/tid=3494] ppid=3485 vsize=662364 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3494/stat : 3494 (python) S 3485 3487 27000 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 6 0 338678169 678260736 8200 33554432000 4194304 5683644 140737247107776 139980319633968 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3487/tid=3501] ppid=3485 vsize=662364 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3501/stat : 3501 (python) S 3485 3487 27000 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338683032 678260736 8200 33554432000 4194304 5683644 140737247107776 139980231926320 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3487/tid=3510] ppid=3485 vsize=662364 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3510/stat : 3510 (python) S 3485 3487 27000 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338687747 678260736 8200 33554432000 4194304 5683644 140737247107776 139980221436464 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3487/tid=3536] ppid=3485 vsize=662364 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3536/stat : 3536 (python) S 3485 3487 27000 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338697261 678260736 8200 33554432000 4194304 5683644 140737247107776 139980210946608 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3487/tid=3541] ppid=3485 vsize=662364 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3541/stat : 3541 (python) S 3485 3487 27000 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338701991 678260736 8200 33554432000 4194304 5683644 140737247107776 139980200456752 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 285.66
Current children cumulated vsize (KiB) 3426248

[startup+286.201 s]
/proc/loadavg: 2.02 2.02 2.00 3/238 3542
/proc/meminfo: memFree=24315692/32873648 swapFree=7120/7120
[pid=3487] ppid=3485 vsize=662364 CPUtime=1.06 cores=1,3,5,7
/proc/3487/stat : 3487 (python) S 3485 3487 27000 0 -1 4202496 14572 1009 1 0 94 12 0 0 20 0 6 0 338678036 678260736 8200 33554432000 4194304 5683644 140737247107776 140737247102608 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3487/statm: 165591 8200 1909 364 0 100802 0
[pid=3493] ppid=3487 vsize=359196 CPUtime=0.07 cores=1,3,5,7
/proc/3493/stat : 3493 (python) S 3487 3487 27000 0 -1 4202560 1153 0 0 0 4 3 0 0 20 0 2 0 338678169 367816704 6157 33554432000 4194304 5683644 140737247107776 140737247099424 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3493/statm: 89799 6157 397 364 0 25022 0
[pid=3495] ppid=3493 vsize=156956 CPUtime=48.58 cores=1,3,5,7
/proc/3495/stat : 3495 (scip-2.0.1.linu) T 3493 3495 3495 0 -1 4202496 45474 0 0 0 4814 44 0 0 20 0 1 0 338678169 160722944 36968 33554432000 4194304 15243407 140737211852064 140737211846456 8113544 0 0 16781312 2 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/3495/statm: 39239 36968 949 2698 0 36534 0
[pid=3493/tid=3499] ppid=3487 vsize=359196 CPUtime=0 cores=1,3,5,7
/proc/3493/task/3499/stat : 3499 (python) S 3487 3487 27000 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338683030 367816704 6157 33554432000 4194304 5683644 140737247107776 139980319633968 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3500] ppid=3487 vsize=359208 CPUtime=0.14 cores=1,3,5,7
/proc/3500/stat : 3500 (python) S 3487 3487 27000 0 -1 4202560 1142 0 0 0 8 6 0 0 20 0 2 0 338683032 367828992 6144 33554432000 4194304 5683644 140737247107776 140737247099424 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3500/statm: 89802 6144 384 364 0 25022 0
[pid=3502] ppid=3500 vsize=12176 CPUtime=92.22 cores=1,3,5,7
/proc/3502/stat : 3502 (clasp-1.3.7-x86) T 3500 3502 3502 0 -1 4202496 3073 0 0 0 9222 0 0 0 20 0 1 0 338683032 12468224 2791 33554432000 134512640 136139019 4293620704 4293619568 134608269 0 0 16781312 16386 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/3502/statm: 3044 2791 182 398 0 2644 0
[pid=3500/tid=3508] ppid=3487 vsize=359208 CPUtime=0 cores=1,3,5,7
/proc/3500/task/3508/stat : 3508 (python) S 3487 3487 27000 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 338687744 367828992 6144 33554432000 4194304 5683644 140737247107776 139980319633968 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3509] ppid=3487 vsize=435000 CPUtime=0.07 cores=1,3,5,7
/proc/3509/stat : 3509 (python) S 3487 3487 27000 0 -1 4202560 1106 0 0 0 4 3 0 0 20 0 2 0 338687747 445440000 6657 33554432000 4194304 5683644 140737247107776 140737247099424 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3509/statm: 108750 6657 384 364 0 43967 0
[pid=3511] ppid=3509 vsize=174984 CPUtime=49.6 cores=1,3,5,7
/proc/3511/stat : 3511 (scip-2.0.1.linu) T 3509 3511 3511 0 -1 4202496 43231 0 0 0 4909 51 0 0 20 0 1 0 338687747 179183616 40583 33554432000 4194304 13684479 140735956110416 140735956104264 7361336 0 0 16781312 2 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/3511/statm: 43746 40583 814 2317 0 41424 0
[pid=3509/tid=3513] ppid=3487 vsize=435000 CPUtime=0 cores=1,3,5,7
/proc/3509/task/3513/stat : 3513 (python) S 3487 3487 27000 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338692708 445440000 6657 33554432000 4194304 5683644 140737247107776 139980231926320 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3535] ppid=3487 vsize=510792 CPUtime=0.07 cores=1,3,5,7
/proc/3535/stat : 3535 (python) S 3487 3487 27000 0 -1 4202560 1116 0 0 0 5 2 0 0 20 0 2 0 338697261 523051008 6664 33554432000 4194304 5683644 140737247107776 140737247099424 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3535/statm: 127698 6664 384 364 0 62912 0
[pid=3537] ppid=3535 vsize=85656 CPUtime=47.24 cores=1,3,5,7
/proc/3537/stat : 3537 (minion) T 3535 3537 3537 0 -1 4202496 7466 0 0 0 4723 1 0 0 20 0 1 0 338697262 87711744 14102 33554432000 134512640 165565024 4291295552 4291292800 142765048 0 0 16781312 8396802 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/3537/statm: 21414 14102 336 7582 0 13829 0
[pid=3535/tid=3539] ppid=3487 vsize=510792 CPUtime=0 cores=1,3,5,7
/proc/3535/task/3539/stat : 3539 (python) S 3487 3487 27000 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 338701988 523051008 6664 33554432000 4194304 5683644 140737247107776 139980221436464 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3540] ppid=3487 vsize=586584 CPUtime=0.07 cores=1,3,5,7
/proc/3540/stat : 3540 (python) S 3487 3487 27000 0 -1 4202560 970 0 0 0 4 3 0 0 20 0 1 0 338701990 600662016 6644 33554432000 4194304 5683644 140737247107776 140737247098864 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/3540/statm: 146646 6644 359 364 0 81857 0
[pid=3542] ppid=3540 vsize=83464 CPUtime=46.64 cores=1,3,5,7
/proc/3542/stat : 3542 (wbo1.4a) R 3540 3542 3542 0 -1 4202496 20733 0 0 0 4635 29 0 0 20 0 1 0 338701991 85467136 20414 33554432000 134512640 135751879 4293755312 4293753564 135270609 0 0 16781312 3 0 0 0 17 3 0 0 0 0 0
/proc/3542/statm: 20866 20414 143 303 0 20561 0
[pid=3487/tid=3494] ppid=3485 vsize=662364 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3494/stat : 3494 (python) S 3485 3487 27000 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 6 0 338678169 678260736 8200 33554432000 4194304 5683644 140737247107776 139980319633968 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3487/tid=3501] ppid=3485 vsize=662364 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3501/stat : 3501 (python) S 3485 3487 27000 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338683032 678260736 8200 33554432000 4194304 5683644 140737247107776 139980231926320 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3487/tid=3510] ppid=3485 vsize=662364 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3510/stat : 3510 (python) S 3485 3487 27000 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338687747 678260736 8200 33554432000 4194304 5683644 140737247107776 139980221436464 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3487/tid=3536] ppid=3485 vsize=662364 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3536/stat : 3536 (python) S 3485 3487 27000 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338697261 678260736 8200 33554432000 4194304 5683644 140737247107776 139980210946608 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3487/tid=3541] ppid=3485 vsize=662364 CPUtime=0 cores=1,3,5,7
/proc/3487/task/3541/stat : 3541 (python) S 3485 3487 27000 0 -1 4202560 21 1009 0 0 0 0 0 0 20 0 6 0 338701991 678260736 8200 33554432000 4194304 5683644 140737247107776 139980200456752 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 285.76
Current children cumulated vsize (KiB) 3426380

Child status: 0
Real time (s): 286.267
CPU time (s): 285.941
CPU user time (s): 284.309
CPU system time (s): 1.63175
CPU usage (%): 99.886
Max. virtual memory (cumulated for all children) (KiB): 3426380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.309
system time used= 1.63175
maximum resident set size= 162828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146758
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2513
involuntary context switches= 385

runsolver used 0.831873 second user time and 2.06269 second system time

The end