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-3482296-1307578963/watcher-3482296-1307578963 -o /tmp/evaluation-result-3482296-1307578963/solver-3482296-1307578963 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482296-1307578963.opb -seed 1809162815 -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.10 2.48 2.17 2/454 6328
/proc/meminfo: memFree=19617800/32950928 swapFree=51865260/67111528
[pid=6328] ppid=6326 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/6328/stat : 6328 (python) R 6326 6328 5042 0 -1 4202496 820 0 0 0 0 0 0 0 17 0 1 0 325505821 15753216 705 33554432000 4194304 5683644 140733942198448 18446744073709551615 218880560997 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6328/statm: 3846 705 334 364 0 333 0
[startup+0.063596 s]
/proc/loadavg: 2.10 2.48 2.17 2/454 6328
/proc/meminfo: memFree=19617800/32950928 swapFree=51865260/67111528
[pid=6328] ppid=6326 vsize=29788 CPUtime=0.04 cores=1,3,5,7
/proc/6328/stat : 6328 (python) R 6326 6328 5042 0 -1 4202496 1461 0 0 0 3 1 0 0 17 0 1 0 325505821 30502912 1301 33554432000 4194304 5683644 140733942198448 18446744073709551615 4429309 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6328/statm: 7447 1301 443 364 0 817 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29788
[startup+0.100601 s]
/proc/loadavg: 2.10 2.48 2.17 2/454 6328
/proc/meminfo: memFree=19617800/32950928 swapFree=51865260/67111528
[pid=6328] ppid=6326 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/6328/stat : 6328 (python) R 6326 6328 5042 0 -1 4202496 2662 0 0 0 4 2 0 0 17 0 1 0 325505821 87674880 2382 33554432000 4194304 5683644 140733942198448 18446744073709551615 4622252 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6328/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.30056 s]
/proc/loadavg: 2.10 2.48 2.17 2/454 6328
/proc/meminfo: memFree=19617800/32950928 swapFree=51865260/67111528
[pid=6328] ppid=6326 vsize=123740 CPUtime=0.16 cores=1,3,5,7
/proc/6328/stat : 6328 (python) S 6326 6328 5042 0 -1 4202496 5357 931 1 0 10 6 0 0 16 0 1 0 325505821 126709760 3744 33554432000 4194304 5683644 140733942198448 18446744073709551615 218880561157 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/6328/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.700493 s]
/proc/loadavg: 2.10 2.48 2.17 2/454 6328
/proc/meminfo: memFree=19617800/32950928 swapFree=51865260/67111528
[pid=6328] ppid=6326 vsize=282968 CPUtime=0.45 cores=1,3,5,7
/proc/6328/stat : 6328 (python) R 6326 6328 5042 0 -1 4202496 9419 931 1 0 30 15 0 0 16 0 1 0 325505821 289759232 7140 33554432000 4194304 5683644 140733942198448 18446744073709551615 47983930020474 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/6328/statm: 70742 7140 1863 364 0 5632 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 282968
[startup+1.50035 s]
/proc/loadavg: 2.10 2.48 2.17 3/458 6336
/proc/meminfo: memFree=19578212/32950928 swapFree=51865260/67111528
[pid=6328] ppid=6326 vsize=293224 CPUtime=0.45 cores=1,3,5,7
/proc/6328/stat : 6328 (python) S 6326 6328 5042 0 -1 4202496 9654 931 1 0 30 15 0 0 18 0 2 0 325505821 300261376 7156 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/6328/statm: 73306 7156 1870 364 0 8193 0
[pid=6334] ppid=6328 vsize=282980 CPUtime=0 cores=1,3,5,7
/proc/6334/stat : 6334 (python) S 6328 6328 5042 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 325505892 289771520 5634 33554432000 4194304 5683644 140733942198448 18446744073709551615 218880585231 0 0 16781312 33554946 4294934788 0 0 17 5 0 0 0
/proc/6334/statm: 70745 5634 352 364 0 5632 0
[pid=6336] ppid=6334 vsize=36504 CPUtime=0.78 cores=1,3,5,7
/proc/6336/stat : 6336 (scip-2.0.1.linu) R 6334 6336 6336 0 -1 4202496 7425 0 0 0 74 4 0 0 18 0 1 0 325505892 37380096 6790 33554432000 4194304 13684479 140734729963360 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6336/statm: 9126 6790 754 2317 0 6804 0
[pid=6328/tid=6335] ppid=6326 vsize=293224 CPUtime=0 cores=1,3,5,7
/proc/6328/task/6335/stat : 6335 (python) S 6326 6328 5042 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 325505892 300261376 7156 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462005377152 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 612708
[startup+3.10106 s]
/proc/loadavg: 2.10 2.47 2.17 3/458 6336
/proc/meminfo: memFree=19570028/32950928 swapFree=51865260/67111528
[pid=6328] ppid=6326 vsize=293224 CPUtime=0.45 cores=1,3,5,7
/proc/6328/stat : 6328 (python) S 6326 6328 5042 0 -1 4202496 9654 931 1 0 30 15 0 0 18 0 2 0 325505821 300261376 7156 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/6328/statm: 73306 7156 1870 364 0 8193 0
[pid=6334] ppid=6328 vsize=282980 CPUtime=0 cores=1,3,5,7
/proc/6334/stat : 6334 (python) S 6328 6328 5042 0 -1 4202560 763 0 0 0 0 0 0 0 15 0 1 0 325505892 289771520 5634 33554432000 4194304 5683644 140733942198448 18446744073709551615 218880585231 0 0 16781312 33554946 2341909889707671552 0 0 17 5 0 0 0
/proc/6334/statm: 70745 5634 352 364 0 5632 0
[pid=6336] ppid=6334 vsize=37672 CPUtime=2.38 cores=1,3,5,7
/proc/6336/stat : 6336 (scip-2.0.1.linu) R 6334 6336 6336 0 -1 4202496 8510 0 0 0 230 8 0 0 18 0 1 0 325505892 38576128 7139 33554432000 4194304 13684479 140734729963360 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6336/statm: 9418 7139 780 2317 0 7096 0
[pid=6328/tid=6335] ppid=6326 vsize=293224 CPUtime=0 cores=1,3,5,7
/proc/6328/task/6335/stat : 6335 (python) S 6326 6328 5042 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 325505892 300261376 7156 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462005377152 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 613876
[startup+6.30048 s]
/proc/loadavg: 2.10 2.47 2.17 3/458 6336
/proc/meminfo: memFree=19569172/32950928 swapFree=51865260/67111528
[pid=6328] ppid=6326 vsize=293224 CPUtime=0.45 cores=1,3,5,7
/proc/6328/stat : 6328 (python) S 6326 6328 5042 0 -1 4202496 9654 931 1 0 30 15 0 0 18 0 2 0 325505821 300261376 7156 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/6328/statm: 73306 7156 1870 364 0 8193 0
[pid=6334] ppid=6328 vsize=282980 CPUtime=0.01 cores=1,3,5,7
/proc/6334/stat : 6334 (python) S 6328 6328 5042 0 -1 4202560 899 0 0 0 1 0 0 0 15 0 1 0 325505892 289771520 5658 33554432000 4194304 5683644 140733942198448 18446744073709551615 218880585231 0 0 16781312 33554946 4526915909603787015 0 0 17 5 0 0 0
/proc/6334/statm: 70745 5658 376 364 0 5632 0
[pid=6336] ppid=6334 vsize=37672 CPUtime=5.58 cores=1,3,5,7
/proc/6336/stat : 6336 (scip-2.0.1.linu) R 6334 6336 6336 0 -1 4202496 8535 0 0 0 536 22 0 0 25 0 1 0 325505892 38576128 7164 33554432000 4194304 13684479 140734729963360 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6336/statm: 9418 7164 780 2317 0 7096 0
[pid=6328/tid=6335] ppid=6326 vsize=293224 CPUtime=0 cores=1,3,5,7
/proc/6328/task/6335/stat : 6335 (python) S 6326 6328 5042 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 325505892 300261376 7156 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462005377152 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 613876
[startup+12.7003 s]
/proc/loadavg: 2.08 2.45 2.17 3/458 6336
/proc/meminfo: memFree=19569440/32950928 swapFree=51865260/67111528
[pid=6328] ppid=6326 vsize=293224 CPUtime=0.45 cores=1,3,5,7
/proc/6328/stat : 6328 (python) S 6326 6328 5042 0 -1 4202496 9654 931 1 0 30 15 0 0 18 0 2 0 325505821 300261376 7156 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/6328/statm: 73306 7156 1870 364 0 8193 0
[pid=6334] ppid=6328 vsize=282980 CPUtime=0.03 cores=1,3,5,7
/proc/6334/stat : 6334 (python) S 6328 6328 5042 0 -1 4202560 903 0 0 0 2 1 0 0 15 0 1 0 325505892 289771520 5658 33554432000 4194304 5683644 140733942198448 18446744073709551615 218880585231 0 0 16781312 33554946 773432114321293312 0 0 17 7 0 0 0
/proc/6334/statm: 70745 5658 376 364 0 5632 0
[pid=6336] ppid=6334 vsize=37672 CPUtime=11.98 cores=1,3,5,7
/proc/6336/stat : 6336 (scip-2.0.1.linu) R 6334 6336 6336 0 -1 4202496 8537 0 0 0 1143 55 0 0 25 0 1 0 325505892 38576128 7166 33554432000 4194304 13684479 140734729963360 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6336/statm: 9418 7166 781 2317 0 7096 0
[pid=6328/tid=6335] ppid=6326 vsize=293224 CPUtime=0 cores=1,3,5,7
/proc/6328/task/6335/stat : 6335 (python) S 6326 6328 5042 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 325505892 300261376 7156 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462005377152 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 613876
[startup+25.501 s]
/proc/loadavg: 2.07 2.44 2.17 3/458 6337
/proc/meminfo: memFree=19569112/32950928 swapFree=51865260/67111528
[pid=6328] ppid=6326 vsize=293224 CPUtime=0.45 cores=1,3,5,7
/proc/6328/stat : 6328 (python) S 6326 6328 5042 0 -1 4202496 9654 931 1 0 30 15 0 0 18 0 2 0 325505821 300261376 7156 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/6328/statm: 73306 7156 1870 364 0 8193 0
[pid=6334] ppid=6328 vsize=282980 CPUtime=0.08 cores=1,3,5,7
/proc/6334/stat : 6334 (python) S 6328 6328 5042 0 -1 4202560 909 0 0 0 4 4 0 0 15 0 1 0 325505892 289771520 5658 33554432000 4194304 5683644 140733942198448 18446744073709551615 218880585231 0 0 16781312 33554946 1179959010929934336 0 0 17 7 0 0 0
/proc/6334/statm: 70745 5658 376 364 0 5632 0
[pid=6336] ppid=6334 vsize=37672 CPUtime=24.78 cores=1,3,5,7
/proc/6336/stat : 6336 (scip-2.0.1.linu) R 6334 6336 6336 0 -1 4202496 10037 0 0 0 2338 140 0 0 23 0 1 0 325505892 38576128 7170 33554432000 4194304 13684479 140734729963360 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6336/statm: 9418 7170 783 2317 0 7096 0
[pid=6328/tid=6335] ppid=6326 vsize=293224 CPUtime=0 cores=1,3,5,7
/proc/6328/task/6335/stat : 6335 (python) S 6326 6328 5042 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 325505892 300261376 7156 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462005377152 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 613876
[startup+51.1004 s]
/proc/loadavg: 2.04 2.40 2.16 3/462 6342
/proc/meminfo: memFree=19489984/32950928 swapFree=51865260/67111528
[pid=6328] ppid=6326 vsize=293224 CPUtime=0.45 cores=1,3,5,7
/proc/6328/stat : 6328 (python) S 6326 6328 5042 0 -1 4202496 9654 931 1 0 30 15 0 0 18 0 2 0 325505821 300261376 7156 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/6328/statm: 73306 7156 1870 364 0 8193 0
[pid=6334] ppid=6328 vsize=282980 CPUtime=0.19 cores=1,3,5,7
/proc/6334/stat : 6334 (python) S 6328 6328 5042 0 -1 4202560 930 0 0 0 9 10 0 0 15 0 1 0 325505892 289771520 5658 33554432000 4194304 5683644 140733942198448 18446744073709551615 218880585231 0 0 16781312 33554946 2130425970635571200 0 0 17 7 0 0 0
/proc/6334/statm: 70745 5658 376 364 0 5632 0
[pid=6336] ppid=6334 vsize=48772 CPUtime=50.38 cores=1,3,5,7
/proc/6336/stat : 6336 (scip-2.0.1.linu) R 6334 6336 6336 0 -1 4202496 14120 0 0 0 4760 278 0 0 25 0 1 0 325505892 49942528 9569 33554432000 4194304 13684479 140734729963360 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6336/statm: 12193 9569 805 2317 0 9871 0
[pid=6328/tid=6335] ppid=6326 vsize=293224 CPUtime=0 cores=1,3,5,7
/proc/6328/task/6335/stat : 6335 (python) S 6326 6328 5042 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 325505892 300261376 7156 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462005377152 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 624976
[startup+102.317 s]
/proc/loadavg: 2.08 2.36 2.16 3/492 6373
/proc/meminfo: memFree=19348056/32950928 swapFree=51865260/67111528
[pid=6328] ppid=6326 vsize=313968 CPUtime=0.5 cores=1,3,5,7
/proc/6328/stat : 6328 (python) S 6326 6328 5042 0 -1 4202496 11369 931 1 0 35 15 0 0 20 0 4 0 325505821 321503232 7229 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/6328/statm: 78492 7229 1875 364 0 13373 0
[pid=6334] ppid=6328 vsize=293224 CPUtime=0.2 cores=1,3,5,7
/proc/6334/stat : 6334 (python) S 6328 6328 5042 0 -1 4202560 1095 0 0 0 10 10 0 0 17 0 2 0 325505892 300261376 5694 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6334/statm: 73306 5694 407 364 0 8193 0
[pid=6336] ppid=6334 vsize=48772 CPUtime=52.76 cores=1,3,5,7
/proc/6336/stat : 6336 (scip-2.0.1.linu) T 6334 6336 6336 0 -1 4202496 14120 0 0 0 4988 288 0 0 21 0 1 0 325505892 49942528 9569 33554432000 4194304 13684479 140734729963360 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/6336/statm: 12193 9569 805 2317 0 9871 0
[pid=6334/tid=6343] ppid=6328 vsize=293224 CPUtime=0 cores=1,3,5,7
/proc/6334/task/6343/stat : 6343 (python) S 6328 6328 5042 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 325511170 300261376 5694 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892388785 0 0 16781312 33554946 18446604467727382464 0 0 -1 7 0 0 0
[pid=6344] ppid=6328 vsize=293688 CPUtime=0.2 cores=1,3,5,7
/proc/6344/stat : 6344 (python) S 6328 6328 5042 0 -1 4202560 1132 0 0 0 9 11 0 0 16 0 2 0 325511172 300736512 5801 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/6344/statm: 73422 5801 397 364 0 8306 0
[pid=6346] ppid=6344 vsize=8604348 CPUtime=46.62 cores=1,3,5,7
/proc/6346/stat : 6346 (java) T 6344 6346 6346 0 -1 4202496 17254 0 1 0 4656 6 0 0 15 0 19 0 325511172 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6346/statm: 2151087 14667 2248 9 0 2141828 0
[pid=6346/tid=6347] ppid=6344 vsize=8604348 CPUtime=43.75 cores=1,3,5,7
/proc/6346/task/6347/stat : 6347 (java) T 6344 6346 6346 0 -1 4202560 5971 0 1 0 4373 2 0 0 25 0 19 0 325511173 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6346/tid=6348] ppid=6344 vsize=8604348 CPUtime=0.08 cores=1,3,5,7
/proc/6346/task/6348/stat : 6348 (java) T 6344 6346 6346 0 -1 4202560 175 0 0 0 8 0 0 0 15 0 19 0 325511174 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218880518455 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=6346/tid=6349] ppid=6344 vsize=8604348 CPUtime=0.07 cores=1,3,5,7
/proc/6346/task/6349/stat : 6349 (java) T 6344 6346 6346 0 -1 4202560 245 0 0 0 7 0 0 0 15 0 19 0 325511174 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218880518455 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=6346/tid=6350] ppid=6344 vsize=8604348 CPUtime=0.09 cores=1,3,5,7
/proc/6346/task/6350/stat : 6350 (java) T 6344 6346 6346 0 -1 4202560 685 0 0 0 9 0 0 0 15 0 19 0 325511174 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218880518455 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6346/tid=6351] ppid=6344 vsize=8604348 CPUtime=0.07 cores=1,3,5,7
/proc/6346/task/6351/stat : 6351 (java) T 6344 6346 6346 0 -1 4202560 184 0 0 0 7 0 0 0 15 0 19 0 325511174 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 46993258307831 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6346/tid=6352] ppid=6344 vsize=8604348 CPUtime=0.1 cores=1,3,5,7
/proc/6346/task/6352/stat : 6352 (java) T 6344 6346 6346 0 -1 4202560 152 0 0 0 10 0 0 0 15 0 19 0 325511174 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218880518455 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6346/tid=6353] ppid=6344 vsize=8604348 CPUtime=0.1 cores=1,3,5,7
/proc/6346/task/6353/stat : 6353 (java) T 6344 6346 6346 0 -1 4202560 290 0 0 0 10 0 0 0 15 0 19 0 325511174 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=6379/tid=6387] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6387/stat : 6387 (java) S 6377 6379 6379 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 325520532 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381081 0 4 0 16800975 18446604469547531136 0 0 -1 3 0 0 0
[pid=6379/tid=6388] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6388/stat : 6388 (java) S 6377 6379 6379 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 325520532 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381081 0 4 0 16800975 18446604469547531136 0 0 -1 3 0 0 0
[pid=6379/tid=6389] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6389/stat : 6389 (java) S 6377 6379 6379 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 325520533 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381696 0 0 0 16800975 18446604469547531136 0 0 -1 5 0 0 0
[pid=6379/tid=6390] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6390/stat : 6390 (java) S 6377 6379 6379 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 325520533 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381081 0 4 0 16800975 18446604469547531136 0 0 -1 5 0 0 0
[pid=6379/tid=6391] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6391/stat : 6391 (java) S 6377 6379 6379 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 325520533 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381081 0 4 0 16800975 18446604469547531136 0 0 -1 3 0 0 0
[pid=6379/tid=6392] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6392/stat : 6392 (java) S 6377 6379 6379 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 325520535 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892388785 0 4 0 16800975 18446604469547531136 0 0 -1 5 0 0 0
[pid=6379/tid=6393] ppid=6377 vsize=8599376 CPUtime=0.04 cores=1,3,5,7
/proc/6379/task/6393/stat : 6393 (java) R 6377 6379 6379 0 -1 4202560 457 0 0 0 4 0 0 0 17 0 19 0 325520535 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 47536822651641 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6379/tid=6394] ppid=6377 vsize=8599376 CPUtime=0.05 cores=1,3,5,7
/proc/6379/task/6394/stat : 6394 (java) S 6377 6379 6379 0 -1 4202560 810 0 0 0 5 0 0 0 20 0 19 0 325520535 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381081 0 4 0 16800975 18446604469547531136 0 0 -1 5 0 0 0
[pid=6379/tid=6395] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6395/stat : 6395 (java) S 6377 6379 6379 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 325520535 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381081 0 4 0 16800975 18446604469547531136 0 0 -1 5 0 0 0
[pid=6379/tid=6396] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6396/stat : 6396 (java) S 6377 6379 6379 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 325520535 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381696 0 4 0 16800975 18446604469547531136 0 0 -1 3 0 0 0
[pid=6379/tid=6397] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6397/stat : 6397 (java) S 6377 6379 6379 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 325520550 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381696 0 4 0 16800975 18446604469547531136 0 0 -1 3 0 0 0
[pid=6328/tid=6335] ppid=6326 vsize=324620 CPUtime=0 cores=1,3,5,7
/proc/6328/task/6335/stat : 6335 (python) S 6326 6328 5042 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 5 0 325505892 332410880 7321 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462005377152 0 0 -1 5 0 0 0
[pid=6328/tid=6345] ppid=6326 vsize=324620 CPUtime=0 cores=1,3,5,7
/proc/6328/task/6345/stat : 6345 (python) S 6326 6328 5042 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 5 0 325511172 332410880 7321 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462005377152 0 0 -1 1 0 0 0
[pid=6328/tid=6372] ppid=6326 vsize=324620 CPUtime=0 cores=1,3,5,7
/proc/6328/task/6372/stat : 6372 (python) S 6326 6328 5042 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 5 0 325515743 332410880 7321 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462005377152 0 0 -1 1 0 0 0
[pid=6328/tid=6378] ppid=6326 vsize=324620 CPUtime=0 cores=1,3,5,7
/proc/6328/task/6378/stat : 6378 (python) S 6326 6328 5042 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 325520530 332410880 7321 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462005377152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 148.63
Current children cumulated vsize (KiB) 18822420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+147.301 s]
/proc/loadavg: 2.08 2.32 2.16 4/515 6397
/proc/meminfo: memFree=19280564/32950928 swapFree=51865260/67111528
[pid=6328] ppid=6326 vsize=324620 CPUtime=0.53 cores=1,3,5,7
/proc/6328/stat : 6328 (python) S 6326 6328 5042 0 -1 4202496 12211 931 1 0 37 16 0 0 20 0 5 0 325505821 332410880 7321 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/6328/statm: 81155 7321 1877 364 0 16033 0
[pid=6334] ppid=6328 vsize=293224 CPUtime=0.2 cores=1,3,5,7
/proc/6334/stat : 6334 (python) S 6328 6328 5042 0 -1 4202560 1095 0 0 0 10 10 0 0 17 0 2 0 325505892 300261376 5694 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6334/statm: 73306 5694 407 364 0 8193 0
[pid=6336] ppid=6334 vsize=48772 CPUtime=52.76 cores=1,3,5,7
/proc/6336/stat : 6336 (scip-2.0.1.linu) T 6334 6336 6336 0 -1 4202496 14120 0 0 0 4988 288 0 0 21 0 1 0 325505892 49942528 9569 33554432000 4194304 13684479 140734729963360 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/6336/statm: 12193 9569 805 2317 0 9871 0
[pid=6334/tid=6343] ppid=6328 vsize=293224 CPUtime=0 cores=1,3,5,7
/proc/6334/task/6343/stat : 6343 (python) S 6328 6328 5042 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 325511170 300261376 5694 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892388785 0 0 16781312 33554946 18446604467727382464 0 0 -1 7 0 0 0
[pid=6344] ppid=6328 vsize=293688 CPUtime=0.2 cores=1,3,5,7
/proc/6344/stat : 6344 (python) S 6328 6328 5042 0 -1 4202560 1132 0 0 0 9 11 0 0 16 0 2 0 325511172 300736512 5801 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/6344/statm: 73422 5801 397 364 0 8306 0
[pid=6346] ppid=6344 vsize=8604348 CPUtime=46.62 cores=1,3,5,7
/proc/6346/stat : 6346 (java) T 6344 6346 6346 0 -1 4202496 17254 0 1 0 4656 6 0 0 15 0 19 0 325511172 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6346/statm: 2151087 14667 2248 9 0 2141828 0
[pid=6346/tid=6347] ppid=6344 vsize=8604348 CPUtime=43.75 cores=1,3,5,7
/proc/6346/task/6347/stat : 6347 (java) T 6344 6346 6346 0 -1 4202560 5971 0 1 0 4373 2 0 0 25 0 19 0 325511173 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6346/tid=6348] ppid=6344 vsize=8604348 CPUtime=0.08 cores=1,3,5,7
/proc/6346/task/6348/stat : 6348 (java) T 6344 6346 6346 0 -1 4202560 175 0 0 0 8 0 0 0 15 0 19 0 325511174 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218880518455 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=6346/tid=6349] ppid=6344 vsize=8604348 CPUtime=0.07 cores=1,3,5,7
/proc/6346/task/6349/stat : 6349 (java) T 6344 6346 6346 0 -1 4202560 245 0 0 0 7 0 0 0 15 0 19 0 325511174 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218880518455 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=6346/tid=6350] ppid=6344 vsize=8604348 CPUtime=0.09 cores=1,3,5,7
/proc/6346/task/6350/stat : 6350 (java) T 6344 6346 6346 0 -1 4202560 685 0 0 0 9 0 0 0 15 0 19 0 325511174 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218880518455 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6346/tid=6351] ppid=6344 vsize=8604348 CPUtime=0.07 cores=1,3,5,7
/proc/6346/task/6351/stat : 6351 (java) T 6344 6346 6346 0 -1 4202560 184 0 0 0 7 0 0 0 15 0 19 0 325511174 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 46993258307831 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6346/tid=6352] ppid=6344 vsize=8604348 CPUtime=0.1 cores=1,3,5,7
/proc/6346/task/6352/stat : 6352 (java) T 6344 6346 6346 0 -1 4202560 152 0 0 0 10 0 0 0 15 0 19 0 325511174 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218880518455 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6346/tid=6353] ppid=6344 vsize=8604348 CPUtime=0.1 cores=1,3,5,7
/proc/6346/task/6353/stat : 6353 (java) T 6344 6346 6346 0 -1 4202560 290 0 0 0 10 0 0 0 15 0 19 0 325511174 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6346/tid=6354] ppid=6344 vsize=8604348 CPUtime=0.08 cores=1,3,5,7
/proc/6346/task/6354/stat : 6354 (java) T 6344 6346 6346 0 -1 4202560 294 0 0 0 8 0 0 0 15 0 19 0 325511174 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 46993258857634 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=6346/tid=6355] ppid=6344 vsize=8604348 CPUtime=0.08 cores=1,3,5,7
/proc/6346/task/6355/stat : 6355 (java) T 6344 6346 6346 0 -1 4202560 195 0 0 0 8 0 0 0 15 0 19 0 325511174 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218880518455 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6346/tid=6356] ppid=6344 vsize=8604348 CPUtime=1.5 cores=1,3,5,7
/proc/6346/task/6356/stat : 6356 (java) T 6344 6346 6346 0 -1 4202560 2817 0 0 0 149 1 0 0 15 0 19 0 325511175 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218892381081 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6346/tid=6357] ppid=6344 vsize=8604348 CPUtime=0 cores=1,3,5,7
/proc/6346/task/6357/stat : 6357 (java) T 6344 6346 6346 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 325511175 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6346/tid=6358] ppid=6344 vsize=8604348 CPUtime=0 cores=1,3,5,7
/proc/6346/task/6358/stat : 6358 (java) T 6344 6346 6346 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 325511175 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6346/tid=6359] ppid=6344 vsize=8604348 CPUtime=0 cores=1,3,5,7
/proc/6346/task/6359/stat : 6359 (java) T 6344 6346 6346 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 325511178 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218892388785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6346/tid=6360] ppid=6344 vsize=8604348 CPUtime=0.32 cores=1,3,5,7
/proc/6346/task/6360/stat : 6360 (java) T 6344 6346 6346 0 -1 4202560 2051 0 0 0 32 0 0 0 15 0 19 0 325511178 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6346/tid=6361] ppid=6344 vsize=8604348 CPUtime=0.3 cores=1,3,5,7
/proc/6346/task/6361/stat : 6361 (java) T 6344 6346 6346 0 -1 4202560 2805 0 0 0 30 0 0 0 15 0 19 0 325511178 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6346/tid=6362] ppid=6344 vsize=8604348 CPUtime=0 cores=1,3,5,7
/proc/6346/task/6362/stat : 6362 (java) T 6344 6346 6346 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 325511178 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6346/tid=6363] ppid=6344 vsize=8604348 CPUtime=0 cores=1,3,5,7
/proc/6346/task/6363/stat : 6363 (java) T 6344 6346 6346 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 325511178 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218892381696 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6346/tid=6364] ppid=6344 vsize=8604348 CPUtime=0 cores=1,3,5,7
/proc/6346/task/6364/stat : 6364 (java) T 6344 6346 6346 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 325511192 8810852352 14667 33554432000 1073741824 1073778376 140733215191920 18446744073709551615 218892381696 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6344/tid=6370] ppid=6328 vsize=293688 CPUtime=0 cores=1,3,5,7
/proc/6344/task/6370/stat : 6370 (python) S 6328 6328 5042 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 325515741 300736512 5801 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892388785 0 0 16781312 33554946 18446604460033540544 0 0 -1 3 0 0 0
[pid=6371] ppid=6328 vsize=303724 CPUtime=0.19 cores=1,3,5,7
/proc/6371/stat : 6371 (python) S 6328 6328 5042 0 -1 4202560 1113 0 0 0 9 10 0 0 16 0 2 0 325515743 311013376 5748 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6371/statm: 75931 5748 397 364 0 10812 0
[pid=6373] ppid=6371 vsize=40292 CPUtime=47.82 cores=1,3,5,7
/proc/6373/stat : 6373 (scip-2.0.1.linu) T 6371 6373 6373 0 -1 4202496 22014 0 0 0 4725 57 0 0 19 0 1 0 325515743 41259008 7459 33554432000 4194304 15243407 140736187435920 18446744073709551615 13354455 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/6373/statm: 10073 7459 930 2698 0 7368 0
[pid=6371/tid=6376] ppid=6328 vsize=303724 CPUtime=0 cores=1,3,5,7
/proc/6371/task/6376/stat : 6376 (python) S 6328 6328 5042 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 325520527 311013376 5748 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892388785 0 0 16781312 33554946 18446604468633168704 0 0 -1 7 0 0 0
[pid=6377] ppid=6328 vsize=314376 CPUtime=0 cores=1,3,5,7
/proc/6377/stat : 6377 (python) S 6328 6328 5042 0 -1 4202560 816 0 0 0 0 0 0 0 15 0 1 0 325520529 321921024 5789 33554432000 4194304 5683644 140733942198448 18446744073709551615 218880585286 0 0 16781312 33554946 4027278099157614592 0 0 17 1 0 0 0
/proc/6377/statm: 78594 5789 349 364 0 13472 0
[pid=6379] ppid=6377 vsize=8599376 CPUtime=0.31 cores=1,3,5,7
/proc/6379/stat : 6379 (java) S 6377 6379 6379 0 -1 4202496 6799 0 1 0 30 1 0 0 17 0 19 0 325520530 8805761024 6138 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6379/statm: 2149844 6138 2191 9 0 2140585 0
[pid=6379/tid=6380] ppid=6377 vsize=8599376 CPUtime=0.2 cores=1,3,5,7
/proc/6379/task/6380/stat : 6380 (java) R 6377 6379 6379 0 -1 4202560 4142 0 1 0 20 0 0 0 19 0 19 0 325520531 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892391093 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6379/tid=6381] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6381/stat : 6381 (java) S 6377 6379 6379 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 325520532 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381081 0 4 0 16800975 18446604469547531136 0 0 -1 3 0 0 0
[pid=6379/tid=6382] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6382/stat : 6382 (java) S 6377 6379 6379 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 325520532 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381081 0 4 0 16800975 18446604469547531136 0 0 -1 3 0 0 0
[pid=6379/tid=6383] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6383/stat : 6383 (java) S 6377 6379 6379 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 325520532 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381081 0 4 0 16800975 18446604469547531136 0 0 -1 3 0 0 0
[pid=6379/tid=6384] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6384/stat : 6384 (java) S 6377 6379 6379 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 325520532 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381081 0 4 0 16800975 18446604469547531136 0 0 -1 3 0 0 0
[pid=6379/tid=6385] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6385/stat : 6385 (java) S 6377 6379 6379 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 325520532 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381081 0 4 0 16800975 18446604469547531136 0 0 -1 3 0 0 0
[pid=6379/tid=6386] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6386/stat : 6386 (java) S 6377 6379 6379 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 325520532 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381081 0 4 0 16800975 18446604469547531136 0 0 -1 3 0 0 0
[pid=6379/tid=6387] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6387/stat : 6387 (java) S 6377 6379 6379 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 325520532 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381081 0 4 0 16800975 18446604469547531136 0 0 -1 3 0 0 0
[pid=6379/tid=6388] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6388/stat : 6388 (java) S 6377 6379 6379 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 325520532 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381081 0 4 0 16800975 18446604469547531136 0 0 -1 3 0 0 0
[pid=6379/tid=6389] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6389/stat : 6389 (java) S 6377 6379 6379 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 325520533 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381696 0 0 0 16800975 18446604469547531136 0 0 -1 5 0 0 0
[pid=6379/tid=6390] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6390/stat : 6390 (java) S 6377 6379 6379 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 325520533 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381081 0 4 0 16800975 18446604469547531136 0 0 -1 5 0 0 0
[pid=6379/tid=6391] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6391/stat : 6391 (java) S 6377 6379 6379 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 325520533 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381081 0 4 0 16800975 18446604469547531136 0 0 -1 3 0 0 0
[pid=6379/tid=6392] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6392/stat : 6392 (java) S 6377 6379 6379 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 325520535 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892388785 0 4 0 16800975 18446604469547531136 0 0 -1 5 0 0 0
[pid=6379/tid=6393] ppid=6377 vsize=8599376 CPUtime=0.04 cores=1,3,5,7
/proc/6379/task/6393/stat : 6393 (java) R 6377 6379 6379 0 -1 4202560 457 0 0 0 4 0 0 0 17 0 19 0 325520535 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 47536822651641 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6379/tid=6394] ppid=6377 vsize=8599376 CPUtime=0.05 cores=1,3,5,7
/proc/6379/task/6394/stat : 6394 (java) S 6377 6379 6379 0 -1 4202560 810 0 0 0 5 0 0 0 20 0 19 0 325520535 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381081 0 4 0 16800975 18446604469547531136 0 0 -1 5 0 0 0
[pid=6379/tid=6395] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6395/stat : 6395 (java) S 6377 6379 6379 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 325520535 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381081 0 4 0 16800975 18446604469547531136 0 0 -1 5 0 0 0
[pid=6379/tid=6396] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6396/stat : 6396 (java) S 6377 6379 6379 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 325520535 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381696 0 4 0 16800975 18446604469547531136 0 0 -1 3 0 0 0
[pid=6379/tid=6397] ppid=6377 vsize=8599376 CPUtime=0 cores=1,3,5,7
/proc/6379/task/6397/stat : 6397 (java) S 6377 6379 6379 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 325520550 8805761024 6140 33554432000 1073741824 1073778376 140736630089056 18446744073709551615 218892381696 0 4 0 16800975 18446604469547531136 0 0 -1 3 0 0 0
[pid=6328/tid=6335] ppid=6326 vsize=324620 CPUtime=0 cores=1,3,5,7
/proc/6328/task/6335/stat : 6335 (python) S 6326 6328 5042 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 5 0 325505892 332410880 7321 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462005377152 0 0 -1 5 0 0 0
[pid=6328/tid=6345] ppid=6326 vsize=324620 CPUtime=0 cores=1,3,5,7
/proc/6328/task/6345/stat : 6345 (python) S 6326 6328 5042 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 5 0 325511172 332410880 7321 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462005377152 0 0 -1 1 0 0 0
[pid=6328/tid=6372] ppid=6326 vsize=324620 CPUtime=0 cores=1,3,5,7
/proc/6328/task/6372/stat : 6372 (python) S 6326 6328 5042 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 5 0 325515743 332410880 7321 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462005377152 0 0 -1 1 0 0 0
[pid=6328/tid=6378] ppid=6326 vsize=324620 CPUtime=0 cores=1,3,5,7
/proc/6328/task/6378/stat : 6378 (python) S 6326 6328 5042 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 325520530 332410880 7321 33554432000 4194304 5683644 140733942198448 18446744073709551615 218892388785 0 0 16781312 33554434 18446604462005377152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 148.63
Current children cumulated vsize (KiB) 18822420
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6328 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=375942
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=166974
# CPU time returned by wait4() is 0.542916
# while last known CPU time is 148.63
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 147.373
CPU time (s): 148.63
CPU user time (s): 144.64
CPU system time (s): 3.99
CPU usage (%): 100.853
Max. virtual memory (cumulated for all children) (KiB): 18822420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.375942
system time used= 0.166974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13144
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= 2556
involuntary context switches= 14
runsolver used 0.667898 second user time and 1.50177 second system time
The end