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-3481757-1307577592/watcher-3481757-1307577592 -o /tmp/evaluation-result-3481757-1307577592/solver-3481757-1307577592 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481757-1307577592.opb -seed 1788640917 -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: 2.20 2.07 1.50 2/596 12420
/proc/meminfo: memFree=23541476/32950904 swapFree=56615552/67111528
[pid=12420] ppid=12418 vsize=15780 CPUtime=0 cores=0,2,4,6
/proc/12420/stat : 12420 (python) R 12418 12420 11000 0 -1 4202496 882 0 0 0 0 0 0 0 20 0 1 0 869359054 16158720 763 33554432000 4194304 5683644 140736418641424 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12420/statm: 3945 763 343 364 0 432 0
[startup+0.0662351 s]
/proc/loadavg: 2.20 2.07 1.50 2/596 12420
/proc/meminfo: memFree=23541476/32950904 swapFree=56615552/67111528
[pid=12420] ppid=12418 vsize=30120 CPUtime=0.03 cores=0,2,4,6
/proc/12420/stat : 12420 (python) S 12418 12420 11000 0 -1 4202496 1511 0 0 0 3 0 0 0 20 0 1 0 869359054 30842880 1348 33554432000 4194304 5683644 140736418641424 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/12420/statm: 7530 1348 443 364 0 900 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 30120
[startup+0.101152 s]
/proc/loadavg: 2.20 2.07 1.50 2/596 12420
/proc/meminfo: memFree=23541476/32950904 swapFree=56615552/67111528
[pid=12420] ppid=12418 vsize=85624 CPUtime=0.05 cores=0,2,4,6
/proc/12420/stat : 12420 (python) S 12418 12420 11000 0 -1 4202496 2664 0 0 0 4 1 0 0 20 0 1 0 869359054 87678976 2382 33554432000 4194304 5683644 140736418641424 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/12420/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85624
[startup+0.300935 s]
/proc/loadavg: 2.20 2.07 1.50 2/596 12420
/proc/meminfo: memFree=23541476/32950904 swapFree=56615552/67111528
[pid=12420] ppid=12418 vsize=123744 CPUtime=0.17 cores=0,2,4,6
/proc/12420/stat : 12420 (python) S 12418 12420 11000 0 -1 4202496 5358 930 1 0 12 5 0 0 20 0 1 0 869359054 126713856 3744 33554432000 4194304 5683644 140736418641424 18446744073709551615 237278875653 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/12420/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.70083 s]
/proc/loadavg: 2.20 2.07 1.50 2/596 12420
/proc/meminfo: memFree=23541476/32950904 swapFree=56615552/67111528
[pid=12420] ppid=12418 vsize=295600 CPUtime=0.43 cores=0,2,4,6
/proc/12420/stat : 12420 (python) R 12418 12420 11000 0 -1 4202496 12351 930 1 0 32 11 0 0 19 0 1 0 869359054 302694400 10212 33554432000 4194304 5683644 140736418641424 18446744073709551615 47610189925383 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/12420/statm: 73900 10212 1781 364 0 8793 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 295600
[startup+1.50068 s]
/proc/loadavg: 2.18 2.07 1.50 3/597 12425
/proc/meminfo: memFree=23495344/32950904 swapFree=56615552/67111528
[pid=12420] ppid=12418 vsize=323512 CPUtime=1.23 cores=0,2,4,6
/proc/12420/stat : 12420 (python) R 12418 12420 11000 0 -1 4202496 19127 930 1 0 111 12 0 0 20 0 1 0 869359054 331276288 16988 33554432000 4194304 5683644 140736418641424 18446744073709551615 47610189924827 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/12420/statm: 80878 16988 1781 364 0 15771 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 323512
[startup+3.10034 s]
/proc/loadavg: 2.18 2.07 1.50 3/597 12425
/proc/meminfo: memFree=23456160/32950904 swapFree=56615552/67111528
[pid=12420] ppid=12418 vsize=369156 CPUtime=2.82 cores=0,2,4,6
/proc/12420/stat : 12420 (python) R 12418 12420 11000 0 -1 4202496 46075 930 1 0 267 15 0 0 25 0 1 0 869359054 378015744 28635 33554432000 4194304 5683644 140736418641424 18446744073709551615 237278540315 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/12420/statm: 92289 28635 1815 364 0 27182 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 369156
[startup+6.30091 s]
/proc/loadavg: 2.17 2.07 1.51 3/597 12425
/proc/meminfo: memFree=23429560/32950904 swapFree=56615552/67111528
[pid=12420] ppid=12418 vsize=372180 CPUtime=6.02 cores=0,2,4,6
/proc/12420/stat : 12420 (python) R 12418 12420 11000 0 -1 4202496 46832 930 1 0 587 15 0 0 25 0 1 0 869359054 381112320 29392 33554432000 4194304 5683644 140736418641424 18446744073709551615 4623648 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/12420/statm: 93045 29392 1816 364 0 27938 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 372180
[startup+12.7008 s]
/proc/loadavg: 2.15 2.07 1.51 3/618 12446
/proc/meminfo: memFree=23121116/32950904 swapFree=56615552/67111528
[pid=12420] ppid=12418 vsize=388492 CPUtime=7.25 cores=0,2,4,6
/proc/12420/stat : 12420 (python) S 12418 12420 11000 0 -1 4202496 48630 930 1 0 709 16 0 0 25 0 2 0 869359054 397815808 30961 33554432000 4194304 5683644 140736418641424 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/12420/statm: 97123 30961 1870 364 0 32010 0
[pid=12426] ppid=12420 vsize=378248 CPUtime=0.02 cores=0,2,4,6
/proc/12426/stat : 12426 (python) S 12420 12420 11000 0 -1 4202560 989 0 0 0 1 1 0 0 15 0 1 0 869359807 387325952 29467 33554432000 4194304 5683644 140736418641424 18446744073709551615 237278899727 0 0 16781312 33554946 4294934786 0 0 17 2 0 0 0
/proc/12426/statm: 94562 29467 380 364 0 29449 0
[pid=12428] ppid=12426 vsize=8538080 CPUtime=6.04 cores=0,2,4,6
/proc/12428/stat : 12428 (java) S 12426 12428 12428 0 -1 4202496 78725 0 1 0 593 11 0 0 25 0 19 0 869359807 8742993920 76938 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/12428/statm: 2134520 76938 2253 9 0 2125261 0
[pid=12428/tid=12429] ppid=12426 vsize=8538080 CPUtime=5.04 cores=0,2,4,6
/proc/12428/task/12429/stat : 12429 (java) R 12426 12428 12428 0 -1 4202560 66247 0 1 0 495 9 0 0 25 0 19 0 869359808 8742993920 76938 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 46912505817197 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12428/tid=12430] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12430/stat : 12430 (java) S 12426 12428 12428 0 -1 4202560 444 0 0 0 0 0 0 0 15 0 19 0 869359809 8742993920 76938 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 4 0 0 0
[pid=12428/tid=12431] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12431/stat : 12431 (java) S 12426 12428 12428 0 -1 4202560 261 0 0 0 0 0 0 0 15 0 19 0 869359809 8742993920 76938 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 6 0 0 0
[pid=12428/tid=12432] ppid=12426 vsize=8538080 CPUtime=0.01 cores=0,2,4,6
/proc/12428/task/12432/stat : 12432 (java) S 12426 12428 12428 0 -1 4202560 1800 0 0 0 1 0 0 0 15 0 19 0 869359809 8742993920 76938 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 6 0 0 0
[pid=12428/tid=12433] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12433/stat : 12433 (java) S 12426 12428 12428 0 -1 4202560 246 0 0 0 0 0 0 0 15 0 19 0 869359809 8742993920 76938 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 2 0 0 0
[pid=12428/tid=12434] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12434/stat : 12434 (java) S 12426 12428 12428 0 -1 4202560 816 0 0 0 0 0 0 0 15 0 19 0 869359809 8742993920 76938 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 4 0 0 0
[pid=12428/tid=12435] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12435/stat : 12435 (java) S 12426 12428 12428 0 -1 4202560 842 0 0 0 0 0 0 0 15 0 19 0 869359809 8742993920 76938 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 6 0 0 0
[pid=12428/tid=12436] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12436/stat : 12436 (java) S 12426 12428 12428 0 -1 4202560 486 0 0 0 0 0 0 0 16 0 19 0 869359809 8742993920 76938 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 4 0 0 0
[pid=12428/tid=12437] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12437/stat : 12437 (java) S 12426 12428 12428 0 -1 4202560 520 0 0 0 0 0 0 0 15 0 19 0 869359809 8742993920 76938 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 4 0 0 0
[pid=12428/tid=12438] ppid=12426 vsize=8538080 CPUtime=0.06 cores=0,2,4,6
/proc/12428/task/12438/stat : 12438 (java) S 12426 12428 12428 0 -1 4202560 1864 0 0 0 6 0 0 0 16 0 19 0 869359810 8742993920 76938 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290696192 0 0 0 16800975 18446604447161250176 0 0 -1 0 0 0 0
[pid=12428/tid=12439] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12439/stat : 12439 (java) S 12426 12428 12428 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869359810 8742993920 76938 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 6 0 0 0
[pid=12428/tid=12440] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12440/stat : 12440 (java) S 12426 12428 12428 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869359810 8742993920 76938 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 6 0 0 0
[pid=12428/tid=12441] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12441/stat : 12441 (java) S 12426 12428 12428 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869359812 8742993920 76938 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290703281 0 4 0 16800975 18446604447161250176 0 0 -1 6 0 0 0
[pid=12428/tid=12442] ppid=12426 vsize=8538080 CPUtime=0.34 cores=0,2,4,6
/proc/12428/task/12442/stat : 12442 (java) S 12426 12428 12428 0 -1 4202560 1870 0 0 0 34 0 0 0 15 0 19 0 869359812 8742993920 76938 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 2 0 0 0
[pid=12428/tid=12443] ppid=12426 vsize=8538080 CPUtime=0.49 cores=0,2,4,6
/proc/12428/task/12443/stat : 12443 (java) S 12426 12428 12428 0 -1 4202560 1955 0 0 0 49 0 0 0 15 0 19 0 869359812 8742993920 76938 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 4 0 0 0
[pid=12428/tid=12444] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12444/stat : 12444 (java) S 12426 12428 12428 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869359812 8742993920 76938 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 6 0 0 0
[pid=12428/tid=12445] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12445/stat : 12445 (java) S 12426 12428 12428 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869359812 8742993920 76938 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290696192 0 4 0 16800975 18446604447161250176 0 0 -1 2 0 0 0
[pid=12428/tid=12446] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12446/stat : 12446 (java) S 12426 12428 12428 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869360015 8742993920 76938 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290696192 0 4 0 16800975 18446604447161250176 0 0 -1 0 0 0 0
[pid=12420/tid=12427] ppid=12418 vsize=388492 CPUtime=0 cores=0,2,4,6
/proc/12420/task/12427/stat : 12427 (python) S 12418 12420 11000 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 2 0 869359807 397815808 30961 33554432000 4194304 5683644 140736418641424 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446626121792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.31
Current children cumulated vsize (KiB) 9304820
[startup+25.5015 s]
/proc/loadavg: 2.12 2.07 1.52 3/618 12447
/proc/meminfo: memFree=23115152/32950904 swapFree=56615552/67111528
[pid=12420] ppid=12418 vsize=388492 CPUtime=7.25 cores=0,2,4,6
/proc/12420/stat : 12420 (python) S 12418 12420 11000 0 -1 4202496 48630 930 1 0 709 16 0 0 25 0 2 0 869359054 397815808 30961 33554432000 4194304 5683644 140736418641424 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/12420/statm: 97123 30961 1870 364 0 32010 0
[pid=12426] ppid=12420 vsize=378248 CPUtime=0.06 cores=0,2,4,6
/proc/12426/stat : 12426 (python) S 12420 12420 11000 0 -1 4202560 995 0 0 0 3 3 0 0 15 0 1 0 869359807 387325952 29467 33554432000 4194304 5683644 140736418641424 18446744073709551615 237278899727 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/12426/statm: 94562 29467 380 364 0 29449 0
[pid=12428] ppid=12426 vsize=8538080 CPUtime=18.95 cores=0,2,4,6
/proc/12428/stat : 12428 (java) S 12426 12428 12428 0 -1 4202496 79958 0 1 0 1884 11 0 0 25 0 19 0 869359807 8742993920 78115 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/12428/statm: 2134520 78115 2253 9 0 2125261 0
[pid=12428/tid=12429] ppid=12426 vsize=8538080 CPUtime=17.53 cores=0,2,4,6
/proc/12428/task/12429/stat : 12429 (java) R 12426 12428 12428 0 -1 4202560 66257 0 1 0 1744 9 0 0 25 0 19 0 869359808 8742993920 78115 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 46912505826430 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12428/tid=12430] ppid=12426 vsize=8538080 CPUtime=0.01 cores=0,2,4,6
/proc/12428/task/12430/stat : 12430 (java) S 12426 12428 12428 0 -1 4202560 449 0 0 0 1 0 0 0 15 0 19 0 869359809 8742993920 78115 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 2 0 0 0
[pid=12428/tid=12431] ppid=12426 vsize=8538080 CPUtime=0.02 cores=0,2,4,6
/proc/12428/task/12431/stat : 12431 (java) S 12426 12428 12428 0 -1 4202560 432 0 0 0 2 0 0 0 16 0 19 0 869359809 8742993920 78115 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 6 0 0 0
[pid=12428/tid=12432] ppid=12426 vsize=8538080 CPUtime=0.02 cores=0,2,4,6
/proc/12428/task/12432/stat : 12432 (java) S 12426 12428 12428 0 -1 4202560 1805 0 0 0 2 0 0 0 16 0 19 0 869359809 8742993920 78115 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 2 0 0 0
[pid=12428/tid=12433] ppid=12426 vsize=8538080 CPUtime=0.01 cores=0,2,4,6
/proc/12428/task/12433/stat : 12433 (java) S 12426 12428 12428 0 -1 4202560 293 0 0 0 1 0 0 0 15 0 19 0 869359809 8742993920 78115 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 6 0 0 0
[pid=12428/tid=12434] ppid=12426 vsize=8538080 CPUtime=0.02 cores=0,2,4,6
/proc/12428/task/12434/stat : 12434 (java) S 12426 12428 12428 0 -1 4202560 916 0 0 0 2 0 0 0 15 0 19 0 869359809 8742993920 78115 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 4 0 0 0
[pid=12428/tid=12435] ppid=12426 vsize=8538080 CPUtime=0.01 cores=0,2,4,6
/proc/12428/task/12435/stat : 12435 (java) S 12426 12428 12428 0 -1 4202560 847 0 0 0 1 0 0 0 16 0 19 0 869359809 8742993920 78115 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 4 0 0 0
[pid=12428/tid=12436] ppid=12426 vsize=8538080 CPUtime=0.01 cores=0,2,4,6
/proc/12428/task/12436/stat : 12436 (java) S 12426 12428 12428 0 -1 4202560 571 0 0 0 1 0 0 0 15 0 19 0 869359809 8742993920 78115 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 6 0 0 0
[pid=12428/tid=12437] ppid=12426 vsize=8538080 CPUtime=0.02 cores=0,2,4,6
/proc/12428/task/12437/stat : 12437 (java) S 12426 12428 12428 0 -1 4202560 725 0 0 0 2 0 0 0 15 0 19 0 869359809 8742993920 78115 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 4 0 0 0
[pid=12428/tid=12438] ppid=12426 vsize=8538080 CPUtime=0.32 cores=0,2,4,6
/proc/12428/task/12438/stat : 12438 (java) S 12426 12428 12428 0 -1 4202560 2460 0 0 0 32 0 0 0 15 0 19 0 869359810 8742993920 78115 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290696192 0 0 0 16800975 18446604447161250176 0 0 -1 0 0 0 0
[pid=12428/tid=12439] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12439/stat : 12439 (java) S 12426 12428 12428 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869359810 8742993920 78115 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 6 0 0 0
[pid=12428/tid=12440] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12440/stat : 12440 (java) S 12426 12428 12428 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869359810 8742993920 78115 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 6 0 0 0
[pid=12428/tid=12441] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12441/stat : 12441 (java) S 12426 12428 12428 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869359812 8742993920 78115 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290703281 0 4 0 16800975 18446604447161250176 0 0 -1 6 0 0 0
[pid=12428/tid=12442] ppid=12426 vsize=8538080 CPUtime=0.38 cores=0,2,4,6
/proc/12428/task/12442/stat : 12442 (java) S 12426 12428 12428 0 -1 4202560 1874 0 0 0 38 0 0 0 15 0 19 0 869359812 8742993920 78115 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 2 0 0 0
[pid=12428/tid=12443] ppid=12426 vsize=8538080 CPUtime=0.5 cores=0,2,4,6
/proc/12428/task/12443/stat : 12443 (java) S 12426 12428 12428 0 -1 4202560 1955 0 0 0 50 0 0 0 15 0 19 0 869359812 8742993920 78115 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 4 0 0 0
[pid=12428/tid=12444] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12444/stat : 12444 (java) S 12426 12428 12428 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869359812 8742993920 78115 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446604447161250176 0 0 -1 6 0 0 0
[pid=12428/tid=12445] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12445/stat : 12445 (java) S 12426 12428 12428 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869359812 8742993920 78115 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290696192 0 4 0 16800975 18446604447161250176 0 0 -1 2 0 0 0
[pid=12428/tid=12446] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12446/stat : 12446 (java) S 12426 12428 12428 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869360015 8742993920 78115 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290696192 0 4 0 16800975 18446604447161250176 0 0 -1 0 0 0 0
[pid=12420/tid=12427] ppid=12418 vsize=388492 CPUtime=0 cores=0,2,4,6
/proc/12420/task/12427/stat : 12427 (python) S 12418 12420 11000 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 2 0 869359807 397815808 30961 33554432000 4194304 5683644 140736418641424 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446626121792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 26.26
Current children cumulated vsize (KiB) 9304820
[startup+51.1009 s]
/proc/loadavg: 2.08 2.06 1.53 3/618 12447
/proc/meminfo: memFree=23105496/32950904 swapFree=56615552/67111528
################
# More data... #
################
[pid=12472/tid=12478] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12478/stat : 12478 (java) S 12470 12472 12472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869374614 8741171200 31514 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 6 0 0 0
[pid=12472/tid=12479] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12479/stat : 12479 (java) S 12470 12472 12472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869374614 8741171200 31517 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 6 0 0 0
[pid=12472/tid=12480] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12480/stat : 12480 (java) S 12470 12472 12472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869374614 8741171200 31520 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 6 0 0 0
[pid=12472/tid=12481] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12481/stat : 12481 (java) S 12470 12472 12472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869374614 8741171200 31522 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 6 0 0 0
[pid=12472/tid=12482] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12482/stat : 12482 (java) S 12470 12472 12472 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869374615 8741171200 31525 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290696192 0 0 0 16800975 18446604440809717952 0 0 -1 4 0 0 0
[pid=12472/tid=12483] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12483/stat : 12483 (java) S 12470 12472 12472 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869374616 8741171200 31528 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 4 0 0 0
[pid=12472/tid=12484] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12484/stat : 12484 (java) S 12470 12472 12472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869374616 8741171200 31531 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 4 0 0 0
[pid=12472/tid=12485] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12485/stat : 12485 (java) S 12470 12472 12472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869374618 8741171200 31534 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290703281 0 4 0 16800975 18446604440809717952 0 0 -1 4 0 0 0
[pid=12472/tid=12486] ppid=12470 vsize=8536300 CPUtime=0.17 cores=0,2,4,6
/proc/12472/task/12486/stat : 12486 (java) S 12470 12472 12472 0 -1 4202560 1464 0 0 0 17 0 0 0 25 0 18 0 869374618 8741171200 31536 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 0 0 0 0
[pid=12472/tid=12487] ppid=12470 vsize=8536300 CPUtime=0.19 cores=0,2,4,6
/proc/12472/task/12487/stat : 12487 (java) S 12470 12472 12472 0 -1 4202560 1493 0 0 0 19 0 0 0 15 0 18 0 869374618 8741171200 31539 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 6 0 0 0
[pid=12472/tid=12488] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12488/stat : 12488 (java) S 12470 12472 12472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869374618 8741171200 31542 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 4 0 0 0
[pid=12472/tid=12489] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12489/stat : 12489 (java) S 12470 12472 12472 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869374618 8741171200 31545 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290696192 0 4 0 16800975 18446604440809717952 0 0 -1 2 0 0 0
[pid=12420/tid=12427] ppid=12418 vsize=419260 CPUtime=0 cores=0,2,4,6
/proc/12420/task/12427/stat : 12427 (python) S 12418 12420 11000 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 5 0 869359807 429322240 30980 33554432000 4194304 5683644 140736418641424 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446626121792 0 0 -1 0 0 0 0
[pid=12420/tid=12450] ppid=12418 vsize=419260 CPUtime=0 cores=0,2,4,6
/proc/12420/task/12450/stat : 12450 (python) S 12418 12420 11000 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 5 0 869364566 429322240 30980 33554432000 4194304 5683644 140736418641424 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446626121792 0 0 -1 2 0 0 0
[pid=12420/tid=12465] ppid=12418 vsize=419260 CPUtime=0 cores=0,2,4,6
/proc/12420/task/12465/stat : 12465 (python) S 12418 12420 11000 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 5 0 869369622 429322240 30980 33554432000 4194304 5683644 140736418641424 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446626121792 0 0 -1 0 0 0 0
[pid=12420/tid=12471] ppid=12418 vsize=419260 CPUtime=0 cores=0,2,4,6
/proc/12420/task/12471/stat : 12471 (python) S 12418 12420 11000 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 5 0 869374613 429322240 30980 33554432000 4194304 5683644 140736418641424 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446626121792 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 157.84
Current children cumulated vsize (KiB) 20057752
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+156.101 s]
/proc/loadavg: 2.03 2.05 1.58 4/648 12489
/proc/meminfo: memFree=21999408/32950904 swapFree=56615552/67111528
[pid=12420] ppid=12418 vsize=419260 CPUtime=7.35 cores=0,2,4,6
/proc/12420/stat : 12420 (python) S 12418 12420 11000 0 -1 4202496 51291 930 1 0 717 18 0 0 20 0 5 0 869359054 429322240 30980 33554432000 4194304 5683644 140736418641424 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/12420/statm: 104815 30980 1877 364 0 39693 0
[pid=12426] ppid=12420 vsize=388492 CPUtime=0.2 cores=0,2,4,6
/proc/12426/stat : 12426 (python) S 12420 12420 11000 0 -1 4202560 1148 0 0 0 9 11 0 0 17 0 2 0 869359807 397815808 29503 33554432000 4194304 5683644 140736418641424 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/12426/statm: 97123 29503 411 364 0 32010 0
[pid=12428] ppid=12426 vsize=8538080 CPUtime=48.6 cores=0,2,4,6
/proc/12428/stat : 12428 (java) T 12426 12428 12428 0 -1 4202496 82034 0 1 0 4848 12 0 0 18 0 19 0 869359807 8742993920 80155 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/12428/statm: 2134520 80155 2253 9 0 2125261 0
[pid=12428/tid=12429] ppid=12426 vsize=8538080 CPUtime=46.64 cores=0,2,4,6
/proc/12428/task/12429/stat : 12429 (java) T 12426 12428 12428 0 -1 4202560 66272 0 1 0 4655 9 0 0 25 0 19 0 869359808 8742993920 80155 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=12428/tid=12430] ppid=12426 vsize=8538080 CPUtime=0.03 cores=0,2,4,6
/proc/12428/task/12430/stat : 12430 (java) T 12426 12428 12428 0 -1 4202560 691 0 0 0 3 0 0 0 15 0 19 0 869359809 8742993920 80155 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=12428/tid=12431] ppid=12426 vsize=8538080 CPUtime=0.03 cores=0,2,4,6
/proc/12428/task/12431/stat : 12431 (java) T 12426 12428 12428 0 -1 4202560 490 0 0 0 3 0 0 0 15 0 19 0 869359809 8742993920 80155 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=12428/tid=12432] ppid=12426 vsize=8538080 CPUtime=0.04 cores=0,2,4,6
/proc/12428/task/12432/stat : 12432 (java) T 12426 12428 12428 0 -1 4202560 2065 0 0 0 4 0 0 0 15 0 19 0 869359809 8742993920 80155 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=12428/tid=12433] ppid=12426 vsize=8538080 CPUtime=0.03 cores=0,2,4,6
/proc/12428/task/12433/stat : 12433 (java) T 12426 12428 12428 0 -1 4202560 382 0 0 0 3 0 0 0 15 0 19 0 869359809 8742993920 80155 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=12428/tid=12434] ppid=12426 vsize=8538080 CPUtime=0.02 cores=0,2,4,6
/proc/12428/task/12434/stat : 12434 (java) T 12426 12428 12428 0 -1 4202560 919 0 0 0 2 0 0 0 15 0 19 0 869359809 8742993920 80155 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12428/tid=12435] ppid=12426 vsize=8538080 CPUtime=0.03 cores=0,2,4,6
/proc/12428/task/12435/stat : 12435 (java) T 12426 12428 12428 0 -1 4202560 1201 0 0 0 3 0 0 0 15 0 19 0 869359809 8742993920 80155 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=12428/tid=12436] ppid=12426 vsize=8538080 CPUtime=0.03 cores=0,2,4,6
/proc/12428/task/12436/stat : 12436 (java) T 12426 12428 12428 0 -1 4202560 719 0 0 0 3 0 0 0 15 0 19 0 869359809 8742993920 80155 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12428/tid=12437] ppid=12426 vsize=8538080 CPUtime=0.03 cores=0,2,4,6
/proc/12428/task/12437/stat : 12437 (java) T 12426 12428 12428 0 -1 4202560 859 0 0 0 3 0 0 0 15 0 19 0 869359809 8742993920 80155 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12428/tid=12438] ppid=12426 vsize=8538080 CPUtime=0.74 cores=0,2,4,6
/proc/12428/task/12438/stat : 12438 (java) T 12426 12428 12428 0 -1 4202560 3229 0 0 0 73 1 0 0 15 0 19 0 869359810 8742993920 80155 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 47293741488153 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=12428/tid=12439] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12439/stat : 12439 (java) T 12426 12428 12428 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869359810 8742993920 80155 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12428/tid=12440] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12440/stat : 12440 (java) T 12426 12428 12428 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869359810 8742993920 80155 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12428/tid=12441] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12441/stat : 12441 (java) T 12426 12428 12428 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869359812 8742993920 80155 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290703281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12428/tid=12442] ppid=12426 vsize=8538080 CPUtime=0.39 cores=0,2,4,6
/proc/12428/task/12442/stat : 12442 (java) T 12426 12428 12428 0 -1 4202560 1874 0 0 0 39 0 0 0 15 0 19 0 869359812 8742993920 80155 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=12428/tid=12443] ppid=12426 vsize=8538080 CPUtime=0.5 cores=0,2,4,6
/proc/12428/task/12443/stat : 12443 (java) T 12426 12428 12428 0 -1 4202560 1955 0 0 0 50 0 0 0 15 0 19 0 869359812 8742993920 80155 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=12428/tid=12444] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12444/stat : 12444 (java) T 12426 12428 12428 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869359812 8742993920 80155 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12428/tid=12445] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12445/stat : 12445 (java) T 12426 12428 12428 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869359812 8742993920 80155 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=12428/tid=12446] ppid=12426 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/12428/task/12446/stat : 12446 (java) T 12426 12428 12428 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869360015 8742993920 80155 33554432000 1073741824 1073778376 140735927606032 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=12426/tid=12448] ppid=12420 vsize=388492 CPUtime=0 cores=0,2,4,6
/proc/12426/task/12448/stat : 12448 (python) S 12420 12420 11000 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869364563 397815808 29503 33554432000 4194304 5683644 140736418641424 18446744073709551615 237290703281 0 0 16781312 33554946 18446604446626120000 0 0 -1 0 0 0 0
[pid=12449] ppid=12420 vsize=388504 CPUtime=0.22 cores=0,2,4,6
/proc/12449/stat : 12449 (python) S 12420 12420 11000 0 -1 4202560 1125 0 0 0 12 10 0 0 17 0 2 0 869364565 397828096 29488 33554432000 4194304 5683644 140736418641424 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/12449/statm: 97126 29488 396 364 0 32010 0
[pid=12451] ppid=12449 vsize=210268 CPUtime=50.52 cores=0,2,4,6
/proc/12451/stat : 12451 (wbo1.4a) T 12449 12451 12451 0 -1 4202496 69397 0 0 0 5018 34 0 0 25 0 1 0 869364566 215314432 51862 33554432000 134512640 135751879 4290886176 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/12451/statm: 52567 51862 146 303 0 52262 0
[pid=12449/tid=12463] ppid=12420 vsize=388504 CPUtime=0 cores=0,2,4,6
/proc/12449/task/12463/stat : 12463 (python) S 12420 12420 11000 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869369618 397828096 29488 33554432000 4194304 5683644 140736418641424 18446744073709551615 237290703281 0 0 16781312 33554946 18446604453935307456 0 0 -1 6 0 0 0
[pid=12464] ppid=12420 vsize=398760 CPUtime=0.19 cores=0,2,4,6
/proc/12464/stat : 12464 (python) S 12420 12420 11000 0 -1 4202560 1106 0 0 0 10 9 0 0 16 0 2 0 869369621 408330240 29492 33554432000 4194304 5683644 140736418641424 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/12464/statm: 99690 29492 396 364 0 34571 0
[pid=12466] ppid=12464 vsize=769072 CPUtime=49.86 cores=0,2,4,6
/proc/12466/stat : 12466 (pbct-0.1.2-linu) T 12464 12466 12466 0 -1 4202496 206544 0 0 0 4767 219 0 0 25 0 1 0 869369622 787529728 183969 33554432000 134512640 136422188 4290108736 18446744073709551615 135806212 0 0 16781312 16387 18446744071562691360 0 0 17 2 0 0 0
/proc/12466/statm: 192268 183969 238 467 0 191799 0
[pid=12464/tid=12469] ppid=12420 vsize=398760 CPUtime=0 cores=0,2,4,6
/proc/12464/task/12469/stat : 12469 (python) S 12420 12420 11000 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869374609 408330240 29492 33554432000 4194304 5683644 140736418641424 18446744073709551615 237290703281 0 0 16781312 33554946 18446604450100644800 0 0 -1 6 0 0 0
[pid=12470] ppid=12420 vsize=409016 CPUtime=0 cores=0,2,4,6
/proc/12470/stat : 12470 (python) S 12420 12420 11000 0 -1 4202560 803 0 0 0 0 0 0 0 18 0 1 0 869374612 418832384 29447 33554432000 4194304 5683644 140736418641424 18446744073709551615 237278899782 0 0 16781312 33554946 1032288225588150272 0 0 17 0 0 0 0
/proc/12470/statm: 102254 29447 348 364 0 37132 0
[pid=12472] ppid=12470 vsize=8536300 CPUtime=0.9 cores=0,2,4,6
/proc/12472/stat : 12472 (java) S 12470 12472 12472 0 -1 4202496 32032 0 1 0 86 4 0 0 20 0 18 0 869374613 8741171200 30849 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12472/statm: 2134075 30851 2204 9 0 2124816 0
[pid=12472/tid=12473] ppid=12470 vsize=8536300 CPUtime=0.52 cores=0,2,4,6
/proc/12472/task/12473/stat : 12473 (java) R 12470 12472 12472 0 -1 4202560 28337 0 1 0 49 3 0 0 18 0 18 0 869374614 8741171200 31500 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 46912505584084 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12472/tid=12474] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12474/stat : 12474 (java) S 12470 12472 12472 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869374614 8741171200 31503 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 4 0 0 0
[pid=12472/tid=12475] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12475/stat : 12475 (java) S 12470 12472 12472 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869374614 8741171200 31506 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 4 0 0 0
[pid=12472/tid=12476] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12476/stat : 12476 (java) S 12470 12472 12472 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869374614 8741171200 31508 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 4 0 0 0
[pid=12472/tid=12477] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12477/stat : 12477 (java) S 12470 12472 12472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869374614 8741171200 31511 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 6 0 0 0
[pid=12472/tid=12478] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12478/stat : 12478 (java) S 12470 12472 12472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869374614 8741171200 31514 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 6 0 0 0
[pid=12472/tid=12479] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12479/stat : 12479 (java) S 12470 12472 12472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869374614 8741171200 31517 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 6 0 0 0
[pid=12472/tid=12480] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12480/stat : 12480 (java) S 12470 12472 12472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869374614 8741171200 31520 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 6 0 0 0
[pid=12472/tid=12481] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12481/stat : 12481 (java) S 12470 12472 12472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869374614 8741171200 31522 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 6 0 0 0
[pid=12472/tid=12482] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12482/stat : 12482 (java) S 12470 12472 12472 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869374615 8741171200 31525 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290696192 0 0 0 16800975 18446604440809717952 0 0 -1 4 0 0 0
[pid=12472/tid=12483] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12483/stat : 12483 (java) S 12470 12472 12472 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869374616 8741171200 31528 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 4 0 0 0
[pid=12472/tid=12484] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12484/stat : 12484 (java) S 12470 12472 12472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869374616 8741171200 31531 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 4 0 0 0
[pid=12472/tid=12485] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12485/stat : 12485 (java) S 12470 12472 12472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869374618 8741171200 31534 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290703281 0 4 0 16800975 18446604440809717952 0 0 -1 4 0 0 0
[pid=12472/tid=12486] ppid=12470 vsize=8536300 CPUtime=0.17 cores=0,2,4,6
/proc/12472/task/12486/stat : 12486 (java) S 12470 12472 12472 0 -1 4202560 1464 0 0 0 17 0 0 0 25 0 18 0 869374618 8741171200 31536 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 0 0 0 0
[pid=12472/tid=12487] ppid=12470 vsize=8536300 CPUtime=0.19 cores=0,2,4,6
/proc/12472/task/12487/stat : 12487 (java) S 12470 12472 12472 0 -1 4202560 1493 0 0 0 19 0 0 0 15 0 18 0 869374618 8741171200 31539 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 6 0 0 0
[pid=12472/tid=12488] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12488/stat : 12488 (java) S 12470 12472 12472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869374618 8741171200 31542 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290695577 0 4 0 16800975 18446604440809717952 0 0 -1 4 0 0 0
[pid=12472/tid=12489] ppid=12470 vsize=8536300 CPUtime=0 cores=0,2,4,6
/proc/12472/task/12489/stat : 12489 (java) S 12470 12472 12472 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869374618 8741171200 31545 33554432000 1073741824 1073778376 140733834041328 18446744073709551615 237290696192 0 4 0 16800975 18446604440809717952 0 0 -1 2 0 0 0
[pid=12420/tid=12427] ppid=12418 vsize=419260 CPUtime=0 cores=0,2,4,6
/proc/12420/task/12427/stat : 12427 (python) S 12418 12420 11000 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 5 0 869359807 429322240 30980 33554432000 4194304 5683644 140736418641424 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446626121792 0 0 -1 0 0 0 0
[pid=12420/tid=12450] ppid=12418 vsize=419260 CPUtime=0 cores=0,2,4,6
/proc/12420/task/12450/stat : 12450 (python) S 12418 12420 11000 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 5 0 869364566 429322240 30980 33554432000 4194304 5683644 140736418641424 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446626121792 0 0 -1 2 0 0 0
[pid=12420/tid=12465] ppid=12418 vsize=419260 CPUtime=0 cores=0,2,4,6
/proc/12420/task/12465/stat : 12465 (python) S 12418 12420 11000 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 5 0 869369622 429322240 30980 33554432000 4194304 5683644 140736418641424 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446626121792 0 0 -1 0 0 0 0
[pid=12420/tid=12471] ppid=12418 vsize=419260 CPUtime=0 cores=0,2,4,6
/proc/12420/task/12471/stat : 12471 (python) S 12418 12420 11000 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 5 0 869374613 429322240 30980 33554432000 4194304 5683644 140736418641424 18446744073709551615 237290703281 0 0 16781312 33554434 18446604446626121792 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 157.84
Current children cumulated vsize (KiB) 20057752
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12420 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=171909
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=189971
# CPU time returned by wait4() is 7.36188
# while last known CPU time is 157.84
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 156.18
CPU time (s): 157.84
CPU user time (s): 154.67
CPU system time (s): 3.17
CPU usage (%): 101.063
Max. virtual memory (cumulated for all children) (KiB): 20057752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.17191
system time used= 0.189971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52223
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= 2861
involuntary context switches= 51
runsolver used 0.938857 second user time and 1.65775 second system time
The end