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-3481804-1307576937/watcher-3481804-1307576937 -o /tmp/evaluation-result-3481804-1307576937/solver-3481804-1307576937 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481804-1307576937.opb -seed 1582397252 -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.36 1.84 0.95 2/511 11605
/proc/meminfo: memFree=28197156/32950904 swapFree=56615552/67111528
[pid=11605] ppid=11603 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/11605/stat : 11605 (python) R 11603 11605 11000 0 -1 4202496 927 0 0 0 0 0 0 0 17 0 1 0 869293509 16150528 806 33554432000 4194304 5683644 140733448977184 18446744073709551615 237278877696 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/11605/statm: 3943 806 356 364 0 430 0
[startup+0.114226 s]
/proc/loadavg: 2.36 1.84 0.95 2/511 11605
/proc/meminfo: memFree=28197156/32950904 swapFree=56615552/67111528
[pid=11605] ppid=11603 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/11605/stat : 11605 (python) R 11603 11605 11000 0 -1 4202496 3170 927 1 0 7 1 0 0 18 0 1 0 869293509 98430976 2483 33554432000 4194304 5683644 140733448977184 18446744073709551615 5168776 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11605/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.200254 s]
/proc/loadavg: 2.36 1.84 0.95 2/511 11605
/proc/meminfo: memFree=28197156/32950904 swapFree=56615552/67111528
[pid=11605] ppid=11603 vsize=123740 CPUtime=0.14 cores=1,3,5,7
/proc/11605/stat : 11605 (python) R 11603 11605 11000 0 -1 4202496 5358 927 1 0 11 3 0 0 17 0 1 0 869293509 126709760 3744 33554432000 4194304 5683644 140733448977184 18446744073709551615 237278684955 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11605/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.301202 s]
/proc/loadavg: 2.36 1.84 0.95 2/511 11605
/proc/meminfo: memFree=28197156/32950904 swapFree=56615552/67111528
[pid=11605] ppid=11603 vsize=203276 CPUtime=0.23 cores=1,3,5,7
/proc/11605/stat : 11605 (python) S 11603 11605 11000 0 -1 4202496 6714 927 1 0 17 6 0 0 17 0 1 0 869293509 208154624 4992 33554432000 4194304 5683644 140733448977184 18446744073709551615 237278877696 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/11605/statm: 50820 4997 1472 364 0 3782 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 203276
[startup+0.701123 s]
/proc/loadavg: 2.36 1.84 0.95 2/511 11605
/proc/meminfo: memFree=28197156/32950904 swapFree=56615552/67111528
[pid=11605] ppid=11603 vsize=292276 CPUtime=0.6 cores=1,3,5,7
/proc/11605/stat : 11605 (python) R 11603 11605 11000 0 -1 4202496 11526 927 1 0 51 9 0 0 17 0 1 0 869293509 299290624 9387 33554432000 4194304 5683644 140733448977184 18446744073709551615 237278540485 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11605/statm: 73069 9387 1781 364 0 7962 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 292276
[startup+1.50092 s]
/proc/loadavg: 2.33 1.84 0.96 3/512 11610
/proc/meminfo: memFree=28156916/32950904 swapFree=56615552/67111528
[pid=11605] ppid=11603 vsize=301028 CPUtime=1.41 cores=1,3,5,7
/proc/11605/stat : 11605 (python) R 11603 11605 11000 0 -1 4202496 16969 927 1 0 131 10 0 0 18 0 1 0 869293509 308252672 11605 33554432000 4194304 5683644 140733448977184 18446744073709551615 47562257083744 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/11605/statm: 75257 11605 1816 364 0 10150 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 301028
[startup+3.10063 s]
/proc/loadavg: 2.33 1.84 0.96 5/532 11630
/proc/meminfo: memFree=28077396/32950904 swapFree=56615552/67111528
[pid=11605] ppid=11603 vsize=313004 CPUtime=1.66 cores=1,3,5,7
/proc/11605/stat : 11605 (python) S 11603 11605 11000 0 -1 4202496 17681 927 1 0 156 10 0 0 21 0 2 0 869293509 320516096 12090 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/11605/statm: 78251 12090 1870 364 0 13138 0
[pid=11611] ppid=11605 vsize=302760 CPUtime=0 cores=1,3,5,7
/proc/11611/stat : 11611 (python) S 11605 11605 11000 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 869293684 310026240 10567 33554432000 4194304 5683644 140733448977184 18446744073709551615 237278899727 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/11611/statm: 75690 10567 351 364 0 10577 0
[pid=11613] ppid=11611 vsize=8539556 CPUtime=2.27 cores=1,3,5,7
/proc/11613/stat : 11613 (java) S 11611 11613 11613 0 -1 4202496 43134 0 1 0 222 5 0 0 22 0 19 0 869293685 8744505344 40869 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11613/statm: 2134889 40869 2246 9 0 2125630 0
[pid=11613/tid=11614] ppid=11611 vsize=8539556 CPUtime=1.31 cores=1,3,5,7
/proc/11613/task/11614/stat : 11614 (java) R 11611 11613 11613 0 -1 4202560 35274 0 1 0 128 3 0 0 25 0 19 0 869293685 8744505344 40869 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 46912505872230 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11613/tid=11615] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11615/stat : 11615 (java) S 11611 11613 11613 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869293686 8744505344 40869 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 1 0 0 0
[pid=11613/tid=11616] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11616/stat : 11616 (java) S 11611 11613 11613 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869293686 8744505344 40869 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 1 0 0 0
[pid=11613/tid=11617] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11617/stat : 11617 (java) S 11611 11613 11613 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869293686 8744505344 40869 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 1 0 0 0
[pid=11613/tid=11618] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11618/stat : 11618 (java) S 11611 11613 11613 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869293686 8744505344 40869 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 1 0 0 0
[pid=11613/tid=11619] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11619/stat : 11619 (java) S 11611 11613 11613 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869293686 8744505344 40869 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 1 0 0 0
[pid=11613/tid=11620] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11620/stat : 11620 (java) S 11611 11613 11613 0 -1 4202560 225 0 0 0 0 0 0 0 19 0 19 0 869293686 8744505344 40869 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 7 0 0 0
[pid=11613/tid=11621] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11621/stat : 11621 (java) S 11611 11613 11613 0 -1 4202560 378 0 0 0 0 0 0 0 19 0 19 0 869293686 8744505344 40869 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 5 0 0 0
[pid=11613/tid=11622] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11622/stat : 11622 (java) S 11611 11613 11613 0 -1 4202560 481 0 0 0 0 0 0 0 19 0 19 0 869293686 8744505344 40869 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 1 0 0 0
[pid=11613/tid=11623] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11623/stat : 11623 (java) S 11611 11613 11613 0 -1 4202560 71 0 0 0 0 0 0 0 19 0 19 0 869293687 8744505344 40869 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290696192 0 0 0 16800975 18446604454826607040 0 0 -1 5 0 0 0
[pid=11613/tid=11624] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11624/stat : 11624 (java) S 11611 11613 11613 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869293687 8744505344 40869 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 5 0 0 0
[pid=11613/tid=11625] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11625/stat : 11625 (java) S 11611 11613 11613 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 869293687 8744505344 40869 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 1 0 0 0
[pid=11613/tid=11626] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11626/stat : 11626 (java) S 11611 11613 11613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869293689 8744505344 40869 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290703281 0 4 0 16800975 18446604454826607040 0 0 -1 5 0 0 0
[pid=11613/tid=11627] ppid=11611 vsize=8539556 CPUtime=0.47 cores=1,3,5,7
/proc/11613/task/11627/stat : 11627 (java) S 11611 11613 11613 0 -1 4202560 3013 0 0 0 47 0 0 0 23 0 19 0 869293689 8744505344 40869 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 5 0 0 0
[pid=11613/tid=11628] ppid=11611 vsize=8539556 CPUtime=0.43 cores=1,3,5,7
/proc/11613/task/11628/stat : 11628 (java) S 11611 11613 11613 0 -1 4202560 2310 0 0 0 43 0 0 0 22 0 19 0 869293689 8744505344 40869 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 7 0 0 0
[pid=11613/tid=11629] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11629/stat : 11629 (java) S 11611 11613 11613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869293689 8744505344 40869 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 1 0 0 0
[pid=11613/tid=11630] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11630/stat : 11630 (java) S 11611 11613 11613 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869293689 8744505344 40869 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290696192 0 4 0 16800975 18446604454826607040 0 0 -1 7 0 0 0
[pid=11605/tid=11612] ppid=11603 vsize=313004 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11612/stat : 11612 (python) S 11603 11605 11000 0 -1 4202560 25 927 0 0 0 0 0 0 21 0 2 0 869293685 320516096 12090 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468747528320 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 9155320
[startup+6.30106 s]
/proc/loadavg: 2.33 1.84 0.96 3/533 11632
/proc/meminfo: memFree=27952556/32950904 swapFree=56615552/67111528
[pid=11605] ppid=11603 vsize=313004 CPUtime=1.66 cores=1,3,5,7
/proc/11605/stat : 11605 (python) S 11603 11605 11000 0 -1 4202496 17681 927 1 0 156 10 0 0 21 0 2 0 869293509 320516096 12090 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/11605/statm: 78251 12090 1870 364 0 13138 0
[pid=11611] ppid=11605 vsize=302760 CPUtime=0.01 cores=1,3,5,7
/proc/11611/stat : 11611 (python) S 11605 11605 11000 0 -1 4202560 889 0 0 0 0 1 0 0 15 0 1 0 869293684 310026240 10591 33554432000 4194304 5683644 140733448977184 18446744073709551615 237278899727 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/11611/statm: 75690 10591 375 364 0 10577 0
[pid=11613] ppid=11611 vsize=8539556 CPUtime=5.59 cores=1,3,5,7
/proc/11613/stat : 11613 (java) S 11611 11613 11613 0 -1 4202496 64826 0 1 0 552 7 0 0 22 0 19 0 869293685 8744505344 61719 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11613/statm: 2134889 61719 2258 9 0 2125630 0
[pid=11613/tid=11614] ppid=11611 vsize=8539556 CPUtime=4.43 cores=1,3,5,7
/proc/11613/task/11614/stat : 11614 (java) R 11611 11613 11613 0 -1 4202560 35288 0 1 0 440 3 0 0 18 0 19 0 869293685 8744505344 61719 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 46912505864182 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11613/tid=11615] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11615/stat : 11615 (java) S 11611 11613 11613 0 -1 4202560 822 0 0 0 0 0 0 0 18 0 19 0 869293686 8744505344 61719 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 1 0 0 0
[pid=11613/tid=11616] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11616/stat : 11616 (java) S 11611 11613 11613 0 -1 4202560 3006 0 0 0 0 0 0 0 16 0 19 0 869293686 8744505344 61719 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 7 0 0 0
[pid=11613/tid=11617] ppid=11611 vsize=8539556 CPUtime=0.01 cores=1,3,5,7
/proc/11613/task/11617/stat : 11617 (java) S 11611 11613 11613 0 -1 4202560 4270 0 0 0 1 0 0 0 18 0 19 0 869293686 8744505344 61719 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 7 0 0 0
[pid=11613/tid=11618] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11618/stat : 11618 (java) S 11611 11613 11613 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869293686 8744505344 61719 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 1 0 0 0
[pid=11613/tid=11619] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11619/stat : 11619 (java) S 11611 11613 11613 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869293686 8744505344 61719 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 1 0 0 0
[pid=11613/tid=11620] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11620/stat : 11620 (java) S 11611 11613 11613 0 -1 4202560 225 0 0 0 0 0 0 0 15 0 19 0 869293686 8744505344 61719 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 7 0 0 0
[pid=11613/tid=11621] ppid=11611 vsize=8539556 CPUtime=0.01 cores=1,3,5,7
/proc/11613/task/11621/stat : 11621 (java) S 11611 11613 11613 0 -1 4202560 3118 0 0 0 1 0 0 0 18 0 19 0 869293686 8744505344 61719 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 1 0 0 0
[pid=11613/tid=11622] ppid=11611 vsize=8539556 CPUtime=0.01 cores=1,3,5,7
/proc/11613/task/11622/stat : 11622 (java) S 11611 11613 11613 0 -1 4202560 2977 0 0 0 1 0 0 0 16 0 19 0 869293686 8744505344 61719 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 1 0 0 0
[pid=11613/tid=11623] ppid=11611 vsize=8539556 CPUtime=0.05 cores=1,3,5,7
/proc/11613/task/11623/stat : 11623 (java) S 11611 11613 11613 0 -1 4202560 8392 0 0 0 5 0 0 0 15 0 19 0 869293687 8744505344 61719 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290696192 0 0 0 16800975 18446604454826607040 0 0 -1 5 0 0 0
[pid=11613/tid=11624] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11624/stat : 11624 (java) S 11611 11613 11613 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869293687 8744505344 61719 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 5 0 0 0
[pid=11613/tid=11625] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11625/stat : 11625 (java) S 11611 11613 11613 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 869293687 8744505344 61719 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 1 0 0 0
[pid=11613/tid=11626] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11626/stat : 11626 (java) S 11611 11613 11613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869293689 8744505344 61719 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290703281 0 4 0 16800975 18446604454826607040 0 0 -1 5 0 0 0
[pid=11613/tid=11627] ppid=11611 vsize=8539556 CPUtime=0.54 cores=1,3,5,7
/proc/11613/task/11627/stat : 11627 (java) S 11611 11613 11613 0 -1 4202560 3027 0 0 0 54 0 0 0 15 0 19 0 869293689 8744505344 61719 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 5 0 0 0
[pid=11613/tid=11628] ppid=11611 vsize=8539556 CPUtime=0.46 cores=1,3,5,7
/proc/11613/task/11628/stat : 11628 (java) S 11611 11613 11613 0 -1 4202560 2322 0 0 0 46 0 0 0 18 0 19 0 869293689 8744505344 61719 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 7 0 0 0
[pid=11613/tid=11629] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11629/stat : 11629 (java) S 11611 11613 11613 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869293689 8744505344 61719 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 1 0 0 0
[pid=11613/tid=11630] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11630/stat : 11630 (java) S 11611 11613 11613 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869293689 8744505344 61719 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290696192 0 4 0 16800975 18446604454826607040 0 0 -1 7 0 0 0
[pid=11613/tid=11631] ppid=11611 vsize=8539556 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11631/stat : 11631 (java) S 11611 11613 11613 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869293763 8744505344 61719 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290696192 0 4 0 16800975 18446604454826607040 0 0 -1 5 0 0 0
[pid=11605/tid=11612] ppid=11603 vsize=313004 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11612/stat : 11612 (python) S 11603 11605 11000 0 -1 4202560 25 927 0 0 0 0 0 0 21 0 2 0 869293685 320516096 12090 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468747528320 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 9155320
[startup+12.7009 s]
/proc/loadavg: 2.28 1.85 0.97 3/533 11632
/proc/meminfo: memFree=27872612/32950904 swapFree=56615552/67111528
[pid=11605] ppid=11603 vsize=313004 CPUtime=1.66 cores=1,3,5,7
/proc/11605/stat : 11605 (python) S 11603 11605 11000 0 -1 4202496 17681 927 1 0 156 10 0 0 21 0 2 0 869293509 320516096 12090 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/11605/statm: 78251 12090 1870 364 0 13138 0
[pid=11611] ppid=11605 vsize=302760 CPUtime=0.02 cores=1,3,5,7
/proc/11611/stat : 11611 (python) S 11605 11605 11000 0 -1 4202560 978 0 0 0 1 1 0 0 15 0 1 0 869293684 310026240 10596 33554432000 4194304 5683644 140733448977184 18446744073709551615 237278899727 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/11611/statm: 75690 10596 380 364 0 10577 0
[pid=11613] ppid=11611 vsize=8538392 CPUtime=12.06 cores=1,3,5,7
/proc/11613/stat : 11613 (java) S 11611 11613 11613 0 -1 4202496 76880 0 1 0 1197 9 0 0 22 0 19 0 869293685 8743313408 70255 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11613/statm: 2134598 70255 2258 9 0 2125339 0
[pid=11613/tid=11614] ppid=11611 vsize=8538392 CPUtime=10.73 cores=1,3,5,7
/proc/11613/task/11614/stat : 11614 (java) R 11611 11613 11613 0 -1 4202560 35288 0 1 0 1070 3 0 0 25 0 19 0 869293685 8743313408 70255 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 46912506052184 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11613/tid=11615] ppid=11611 vsize=8538392 CPUtime=0.01 cores=1,3,5,7
/proc/11613/task/11615/stat : 11615 (java) S 11611 11613 11613 0 -1 4202560 2434 0 0 0 1 0 0 0 15 0 19 0 869293686 8743313408 70255 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 7 0 0 0
[pid=11613/tid=11616] ppid=11611 vsize=8538392 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11616/stat : 11616 (java) S 11611 11613 11613 0 -1 4202560 3555 0 0 0 0 0 0 0 16 0 19 0 869293686 8743313408 70255 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 7 0 0 0
[pid=11613/tid=11617] ppid=11611 vsize=8538392 CPUtime=0.01 cores=1,3,5,7
/proc/11613/task/11617/stat : 11617 (java) S 11611 11613 11613 0 -1 4202560 4270 0 0 0 1 0 0 0 15 0 19 0 869293686 8743313408 70255 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 7 0 0 0
[pid=11613/tid=11618] ppid=11611 vsize=8538392 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11618/stat : 11618 (java) S 11611 11613 11613 0 -1 4202560 2748 0 0 0 0 0 0 0 15 0 19 0 869293686 8743313408 70255 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446604454826607040 0 0 -1 5 0 0 0
[pid=11613/tid=11619] ppid=11611 vsize=8538392 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/11651/stat : 11651 (clasp-1.3.7-x86) T 11649 11651 11651 0 -1 4202496 51343 0 0 0 9163 8 0 0 25 0 1 0 869307726 208605184 50658 33554432000 134512640 136139019 4292124512 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/11651/statm: 50929 50658 187 398 0 50529 0
[pid=11649/tid=11659] ppid=11605 vsize=323272 CPUtime=0 cores=1,3,5,7
/proc/11649/task/11659/stat : 11659 (python) S 11605 11605 11000 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869316898 331030528 10621 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290703281 0 0 16781312 33554946 18446604466030708032 0 0 -1 7 0 0 0
[pid=11660] ppid=11605 vsize=333528 CPUtime=0.17 cores=1,3,5,7
/proc/11660/stat : 11660 (python) R 11605 11605 11000 0 -1 4202560 1055 0 0 0 9 8 0 0 16 0 2 0 869316900 341532672 10616 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290703281 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/11660/statm: 83382 10616 388 364 0 18260 0
[pid=11662] ppid=11660 vsize=476156 CPUtime=48.39 cores=1,3,5,7
/proc/11662/stat : 11662 (pbct-0.1.2-linu) T 11660 11662 11662 0 -1 4202496 121388 0 0 0 4752 87 0 0 25 0 1 0 869316901 487583744 116879 33554432000 134512640 136422188 4289152624 18446744073709551615 134865416 0 0 16781312 16387 18446744071562691360 0 0 17 5 0 0 0
/proc/11662/statm: 119039 116879 236 467 0 118570 0
[pid=11605/tid=11612] ppid=11603 vsize=343772 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11612/stat : 11612 (python) S 11603 11605 11000 0 -1 4202560 29 927 0 0 0 0 0 0 18 0 5 0 869293685 352022528 12109 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468747528320 0 0 -1 7 0 0 0
[pid=11605/tid=11640] ppid=11603 vsize=343772 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11640/stat : 11640 (python) S 11603 11605 11000 0 -1 4202560 32 927 0 0 0 0 0 0 20 0 5 0 869298590 352022528 12109 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468747528320 0 0 -1 1 0 0 0
[pid=11605/tid=11650] ppid=11603 vsize=343772 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11650/stat : 11650 (python) S 11603 11605 11000 0 -1 4202560 31 927 0 0 0 0 0 0 20 0 5 0 869307726 352022528 12109 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468747528320 0 0 -1 3 0 0 0
[pid=11605/tid=11661] ppid=11603 vsize=343772 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11661/stat : 11661 (python) S 11603 11605 11000 0 -1 4202560 25 927 0 0 0 0 0 0 20 0 5 0 869316901 352022528 12109 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468747528320 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 284.91
Current children cumulated vsize (KiB) 10871944
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+282.702 s]
/proc/loadavg: 2.00 1.93 1.22 7/582 11688
/proc/meminfo: memFree=26723808/32950904 swapFree=56615552/67111528
[pid=11605] ppid=11603 vsize=354028 CPUtime=1.78 cores=1,3,5,7
/proc/11605/stat : 11605 (python) S 11603 11605 11000 0 -1 4202496 21450 927 1 0 167 11 0 0 20 0 6 0 869293509 362524672 12115 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/11605/statm: 88507 12115 1879 364 0 23382 0
[pid=11611] ppid=11605 vsize=313004 CPUtime=0.36 cores=1,3,5,7
/proc/11611/stat : 11611 (python) S 11605 11605 11000 0 -1 4202560 1161 0 0 0 19 17 0 0 15 0 2 0 869293684 320516096 10633 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/11611/statm: 78251 10633 412 364 0 13138 0
[pid=11613] ppid=11611 vsize=8538392 CPUtime=94.53 cores=1,3,5,7
/proc/11613/stat : 11613 (java) T 11611 11613 11613 0 -1 4202496 123252 0 1 0 9437 16 0 0 18 0 19 0 869293685 8743313408 104095 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11613/statm: 2134598 104095 2258 9 0 2125339 0
[pid=11613/tid=11614] ppid=11611 vsize=8538392 CPUtime=91.78 cores=1,3,5,7
/proc/11613/task/11614/stat : 11614 (java) T 11611 11613 11613 0 -1 4202560 35302 0 1 0 9174 4 0 0 25 0 19 0 869293685 8743313408 104095 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 46912505863850 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=11613/tid=11615] ppid=11611 vsize=8538392 CPUtime=0.14 cores=1,3,5,7
/proc/11613/task/11615/stat : 11615 (java) T 11611 11613 11613 0 -1 4202560 9072 0 0 0 13 1 0 0 15 0 19 0 869293686 8743313408 104095 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=11613/tid=11616] ppid=11611 vsize=8538392 CPUtime=0.08 cores=1,3,5,7
/proc/11613/task/11616/stat : 11616 (java) T 11611 11613 11613 0 -1 4202560 8213 0 0 0 8 0 0 0 15 0 19 0 869293686 8743313408 104095 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=11613/tid=11617] ppid=11611 vsize=8538392 CPUtime=0.13 cores=1,3,5,7
/proc/11613/task/11617/stat : 11617 (java) T 11611 11613 11613 0 -1 4202560 13632 0 0 0 11 2 0 0 15 0 19 0 869293686 8743313408 104095 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=11613/tid=11618] ppid=11611 vsize=8538392 CPUtime=0.07 cores=1,3,5,7
/proc/11613/task/11618/stat : 11618 (java) T 11611 11613 11613 0 -1 4202560 9813 0 0 0 6 1 0 0 15 0 19 0 869293686 8743313408 104095 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=11613/tid=11619] ppid=11611 vsize=8538392 CPUtime=0.01 cores=1,3,5,7
/proc/11613/task/11619/stat : 11619 (java) T 11611 11613 11613 0 -1 4202560 609 0 0 0 1 0 0 0 15 0 19 0 869293686 8743313408 104095 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=11613/tid=11620] ppid=11611 vsize=8538392 CPUtime=0.13 cores=1,3,5,7
/proc/11613/task/11620/stat : 11620 (java) T 11611 11613 11613 0 -1 4202560 11715 0 0 0 12 1 0 0 15 0 19 0 869293686 8743313408 104095 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=11613/tid=11621] ppid=11611 vsize=8538392 CPUtime=0.12 cores=1,3,5,7
/proc/11613/task/11621/stat : 11621 (java) T 11611 11613 11613 0 -1 4202560 11114 0 0 0 11 1 0 0 15 0 19 0 869293686 8743313408 104095 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=11613/tid=11622] ppid=11611 vsize=8538392 CPUtime=0.09 cores=1,3,5,7
/proc/11613/task/11622/stat : 11622 (java) T 11611 11613 11613 0 -1 4202560 8638 0 0 0 9 0 0 0 15 0 19 0 869293686 8743313408 104095 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=11613/tid=11623] ppid=11611 vsize=8538392 CPUtime=0.81 cores=1,3,5,7
/proc/11613/task/11623/stat : 11623 (java) T 11611 11613 11613 0 -1 4202560 8402 0 0 0 81 0 0 0 15 0 19 0 869293687 8743313408 104095 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290696192 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=11613/tid=11624] ppid=11611 vsize=8538392 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11624/stat : 11624 (java) T 11611 11613 11613 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869293687 8743313408 104095 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=11613/tid=11625] ppid=11611 vsize=8538392 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11625/stat : 11625 (java) T 11611 11613 11613 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869293687 8743313408 104095 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=11613/tid=11626] ppid=11611 vsize=8538392 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11626/stat : 11626 (java) T 11611 11613 11613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869293689 8743313408 104095 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290703281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=11613/tid=11627] ppid=11611 vsize=8538392 CPUtime=0.54 cores=1,3,5,7
/proc/11613/task/11627/stat : 11627 (java) T 11611 11613 11613 0 -1 4202560 3028 0 0 0 54 0 0 0 15 0 19 0 869293689 8743313408 104095 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=11613/tid=11628] ppid=11611 vsize=8538392 CPUtime=0.5 cores=1,3,5,7
/proc/11613/task/11628/stat : 11628 (java) T 11611 11613 11613 0 -1 4202560 2331 0 0 0 50 0 0 0 15 0 19 0 869293689 8743313408 104095 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=11613/tid=11629] ppid=11611 vsize=8538392 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11629/stat : 11629 (java) T 11611 11613 11613 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869293689 8743313408 104095 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=11613/tid=11630] ppid=11611 vsize=8538392 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11630/stat : 11630 (java) T 11611 11613 11613 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869293689 8743313408 104095 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=11613/tid=11631] ppid=11611 vsize=8538392 CPUtime=0 cores=1,3,5,7
/proc/11613/task/11631/stat : 11631 (java) T 11611 11613 11613 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869293763 8743313408 104095 33554432000 1073741824 1073778376 140735184034512 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=11611/tid=11638] ppid=11605 vsize=313004 CPUtime=0 cores=1,3,5,7
/proc/11611/task/11638/stat : 11638 (python) S 11605 11605 11000 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 2 0 869298587 320516096 10633 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290703281 0 0 16781312 33554946 18446604459431026752 0 0 -1 7 0 0 0
[pid=11639] ppid=11605 vsize=313016 CPUtime=0.26 cores=1,3,5,7
/proc/11639/stat : 11639 (python) S 11605 11605 11000 0 -1 4202560 1116 0 0 0 15 11 0 0 16 0 2 0 869298590 320528384 10617 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/11639/statm: 78254 10617 396 364 0 13138 0
[pid=11641] ppid=11639 vsize=27088 CPUtime=47.41 cores=1,3,5,7
/proc/11641/stat : 11641 (wbo1.4a) T 11639 11641 11641 0 -1 4202496 138678 0 0 0 4708 33 0 0 25 0 1 0 869298590 27738112 6260 33554432000 134512640 135751879 4290081264 18446744073709551615 134606351 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/11641/statm: 6772 6260 146 303 0 6467 0
[pid=11639/tid=11644] ppid=11605 vsize=313016 CPUtime=0 cores=1,3,5,7
/proc/11639/task/11644/stat : 11644 (python) S 11605 11605 11000 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869303332 320528384 10617 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290703281 0 0 16781312 33554946 18446604468713911424 0 0 -1 7 0 0 0
[pid=11649] ppid=11605 vsize=323272 CPUtime=0.32 cores=1,3,5,7
/proc/11649/stat : 11649 (python) S 11605 11605 11000 0 -1 4202560 1131 0 0 0 16 16 0 0 17 0 2 0 869307726 331030528 10621 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/11649/statm: 80818 10621 396 364 0 15699 0
[pid=11651] ppid=11649 vsize=203716 CPUtime=91.71 cores=1,3,5,7
/proc/11651/stat : 11651 (clasp-1.3.7-x86) T 11649 11651 11651 0 -1 4202496 51343 0 0 0 9163 8 0 0 25 0 1 0 869307726 208605184 50658 33554432000 134512640 136139019 4292124512 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/11651/statm: 50929 50658 187 398 0 50529 0
[pid=11649/tid=11659] ppid=11605 vsize=323272 CPUtime=0 cores=1,3,5,7
/proc/11649/task/11659/stat : 11659 (python) S 11605 11605 11000 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869316898 331030528 10621 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290703281 0 0 16781312 33554946 18446604466030708032 0 0 -1 7 0 0 0
[pid=11660] ppid=11605 vsize=333528 CPUtime=0.17 cores=1,3,5,7
/proc/11660/stat : 11660 (python) S 11605 11605 11000 0 -1 4202560 1109 0 0 0 9 8 0 0 16 0 2 0 869316900 341532672 10625 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/11660/statm: 83382 10625 396 364 0 18260 0
[pid=11662] ppid=11660 vsize=476156 CPUtime=48.39 cores=1,3,5,7
/proc/11662/stat : 11662 (pbct-0.1.2-linu) T 11660 11662 11662 0 -1 4202496 121388 0 0 0 4752 87 0 0 25 0 1 0 869316901 487583744 116879 33554432000 134512640 136422188 4289152624 18446744073709551615 134865416 0 0 16781312 16387 18446744071562691360 0 0 17 5 0 0 0
/proc/11662/statm: 119039 116879 236 467 0 118570 0
[pid=11660/tid=11668] ppid=11605 vsize=333528 CPUtime=0 cores=1,3,5,7
/proc/11660/task/11668/stat : 11668 (python) S 11605 11605 11000 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869321741 341532672 10625 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290703281 0 0 16781312 33554946 18446604470139392960 0 0 -1 5 0 0 0
[pid=11669] ppid=11605 vsize=343784 CPUtime=0 cores=1,3,5,7
/proc/11669/stat : 11669 (python) S 11605 11605 11000 0 -1 4202560 811 0 0 0 0 0 0 0 18 0 1 0 869321743 352034816 10580 33554432000 4194304 5683644 140733448977184 18446744073709551615 237278899782 0 0 16781312 33554946 4438053998322221316 0 0 17 3 0 0 0
/proc/11669/statm: 85946 10580 348 364 0 20821 0
[pid=11671] ppid=11669 vsize=8536240 CPUtime=0.66 cores=1,3,5,7
/proc/11671/stat : 11671 (java) S 11669 11671 11671 0 -1 4202496 13310 0 1 0 64 2 0 0 17 0 18 0 869321743 8741109760 12147 33554432000 1073741824 1073778376 140736571689360 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/11671/statm: 2134060 12148 2204 9 0 2124801 0
[pid=11671/tid=11672] ppid=11669 vsize=8536240 CPUtime=0.36 cores=1,3,5,7
/proc/11671/task/11672/stat : 11672 (java) R 11669 11671 11671 0 -1 4202560 9287 0 1 0 34 2 0 0 18 0 18 0 869321744 8741109760 12495 33554432000 1073741824 1073778376 140736571689360 18446744073709551615 46912505609554 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11671/tid=11673] ppid=11669 vsize=8536240 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11673/stat : 11673 (java) S 11669 11671 11671 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869321745 8741109760 12496 33554432000 1073741824 1073778376 140736571689360 18446744073709551615 237290695577 0 4 0 16800975 18446604462969027520 0 0 -1 7 0 0 0
[pid=11671/tid=11674] ppid=11669 vsize=8536240 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11674/stat : 11674 (java) S 11669 11671 11671 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869321745 8741109760 12497 33554432000 1073741824 1073778376 140736571689360 18446744073709551615 237290695577 0 4 0 16800975 18446604462969027520 0 0 -1 5 0 0 0
[pid=11671/tid=11675] ppid=11669 vsize=8536240 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11675/stat : 11675 (java) S 11669 11671 11671 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869321745 8741109760 12500 33554432000 1073741824 1073778376 140736571689360 18446744073709551615 237290695577 0 4 0 16800975 18446604462969027520 0 0 -1 5 0 0 0
[pid=11671/tid=11676] ppid=11669 vsize=8536240 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11676/stat : 11676 (java) S 11669 11671 11671 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869321745 8741109760 12515 33554432000 1073741824 1073778376 140736571689360 18446744073709551615 237290695577 0 4 0 16800975 18446604462969027520 0 0 -1 5 0 0 0
[pid=11671/tid=11677] ppid=11669 vsize=8536240 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11677/stat : 11677 (java) S 11669 11671 11671 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869321745 8741109760 12531 33554432000 1073741824 1073778376 140736571689360 18446744073709551615 237290695577 0 4 0 16800975 18446604462969027520 0 0 -1 5 0 0 0
[pid=11671/tid=11678] ppid=11669 vsize=8536240 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11678/stat : 11678 (java) S 11669 11671 11671 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869321745 8741109760 12540 33554432000 1073741824 1073778376 140736571689360 18446744073709551615 237290695577 0 4 0 16800975 18446604462969027520 0 0 -1 5 0 0 0
[pid=11671/tid=11679] ppid=11669 vsize=8536240 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11679/stat : 11679 (java) S 11669 11671 11671 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869321745 8741109760 12542 33554432000 1073741824 1073778376 140736571689360 18446744073709551615 237290695577 0 4 0 16800975 18446604462969027520 0 0 -1 5 0 0 0
[pid=11671/tid=11680] ppid=11669 vsize=8536240 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11680/stat : 11680 (java) S 11669 11671 11671 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869321745 8741109760 12543 33554432000 1073741824 1073778376 140736571689360 18446744073709551615 237290695577 0 4 0 16800975 18446604462969027520 0 0 -1 5 0 0 0
[pid=11671/tid=11681] ppid=11669 vsize=8536240 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11681/stat : 11681 (java) S 11669 11671 11671 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 869321746 8741109760 12545 33554432000 1073741824 1073778376 140736571689360 18446744073709551615 237290696192 0 0 0 16800975 18446604462969027520 0 0 -1 5 0 0 0
[pid=11671/tid=11682] ppid=11669 vsize=8536240 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11682/stat : 11682 (java) S 11669 11671 11671 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 869321746 8741109760 12546 33554432000 1073741824 1073778376 140736571689360 18446744073709551615 237290695577 0 4 0 16800975 18446604462969027520 0 0 -1 5 0 0 0
[pid=11671/tid=11683] ppid=11669 vsize=8536240 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11683/stat : 11683 (java) S 11669 11671 11671 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 869321746 8741109760 12548 33554432000 1073741824 1073778376 140736571689360 18446744073709551615 237290695577 0 4 0 16800975 18446604462969027520 0 0 -1 7 0 0 0
[pid=11671/tid=11684] ppid=11669 vsize=8536240 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11684/stat : 11684 (java) S 11669 11671 11671 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869321749 8741109760 12549 33554432000 1073741824 1073778376 140736571689360 18446744073709551615 237290703281 0 4 0 16800975 18446604462969027520 0 0 -1 7 0 0 0
[pid=11671/tid=11685] ppid=11669 vsize=8536240 CPUtime=0.18 cores=1,3,5,7
/proc/11671/task/11685/stat : 11685 (java) R 11669 11671 11671 0 -1 4202560 2004 0 0 0 18 0 0 0 25 0 18 0 869321749 8741109760 12551 33554432000 1073741824 1073778376 140736571689360 18446744073709551615 47843975586256 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11671/tid=11686] ppid=11669 vsize=8536240 CPUtime=0.12 cores=1,3,5,7
/proc/11671/task/11686/stat : 11686 (java) R 11669 11671 11671 0 -1 4202560 1006 0 0 0 12 0 0 0 25 0 18 0 869321749 8741109760 12552 33554432000 1073741824 1073778376 140736571689360 18446744073709551615 237278344432 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11671/tid=11687] ppid=11669 vsize=8536240 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11687/stat : 11687 (java) S 11669 11671 11671 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869321749 8741109760 12554 33554432000 1073741824 1073778376 140736571689360 18446744073709551615 237290695577 0 4 0 16800975 18446604462969027520 0 0 -1 7 0 0 0
[pid=11671/tid=11688] ppid=11669 vsize=8536240 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11688/stat : 11688 (java) S 11669 11671 11671 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869321749 8741109760 12555 33554432000 1073741824 1073778376 140736571689360 18446744073709551615 237290696192 0 4 0 16800975 18446604462969027520 0 0 -1 3 0 0 0
[pid=11605/tid=11612] ppid=11603 vsize=354028 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11612/stat : 11612 (python) S 11603 11605 11000 0 -1 4202560 29 927 0 0 0 0 0 0 18 0 6 0 869293685 362524672 12115 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468747528320 0 0 -1 7 0 0 0
[pid=11605/tid=11640] ppid=11603 vsize=354028 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11640/stat : 11640 (python) S 11603 11605 11000 0 -1 4202560 32 927 0 0 0 0 0 0 20 0 6 0 869298590 362524672 12115 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468747528320 0 0 -1 1 0 0 0
[pid=11605/tid=11650] ppid=11603 vsize=354028 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11650/stat : 11650 (python) S 11603 11605 11000 0 -1 4202560 31 927 0 0 0 0 0 0 20 0 6 0 869307726 362524672 12115 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468747528320 0 0 -1 3 0 0 0
[pid=11605/tid=11661] ppid=11603 vsize=354028 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11661/stat : 11661 (python) S 11603 11605 11000 0 -1 4202560 25 927 0 0 0 0 0 0 20 0 6 0 869316901 362524672 12115 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468747528320 0 0 -1 3 0 0 0
[pid=11605/tid=11670] ppid=11603 vsize=354028 CPUtime=0 cores=1,3,5,7
/proc/11605/task/11670/stat : 11670 (python) S 11603 11605 11000 0 -1 4202560 29 927 0 0 0 0 0 0 20 0 6 0 869321743 362524672 12115 33554432000 4194304 5683644 140733448977184 18446744073709551615 237290703281 0 0 16781312 33554434 18446604468747528320 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 285.59
Current children cumulated vsize (KiB) 19762224
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11605 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=678744
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=118981
# CPU time returned by wait4() is 1.79772
# while last known CPU time is 285.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 282.779
CPU time (s): 285.59
CPU user time (s): 283.5
CPU system time (s): 2.09
CPU usage (%): 100.994
Max. virtual memory (cumulated for all children) (KiB): 19762224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.67874
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22380
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= 1012
involuntary context switches= 19
runsolver used 1.44578 second user time and 3.16952 second system time
The end