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-3481769-1307577038/watcher-3481769-1307577038 -o /tmp/evaluation-result-3481769-1307577038/solver-3481769-1307577038 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481769-1307577038.opb -seed 58639514 -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.25 1.88 1.05 2/558 23472
/proc/meminfo: memFree=25429784/32951124 swapFree=55639044/67111528
[pid=23472] ppid=23470 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/23472/stat : 23472 (python) R 23470 23472 23050 0 -1 4202496 900 0 0 0 0 0 0 0 17 0 1 0 869301802 16154624 781 33554432000 4194304 5683644 140736150007936 18446744073709551615 271550198469 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23472/statm: 3944 781 343 364 0 431 0
[startup+0.054202 s]
/proc/loadavg: 2.25 1.88 1.05 2/558 23472
/proc/meminfo: memFree=25429784/32951124 swapFree=55639044/67111528
[pid=23472] ppid=23470 vsize=25312 CPUtime=0.02 cores=1,3,5,7
/proc/23472/stat : 23472 (python) R 23470 23472 23050 0 -1 4202496 1341 0 0 0 2 0 0 0 17 0 1 0 869301802 25919488 1188 33554432000 4194304 5683644 140736150007936 18446744073709551615 47000337523712 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23472/statm: 6328 1190 438 364 0 729 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25312
[startup+0.101999 s]
/proc/loadavg: 2.25 1.88 1.05 2/558 23472
/proc/meminfo: memFree=25429784/32951124 swapFree=55639044/67111528
[pid=23472] ppid=23470 vsize=85620 CPUtime=0.05 cores=1,3,5,7
/proc/23472/stat : 23472 (python) S 23470 23472 23050 0 -1 4202496 2663 0 0 0 4 1 0 0 17 0 1 0 869301802 87674880 2382 33554432000 4194304 5683644 140736150007936 18446744073709551615 271550535680 0 2147483391 16781312 2 18446744071699469502 0 0 17 7 0 0 0
/proc/23472/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620
[startup+0.300115 s]
/proc/loadavg: 2.25 1.88 1.05 2/558 23472
/proc/meminfo: memFree=25429784/32951124 swapFree=55639044/67111528
[pid=23472] ppid=23470 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/23472/stat : 23472 (python) S 23470 23472 23050 0 -1 4202496 5357 930 1 0 12 5 0 0 16 0 1 0 869301802 126709760 3744 33554432000 4194304 5683644 140736150007936 18446744073709551615 271550533637 0 2147483391 16781312 2 18446744071699469502 0 0 17 7 0 0 0
/proc/23472/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.705144 s]
/proc/loadavg: 2.25 1.88 1.05 2/558 23472
/proc/meminfo: memFree=25429784/32951124 swapFree=55639044/67111528
[pid=23472] ppid=23470 vsize=284324 CPUtime=0.41 cores=1,3,5,7
/proc/23472/stat : 23472 (python) R 23470 23472 23050 0 -1 4202496 9559 930 1 0 31 10 0 0 15 0 1 0 869301802 291147776 7422 33554432000 4194304 5683644 140736150007936 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23472/statm: 71081 7422 1781 364 0 5974 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 284324
[startup+1.50094 s]
/proc/loadavg: 2.23 1.88 1.06 3/559 23477
/proc/meminfo: memFree=25390344/32951124 swapFree=55639044/67111528
[pid=23472] ppid=23470 vsize=295996 CPUtime=1.21 cores=1,3,5,7
/proc/23472/stat : 23472 (python) R 23470 23472 23050 0 -1 4202496 14868 930 1 0 110 11 0 0 16 0 1 0 869301802 303099904 10347 33554432000 4194304 5683644 140736150007936 18446744073709551615 47000383548773 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/23472/statm: 73999 10347 1816 364 0 8892 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 295996
[startup+3.10164 s]
/proc/loadavg: 2.23 1.88 1.06 5/580 23498
/proc/meminfo: memFree=25231924/32951124 swapFree=55639044/67111528
[pid=23472] ppid=23470 vsize=307532 CPUtime=1.34 cores=1,3,5,7
/proc/23472/stat : 23472 (python) S 23470 23472 23050 0 -1 4202496 15471 930 1 0 123 11 0 0 19 0 2 0 869301802 314912768 10722 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23472/statm: 76883 10722 1870 364 0 11770 0
[pid=23478] ppid=23472 vsize=297288 CPUtime=0 cores=1,3,5,7
/proc/23478/stat : 23478 (python) S 23472 23472 23050 0 -1 4202560 767 0 0 0 0 0 0 0 15 0 1 0 869301966 304422912 9199 33554432000 4194304 5683644 140736150007936 18446744073709551615 271550557711 0 0 16781312 33554946 4294934790 0 0 17 1 0 0 0
/proc/23478/statm: 74322 9199 351 364 0 9209 0
[pid=23480] ppid=23478 vsize=8537700 CPUtime=2.45 cores=1,3,5,7
/proc/23480/stat : 23480 (java) S 23478 23480 23480 0 -1 4202496 44741 0 1 0 239 6 0 0 18 0 19 0 869301966 8742604800 40419 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23480/statm: 2134425 40419 2248 9 0 2125166 0
[pid=23480/tid=23481] ppid=23478 vsize=8537700 CPUtime=1.43 cores=1,3,5,7
/proc/23480/task/23481/stat : 23481 (java) R 23478 23480 23480 0 -1 4202560 35265 0 1 0 139 4 0 0 20 0 19 0 869301967 8742604800 40419 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 46912505828401 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23480/tid=23482] ppid=23478 vsize=8537700 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23482/stat : 23482 (java) S 23478 23480 23480 0 -1 4202560 429 0 0 0 0 0 0 0 16 0 19 0 869301967 8742604800 40419 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 5 0 0 0
[pid=23480/tid=23483] ppid=23478 vsize=8537700 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23483/stat : 23483 (java) S 23478 23480 23480 0 -1 4202560 303 0 0 0 0 0 0 0 16 0 19 0 869301967 8742604800 40419 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 7 0 0 0
[pid=23480/tid=23484] ppid=23478 vsize=8537700 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23484/stat : 23484 (java) S 23478 23480 23480 0 -1 4202560 203 0 0 0 0 0 0 0 16 0 19 0 869301967 8742604800 40419 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 1 0 0 0
[pid=23480/tid=23485] ppid=23478 vsize=8537700 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23485/stat : 23485 (java) S 23478 23480 23480 0 -1 4202560 135 0 0 0 0 0 0 0 16 0 19 0 869301967 8742604800 40419 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 3 0 0 0
[pid=23480/tid=23486] ppid=23478 vsize=8537700 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23486/stat : 23486 (java) S 23478 23480 23480 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869301967 8742604800 40419 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 5 0 0 0
[pid=23480/tid=23487] ppid=23478 vsize=8537700 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23487/stat : 23487 (java) S 23478 23480 23480 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869301967 8742604800 40419 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 5 0 0 0
[pid=23480/tid=23488] ppid=23478 vsize=8537700 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23488/stat : 23488 (java) S 23478 23480 23480 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869301967 8742604800 40419 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 5 0 0 0
[pid=23480/tid=23489] ppid=23478 vsize=8537700 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23489/stat : 23489 (java) S 23478 23480 23480 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869301967 8742604800 40419 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 1 0 0 0
[pid=23480/tid=23490] ppid=23478 vsize=8537700 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23490/stat : 23490 (java) S 23478 23480 23480 0 -1 4202560 71 0 0 0 0 0 0 0 17 0 19 0 869301968 8742604800 40419 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562354176 0 0 0 16800975 18446604454371670208 0 0 -1 7 0 0 0
[pid=23480/tid=23491] ppid=23478 vsize=8537700 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23491/stat : 23491 (java) S 23478 23480 23480 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869301968 8742604800 40419 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 7 0 0 0
[pid=23480/tid=23492] ppid=23478 vsize=8537700 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23492/stat : 23492 (java) S 23478 23480 23480 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869301968 8742604800 40419 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 7 0 0 0
[pid=23480/tid=23493] ppid=23478 vsize=8537700 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23493/stat : 23493 (java) S 23478 23480 23480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869301971 8742604800 40419 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562361265 0 4 0 16800975 18446604454371670208 0 0 -1 5 0 0 0
[pid=23480/tid=23494] ppid=23478 vsize=8537700 CPUtime=0.48 cores=1,3,5,7
/proc/23480/task/23494/stat : 23494 (java) S 23478 23480 23480 0 -1 4202560 2964 0 0 0 48 0 0 0 23 0 19 0 869301971 8742604800 40419 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 1 0 0 0
[pid=23480/tid=23495] ppid=23478 vsize=8537700 CPUtime=0.49 cores=1,3,5,7
/proc/23480/task/23495/stat : 23495 (java) S 23478 23480 23480 0 -1 4202560 3990 0 0 0 49 0 0 0 21 0 19 0 869301971 8742604800 40419 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 7 0 0 0
[pid=23480/tid=23496] ppid=23478 vsize=8537700 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23496/stat : 23496 (java) S 23478 23480 23480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869301971 8742604800 40419 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 5 0 0 0
[pid=23480/tid=23497] ppid=23478 vsize=8537700 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23497/stat : 23497 (java) S 23478 23480 23480 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869301971 8742604800 40419 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562354176 0 4 0 16800975 18446604454371670208 0 0 -1 3 0 0 0
[pid=23480/tid=23498] ppid=23478 vsize=8537700 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23498/stat : 23498 (java) S 23478 23480 23480 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869302034 8742604800 40419 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562354176 0 4 0 16800975 18446604454371670208 0 0 -1 3 0 0 0
[pid=23472/tid=23479] ppid=23470 vsize=307532 CPUtime=0 cores=1,3,5,7
/proc/23472/task/23479/stat : 23479 (python) S 23470 23472 23050 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869301966 314912768 10722 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562361265 0 0 16781312 33554434 18446604454371669312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 9142520
[startup+6.31906 s]
/proc/loadavg: 2.21 1.89 1.06 5/580 23499
/proc/meminfo: memFree=25165612/32951124 swapFree=55639044/67111528
[pid=23472] ppid=23470 vsize=307532 CPUtime=1.34 cores=1,3,5,7
/proc/23472/stat : 23472 (python) S 23470 23472 23050 0 -1 4202496 15471 930 1 0 123 11 0 0 19 0 2 0 869301802 314912768 10722 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23472/statm: 76883 10722 1870 364 0 11770 0
[pid=23478] ppid=23472 vsize=297288 CPUtime=0.02 cores=1,3,5,7
/proc/23478/stat : 23478 (python) S 23472 23472 23050 0 -1 4202560 903 0 0 0 1 1 0 0 15 0 1 0 869301966 304422912 9222 33554432000 4194304 5683644 140736150007936 18446744073709551615 271550557711 0 0 16781312 33554946 911875471665234180 0 0 17 5 0 0 0
/proc/23478/statm: 74322 9222 374 364 0 9209 0
[pid=23480] ppid=23478 vsize=8538300 CPUtime=5.82 cores=1,3,5,7
/proc/23480/stat : 23480 (java) S 23478 23480 23480 0 -1 4202496 68912 0 1 0 572 10 0 0 18 0 19 0 869301966 8743219200 63198 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23480/statm: 2134575 63198 2260 9 0 2125316 0
[pid=23480/tid=23481] ppid=23478 vsize=8538300 CPUtime=4.55 cores=1,3,5,7
/proc/23480/task/23481/stat : 23481 (java) R 23478 23480 23480 0 -1 4202560 35273 0 1 0 451 4 0 0 25 0 19 0 869301967 8743219200 63198 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 46912505894753 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23480/tid=23482] ppid=23478 vsize=8538300 CPUtime=0.01 cores=1,3,5,7
/proc/23480/task/23482/stat : 23482 (java) S 23478 23480 23480 0 -1 4202560 2792 0 0 0 1 0 0 0 16 0 19 0 869301967 8743219200 63198 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 7 0 0 0
[pid=23480/tid=23483] ppid=23478 vsize=8538300 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23483/stat : 23483 (java) S 23478 23480 23480 0 -1 4202560 1829 0 0 0 0 0 0 0 15 0 19 0 869301967 8743219200 63198 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 7 0 0 0
[pid=23480/tid=23484] ppid=23478 vsize=8538300 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23484/stat : 23484 (java) S 23478 23480 23480 0 -1 4202560 1189 0 0 0 0 0 0 0 16 0 19 0 869301967 8743219200 63198 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 5 0 0 0
[pid=23480/tid=23485] ppid=23478 vsize=8538300 CPUtime=0.01 cores=1,3,5,7
/proc/23480/task/23485/stat : 23485 (java) S 23478 23480 23480 0 -1 4202560 4468 0 0 0 1 0 0 0 16 0 19 0 869301967 8743219200 63198 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 5 0 0 0
[pid=23480/tid=23486] ppid=23478 vsize=8538300 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23486/stat : 23486 (java) S 23478 23480 23480 0 -1 4202560 2176 0 0 0 0 0 0 0 15 0 19 0 869301967 8743219200 63198 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 5 0 0 0
[pid=23480/tid=23487] ppid=23478 vsize=8538300 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23487/stat : 23487 (java) S 23478 23480 23480 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869301967 8743219200 63198 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 5 0 0 0
[pid=23480/tid=23488] ppid=23478 vsize=8538300 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23488/stat : 23488 (java) S 23478 23480 23480 0 -1 4202560 1340 0 0 0 0 0 0 0 15 0 19 0 869301967 8743219200 63198 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 1 0 0 0
[pid=23480/tid=23489] ppid=23478 vsize=8538300 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23489/stat : 23489 (java) S 23478 23480 23480 0 -1 4202560 2282 0 0 0 0 0 0 0 16 0 19 0 869301967 8743219200 63198 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 1 0 0 0
[pid=23480/tid=23490] ppid=23478 vsize=8538300 CPUtime=0.07 cores=1,3,5,7
/proc/23480/task/23490/stat : 23490 (java) S 23478 23480 23480 0 -1 4202560 9101 0 0 0 6 1 0 0 15 0 19 0 869301968 8743219200 63198 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562354176 0 0 0 16800975 18446604454371670208 0 0 -1 3 0 0 0
[pid=23480/tid=23491] ppid=23478 vsize=8538300 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23491/stat : 23491 (java) S 23478 23480 23480 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869301968 8743219200 63198 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 7 0 0 0
[pid=23480/tid=23492] ppid=23478 vsize=8538300 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23492/stat : 23492 (java) S 23478 23480 23480 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869301968 8743219200 63198 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 7 0 0 0
[pid=23480/tid=23493] ppid=23478 vsize=8538300 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23493/stat : 23493 (java) S 23478 23480 23480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869301971 8743219200 63198 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562361265 0 4 0 16800975 18446604454371670208 0 0 -1 5 0 0 0
[pid=23480/tid=23494] ppid=23478 vsize=8538300 CPUtime=0.52 cores=1,3,5,7
/proc/23480/task/23494/stat : 23494 (java) S 23478 23480 23480 0 -1 4202560 2974 0 0 0 52 0 0 0 15 0 19 0 869301971 8743219200 63198 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 1 0 0 0
[pid=23480/tid=23495] ppid=23478 vsize=8538300 CPUtime=0.55 cores=1,3,5,7
/proc/23480/task/23495/stat : 23495 (java) S 23478 23480 23480 0 -1 4202560 4110 0 0 0 55 0 0 0 15 0 19 0 869301971 8743219200 63198 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 7 0 0 0
[pid=23480/tid=23496] ppid=23478 vsize=8538300 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23496/stat : 23496 (java) S 23478 23480 23480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869301971 8743219200 63198 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 5 0 0 0
[pid=23480/tid=23497] ppid=23478 vsize=8538300 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23497/stat : 23497 (java) S 23478 23480 23480 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869301971 8743219200 63198 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562354176 0 4 0 16800975 18446604454371670208 0 0 -1 7 0 0 0
[pid=23480/tid=23498] ppid=23478 vsize=8538300 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23498/stat : 23498 (java) S 23478 23480 23480 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869302034 8743219200 63198 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562354176 0 4 0 16800975 18446604454371670208 0 0 -1 3 0 0 0
[pid=23472/tid=23479] ppid=23470 vsize=307532 CPUtime=0 cores=1,3,5,7
/proc/23472/task/23479/stat : 23479 (python) S 23470 23472 23050 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869301966 314912768 10722 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562361265 0 0 16781312 33554434 18446604454371669312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 9143120
[startup+12.7009 s]
/proc/loadavg: 2.19 1.89 1.07 5/580 23499
/proc/meminfo: memFree=25134192/32951124 swapFree=55639044/67111528
[pid=23472] ppid=23470 vsize=307532 CPUtime=1.34 cores=1,3,5,7
/proc/23472/stat : 23472 (python) S 23470 23472 23050 0 -1 4202496 15471 930 1 0 123 11 0 0 19 0 2 0 869301802 314912768 10722 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23472/statm: 76883 10722 1870 364 0 11770 0
[pid=23478] ppid=23472 vsize=297288 CPUtime=0.03 cores=1,3,5,7
/proc/23478/stat : 23478 (python) S 23472 23472 23050 0 -1 4202560 905 0 0 0 1 2 0 0 15 0 1 0 869301966 304422912 9223 33554432000 4194304 5683644 140736150007936 18446744073709551615 271550557711 0 0 16781312 33554946 4074502149340397568 0 0 17 5 0 0 0
/proc/23478/statm: 74322 9223 375 364 0 9209 0
[pid=23480] ppid=23478 vsize=8536312 CPUtime=12.27 cores=1,3,5,7
/proc/23480/stat : 23480 (java) S 23478 23480 23480 0 -1 4202496 80259 0 1 0 1215 12 0 0 18 0 19 0 869301966 8741183488 70197 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23480/statm: 2134078 70197 2260 9 0 2124819 0
[pid=23480/tid=23481] ppid=23478 vsize=8536312 CPUtime=10.8 cores=1,3,5,7
/proc/23480/task/23481/stat : 23481 (java) R 23478 23480 23480 0 -1 4202560 35275 0 1 0 1076 4 0 0 25 0 19 0 869301967 8741183488 70197 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 46912505915628 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23480/tid=23482] ppid=23478 vsize=8536312 CPUtime=0.01 cores=1,3,5,7
/proc/23480/task/23482/stat : 23482 (java) S 23478 23480 23480 0 -1 4202560 4161 0 0 0 1 0 0 0 15 0 19 0 869301967 8741183488 70197 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 7 0 0 0
[pid=23480/tid=23483] ppid=23478 vsize=8536312 CPUtime=0.01 cores=1,3,5,7
/proc/23480/task/23483/stat : 23483 (java) S 23478 23480 23480 0 -1 4202560 3690 0 0 0 1 0 0 0 16 0 19 0 869301967 8741183488 70197 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 5 0 0 0
[pid=23480/tid=23484] ppid=23478 vsize=8536312 CPUtime=0.02 cores=1,3,5,7
/proc/23480/task/23484/stat : 23484 (java) S 23478 23480 23480 0 -1 4202560 2603 0 0 0 2 0 0 0 15 0 19 0 869301967 8741183488 70197 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446604454371670208 0 0 -1 7 0 0 0
[pid=23480/tid=23485] ppid=23478 vsize=8536312 CPUtime=0.03 cores=1,3,5,7
################
# More data... #
################
[pid=23522/tid=23534] ppid=23520 vsize=8537644 CPUtime=0 cores=1,3,5,7
/proc/23522/task/23534/stat : 23534 (java) S 23520 23522 23522 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 869330433 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 271562353561 0 4 0 16800975 18446604456768863168 0 0 -1 1 0 0 0
[pid=23522/tid=23535] ppid=23520 vsize=8537644 CPUtime=0 cores=1,3,5,7
/proc/23522/task/23535/stat : 23535 (java) S 23520 23522 23522 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869330435 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 271562361265 0 4 0 16800975 18446604456768863168 0 0 -1 1 0 0 0
[pid=23522/tid=23536] ppid=23520 vsize=8537644 CPUtime=0.25 cores=1,3,5,7
/proc/23522/task/23536/stat : 23536 (java) R 23520 23522 23522 0 -1 4202560 1999 0 0 0 25 0 0 0 25 0 18 0 869330435 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 47990186998467 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23522/tid=23537] ppid=23520 vsize=8537644 CPUtime=0.17 cores=1,3,5,7
/proc/23522/task/23537/stat : 23537 (java) R 23520 23522 23522 0 -1 4202560 2258 0 0 0 17 0 0 0 25 0 18 0 869330435 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 47990192054995 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23522/tid=23538] ppid=23520 vsize=8537644 CPUtime=0 cores=1,3,5,7
/proc/23522/task/23538/stat : 23538 (java) S 23520 23522 23522 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869330435 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 271562353561 0 4 0 16800975 18446604456768863168 0 0 -1 1 0 0 0
[pid=23522/tid=23539] ppid=23520 vsize=8537644 CPUtime=0 cores=1,3,5,7
/proc/23522/task/23539/stat : 23539 (java) S 23520 23522 23522 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869330435 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 271562354176 0 4 0 16800975 18446604456768863168 0 0 -1 1 0 0 0
[pid=23472/tid=23479] ppid=23470 vsize=348556 CPUtime=0 cores=1,3,5,7
/proc/23472/task/23479/stat : 23479 (python) S 23470 23472 23050 0 -1 4202560 32 930 0 0 0 0 0 0 18 0 6 0 869301966 356921344 10747 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562361265 0 0 16781312 33554434 18446604454371669312 0 0 -1 3 0 0 0
[pid=23472/tid=23503] ppid=23470 vsize=348556 CPUtime=0 cores=1,3,5,7
/proc/23472/task/23503/stat : 23503 (python) S 23470 23472 23050 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 869306689 356921344 10747 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562361265 0 0 16781312 33554434 18446604454371669312 0 0 -1 5 0 0 0
[pid=23472/tid=23509] ppid=23470 vsize=348556 CPUtime=0 cores=1,3,5,7
/proc/23472/task/23509/stat : 23509 (python) S 23470 23472 23050 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 869316249 356921344 10747 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562361265 0 0 16781312 33554434 18446604454371669312 0 0 -1 5 0 0 0
[pid=23472/tid=23516] ppid=23470 vsize=348556 CPUtime=0 cores=1,3,5,7
/proc/23472/task/23516/stat : 23516 (python) S 23470 23472 23050 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 869325673 356921344 10747 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562361265 0 0 16781312 33554434 18446604454371669312 0 0 -1 7 0 0 0
[pid=23472/tid=23521] ppid=23470 vsize=348556 CPUtime=0 cores=1,3,5,7
/proc/23472/task/23521/stat : 23521 (python) S 23470 23472 23050 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 869330429 356921344 10747 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562361265 0 0 16781312 33554434 18446604454371669312 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 289.67
Current children cumulated vsize (KiB) 19490604
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+286.702 s]
/proc/loadavg: 2.00 1.95 1.29 6/613 23539
/proc/meminfo: memFree=24422252/32951124 swapFree=55639044/67111528
[pid=23472] ppid=23470 vsize=348556 CPUtime=1.47 cores=1,3,5,7
/proc/23472/stat : 23472 (python) S 23470 23472 23050 0 -1 4202496 19092 930 1 0 135 12 0 0 20 0 6 0 869301802 356921344 10747 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23472/statm: 87139 10747 1879 364 0 22014 0
[pid=23478] ppid=23472 vsize=307532 CPUtime=0.41 cores=1,3,5,7
/proc/23478/stat : 23478 (python) S 23472 23472 23050 0 -1 4202560 1121 0 0 0 19 22 0 0 15 0 2 0 869301966 314912768 9260 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23478/statm: 76883 9260 407 364 0 11770 0
[pid=23480] ppid=23478 vsize=8536476 CPUtime=96.26 cores=1,3,5,7
/proc/23480/stat : 23480 (java) T 23478 23480 23480 0 -1 4202496 140698 0 1 0 9606 20 0 0 18 0 19 0 869301966 8741351424 109385 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23480/statm: 2134119 109385 2260 9 0 2124860 0
[pid=23480/tid=23481] ppid=23478 vsize=8536476 CPUtime=93.29 cores=1,3,5,7
/proc/23480/task/23481/stat : 23481 (java) T 23478 23480 23480 0 -1 4202560 35291 0 1 0 9325 4 0 0 25 0 19 0 869301967 8741351424 109385 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 46912505839650 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23480/tid=23482] ppid=23478 vsize=8536476 CPUtime=0.08 cores=1,3,5,7
/proc/23480/task/23482/stat : 23482 (java) T 23478 23480 23480 0 -1 4202560 10046 0 0 0 7 1 0 0 15 0 19 0 869301967 8741351424 109385 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23480/tid=23483] ppid=23478 vsize=8536476 CPUtime=0.14 cores=1,3,5,7
/proc/23480/task/23483/stat : 23483 (java) T 23478 23480 23480 0 -1 4202560 17806 0 0 0 12 2 0 0 15 0 19 0 869301967 8741351424 109385 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23480/tid=23484] ppid=23478 vsize=8536476 CPUtime=0.11 cores=1,3,5,7
/proc/23480/task/23484/stat : 23484 (java) T 23478 23480 23480 0 -1 4202560 10457 0 0 0 10 1 0 0 15 0 19 0 869301967 8741351424 109385 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23480/tid=23485] ppid=23478 vsize=8536476 CPUtime=0.09 cores=1,3,5,7
/proc/23480/task/23485/stat : 23485 (java) T 23478 23480 23480 0 -1 4202560 10292 0 0 0 8 1 0 0 15 0 19 0 869301967 8741351424 109385 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23480/tid=23486] ppid=23478 vsize=8536476 CPUtime=0.11 cores=1,3,5,7
/proc/23480/task/23486/stat : 23486 (java) T 23478 23480 23480 0 -1 4202560 9845 0 0 0 10 1 0 0 15 0 19 0 869301967 8741351424 109385 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23480/tid=23487] ppid=23478 vsize=8536476 CPUtime=0.09 cores=1,3,5,7
/proc/23480/task/23487/stat : 23487 (java) T 23478 23480 23480 0 -1 4202560 9786 0 0 0 8 1 0 0 15 0 19 0 869301967 8741351424 109385 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23480/tid=23488] ppid=23478 vsize=8536476 CPUtime=0.1 cores=1,3,5,7
/proc/23480/task/23488/stat : 23488 (java) T 23478 23480 23480 0 -1 4202560 7746 0 0 0 10 0 0 0 15 0 19 0 869301967 8741351424 109385 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23480/tid=23489] ppid=23478 vsize=8536476 CPUtime=0.09 cores=1,3,5,7
/proc/23480/task/23489/stat : 23489 (java) T 23478 23480 23480 0 -1 4202560 11809 0 0 0 8 1 0 0 15 0 19 0 869301967 8741351424 109385 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23480/tid=23490] ppid=23478 vsize=8536476 CPUtime=0.9 cores=1,3,5,7
/proc/23480/task/23490/stat : 23490 (java) T 23478 23480 23480 0 -1 4202560 9109 0 0 0 89 1 0 0 15 0 19 0 869301968 8741351424 109385 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562354176 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23480/tid=23491] ppid=23478 vsize=8536476 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23491/stat : 23491 (java) T 23478 23480 23480 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869301968 8741351424 109385 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23480/tid=23492] ppid=23478 vsize=8536476 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23492/stat : 23492 (java) T 23478 23480 23480 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869301968 8741351424 109385 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23480/tid=23493] ppid=23478 vsize=8536476 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23493/stat : 23493 (java) T 23478 23480 23480 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869301971 8741351424 109385 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562361265 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23480/tid=23494] ppid=23478 vsize=8536476 CPUtime=0.54 cores=1,3,5,7
/proc/23480/task/23494/stat : 23494 (java) T 23478 23480 23480 0 -1 4202560 2981 0 0 0 54 0 0 0 15 0 19 0 869301971 8741351424 109385 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23480/tid=23495] ppid=23478 vsize=8536476 CPUtime=0.61 cores=1,3,5,7
/proc/23480/task/23495/stat : 23495 (java) T 23478 23480 23480 0 -1 4202560 4145 0 0 0 61 0 0 0 15 0 19 0 869301971 8741351424 109385 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23480/tid=23496] ppid=23478 vsize=8536476 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23496/stat : 23496 (java) T 23478 23480 23480 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869301971 8741351424 109385 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23480/tid=23497] ppid=23478 vsize=8536476 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23497/stat : 23497 (java) T 23478 23480 23480 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869301971 8741351424 109385 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562354176 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23480/tid=23498] ppid=23478 vsize=8536476 CPUtime=0 cores=1,3,5,7
/proc/23480/task/23498/stat : 23498 (java) T 23478 23480 23480 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869302034 8741351424 109385 33554432000 1073741824 1073778376 140735665863920 18446744073709551615 271562354176 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23478/tid=23501] ppid=23472 vsize=307532 CPUtime=0 cores=1,3,5,7
/proc/23478/task/23501/stat : 23501 (python) S 23472 23472 23050 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869306686 314912768 9260 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562361265 0 0 16781312 33554946 18446604456933159168 0 0 -1 3 0 0 0
[pid=23502] ppid=23472 vsize=307544 CPUtime=0.25 cores=1,3,5,7
/proc/23502/stat : 23502 (python) S 23472 23472 23050 0 -1 4202560 1155 0 0 0 14 11 0 0 16 0 2 0 869306688 314925056 9249 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23502/statm: 76886 9249 396 364 0 11770 0
[pid=23504] ppid=23502 vsize=54372 CPUtime=48.18 cores=1,3,5,7
/proc/23504/stat : 23504 (wbo1.4a) T 23502 23504 23504 0 -1 4202496 18233 0 0 0 4773 45 0 0 25 0 1 0 869306689 55676928 13065 33554432000 134512640 135751879 4289758704 18446744073709551615 134517414 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/23504/statm: 13593 13065 146 303 0 13288 0
[pid=23502/tid=23506] ppid=23472 vsize=307544 CPUtime=0 cores=1,3,5,7
/proc/23502/task/23506/stat : 23506 (python) S 23472 23472 23050 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869311507 314925056 9249 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562361265 0 0 16781312 33554946 18446604457244908480 0 0 -1 7 0 0 0
[pid=23508] ppid=23472 vsize=317800 CPUtime=0.35 cores=1,3,5,7
/proc/23508/stat : 23508 (python) S 23472 23472 23050 0 -1 4202560 1198 0 0 0 15 20 0 0 16 0 2 0 869316249 325427200 9259 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23508/statm: 79450 9259 402 364 0 14331 0
[pid=23510] ppid=23508 vsize=127460 CPUtime=94.21 cores=1,3,5,7
/proc/23510/stat : 23510 (clasp-1.3.7-x86) T 23508 23510 23510 0 -1 4202496 32099 0 0 0 9418 3 0 0 25 0 1 0 869316249 130519040 31562 33554432000 134512640 136139019 4290824288 18446744073709551615 134883801 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/23510/statm: 31865 31562 187 398 0 31465 0
[pid=23508/tid=23514] ppid=23472 vsize=317800 CPUtime=0 cores=1,3,5,7
/proc/23508/task/23514/stat : 23514 (python) S 23472 23472 23050 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869325671 325427200 9259 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562361265 0 0 16781312 33554946 18446604467278541952 0 0 -1 7 0 0 0
[pid=23515] ppid=23472 vsize=328056 CPUtime=0.19 cores=1,3,5,7
/proc/23515/stat : 23515 (python) S 23472 23472 23050 0 -1 4202560 1198 0 0 0 10 9 0 0 16 0 2 0 869325673 335929344 9263 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23515/statm: 82014 9263 402 364 0 16892 0
[pid=23517] ppid=23515 vsize=286852 CPUtime=47.52 cores=1,3,5,7
/proc/23517/stat : 23517 (pbct-0.1.2-linu) T 23515 23517 23517 0 -1 4202496 72862 0 0 0 4676 76 0 0 25 0 1 0 869325673 293736448 70506 33554432000 134512640 136422188 4287615904 18446744073709551615 135811026 0 0 16781312 16387 18446744071562691360 0 0 17 1 0 0 0
/proc/23517/statm: 71713 70506 236 467 0 71244 0
[pid=23515/tid=23519] ppid=23472 vsize=328056 CPUtime=0 cores=1,3,5,7
/proc/23515/task/23519/stat : 23519 (python) S 23472 23472 23050 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869330427 335929344 9263 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562361265 0 0 16781312 33554946 18446604470463879296 0 0 -1 7 0 0 0
[pid=23520] ppid=23472 vsize=338312 CPUtime=0 cores=1,3,5,7
/proc/23520/stat : 23520 (python) S 23472 23472 23050 0 -1 4202560 819 0 0 0 0 0 0 0 18 0 1 0 869330429 346431488 9212 33554432000 4194304 5683644 140736150007936 18446744073709551615 271550557766 0 0 16781312 33554946 522969271093952512 0 0 17 7 0 0 0
/proc/23520/statm: 84578 9212 348 364 0 19453 0
[pid=23522] ppid=23520 vsize=8537644 CPUtime=0.83 cores=1,3,5,7
/proc/23522/stat : 23522 (java) S 23520 23522 23522 0 -1 4202496 16494 0 1 0 80 3 0 0 20 0 18 0 869330429 8742547456 14719 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23522/statm: 2134411 14719 2205 9 0 2125152 0
[pid=23522/tid=23523] ppid=23520 vsize=8537644 CPUtime=0.38 cores=1,3,5,7
/proc/23522/task/23523/stat : 23523 (java) R 23520 23522 23522 0 -1 4202560 10848 0 1 0 37 1 0 0 25 0 18 0 869330431 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 46912505578279 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23522/tid=23524] ppid=23520 vsize=8537644 CPUtime=0 cores=1,3,5,7
/proc/23522/task/23524/stat : 23524 (java) S 23520 23522 23522 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 869330431 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 271562353561 0 4 0 16800975 18446604456768863168 0 0 -1 1 0 0 0
[pid=23522/tid=23525] ppid=23520 vsize=8537644 CPUtime=0 cores=1,3,5,7
/proc/23522/task/23525/stat : 23525 (java) S 23520 23522 23522 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869330431 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 271562353561 0 4 0 16800975 18446604456768863168 0 0 -1 1 0 0 0
[pid=23522/tid=23526] ppid=23520 vsize=8537644 CPUtime=0 cores=1,3,5,7
/proc/23522/task/23526/stat : 23526 (java) S 23520 23522 23522 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869330431 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 271562353561 0 4 0 16800975 18446604456768863168 0 0 -1 1 0 0 0
[pid=23522/tid=23527] ppid=23520 vsize=8537644 CPUtime=0 cores=1,3,5,7
/proc/23522/task/23527/stat : 23527 (java) S 23520 23522 23522 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869330431 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 271562353561 0 4 0 16800975 18446604456768863168 0 0 -1 1 0 0 0
[pid=23522/tid=23528] ppid=23520 vsize=8537644 CPUtime=0 cores=1,3,5,7
/proc/23522/task/23528/stat : 23528 (java) S 23520 23522 23522 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869330431 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 271562353561 0 4 0 16800975 18446604456768863168 0 0 -1 1 0 0 0
[pid=23522/tid=23529] ppid=23520 vsize=8537644 CPUtime=0 cores=1,3,5,7
/proc/23522/task/23529/stat : 23529 (java) S 23520 23522 23522 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869330431 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 271562353561 0 4 0 16800975 18446604456768863168 0 0 -1 1 0 0 0
[pid=23522/tid=23530] ppid=23520 vsize=8537644 CPUtime=0 cores=1,3,5,7
/proc/23522/task/23530/stat : 23530 (java) S 23520 23522 23522 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869330431 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 271562353561 0 4 0 16800975 18446604456768863168 0 0 -1 1 0 0 0
[pid=23522/tid=23531] ppid=23520 vsize=8537644 CPUtime=0 cores=1,3,5,7
/proc/23522/task/23531/stat : 23531 (java) S 23520 23522 23522 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869330431 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 271562353561 0 4 0 16800975 18446604456768863168 0 0 -1 1 0 0 0
[pid=23522/tid=23532] ppid=23520 vsize=8537644 CPUtime=0 cores=1,3,5,7
/proc/23522/task/23532/stat : 23532 (java) S 23520 23522 23522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 869330432 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 271562354176 0 0 0 16800975 18446604456768863168 0 0 -1 1 0 0 0
[pid=23522/tid=23533] ppid=23520 vsize=8537644 CPUtime=0 cores=1,3,5,7
/proc/23522/task/23533/stat : 23533 (java) S 23520 23522 23522 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 18 0 869330433 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 271562353561 0 4 0 16800975 18446604456768863168 0 0 -1 1 0 0 0
[pid=23522/tid=23534] ppid=23520 vsize=8537644 CPUtime=0 cores=1,3,5,7
/proc/23522/task/23534/stat : 23534 (java) S 23520 23522 23522 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 869330433 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 271562353561 0 4 0 16800975 18446604456768863168 0 0 -1 1 0 0 0
[pid=23522/tid=23535] ppid=23520 vsize=8537644 CPUtime=0 cores=1,3,5,7
/proc/23522/task/23535/stat : 23535 (java) S 23520 23522 23522 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869330435 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 271562361265 0 4 0 16800975 18446604456768863168 0 0 -1 1 0 0 0
[pid=23522/tid=23536] ppid=23520 vsize=8537644 CPUtime=0.25 cores=1,3,5,7
/proc/23522/task/23536/stat : 23536 (java) R 23520 23522 23522 0 -1 4202560 1999 0 0 0 25 0 0 0 25 0 18 0 869330435 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 47990186998467 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23522/tid=23537] ppid=23520 vsize=8537644 CPUtime=0.17 cores=1,3,5,7
/proc/23522/task/23537/stat : 23537 (java) R 23520 23522 23522 0 -1 4202560 2258 0 0 0 17 0 0 0 25 0 18 0 869330435 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 47990192054995 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23522/tid=23538] ppid=23520 vsize=8537644 CPUtime=0 cores=1,3,5,7
/proc/23522/task/23538/stat : 23538 (java) S 23520 23522 23522 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869330435 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 271562353561 0 4 0 16800975 18446604456768863168 0 0 -1 1 0 0 0
[pid=23522/tid=23539] ppid=23520 vsize=8537644 CPUtime=0 cores=1,3,5,7
/proc/23522/task/23539/stat : 23539 (java) S 23520 23522 23522 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869330435 8742547456 14724 33554432000 1073741824 1073778376 140737156460352 18446744073709551615 271562354176 0 4 0 16800975 18446604456768863168 0 0 -1 1 0 0 0
[pid=23472/tid=23479] ppid=23470 vsize=348556 CPUtime=0 cores=1,3,5,7
/proc/23472/task/23479/stat : 23479 (python) S 23470 23472 23050 0 -1 4202560 32 930 0 0 0 0 0 0 18 0 6 0 869301966 356921344 10747 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562361265 0 0 16781312 33554434 18446604454371669312 0 0 -1 3 0 0 0
[pid=23472/tid=23503] ppid=23470 vsize=348556 CPUtime=0 cores=1,3,5,7
/proc/23472/task/23503/stat : 23503 (python) S 23470 23472 23050 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 869306689 356921344 10747 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562361265 0 0 16781312 33554434 18446604454371669312 0 0 -1 5 0 0 0
[pid=23472/tid=23509] ppid=23470 vsize=348556 CPUtime=0 cores=1,3,5,7
/proc/23472/task/23509/stat : 23509 (python) S 23470 23472 23050 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 869316249 356921344 10747 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562361265 0 0 16781312 33554434 18446604454371669312 0 0 -1 5 0 0 0
[pid=23472/tid=23516] ppid=23470 vsize=348556 CPUtime=0 cores=1,3,5,7
/proc/23472/task/23516/stat : 23516 (python) S 23470 23472 23050 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 869325673 356921344 10747 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562361265 0 0 16781312 33554434 18446604454371669312 0 0 -1 7 0 0 0
[pid=23472/tid=23521] ppid=23470 vsize=348556 CPUtime=0 cores=1,3,5,7
/proc/23472/task/23521/stat : 23521 (python) S 23470 23472 23050 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 869330429 356921344 10747 33554432000 4194304 5683644 140736150007936 18446744073709551615 271562361265 0 0 16781312 33554434 18446604454371669312 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 289.67
Current children cumulated vsize (KiB) 19490604
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23472 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=351794
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=129980
# CPU time returned by wait4() is 1.48177
# while last known CPU time is 289.67
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 286.782
CPU time (s): 289.67
CPU user time (s): 287.46
CPU system time (s): 2.21
CPU usage (%): 101.007
Max. virtual memory (cumulated for all children) (KiB): 19491300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.35179
system time used= 0.12998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20025
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= 2871
involuntary context switches= 24
runsolver used 1.61875 second user time and 3.39048 second system time
The end