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-3481993-1307576629/watcher-3481993-1307576629 -o /tmp/evaluation-result-3481993-1307576629/solver-3481993-1307576629 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481993-1307576629.opb -seed 696822104 -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.11 1.18 0.48 2/575 19407
/proc/meminfo: memFree=27518616/32950928 swapFree=26914392/67111528
[pid=19407] ppid=19405 vsize=15904 CPUtime=0 cores=1,3,5,7
/proc/19407/stat : 19407 (python) S 19405 19407 19061 0 -1 4202496 944 0 0 0 0 0 0 0 25 0 1 0 869259670 16285696 820 33554432000 4194304 5683644 140735460592160 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/19407/statm: 3976 820 357 364 0 463 0
[startup+0.0885129 s]
/proc/loadavg: 2.11 1.18 0.48 2/575 19407
/proc/meminfo: memFree=27518616/32950928 swapFree=26914392/67111528
[pid=19407] ppid=19405 vsize=54636 CPUtime=0.04 cores=1,3,5,7
/proc/19407/stat : 19407 (python) R 19405 19407 19061 0 -1 4202496 2073 0 0 0 3 1 0 0 17 0 1 0 869259670 55947264 1829 33554432000 4194304 5683644 140735460592160 18446744073709551615 254500689920 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/19407/statm: 13659 1829 492 364 0 1309 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 54636
[startup+0.10052 s]
/proc/loadavg: 2.11 1.18 0.48 2/575 19407
/proc/meminfo: memFree=27518616/32950928 swapFree=26914392/67111528
[pid=19407] ppid=19405 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/19407/stat : 19407 (python) R 19405 19407 19061 0 -1 4202496 2664 0 0 0 4 2 0 0 17 0 1 0 869259670 87674880 2382 33554432000 4194304 5683644 140735460592160 18446744073709551615 254500689920 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/19407/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.300467 s]
/proc/loadavg: 2.11 1.18 0.48 2/575 19407
/proc/meminfo: memFree=27518616/32950928 swapFree=26914392/67111528
[pid=19407] ppid=19405 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/19407/stat : 19407 (python) R 19405 19407 19061 0 -1 4202496 5358 932 1 0 12 5 0 0 16 0 1 0 869259670 126709760 3744 33554432000 4194304 5683644 140735460592160 18446744073709551615 254500384464 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/19407/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700408 s]
/proc/loadavg: 2.11 1.18 0.48 2/575 19407
/proc/meminfo: memFree=27518616/32950928 swapFree=26914392/67111528
[pid=19407] ppid=19405 vsize=283904 CPUtime=0.46 cores=1,3,5,7
/proc/19407/stat : 19407 (python) R 19405 19407 19061 0 -1 4202496 9453 932 1 0 32 14 0 0 15 0 1 0 869259670 290717696 7314 33554432000 4194304 5683644 140735460592160 18446744073709551615 46962188170288 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/19407/statm: 70976 7314 1781 364 0 5869 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 283904
[startup+1.50017 s]
/proc/loadavg: 2.11 1.18 0.48 3/576 19412
/proc/meminfo: memFree=27489964/32950928 swapFree=26914392/67111528
[pid=19407] ppid=19405 vsize=299508 CPUtime=1.02 cores=1,3,5,7
/proc/19407/stat : 19407 (python) S 19405 19407 19061 0 -1 4202496 12328 932 1 0 88 14 0 0 18 0 2 0 869259670 306696192 8708 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/19407/statm: 74877 8708 1862 364 0 9764 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 299508
[startup+3.10091 s]
/proc/loadavg: 2.11 1.18 0.48 3/597 19433
/proc/meminfo: memFree=27392272/32950928 swapFree=26914392/67111528
[pid=19407] ppid=19405 vsize=299508 CPUtime=1.02 cores=1,3,5,7
/proc/19407/stat : 19407 (python) S 19405 19407 19061 0 -1 4202496 12328 932 1 0 88 14 0 0 18 0 2 0 869259670 306696192 8708 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/19407/statm: 74877 8708 1862 364 0 9764 0
[pid=19413] ppid=19407 vsize=289264 CPUtime=0 cores=1,3,5,7
/proc/19413/stat : 19413 (python) S 19407 19407 19061 0 -1 4202560 850 0 0 0 0 0 0 0 15 0 1 0 869259797 296206336 7199 33554432000 4194304 5683644 140735460592160 18446744073709551615 254500711951 0 0 16781312 33554946 15807195475829817607 0 0 17 5 0 0 0
/proc/19413/statm: 72316 7199 357 364 0 7203 0
[pid=19415] ppid=19413 vsize=8546500 CPUtime=2.97 cores=1,3,5,7
/proc/19415/stat : 19415 (java) S 19413 19415 19415 0 -1 4202496 34273 0 1 0 294 3 0 0 18 0 19 0 869259797 8751616000 29532 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19415/statm: 2136625 29532 2258 9 0 2127366 0
[pid=19415/tid=19416] ppid=19413 vsize=8546500 CPUtime=1.79 cores=1,3,5,7
/proc/19415/task/19416/stat : 19416 (java) R 19413 19415 19415 0 -1 4202560 21964 0 1 0 177 2 0 0 25 0 19 0 869259798 8751616000 29532 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 46912505866880 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19415/tid=19417] ppid=19413 vsize=8546500 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19417/stat : 19417 (java) S 19413 19415 19415 0 -1 4202560 299 0 0 0 0 0 0 0 18 0 19 0 869259798 8751616000 29532 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 5 0 0 0
[pid=19415/tid=19418] ppid=19413 vsize=8546500 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19418/stat : 19418 (java) S 19413 19415 19415 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869259798 8751616000 29532 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 7 0 0 0
[pid=19415/tid=19419] ppid=19413 vsize=8546500 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19419/stat : 19419 (java) S 19413 19415 19415 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869259798 8751616000 29532 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 7 0 0 0
[pid=19415/tid=19420] ppid=19413 vsize=8546500 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19420/stat : 19420 (java) S 19413 19415 19415 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869259798 8751616000 29532 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 7 0 0 0
[pid=19415/tid=19421] ppid=19413 vsize=8546500 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19421/stat : 19421 (java) S 19413 19415 19415 0 -1 4202560 218 0 0 0 0 0 0 0 18 0 19 0 869259798 8751616000 29532 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 5 0 0 0
[pid=19415/tid=19422] ppid=19413 vsize=8546500 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19422/stat : 19422 (java) S 19413 19415 19415 0 -1 4202560 226 0 0 0 0 0 0 0 18 0 19 0 869259798 8751616000 29532 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 7 0 0 0
[pid=19415/tid=19423] ppid=19413 vsize=8546500 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19423/stat : 19423 (java) S 19413 19415 19415 0 -1 4202560 105 0 0 0 0 0 0 0 18 0 19 0 869259798 8751616000 29532 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 7 0 0 0
[pid=19415/tid=19424] ppid=19413 vsize=8546500 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19424/stat : 19424 (java) S 19413 19415 19415 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869259798 8751616000 29532 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 7 0 0 0
[pid=19415/tid=19425] ppid=19413 vsize=8546500 CPUtime=0.01 cores=1,3,5,7
/proc/19415/task/19425/stat : 19425 (java) S 19413 19415 19415 0 -1 4202560 846 0 0 0 1 0 0 0 15 0 19 0 869259799 8751616000 29532 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512508416 0 0 0 16800975 18446604457361914560 0 0 -1 1 0 0 0
[pid=19415/tid=19426] ppid=19413 vsize=8546500 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19426/stat : 19426 (java) S 19413 19415 19415 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869259800 8751616000 29532 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 1 0 0 0
[pid=19415/tid=19427] ppid=19413 vsize=8546500 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19427/stat : 19427 (java) S 19413 19415 19415 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869259800 8751616000 29532 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 1 0 0 0
[pid=19415/tid=19428] ppid=19413 vsize=8546500 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19428/stat : 19428 (java) S 19413 19415 19415 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869259802 8751616000 29532 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512515505 0 4 0 16800975 18446604457361914560 0 0 -1 3 0 0 0
[pid=19415/tid=19429] ppid=19413 vsize=8546500 CPUtime=0.54 cores=1,3,5,7
/proc/19415/task/19429/stat : 19429 (java) S 19413 19415 19415 0 -1 4202560 3655 0 0 0 54 0 0 0 15 0 19 0 869259802 8751616000 29532 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 1 0 0 0
[pid=19415/tid=19430] ppid=19413 vsize=8546500 CPUtime=0.6 cores=1,3,5,7
/proc/19415/task/19430/stat : 19430 (java) R 19413 19415 19415 0 -1 4202560 5575 0 0 0 60 0 0 0 15 0 19 0 869259802 8751616000 29532 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 47278238899936 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19415/tid=19431] ppid=19413 vsize=8546500 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19431/stat : 19431 (java) S 19413 19415 19415 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869259802 8751616000 29532 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 3 0 0 0
[pid=19415/tid=19432] ppid=19413 vsize=8546500 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19432/stat : 19432 (java) S 19413 19415 19415 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869259802 8751616000 29532 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512508416 0 4 0 16800975 18446604457361914560 0 0 -1 5 0 0 0
[pid=19415/tid=19433] ppid=19413 vsize=8546500 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19433/stat : 19433 (java) S 19413 19415 19415 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869259850 8751616000 29532 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512508416 0 4 0 16800975 18446604457361914560 0 0 -1 1 0 0 0
[pid=19407/tid=19414] ppid=19405 vsize=299508 CPUtime=0 cores=1,3,5,7
/proc/19407/task/19414/stat : 19414 (python) S 19405 19407 19061 0 -1 4202560 25 932 0 0 0 0 0 0 18 0 2 0 869259797 306696192 8708 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512515505 0 0 16781312 33554434 18446604462590056512 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 9135272
[startup+6.30129 s]
/proc/loadavg: 2.10 1.20 0.49 2/581 19457
/proc/meminfo: memFree=27403324/32950928 swapFree=26914392/67111528
[pid=19407] ppid=19405 vsize=299508 CPUtime=1.02 cores=1,3,5,7
/proc/19407/stat : 19407 (python) S 19405 19407 19061 0 -1 4202496 12328 932 1 0 88 14 0 0 18 0 2 0 869259670 306696192 8708 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/19407/statm: 74877 8708 1862 364 0 9764 0
[pid=19413] ppid=19407 vsize=289264 CPUtime=0.02 cores=1,3,5,7
/proc/19413/stat : 19413 (python) S 19407 19407 19061 0 -1 4202560 991 0 0 0 1 1 0 0 15 0 1 0 869259797 296206336 7222 33554432000 4194304 5683644 140735460592160 18446744073709551615 254500711951 0 0 16781312 33554946 3758814493941956608 0 0 17 5 0 0 0
/proc/19413/statm: 72316 7222 380 364 0 7203 0
[pid=19415] ppid=19413 vsize=8558156 CPUtime=6.59 cores=1,3,5,7
/proc/19415/stat : 19415 (java) S 19413 19415 19415 0 -1 4202496 39304 0 1 0 656 3 0 0 18 0 19 0 869259797 8763551744 34090 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19415/statm: 2139539 34090 2258 9 0 2130280 0
[pid=19415/tid=19416] ppid=19413 vsize=8558156 CPUtime=4.95 cores=1,3,5,7
/proc/19415/task/19416/stat : 19416 (java) R 19413 19415 19415 0 -1 4202560 21968 0 1 0 493 2 0 0 25 0 19 0 869259798 8763551744 34090 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 46912505927616 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19415/tid=19417] ppid=19413 vsize=8558156 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19417/stat : 19417 (java) S 19413 19415 19415 0 -1 4202560 299 0 0 0 0 0 0 0 15 0 19 0 869259798 8763551744 34090 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 5 0 0 0
[pid=19415/tid=19418] ppid=19413 vsize=8558156 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19418/stat : 19418 (java) S 19413 19415 19415 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869259798 8763551744 34090 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 5 0 0 0
[pid=19415/tid=19419] ppid=19413 vsize=8558156 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19419/stat : 19419 (java) S 19413 19415 19415 0 -1 4202560 349 0 0 0 0 0 0 0 18 0 19 0 869259798 8763551744 34090 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 5 0 0 0
[pid=19415/tid=19420] ppid=19413 vsize=8558156 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19420/stat : 19420 (java) S 19413 19415 19415 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869259798 8763551744 34090 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 5 0 0 0
[pid=19415/tid=19421] ppid=19413 vsize=8558156 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19421/stat : 19421 (java) S 19413 19415 19415 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 19 0 869259798 8763551744 34090 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 5 0 0 0
[pid=19415/tid=19422] ppid=19413 vsize=8558156 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19422/stat : 19422 (java) S 19413 19415 19415 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 19 0 869259798 8763551744 34090 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 5 0 0 0
[pid=19415/tid=19423] ppid=19413 vsize=8558156 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19423/stat : 19423 (java) S 19413 19415 19415 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 869259798 8763551744 34090 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 5 0 0 0
[pid=19415/tid=19424] ppid=19413 vsize=8558156 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19424/stat : 19424 (java) S 19413 19415 19415 0 -1 4202560 483 0 0 0 0 0 0 0 15 0 19 0 869259798 8763551744 34090 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 5 0 0 0
[pid=19415/tid=19425] ppid=19413 vsize=8558156 CPUtime=0.03 cores=1,3,5,7
/proc/19415/task/19425/stat : 19425 (java) S 19413 19415 19415 0 -1 4202560 1564 0 0 0 3 0 0 0 15 0 19 0 869259799 8763551744 34090 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512508416 0 0 0 16800975 18446604457361914560 0 0 -1 7 0 0 0
[pid=19415/tid=19426] ppid=19413 vsize=8558156 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19426/stat : 19426 (java) S 19413 19415 19415 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869259800 8763551744 34090 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 1 0 0 0
[pid=19415/tid=19427] ppid=19413 vsize=8558156 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19427/stat : 19427 (java) S 19413 19415 19415 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869259800 8763551744 34090 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 1 0 0 0
[pid=19415/tid=19428] ppid=19413 vsize=8558156 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19428/stat : 19428 (java) S 19413 19415 19415 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869259802 8763551744 34090 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512515505 0 4 0 16800975 18446604457361914560 0 0 -1 3 0 0 0
[pid=19415/tid=19429] ppid=19413 vsize=8558156 CPUtime=0.58 cores=1,3,5,7
/proc/19415/task/19429/stat : 19429 (java) S 19413 19415 19415 0 -1 4202560 3657 0 0 0 58 0 0 0 15 0 19 0 869259802 8763551744 34090 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 5 0 0 0
[pid=19415/tid=19430] ppid=19413 vsize=8558156 CPUtime=0.98 cores=1,3,5,7
/proc/19415/task/19430/stat : 19430 (java) S 19413 19415 19415 0 -1 4202560 9036 0 0 0 98 0 0 0 15 0 19 0 869259802 8763551744 34090 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 3 0 0 0
[pid=19415/tid=19431] ppid=19413 vsize=8558156 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19431/stat : 19431 (java) S 19413 19415 19415 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869259802 8763551744 34090 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 3 0 0 0
[pid=19415/tid=19432] ppid=19413 vsize=8558156 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19432/stat : 19432 (java) S 19413 19415 19415 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869259802 8763551744 34090 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512508416 0 4 0 16800975 18446604457361914560 0 0 -1 1 0 0 0
[pid=19415/tid=19433] ppid=19413 vsize=8558156 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19433/stat : 19433 (java) S 19413 19415 19415 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869259850 8763551744 34090 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512508416 0 4 0 16800975 18446604457361914560 0 0 -1 1 0 0 0
[pid=19407/tid=19414] ppid=19405 vsize=299508 CPUtime=0 cores=1,3,5,7
/proc/19407/task/19414/stat : 19414 (python) S 19405 19407 19061 0 -1 4202560 25 932 0 0 0 0 0 0 18 0 2 0 869259797 306696192 8708 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512515505 0 0 16781312 33554434 18446604462590056512 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 9146928
[startup+12.701 s]
/proc/loadavg: 2.18 1.23 0.50 3/586 19491
/proc/meminfo: memFree=27297176/32950928 swapFree=26914392/67111528
[pid=19407] ppid=19405 vsize=299508 CPUtime=1.02 cores=1,3,5,7
/proc/19407/stat : 19407 (python) S 19405 19407 19061 0 -1 4202496 12328 932 1 0 88 14 0 0 18 0 2 0 869259670 306696192 8708 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/19407/statm: 74877 8708 1862 364 0 9764 0
[pid=19413] ppid=19407 vsize=289264 CPUtime=0.04 cores=1,3,5,7
/proc/19413/stat : 19413 (python) S 19407 19407 19061 0 -1 4202560 993 0 0 0 2 2 0 0 15 0 1 0 869259797 296206336 7222 33554432000 4194304 5683644 140735460592160 18446744073709551615 254500711951 0 0 16781312 33554946 71899474816925696 0 0 17 5 0 0 0
/proc/19413/statm: 72316 7222 380 364 0 7203 0
[pid=19415] ppid=19413 vsize=8545284 CPUtime=13.09 cores=1,3,5,7
/proc/19415/stat : 19415 (java) S 19413 19415 19415 0 -1 4202496 41202 0 1 0 1305 4 0 0 18 0 19 0 869259797 8750370816 32590 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19415/statm: 2136321 32590 2258 9 0 2127062 0
[pid=19415/tid=19416] ppid=19413 vsize=8545284 CPUtime=11.26 cores=1,3,5,7
/proc/19415/task/19416/stat : 19416 (java) R 19413 19415 19415 0 -1 4202560 21970 0 1 0 1124 2 0 0 25 0 19 0 869259798 8750370816 32590 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 46912505887514 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19415/tid=19417] ppid=19413 vsize=8545284 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19417/stat : 19417 (java) S 19413 19415 19415 0 -1 4202560 382 0 0 0 0 0 0 0 16 0 19 0 869259798 8750370816 32590 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 5 0 0 0
[pid=19415/tid=19418] ppid=19413 vsize=8545284 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19418/stat : 19418 (java) S 19413 19415 19415 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 869259798 8750370816 32590 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 5 0 0 0
[pid=19415/tid=19419] ppid=19413 vsize=8545284 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19419/stat : 19419 (java) S 19413 19415 19415 0 -1 4202560 751 0 0 0 0 0 0 0 15 0 19 0 869259798 8750370816 32590 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446604457361914560 0 0 -1 5 0 0 0
[pid=19415/tid=19420] ppid=19413 vsize=8545284 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=19407/tid=19602] ppid=19405 vsize=340532 CPUtime=0 cores=1,3,5,7
/proc/19407/task/19602/stat : 19602 (python) S 19405 19407 19061 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 6 0 869264435 348704768 8741 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512515505 0 0 16781312 33554434 18446604462590056512 0 0 -1 3 0 0 0
[pid=19407/tid=19611] ppid=19405 vsize=340532 CPUtime=0 cores=1,3,5,7
/proc/19407/task/19611/stat : 19611 (python) S 19405 19407 19061 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 6 0 869269400 348704768 8741 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512515505 0 0 16781312 33554434 18446604462590056512 0 0 -1 3 0 0 0
[pid=19407/tid=19621] ppid=19405 vsize=340532 CPUtime=0 cores=1,3,5,7
/proc/19407/task/19621/stat : 19621 (python) S 19405 19407 19061 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 6 0 869274237 348704768 8741 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512515505 0 0 16781312 33554434 18446604462590056512 0 0 -1 5 0 0 0
[pid=19407/tid=19685] ppid=19405 vsize=340532 CPUtime=0 cores=1,3,5,7
/proc/19407/task/19685/stat : 19685 (python) S 19405 19407 19061 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 6 0 869279114 348704768 8741 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512515505 0 0 16781312 33554434 18446604462590056512 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 224.7
Current children cumulated vsize (KiB) 10941652
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+245.301 s]
/proc/loadavg: 2.06 1.70 0.85 7/644 19851
/proc/meminfo: memFree=26329664/32950928 swapFree=26914392/67111528
[pid=19407] ppid=19405 vsize=350788 CPUtime=1.16 cores=1,3,5,7
/proc/19407/stat : 19407 (python) S 19405 19407 19061 0 -1 4202496 16909 932 1 0 101 15 0 0 19 0 7 0 869259670 359206912 8747 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/19407/statm: 87697 8747 1881 364 0 22569 0
[pid=19413] ppid=19407 vsize=299508 CPUtime=0.21 cores=1,3,5,7
/proc/19413/stat : 19413 (python) S 19407 19407 19061 0 -1 4202560 1173 0 0 0 9 12 0 0 17 0 2 0 869259797 306696192 7258 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/19413/statm: 74877 7258 411 364 0 9764 0
[pid=19415] ppid=19413 vsize=8545284 CPUtime=48.02 cores=1,3,5,7
/proc/19415/stat : 19415 (java) T 19413 19415 19415 0 -1 4202496 42997 0 1 0 4798 4 0 0 18 0 19 0 869259797 8750370816 34370 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19415/statm: 2136321 34370 2258 9 0 2127062 0
[pid=19415/tid=19416] ppid=19413 vsize=8545284 CPUtime=45.95 cores=1,3,5,7
/proc/19415/task/19416/stat : 19416 (java) T 19413 19415 19415 0 -1 4202560 21980 0 1 0 4593 2 0 0 25 0 19 0 869259798 8750370816 34370 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 46912505366576 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19415/tid=19417] ppid=19413 vsize=8545284 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19417/stat : 19417 (java) T 19413 19415 19415 0 -1 4202560 382 0 0 0 0 0 0 0 15 0 19 0 869259798 8750370816 34370 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19415/tid=19418] ppid=19413 vsize=8545284 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19418/stat : 19418 (java) T 19413 19415 19415 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 19 0 869259798 8750370816 34370 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19415/tid=19419] ppid=19413 vsize=8545284 CPUtime=0.01 cores=1,3,5,7
/proc/19415/task/19419/stat : 19419 (java) T 19413 19415 19415 0 -1 4202560 794 0 0 0 1 0 0 0 15 0 19 0 869259798 8750370816 34370 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19415/tid=19420] ppid=19413 vsize=8545284 CPUtime=0.01 cores=1,3,5,7
/proc/19415/task/19420/stat : 19420 (java) T 19413 19415 19415 0 -1 4202560 198 0 0 0 1 0 0 0 15 0 19 0 869259798 8750370816 34370 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19415/tid=19421] ppid=19413 vsize=8545284 CPUtime=0.01 cores=1,3,5,7
/proc/19415/task/19421/stat : 19421 (java) T 19413 19415 19415 0 -1 4202560 289 0 0 0 1 0 0 0 15 0 19 0 869259798 8750370816 34370 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19415/tid=19422] ppid=19413 vsize=8545284 CPUtime=0.01 cores=1,3,5,7
/proc/19415/task/19422/stat : 19422 (java) T 19413 19415 19415 0 -1 4202560 487 0 0 0 1 0 0 0 15 0 19 0 869259798 8750370816 34370 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19415/tid=19423] ppid=19413 vsize=8545284 CPUtime=0.01 cores=1,3,5,7
/proc/19415/task/19423/stat : 19423 (java) T 19413 19415 19415 0 -1 4202560 283 0 0 0 1 0 0 0 15 0 19 0 869259798 8750370816 34370 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19415/tid=19424] ppid=19413 vsize=8545284 CPUtime=0.01 cores=1,3,5,7
/proc/19415/task/19424/stat : 19424 (java) T 19413 19415 19415 0 -1 4202560 591 0 0 0 1 0 0 0 15 0 19 0 869259798 8750370816 34370 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19415/tid=19425] ppid=19413 vsize=8545284 CPUtime=0.28 cores=1,3,5,7
/proc/19415/task/19425/stat : 19425 (java) T 19413 19415 19415 0 -1 4202560 3521 0 0 0 28 0 0 0 15 0 19 0 869259799 8750370816 34370 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512508416 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=19415/tid=19426] ppid=19413 vsize=8545284 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19426/stat : 19426 (java) T 19413 19415 19415 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869259800 8750370816 34370 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19415/tid=19427] ppid=19413 vsize=8545284 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19427/stat : 19427 (java) T 19413 19415 19415 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869259800 8750370816 34370 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19415/tid=19428] ppid=19413 vsize=8545284 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19428/stat : 19428 (java) T 19413 19415 19415 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869259802 8750370816 34370 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512515505 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19415/tid=19429] ppid=19413 vsize=8545284 CPUtime=0.61 cores=1,3,5,7
/proc/19415/task/19429/stat : 19429 (java) T 19413 19415 19415 0 -1 4202560 3829 0 0 0 61 0 0 0 15 0 19 0 869259802 8750370816 34370 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=19415/tid=19430] ppid=19413 vsize=8545284 CPUtime=1.05 cores=1,3,5,7
/proc/19415/task/19430/stat : 19430 (java) T 19413 19415 19415 0 -1 4202560 9042 0 0 0 105 0 0 0 15 0 19 0 869259802 8750370816 34370 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19415/tid=19431] ppid=19413 vsize=8545284 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19431/stat : 19431 (java) T 19413 19415 19415 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869259802 8750370816 34370 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19415/tid=19432] ppid=19413 vsize=8545284 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19432/stat : 19432 (java) T 19413 19415 19415 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869259802 8750370816 34370 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19415/tid=19433] ppid=19413 vsize=8545284 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19433/stat : 19433 (java) T 19413 19415 19415 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869259850 8750370816 34370 33554432000 1073741824 1073778376 140734459942992 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19413/tid=19600] ppid=19407 vsize=299508 CPUtime=0 cores=1,3,5,7
/proc/19413/task/19600/stat : 19600 (python) S 19407 19407 19061 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869264432 306696192 7258 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512515505 0 0 16781312 33554946 18446604466018160832 0 0 -1 7 0 0 0
[pid=19601] ppid=19407 vsize=299520 CPUtime=0.24 cores=1,3,5,7
/proc/19601/stat : 19601 (python) S 19407 19407 19061 0 -1 4202560 1105 0 0 0 11 13 0 0 16 0 2 0 869264435 306708480 7243 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/19601/statm: 74880 7243 396 364 0 9764 0
[pid=19603] ppid=19601 vsize=159960 CPUtime=49.58 cores=1,3,5,7
/proc/19603/stat : 19603 (scip-2.0.1.linu) T 19601 19603 19603 0 -1 4202496 116368 0 0 0 4860 98 0 0 25 0 1 0 869264435 163799040 36686 33554432000 4194304 13684479 140733651541984 18446744073709551615 7390467 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/19603/statm: 39990 36686 1052 2317 0 37668 0
[pid=19601/tid=19609] ppid=19407 vsize=299520 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19609/stat : 19609 (python) S 19407 19407 19061 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869269397 306708480 7243 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512515505 0 0 16781312 33554946 18446604471143856000 0 0 -1 7 0 0 0
[pid=19610] ppid=19407 vsize=309776 CPUtime=0.29 cores=1,3,5,7
/proc/19610/stat : 19610 (python) S 19407 19407 19061 0 -1 4202560 1158 0 0 0 15 14 0 0 16 0 2 0 869269400 317210624 7247 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/19610/statm: 77444 7247 396 364 0 12325 0
[pid=19612] ppid=19610 vsize=29732 CPUtime=48.33 cores=1,3,5,7
/proc/19612/stat : 19612 (wbo1.4a) T 19610 19612 19612 0 -1 4202496 8865 0 0 0 4745 88 0 0 25 0 1 0 869269400 30445568 6956 33554432000 134512640 135751879 4293390352 18446744073709551615 135270609 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/19612/statm: 7433 6956 146 303 0 7128 0
[pid=19610/tid=19619] ppid=19407 vsize=309776 CPUtime=0 cores=1,3,5,7
/proc/19610/task/19619/stat : 19619 (python) S 19407 19407 19061 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869274234 317210624 7247 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512515505 0 0 16781312 33554946 18446604471111403456 0 0 -1 7 0 0 0
[pid=19620] ppid=19407 vsize=320032 CPUtime=0.21 cores=1,3,5,7
/proc/19620/stat : 19620 (python) S 19407 19407 19061 0 -1 4202560 1137 0 0 0 8 13 0 0 17 0 2 0 869274237 327712768 7251 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/19620/statm: 80008 7251 396 364 0 14886 0
[pid=19622] ppid=19620 vsize=118140 CPUtime=48.73 cores=1,3,5,7
/proc/19622/stat : 19622 (pbct-0.1.2-linu) T 19620 19622 19622 0 -1 4202496 30594 0 0 0 4686 187 0 0 25 0 1 0 869274237 120975360 28244 33554432000 134512640 136422188 4292488032 18446744073709551615 135022546 0 0 16781312 16387 18446744071562691360 0 0 17 5 0 0 0
/proc/19622/statm: 29535 28244 237 467 0 29066 0
[pid=19620/tid=19683] ppid=19407 vsize=320032 CPUtime=0 cores=1,3,5,7
/proc/19620/task/19683/stat : 19683 (python) S 19407 19407 19061 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869279111 327712768 7251 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512515505 0 0 16781312 33554946 18446604466525298944 0 0 -1 5 0 0 0
[pid=19684] ppid=19407 vsize=330288 CPUtime=0.25 cores=1,3,5,7
/proc/19684/stat : 19684 (python) S 19407 19407 19061 0 -1 4202560 1160 0 0 0 12 13 0 0 16 0 2 0 869279114 338214912 7255 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/19684/statm: 82572 7255 396 364 0 17447 0
[pid=19686] ppid=19684 vsize=153616 CPUtime=50.45 cores=1,3,5,7
/proc/19686/stat : 19686 (scip-2.0.1.linu) T 19684 19686 19686 0 -1 4202496 61989 0 0 0 4992 53 0 0 25 0 1 0 869279114 157302784 34375 33554432000 4194304 15243407 140733557703712 18446744073709551615 8048871 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/19686/statm: 38404 34375 923 2698 0 35699 0
[pid=19684/tid=19831] ppid=19407 vsize=330288 CPUtime=0 cores=1,3,5,7
/proc/19684/task/19831/stat : 19831 (python) S 19407 19407 19061 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869284168 338214912 7255 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512515505 0 0 16781312 33554946 18446604466018163520 0 0 -1 5 0 0 0
[pid=19832] ppid=19407 vsize=340544 CPUtime=0 cores=1,3,5,7
/proc/19832/stat : 19832 (python) S 19407 19407 19061 0 -1 4202560 817 0 0 0 0 0 0 0 18 0 1 0 869284171 348717056 7210 33554432000 4194304 5683644 140735460592160 18446744073709551615 254500712006 0 0 16781312 33554946 2105801548738068480 0 0 17 5 0 0 0
/proc/19832/statm: 85136 7210 348 364 0 20008 0
[pid=19834] ppid=19832 vsize=8535932 CPUtime=0.6 cores=1,3,5,7
/proc/19834/stat : 19834 (java) S 19832 19834 19834 0 -1 4202496 12153 0 1 0 58 2 0 0 17 0 18 0 869284172 8740794368 10544 33554432000 1073741824 1073778376 140734142059872 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19834/statm: 2133983 10544 2201 9 0 2124724 0
[pid=19834/tid=19835] ppid=19832 vsize=8535932 CPUtime=0.3 cores=1,3,5,7
/proc/19834/task/19835/stat : 19835 (java) R 19832 19834 19834 0 -1 4202560 7643 0 1 0 29 1 0 0 25 0 18 0 869284173 8740794368 10888 33554432000 1073741824 1073778376 140734142059872 18446744073709551615 46912505586207 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19834/tid=19836] ppid=19832 vsize=8535932 CPUtime=0 cores=1,3,5,7
/proc/19834/task/19836/stat : 19836 (java) S 19832 19834 19834 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869284173 8740794368 10889 33554432000 1073741824 1073778376 140734142059872 18446744073709551615 254512507801 0 4 0 16800975 18446604456883670016 0 0 -1 1 0 0 0
[pid=19834/tid=19837] ppid=19832 vsize=8535932 CPUtime=0 cores=1,3,5,7
/proc/19834/task/19837/stat : 19837 (java) S 19832 19834 19834 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869284173 8740794368 10892 33554432000 1073741824 1073778376 140734142059872 18446744073709551615 254512507801 0 4 0 16800975 18446604456883670016 0 0 -1 5 0 0 0
[pid=19834/tid=19838] ppid=19832 vsize=8535932 CPUtime=0 cores=1,3,5,7
/proc/19834/task/19838/stat : 19838 (java) S 19832 19834 19834 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869284173 8740794368 10893 33554432000 1073741824 1073778376 140734142059872 18446744073709551615 254512507801 0 4 0 16800975 18446604456883670016 0 0 -1 5 0 0 0
[pid=19834/tid=19839] ppid=19832 vsize=8535932 CPUtime=0 cores=1,3,5,7
/proc/19834/task/19839/stat : 19839 (java) S 19832 19834 19834 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869284173 8740794368 10896 33554432000 1073741824 1073778376 140734142059872 18446744073709551615 254512507801 0 4 0 16800975 18446604456883670016 0 0 -1 5 0 0 0
[pid=19834/tid=19840] ppid=19832 vsize=8535932 CPUtime=0 cores=1,3,5,7
/proc/19834/task/19840/stat : 19840 (java) S 19832 19834 19834 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869284173 8740794368 10897 33554432000 1073741824 1073778376 140734142059872 18446744073709551615 254512507801 0 4 0 16800975 18446604456883670016 0 0 -1 5 0 0 0
[pid=19834/tid=19841] ppid=19832 vsize=8535932 CPUtime=0 cores=1,3,5,7
/proc/19834/task/19841/stat : 19841 (java) S 19832 19834 19834 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869284173 8740794368 10899 33554432000 1073741824 1073778376 140734142059872 18446744073709551615 254512507801 0 4 0 16800975 18446604456883670016 0 0 -1 5 0 0 0
[pid=19834/tid=19842] ppid=19832 vsize=8535932 CPUtime=0 cores=1,3,5,7
/proc/19834/task/19842/stat : 19842 (java) S 19832 19834 19834 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869284173 8740794368 10901 33554432000 1073741824 1073778376 140734142059872 18446744073709551615 254512507801 0 4 0 16800975 18446604456883670016 0 0 -1 5 0 0 0
[pid=19834/tid=19843] ppid=19832 vsize=8535932 CPUtime=0 cores=1,3,5,7
/proc/19834/task/19843/stat : 19843 (java) S 19832 19834 19834 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869284173 8740794368 10903 33554432000 1073741824 1073778376 140734142059872 18446744073709551615 254512507801 0 4 0 16800975 18446604456883670016 0 0 -1 5 0 0 0
[pid=19834/tid=19844] ppid=19832 vsize=8535932 CPUtime=0 cores=1,3,5,7
/proc/19834/task/19844/stat : 19844 (java) S 19832 19834 19834 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 869284174 8740794368 10905 33554432000 1073741824 1073778376 140734142059872 18446744073709551615 254512508416 0 0 0 16800975 18446604456883670016 0 0 -1 5 0 0 0
[pid=19834/tid=19845] ppid=19832 vsize=8535932 CPUtime=0 cores=1,3,5,7
/proc/19834/task/19845/stat : 19845 (java) S 19832 19834 19834 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 869284175 8740794368 10907 33554432000 1073741824 1073778376 140734142059872 18446744073709551615 254512507801 0 4 0 16800975 18446604456883670016 0 0 -1 1 0 0 0
[pid=19834/tid=19846] ppid=19832 vsize=8535932 CPUtime=0 cores=1,3,5,7
/proc/19834/task/19846/stat : 19846 (java) S 19832 19834 19834 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 869284175 8740794368 10909 33554432000 1073741824 1073778376 140734142059872 18446744073709551615 254512507801 0 4 0 16800975 18446604456883670016 0 0 -1 1 0 0 0
[pid=19834/tid=19847] ppid=19832 vsize=8535932 CPUtime=0 cores=1,3,5,7
/proc/19834/task/19847/stat : 19847 (java) S 19832 19834 19834 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869284177 8740794368 10910 33554432000 1073741824 1073778376 140734142059872 18446744073709551615 254512515505 0 4 0 16800975 18446604456883670016 0 0 -1 1 0 0 0
[pid=19834/tid=19848] ppid=19832 vsize=8535932 CPUtime=0.12 cores=1,3,5,7
/proc/19834/task/19848/stat : 19848 (java) R 19832 19834 19834 0 -1 4202560 1317 0 0 0 12 0 0 0 25 0 18 0 869284177 8740794368 10912 33554432000 1073741824 1073778376 140734142059872 18446744073709551615 47838146249359 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=19834/tid=19849] ppid=19832 vsize=8535932 CPUtime=0.17 cores=1,3,5,7
/proc/19834/task/19849/stat : 19849 (java) R 19832 19834 19834 0 -1 4202560 2144 0 0 0 17 0 0 0 25 0 18 0 869284177 8740794368 10914 33554432000 1073741824 1073778376 140734142059872 18446744073709551615 47838144191899 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19834/tid=19850] ppid=19832 vsize=8535932 CPUtime=0 cores=1,3,5,7
/proc/19834/task/19850/stat : 19850 (java) S 19832 19834 19834 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869284177 8740794368 10916 33554432000 1073741824 1073778376 140734142059872 18446744073709551615 254512507801 0 4 0 16800975 18446604456883670016 0 0 -1 1 0 0 0
[pid=19834/tid=19851] ppid=19832 vsize=8535932 CPUtime=0 cores=1,3,5,7
/proc/19834/task/19851/stat : 19851 (java) R 19832 19834 19834 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869284177 8740794368 10917 33554432000 1073741824 1073778376 140734142059872 18446744073709551615 254512508416 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=19407/tid=19414] ppid=19405 vsize=350788 CPUtime=0 cores=1,3,5,7
/proc/19407/task/19414/stat : 19414 (python) S 19405 19407 19061 0 -1 4202560 25 932 0 0 0 0 0 0 18 0 7 0 869259797 359206912 8747 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512515505 0 0 16781312 33554434 18446604462590056512 0 0 -1 5 0 0 0
[pid=19407/tid=19602] ppid=19405 vsize=350788 CPUtime=0 cores=1,3,5,7
/proc/19407/task/19602/stat : 19602 (python) S 19405 19407 19061 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 7 0 869264435 359206912 8747 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512515505 0 0 16781312 33554434 18446604462590056512 0 0 -1 3 0 0 0
[pid=19407/tid=19611] ppid=19405 vsize=350788 CPUtime=0 cores=1,3,5,7
/proc/19407/task/19611/stat : 19611 (python) S 19405 19407 19061 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 7 0 869269400 359206912 8747 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512515505 0 0 16781312 33554434 18446604462590056512 0 0 -1 3 0 0 0
[pid=19407/tid=19621] ppid=19405 vsize=350788 CPUtime=0 cores=1,3,5,7
/proc/19407/task/19621/stat : 19621 (python) S 19405 19407 19061 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 7 0 869274237 359206912 8747 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512515505 0 0 16781312 33554434 18446604462590056512 0 0 -1 5 0 0 0
[pid=19407/tid=19685] ppid=19405 vsize=350788 CPUtime=0 cores=1,3,5,7
/proc/19407/task/19685/stat : 19685 (python) S 19405 19407 19061 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 7 0 869279114 359206912 8747 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512515505 0 0 16781312 33554434 18446604462590056512 0 0 -1 7 0 0 0
[pid=19407/tid=19833] ppid=19405 vsize=350788 CPUtime=0 cores=1,3,5,7
/proc/19407/task/19833/stat : 19833 (python) S 19405 19407 19061 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 7 0 869284171 359206912 8747 33554432000 4194304 5683644 140735460592160 18446744073709551615 254512515505 0 0 16781312 33554434 18446604462590056512 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 248.07
Current children cumulated vsize (KiB) 19793120
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 19407 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=14845
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=161975
# CPU time returned by wait4() is 1.17682
# while last known CPU time is 248.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 245.431
CPU time (s): 248.07
CPU user time (s): 242.95
CPU system time (s): 5.12
CPU usage (%): 101.075
Max. virtual memory (cumulated for all children) (KiB): 19793120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.01484
system time used= 0.161975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17845
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= 2653
involuntary context switches= 22
runsolver used 1.76473 second user time and 3.71643 second system time
The end