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-3481844-1307576691/watcher-3481844-1307576691 -o /tmp/evaluation-result-3481844-1307576691/solver-3481844-1307576691 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481844-1307576691.opb -seed 784734656 -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.14 1.35 0.58 2/607 7397
/proc/meminfo: memFree=30291136/32951124 swapFree=33333036/67111528
[pid=7397] ppid=7395 vsize=15780 CPUtime=0 cores=0,2,4,6
/proc/7397/stat : 7397 (python) R 7395 7397 7156 0 -1 4202496 837 0 0 0 0 0 0 0 22 0 1 0 947899986 16158720 722 33554432000 4194304 5683644 140736712413984 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/7397/statm: 3938 722 334 364 0 425 0
[startup+0.06948 s]
/proc/loadavg: 2.14 1.35 0.58 2/607 7397
/proc/meminfo: memFree=30291136/32951124 swapFree=33333036/67111528
[pid=7397] ppid=7395 vsize=54504 CPUtime=0.05 cores=0,2,4,6
/proc/7397/stat : 7397 (python) S 7395 7397 7156 0 -1 4202496 2050 0 0 0 4 1 0 0 23 0 1 0 947899986 55812096 1809 33554432000 4194304 5683644 140736712413984 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/7397/statm: 13626 1809 492 364 0 1276 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54504
[startup+0.10752 s]
/proc/loadavg: 2.14 1.35 0.58 2/607 7397
/proc/meminfo: memFree=30291136/32951124 swapFree=33333036/67111528
[pid=7397] ppid=7395 vsize=96124 CPUtime=0.08 cores=0,2,4,6
/proc/7397/stat : 7397 (python) R 7395 7397 7156 0 -1 4202496 3166 930 1 0 7 1 0 0 18 0 1 0 947899986 98430976 2483 33554432000 4194304 5683644 140736712413984 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/7397/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.300469 s]
/proc/loadavg: 2.14 1.35 0.58 2/607 7397
/proc/meminfo: memFree=30291136/32951124 swapFree=33333036/67111528
[pid=7397] ppid=7395 vsize=202992 CPUtime=0.24 cores=0,2,4,6
/proc/7397/stat : 7397 (python) S 7395 7397 7156 0 -1 4202496 6687 930 1 0 17 7 0 0 17 0 1 0 947899986 207863808 4971 33554432000 4194304 5683644 140736712413984 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/7397/statm: 50748 4971 1472 364 0 3710 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 202992
[startup+0.700398 s]
/proc/loadavg: 2.14 1.35 0.58 2/607 7397
/proc/meminfo: memFree=30291136/32951124 swapFree=33333036/67111528
[pid=7397] ppid=7395 vsize=271344 CPUtime=0.36 cores=0,2,4,6
/proc/7397/stat : 7397 (python) D 7395 7397 7156 0 -1 4202496 8750 930 1 0 27 9 0 0 17 0 1 0 947899986 277856256 6712 33554432000 4194304 5683644 140736712413984 18446744073709551615 224284931639 0 0 16781312 2 18446744071562154983 0 0 17 6 0 0 0
/proc/7397/statm: 67836 6712 1716 364 0 5387 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 271344
[startup+1.50026 s]
/proc/loadavg: 2.14 1.35 0.58 2/608 7402
/proc/meminfo: memFree=30268560/32951124 swapFree=33333036/67111528
[pid=7397] ppid=7395 vsize=271344 CPUtime=0.36 cores=0,2,4,6
/proc/7397/stat : 7397 (python) D 7395 7397 7156 0 -1 4202496 8750 930 1 0 27 9 0 0 17 0 1 0 947899986 277856256 6712 33554432000 4194304 5683644 140736712413984 18446744073709551615 224284931639 0 0 16781312 2 18446744071562154983 0 0 17 6 0 0 0
/proc/7397/statm: 67836 6712 1716 364 0 5387 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 271344
[startup+3.10101 s]
/proc/loadavg: 2.14 1.35 0.58 2/607 7406
/proc/meminfo: memFree=30364644/32951124 swapFree=33333036/67111528
[pid=7397] ppid=7395 vsize=294368 CPUtime=0.52 cores=0,2,4,6
/proc/7397/stat : 7397 (python) S 7395 7397 7156 0 -1 4202496 9989 930 1 0 42 10 0 0 18 0 2 0 947899986 301432832 7430 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 126
/proc/7397/statm: 73592 7430 1870 364 0 8479 0
[pid=7403] ppid=7397 vsize=284124 CPUtime=0 cores=0,2,4,6
/proc/7403/stat : 7403 (python) S 7397 7397 7156 0 -1 4202560 845 0 0 0 0 0 0 0 15 0 1 0 947900173 290942976 5914 33554432000 4194304 5683644 140736712413984 18446744073709551615 224284945935 0 0 16781312 33554946 2179190019997040640 0 0 17 2 0 0 0
/proc/7403/statm: 71031 5914 358 364 0 5918 0
[pid=7405] ppid=7403 vsize=8537724 CPUtime=1.55 cores=0,2,4,6
/proc/7405/stat : 7405 (java) S 7403 7405 7405 0 -1 4202496 12999 0 1 0 152 3 0 0 18 0 19 0 947900174 8742629376 11424 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7405/statm: 2134431 11424 2223 9 0 2125172 0
[pid=7405/tid=7407] ppid=7403 vsize=8537724 CPUtime=0.96 cores=0,2,4,6
/proc/7405/task/7407/stat : 7407 (java) R 7403 7405 7405 0 -1 4202560 7782 0 1 0 94 2 0 0 18 0 19 0 947900197 8742629376 11424 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 46912505785636 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7397/tid=7404] ppid=7395 vsize=294368 CPUtime=0 cores=0,2,4,6
/proc/7397/task/7404/stat : 7404 (python) S 7395 7397 7156 0 -1 4202560 101 930 0 0 0 0 0 0 19 0 2 0 947900174 301432832 7430 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296749489 0 0 16781312 33554434 18446604442789755968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 9116216
heavy processes:
[startup+6.30142 s]
/proc/loadavg: 2.29 1.39 0.60 2/626 7451
/proc/meminfo: memFree=30306764/32951124 swapFree=33333036/67111528
[pid=7397] ppid=7395 vsize=294368 CPUtime=0.52 cores=0,2,4,6
/proc/7397/stat : 7397 (python) S 7395 7397 7156 0 -1 4202496 9989 930 1 0 42 10 0 0 18 0 2 0 947899986 301432832 7430 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 126
/proc/7397/statm: 73592 7430 1870 364 0 8479 0
[pid=7403] ppid=7397 vsize=284124 CPUtime=0.02 cores=0,2,4,6
/proc/7403/stat : 7403 (python) S 7397 7397 7156 0 -1 4202560 984 0 0 0 1 1 0 0 15 0 1 0 947900173 290942976 5937 33554432000 4194304 5683644 140736712413984 18446744073709551615 224284945935 0 0 16781312 33554946 3662845129045049344 0 0 17 2 0 0 0
/proc/7403/statm: 71031 5937 381 364 0 5918 0
[pid=7405] ppid=7403 vsize=8537724 CPUtime=4.94 cores=0,2,4,6
/proc/7405/stat : 7405 (java) S 7403 7405 7405 0 -1 4202496 16430 0 1 0 489 5 0 0 18 0 19 0 947900174 8742629376 14170 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7405/statm: 2134431 14170 2251 9 0 2125172 0
[pid=7405/tid=7407] ppid=7403 vsize=8537724 CPUtime=4.07 cores=0,2,4,6
/proc/7405/task/7407/stat : 7407 (java) R 7403 7405 7405 0 -1 4202560 7827 0 1 0 405 2 0 0 22 0 19 0 947900197 8742629376 14170 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 46912505690543 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7405/tid=7408] ppid=7403 vsize=8537724 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7408/stat : 7408 (java) S 7403 7405 7405 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 19 0 947900200 8742629376 14170 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7405/tid=7409] ppid=7403 vsize=8537724 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7409/stat : 7409 (java) S 7403 7405 7405 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 19 0 947900200 8742629376 14170 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7405/tid=7410] ppid=7403 vsize=8537724 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7410/stat : 7410 (java) S 7403 7405 7405 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947900200 8742629376 14170 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7405/tid=7411] ppid=7403 vsize=8537724 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7411/stat : 7411 (java) S 7403 7405 7405 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947900200 8742629376 14170 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7405/tid=7412] ppid=7403 vsize=8537724 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7412/stat : 7412 (java) S 7403 7405 7405 0 -1 4202560 266 0 0 0 0 0 0 0 15 0 19 0 947900200 8742629376 14170 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7405/tid=7413] ppid=7403 vsize=8537724 CPUtime=0.01 cores=0,2,4,6
/proc/7405/task/7413/stat : 7413 (java) S 7403 7405 7405 0 -1 4202560 224 0 0 0 1 0 0 0 15 0 19 0 947900200 8742629376 14170 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7405/tid=7414] ppid=7403 vsize=8537724 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7414/stat : 7414 (java) S 7403 7405 7405 0 -1 4202560 448 0 0 0 0 0 0 0 16 0 19 0 947900200 8742629376 14170 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 0 0 0 0
[pid=7405/tid=7415] ppid=7403 vsize=8537724 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7415/stat : 7415 (java) S 7403 7405 7405 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 947900200 8742629376 14170 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 2 0 0 0
[pid=7405/tid=7416] ppid=7403 vsize=8537724 CPUtime=0.04 cores=0,2,4,6
/proc/7405/task/7416/stat : 7416 (java) S 7403 7405 7405 0 -1 4202560 976 0 0 0 4 0 0 0 15 0 19 0 947900201 8742629376 14170 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296742400 0 0 0 16800975 18446604452396127168 0 0 -1 2 0 0 0
[pid=7405/tid=7417] ppid=7403 vsize=8537724 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7417/stat : 7417 (java) S 7403 7405 7405 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947900201 8742629376 14170 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 0 0 0 0
[pid=7405/tid=7418] ppid=7403 vsize=8537724 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7418/stat : 7418 (java) S 7403 7405 7405 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947900201 8742629376 14170 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7405/tid=7419] ppid=7403 vsize=8537724 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7419/stat : 7419 (java) S 7403 7405 7405 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947900204 8742629376 14170 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296749489 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7405/tid=7420] ppid=7403 vsize=8537724 CPUtime=0.35 cores=0,2,4,6
/proc/7405/task/7420/stat : 7420 (java) S 7403 7405 7405 0 -1 4202560 1290 0 0 0 35 0 0 0 15 0 19 0 947900204 8742629376 14170 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 0 0 0 0
[pid=7405/tid=7421] ppid=7403 vsize=8537724 CPUtime=0.4 cores=0,2,4,6
/proc/7405/task/7421/stat : 7421 (java) S 7403 7405 7405 0 -1 4202560 3580 0 0 0 39 1 0 0 15 0 19 0 947900204 8742629376 14170 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7405/tid=7422] ppid=7403 vsize=8537724 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7422/stat : 7422 (java) S 7403 7405 7405 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947900204 8742629376 14170 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7405/tid=7423] ppid=7403 vsize=8537724 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7423/stat : 7423 (java) S 7403 7405 7405 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947900204 8742629376 14170 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296742400 0 4 0 16800975 18446604452396127168 0 0 -1 4 0 0 0
[pid=7405/tid=7446] ppid=7403 vsize=8537724 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7446/stat : 7446 (java) S 7403 7405 7405 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947900235 8742629376 14170 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296742400 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7397/tid=7404] ppid=7395 vsize=294368 CPUtime=0 cores=0,2,4,6
/proc/7397/task/7404/stat : 7404 (python) S 7395 7397 7156 0 -1 4202560 101 930 0 0 0 0 0 0 19 0 2 0 947900174 301432832 7430 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296749489 0 0 16781312 33554434 18446604442789755968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 9116216
[startup+12.7014 s]
/proc/loadavg: 2.34 1.42 0.62 3/629 7458
/proc/meminfo: memFree=30222108/32951124 swapFree=33333036/67111528
[pid=7397] ppid=7395 vsize=294368 CPUtime=0.52 cores=0,2,4,6
/proc/7397/stat : 7397 (python) S 7395 7397 7156 0 -1 4202496 9989 930 1 0 42 10 0 0 18 0 2 0 947899986 301432832 7430 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 126
/proc/7397/statm: 73592 7430 1870 364 0 8479 0
[pid=7403] ppid=7397 vsize=284124 CPUtime=0.04 cores=0,2,4,6
/proc/7403/stat : 7403 (python) S 7397 7397 7156 0 -1 4202560 988 0 0 0 2 2 0 0 15 0 1 0 947900173 290942976 5937 33554432000 4194304 5683644 140736712413984 18446744073709551615 224284945935 0 0 16781312 33554946 4294934787 0 0 17 4 0 0 0
/proc/7403/statm: 71031 5937 381 364 0 5918 0
[pid=7405] ppid=7403 vsize=8553084 CPUtime=12.3 cores=0,2,4,6
/proc/7405/stat : 7405 (java) S 7403 7405 7405 0 -1 4202496 26751 0 1 0 1223 7 0 0 18 0 19 0 947900174 8758358016 20267 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7405/statm: 2138271 20267 2256 9 0 2129012 0
[pid=7405/tid=7407] ppid=7403 vsize=8553084 CPUtime=10.38 cores=0,2,4,6
/proc/7405/task/7407/stat : 7407 (java) R 7403 7405 7405 0 -1 4202560 7836 0 1 0 1035 3 0 0 25 0 19 0 947900197 8758358016 20267 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 46912505771181 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7405/tid=7408] ppid=7403 vsize=8553084 CPUtime=0.01 cores=0,2,4,6
/proc/7405/task/7408/stat : 7408 (java) S 7403 7405 7405 0 -1 4202560 168 0 0 0 1 0 0 0 15 0 19 0 947900200 8758358016 20267 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 0 0 0 0
[pid=7405/tid=7409] ppid=7403 vsize=8553084 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7409/stat : 7409 (java) S 7403 7405 7405 0 -1 4202560 461 0 0 0 0 0 0 0 15 0 19 0 947900200 8758358016 20267 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7405/tid=7410] ppid=7403 vsize=8553084 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7410/stat : 7410 (java) S 7403 7405 7405 0 -1 4202560 303 0 0 0 0 0 0 0 15 0 19 0 947900200 8758358016 20267 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7405/tid=7411] ppid=7403 vsize=8553084 CPUtime=0.01 cores=0,2,4,6
/proc/7405/task/7411/stat : 7411 (java) S 7403 7405 7405 0 -1 4202560 274 0 0 0 1 0 0 0 16 0 19 0 947900200 8758358016 20267 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 0 0 0 0
[pid=7405/tid=7412] ppid=7403 vsize=8553084 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7412/stat : 7412 (java) S 7403 7405 7405 0 -1 4202560 266 0 0 0 0 0 0 0 15 0 19 0 947900200 8758358016 20267 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7405/tid=7413] ppid=7403 vsize=8553084 CPUtime=0.01 cores=0,2,4,6
/proc/7405/task/7413/stat : 7413 (java) S 7403 7405 7405 0 -1 4202560 346 0 0 0 1 0 0 0 15 0 19 0 947900200 8758358016 20267 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7405/tid=7414] ppid=7403 vsize=8553084 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7414/stat : 7414 (java) S 7403 7405 7405 0 -1 4202560 448 0 0 0 0 0 0 0 16 0 19 0 947900200 8758358016 20267 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 4 0 0 0
[pid=7405/tid=7415] ppid=7403 vsize=8553084 CPUtime=0.01 cores=0,2,4,6
/proc/7405/task/7415/stat : 7415 (java) S 7403 7405 7405 0 -1 4202560 467 0 0 0 1 0 0 0 15 0 19 0 947900200 8758358016 20267 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 0 0 0 0
[pid=7405/tid=7416] ppid=7403 vsize=8553084 CPUtime=0.09 cores=0,2,4,6
/proc/7405/task/7416/stat : 7416 (java) S 7403 7405 7405 0 -1 4202560 1646 0 0 0 9 0 0 0 16 0 19 0 947900201 8758358016 20267 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296742400 0 0 0 16800975 18446604452396127168 0 0 -1 2 0 0 0
[pid=7405/tid=7417] ppid=7403 vsize=8553084 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7417/stat : 7417 (java) S 7403 7405 7405 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947900201 8758358016 20267 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 0 0 0 0
[pid=7405/tid=7418] ppid=7403 vsize=8553084 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7418/stat : 7418 (java) S 7403 7405 7405 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947900201 8758358016 20267 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7405/tid=7419] ppid=7403 vsize=8553084 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7419/stat : 7419 (java) S 7403 7405 7405 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947900204 8758358016 20267 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296749489 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7405/tid=7420] ppid=7403 vsize=8553084 CPUtime=1.14 cores=0,2,4,6
/proc/7405/task/7420/stat : 7420 (java) S 7403 7405 7405 0 -1 4202560 9122 0 0 0 114 0 0 0 15 0 19 0 947900204 8758358016 20267 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 0 0 0 0
[pid=7405/tid=7421] ppid=7403 vsize=8553084 CPUtime=0.57 cores=0,2,4,6
/proc/7405/task/7421/stat : 7421 (java) S 7403 7405 7405 0 -1 4202560 4033 0 0 0 56 1 0 0 15 0 19 0 947900204 8758358016 20267 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7405/tid=7422] ppid=7403 vsize=8553084 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7422/stat : 7422 (java) S 7403 7405 7405 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947900204 8758358016 20267 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7405/tid=7423] ppid=7403 vsize=8553084 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7423/stat : 7423 (java) S 7403 7405 7405 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947900204 8758358016 20267 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296742400 0 4 0 16800975 18446604452396127168 0 0 -1 4 0 0 0
[pid=7405/tid=7446] ppid=7403 vsize=8553084 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7446/stat : 7446 (java) S 7403 7405 7405 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947900235 8758358016 20267 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296742400 0 4 0 16800975 18446604452396127168 0 0 -1 6 0 0 0
[pid=7397/tid=7404] ppid=7395 vsize=294368 CPUtime=0 cores=0,2,4,6
/proc/7397/task/7404/stat : 7404 (python) S 7395 7397 7156 0 -1 4202560 101 930 0 0 0 0 0 0 19 0 2 0 947900174 301432832 7430 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296749489 0 0 16781312 33554434 18446604442789755968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.86
Current children cumulated vsize (KiB) 9131576
[startup+25.5223 s]
################
# More data... #
################
[pid=7405/tid=7423] ppid=7403 vsize=8548364 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7423/stat : 7423 (java) T 7403 7405 7405 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 947900204 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7405/tid=7446] ppid=7403 vsize=8548364 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7446/stat : 7446 (java) T 7403 7405 7405 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947900235 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7403/tid=7461] ppid=7397 vsize=294368 CPUtime=0 cores=0,2,4,6
/proc/7403/task/7461/stat : 7461 (python) S 7397 7397 7156 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 947904981 301432832 5973 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296749489 0 0 16781312 33554946 18446604442789755072 0 0 -1 0 0 0 0
[pid=7462] ppid=7397 vsize=294884 CPUtime=0.26 cores=0,2,4,6
/proc/7462/stat : 7462 (python) S 7397 7397 7156 0 -1 4202560 1124 0 0 0 14 12 0 0 16 0 2 0 947904984 301961216 6085 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/7462/statm: 73721 6085 397 364 0 8605 0
[pid=7464] ppid=7462 vsize=69116 CPUtime=50.59 cores=0,2,4,6
/proc/7464/stat : 7464 (scip-2.0.1.linu) T 7462 7464 7464 0 -1 4202496 16820 0 0 0 5026 33 0 0 25 0 1 0 947904984 70774784 14940 33554432000 4194304 13684479 140734378129600 18446744073709551615 7390402 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/7464/statm: 17279 14940 799 2317 0 14957 0
[pid=7462/tid=7487] ppid=7397 vsize=294884 CPUtime=0 cores=0,2,4,6
/proc/7462/task/7487/stat : 7487 (python) S 7397 7397 7156 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 947910044 301961216 6085 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296749489 0 0 16781312 33554946 18446604440822760384 0 0 -1 6 0 0 0
[pid=7488] ppid=7397 vsize=305140 CPUtime=0 cores=0,2,4,6
/proc/7488/stat : 7488 (python) S 7397 7397 7156 0 -1 4202560 818 0 0 0 0 0 0 0 15 0 1 0 947910047 312463360 6040 33554432000 4194304 5683644 140736712413984 18446744073709551615 224284945990 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/7488/statm: 76285 6040 349 364 0 11166 0
[pid=7490] ppid=7488 vsize=7124 CPUtime=1.68 cores=0,2,4,6
/proc/7490/stat : 7490 (wbo1.4a) R 7488 7490 7490 0 -1 4202496 1669 0 0 0 166 2 0 0 25 0 1 0 947910047 7294976 1337 33554432000 134512640 135751879 4292178288 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/7490/statm: 1781 1337 146 303 0 1476 0
[pid=7397/tid=7404] ppid=7395 vsize=315384 CPUtime=0 cores=0,2,4,6
/proc/7397/task/7404/stat : 7404 (python) S 7395 7397 7156 0 -1 4202560 101 930 0 0 0 0 0 0 19 0 4 0 947900174 322953216 7570 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296749489 0 0 16781312 33554434 18446604442789755968 0 0 -1 6 0 0 0
[pid=7397/tid=7463] ppid=7395 vsize=315384 CPUtime=0 cores=0,2,4,6
/proc/7397/task/7463/stat : 7463 (python) S 7395 7397 7156 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 4 0 947904984 322953216 7570 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296749489 0 0 16781312 33554434 18446604442789755968 0 0 -1 6 0 0 0
[pid=7397/tid=7489] ppid=7395 vsize=315384 CPUtime=0 cores=0,2,4,6
/proc/7397/task/7489/stat : 7489 (python) S 7395 7397 7156 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 4 0 947910047 322953216 7570 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296749489 0 0 16781312 33554434 18446604442789755968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 103.02
Current children cumulated vsize (KiB) 9834380
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+149.701 s]
/proc/loadavg: 2.19 1.68 0.82 7/697 7543
/proc/meminfo: memFree=29737496/32951124 swapFree=33333036/67111528
[pid=7397] ppid=7395 vsize=325640 CPUtime=0.6 cores=0,2,4,6
/proc/7397/stat : 7397 (python) S 7395 7397 7156 0 -1 4202496 12685 930 1 0 49 11 0 0 19 0 5 0 947899986 333455360 7576 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 126
/proc/7397/statm: 81410 7576 1877 364 0 16288 0
[pid=7403] ppid=7397 vsize=294368 CPUtime=0.25 cores=0,2,4,6
/proc/7403/stat : 7403 (python) S 7397 7397 7156 0 -1 4202560 1168 0 0 0 11 14 0 0 16 0 2 0 947900173 301432832 5973 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/7403/statm: 73592 5973 412 364 0 8479 0
[pid=7405] ppid=7403 vsize=8548364 CPUtime=49.66 cores=0,2,4,6
/proc/7405/stat : 7405 (java) T 7403 7405 7405 0 -1 4202496 27336 0 1 0 4959 7 0 0 18 0 19 0 947900174 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7405/statm: 2137091 19651 2256 9 0 2127832 0
[pid=7405/tid=7407] ppid=7403 vsize=8548364 CPUtime=47.22 cores=0,2,4,6
/proc/7405/task/7407/stat : 7407 (java) T 7403 7405 7405 0 -1 4202560 7859 0 1 0 4719 3 0 0 25 0 19 0 947900197 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 46912505690366 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7405/tid=7408] ppid=7403 vsize=8548364 CPUtime=0.03 cores=0,2,4,6
/proc/7405/task/7408/stat : 7408 (java) T 7403 7405 7405 0 -1 4202560 171 0 0 0 3 0 0 0 15 0 19 0 947900200 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7405/tid=7409] ppid=7403 vsize=8548364 CPUtime=0.01 cores=0,2,4,6
/proc/7405/task/7409/stat : 7409 (java) T 7403 7405 7405 0 -1 4202560 648 0 0 0 1 0 0 0 15 0 19 0 947900200 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7405/tid=7410] ppid=7403 vsize=8548364 CPUtime=0.02 cores=0,2,4,6
/proc/7405/task/7410/stat : 7410 (java) T 7403 7405 7405 0 -1 4202560 305 0 0 0 2 0 0 0 15 0 19 0 947900200 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7405/tid=7411] ppid=7403 vsize=8548364 CPUtime=0.04 cores=0,2,4,6
/proc/7405/task/7411/stat : 7411 (java) T 7403 7405 7405 0 -1 4202560 275 0 0 0 4 0 0 0 15 0 19 0 947900200 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7405/tid=7412] ppid=7403 vsize=8548364 CPUtime=0.02 cores=0,2,4,6
/proc/7405/task/7412/stat : 7412 (java) T 7403 7405 7405 0 -1 4202560 451 0 0 0 2 0 0 0 15 0 19 0 947900200 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7405/tid=7413] ppid=7403 vsize=8548364 CPUtime=0.04 cores=0,2,4,6
/proc/7405/task/7413/stat : 7413 (java) T 7403 7405 7405 0 -1 4202560 347 0 0 0 4 0 0 0 15 0 19 0 947900200 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7405/tid=7414] ppid=7403 vsize=8548364 CPUtime=0.02 cores=0,2,4,6
/proc/7405/task/7414/stat : 7414 (java) T 7403 7405 7405 0 -1 4202560 450 0 0 0 2 0 0 0 15 0 19 0 947900200 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7405/tid=7415] ppid=7403 vsize=8548364 CPUtime=0.03 cores=0,2,4,6
/proc/7405/task/7415/stat : 7415 (java) T 7403 7405 7405 0 -1 4202560 640 0 0 0 3 0 0 0 15 0 19 0 947900200 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7405/tid=7416] ppid=7403 vsize=8548364 CPUtime=0.37 cores=0,2,4,6
/proc/7405/task/7416/stat : 7416 (java) T 7403 7405 7405 0 -1 4202560 1651 0 0 0 37 0 0 0 15 0 19 0 947900201 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296742400 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7405/tid=7417] ppid=7403 vsize=8548364 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7417/stat : 7417 (java) T 7403 7405 7405 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947900201 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7405/tid=7418] ppid=7403 vsize=8548364 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7418/stat : 7418 (java) T 7403 7405 7405 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947900201 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7405/tid=7419] ppid=7403 vsize=8548364 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7419/stat : 7419 (java) T 7403 7405 7405 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947900204 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296749489 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7405/tid=7420] ppid=7403 vsize=8548364 CPUtime=1.16 cores=0,2,4,6
/proc/7405/task/7420/stat : 7420 (java) T 7403 7405 7405 0 -1 4202560 9122 0 0 0 116 0 0 0 15 0 19 0 947900204 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7405/tid=7421] ppid=7403 vsize=8548364 CPUtime=0.59 cores=0,2,4,6
/proc/7405/task/7421/stat : 7421 (java) T 7403 7405 7405 0 -1 4202560 4033 0 0 0 58 1 0 0 15 0 19 0 947900204 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7405/tid=7422] ppid=7403 vsize=8548364 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7422/stat : 7422 (java) T 7403 7405 7405 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947900204 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7405/tid=7423] ppid=7403 vsize=8548364 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7423/stat : 7423 (java) T 7403 7405 7405 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 947900204 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7405/tid=7446] ppid=7403 vsize=8548364 CPUtime=0 cores=0,2,4,6
/proc/7405/task/7446/stat : 7446 (java) T 7403 7405 7405 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947900235 8753524736 19651 33554432000 1073741824 1073778376 140734571587008 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7403/tid=7461] ppid=7397 vsize=294368 CPUtime=0 cores=0,2,4,6
/proc/7403/task/7461/stat : 7461 (python) S 7397 7397 7156 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 947904981 301432832 5973 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296749489 0 0 16781312 33554946 18446604442789755072 0 0 -1 0 0 0 0
[pid=7462] ppid=7397 vsize=294884 CPUtime=0.26 cores=0,2,4,6
/proc/7462/stat : 7462 (python) S 7397 7397 7156 0 -1 4202560 1124 0 0 0 14 12 0 0 16 0 2 0 947904984 301961216 6085 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/7462/statm: 73721 6085 397 364 0 8605 0
[pid=7464] ppid=7462 vsize=69116 CPUtime=50.59 cores=0,2,4,6
/proc/7464/stat : 7464 (scip-2.0.1.linu) T 7462 7464 7464 0 -1 4202496 16820 0 0 0 5026 33 0 0 25 0 1 0 947904984 70774784 14940 33554432000 4194304 13684479 140734378129600 18446744073709551615 7390402 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/7464/statm: 17279 14940 799 2317 0 14957 0
[pid=7462/tid=7487] ppid=7397 vsize=294884 CPUtime=0 cores=0,2,4,6
/proc/7462/task/7487/stat : 7487 (python) S 7397 7397 7156 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 947910044 301961216 6085 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296749489 0 0 16781312 33554946 18446604440822760384 0 0 -1 6 0 0 0
[pid=7488] ppid=7397 vsize=305140 CPUtime=0.25 cores=0,2,4,6
/proc/7488/stat : 7488 (python) S 7397 7397 7156 0 -1 4202560 1144 0 0 0 12 13 0 0 16 0 2 0 947910047 312463360 6089 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/7488/statm: 76285 6089 397 364 0 11166 0
[pid=7490] ppid=7488 vsize=78960 CPUtime=48.1 cores=0,2,4,6
/proc/7490/stat : 7490 (wbo1.4a) T 7488 7490 7490 0 -1 4202496 19633 0 0 0 4776 34 0 0 25 0 1 0 947910047 80855040 19301 33554432000 134512640 135751879 4292178288 18446744073709551615 134616418 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/7490/statm: 19740 19301 146 303 0 19435 0
[pid=7488/tid=7497] ppid=7397 vsize=305140 CPUtime=0 cores=0,2,4,6
/proc/7488/task/7497/stat : 7497 (python) S 7397 7397 7156 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 947914858 312463360 6089 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296749489 0 0 16781312 33554946 18446604443397974080 0 0 -1 6 0 0 0
[pid=7498] ppid=7397 vsize=315396 CPUtime=0 cores=0,2,4,6
/proc/7498/stat : 7498 (python) S 7397 7397 7156 0 -1 4202560 797 0 0 0 0 0 0 0 15 0 1 0 947914861 322965504 6044 33554432000 4194304 5683644 140736712413984 18446744073709551615 224284945990 0 0 16781312 33554946 1854586807061053440 0 0 17 0 0 0 0
/proc/7498/statm: 78849 6044 349 364 0 13727 0
[pid=7500] ppid=7498 vsize=8541884 CPUtime=1.95 cores=0,2,4,6
/proc/7500/stat : 7500 (java) S 7498 7500 7500 0 -1 4202496 26653 0 1 0 191 4 0 0 20 0 19 0 947914861 8746889216 24854 33554432000 1073741824 1073778376 140735255822224 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/7500/statm: 2135471 24854 2225 9 0 2126212 0
[pid=7500/tid=7501] ppid=7498 vsize=8541884 CPUtime=0.93 cores=0,2,4,6
/proc/7500/task/7501/stat : 7501 (java) R 7498 7500 7500 0 -1 4202560 19716 0 1 0 91 2 0 0 18 0 19 0 947914862 8746889216 25033 33554432000 1073741824 1073778376 140735255822224 18446744073709551615 46912505781606 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7500/tid=7502] ppid=7498 vsize=8541884 CPUtime=0 cores=0,2,4,6
/proc/7500/task/7502/stat : 7502 (java) S 7498 7500 7500 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947914863 8746889216 25034 33554432000 1073741824 1073778376 140735255822224 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=7500/tid=7503] ppid=7498 vsize=8541884 CPUtime=0 cores=0,2,4,6
/proc/7500/task/7503/stat : 7503 (java) S 7498 7500 7500 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947914863 8746889216 25034 33554432000 1073741824 1073778376 140735255822224 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=7500/tid=7504] ppid=7498 vsize=8541884 CPUtime=0 cores=0,2,4,6
/proc/7500/task/7504/stat : 7504 (java) S 7498 7500 7500 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947914863 8746889216 25034 33554432000 1073741824 1073778376 140735255822224 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=7500/tid=7505] ppid=7498 vsize=8541884 CPUtime=0 cores=0,2,4,6
/proc/7500/task/7505/stat : 7505 (java) S 7498 7500 7500 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914863 8746889216 25035 33554432000 1073741824 1073778376 140735255822224 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=7500/tid=7506] ppid=7498 vsize=8541884 CPUtime=0 cores=0,2,4,6
/proc/7500/task/7506/stat : 7506 (java) S 7498 7500 7500 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914863 8746889216 25035 33554432000 1073741824 1073778376 140735255822224 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=7500/tid=7507] ppid=7498 vsize=8541884 CPUtime=0 cores=0,2,4,6
/proc/7500/task/7507/stat : 7507 (java) S 7498 7500 7500 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914863 8746889216 25035 33554432000 1073741824 1073778376 140735255822224 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=7500/tid=7508] ppid=7498 vsize=8541884 CPUtime=0 cores=0,2,4,6
/proc/7500/task/7508/stat : 7508 (java) S 7498 7500 7500 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914863 8746889216 25036 33554432000 1073741824 1073778376 140735255822224 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=7500/tid=7509] ppid=7498 vsize=8541884 CPUtime=0 cores=0,2,4,6
/proc/7500/task/7509/stat : 7509 (java) S 7498 7500 7500 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914863 8746889216 25036 33554432000 1073741824 1073778376 140735255822224 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=7500/tid=7510] ppid=7498 vsize=8541884 CPUtime=0 cores=0,2,4,6
/proc/7500/task/7510/stat : 7510 (java) S 7498 7500 7500 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947914864 8746889216 25038 33554432000 1073741824 1073778376 140735255822224 18446744073709551615 224296742400 0 0 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=7500/tid=7511] ppid=7498 vsize=8541884 CPUtime=0 cores=0,2,4,6
/proc/7500/task/7511/stat : 7511 (java) S 7498 7500 7500 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947914864 8746889216 25039 33554432000 1073741824 1073778376 140735255822224 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=7500/tid=7512] ppid=7498 vsize=8541884 CPUtime=0 cores=0,2,4,6
/proc/7500/task/7512/stat : 7512 (java) S 7498 7500 7500 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947914864 8746889216 25040 33554432000 1073741824 1073778376 140735255822224 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=7500/tid=7514] ppid=7498 vsize=8541884 CPUtime=0 cores=0,2,4,6
/proc/7500/task/7514/stat : 7514 (java) S 7498 7500 7500 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914866 8746889216 25041 33554432000 1073741824 1073778376 140735255822224 18446744073709551615 224296749489 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=7500/tid=7515] ppid=7498 vsize=8541884 CPUtime=0.52 cores=0,2,4,6
/proc/7500/task/7515/stat : 7515 (java) S 7498 7500 7500 0 -1 4202560 1920 0 0 0 52 0 0 0 16 0 19 0 947914866 8746889216 25042 33554432000 1073741824 1073778376 140735255822224 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=7500/tid=7516] ppid=7498 vsize=8541884 CPUtime=0.5 cores=0,2,4,6
/proc/7500/task/7516/stat : 7516 (java) R 7498 7500 7500 0 -1 4202560 3799 0 0 0 50 0 0 0 25 0 19 0 947914866 8746889216 25043 33554432000 1073741824 1073778376 140735255822224 18446744073709551615 47278006249600 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7500/tid=7517] ppid=7498 vsize=8541884 CPUtime=0 cores=0,2,4,6
/proc/7500/task/7517/stat : 7517 (java) S 7498 7500 7500 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947914866 8746889216 25044 33554432000 1073741824 1073778376 140735255822224 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=7500/tid=7518] ppid=7498 vsize=8541884 CPUtime=0 cores=0,2,4,6
/proc/7500/task/7518/stat : 7518 (java) S 7498 7500 7500 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 947914867 8746889216 25045 33554432000 1073741824 1073778376 140735255822224 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=7500/tid=7540] ppid=7498 vsize=8541884 CPUtime=0 cores=0,2,4,6
/proc/7500/task/7540/stat : 7540 (java) S 7498 7500 7500 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947914905 8746889216 25046 33554432000 1073741824 1073778376 140735255822224 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=7397/tid=7404] ppid=7395 vsize=325640 CPUtime=0 cores=0,2,4,6
/proc/7397/task/7404/stat : 7404 (python) S 7395 7397 7156 0 -1 4202560 101 930 0 0 0 0 0 0 19 0 5 0 947900174 333455360 7576 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296749489 0 0 16781312 33554434 18446604442789755968 0 0 -1 6 0 0 0
[pid=7397/tid=7463] ppid=7395 vsize=325640 CPUtime=0 cores=0,2,4,6
/proc/7397/task/7463/stat : 7463 (python) S 7395 7397 7156 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 5 0 947904984 333455360 7576 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296749489 0 0 16781312 33554434 18446604442789755968 0 0 -1 6 0 0 0
[pid=7397/tid=7489] ppid=7395 vsize=325640 CPUtime=0 cores=0,2,4,6
/proc/7397/task/7489/stat : 7489 (python) S 7395 7397 7156 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 5 0 947910047 333455360 7576 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296749489 0 0 16781312 33554434 18446604442789755968 0 0 -1 6 0 0 0
[pid=7397/tid=7499] ppid=7395 vsize=325640 CPUtime=0 cores=0,2,4,6
/proc/7397/task/7499/stat : 7499 (python) S 7395 7397 7156 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 5 0 947914861 333455360 7576 33554432000 4194304 5683644 140736712413984 18446744073709551615 224296749489 0 0 16781312 33554434 18446604442789755968 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 151.66
Current children cumulated vsize (KiB) 18773752
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 7397 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=500923
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=118981
# CPU time returned by wait4() is 0.619904
# while last known CPU time is 151.66
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 149.794
CPU time (s): 151.66
CPU user time (s): 150.38
CPU system time (s): 1.28
CPU usage (%): 101.246
Max. virtual memory (cumulated for all children) (KiB): 18773752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.500923
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= 13617
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= 1008
involuntary context switches= 27
runsolver used 1.01085 second user time and 1.9517 second system time
The end