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-3481875-1307576618/watcher-3481875-1307576618 -o /tmp/evaluation-result-3481875-1307576618/solver-3481875-1307576618 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481875-1307576618.opb -seed 654211118 -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.30 0.98 0.37 2/418 698
/proc/meminfo: memFree=30020448/32951124 swapFree=36471928/67111528
[pid=698] ppid=696 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/698/stat : 698 (python) R 696 698 32706 0 -1 4202496 705 0 0 0 0 0 0 0 18 0 1 0 869262418 15548416 596 33554432000 4194304 5683644 140734751707520 18446744073709551615 230808826565 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/698/statm: 3796 598 319 364 0 283 0
[startup+0.0505229 s]
/proc/loadavg: 2.30 0.98 0.37 2/418 698
/proc/meminfo: memFree=30020448/32951124 swapFree=36471928/67111528
[pid=698] ppid=696 vsize=25312 CPUtime=0.02 cores=1,3,5,7
/proc/698/stat : 698 (python) S 696 698 32706 0 -1 4202496 1345 0 0 0 2 0 0 0 17 0 1 0 869262418 25919488 1191 33554432000 4194304 5683644 140734751707520 18446744073709551615 230809163776 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/698/statm: 6328 1191 438 364 0 729 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25312
[startup+0.100365 s]
/proc/loadavg: 2.30 0.98 0.37 2/418 698
/proc/meminfo: memFree=30020448/32951124 swapFree=36471928/67111528
[pid=698] ppid=696 vsize=87836 CPUtime=0.06 cores=1,3,5,7
/proc/698/stat : 698 (python) S 696 698 32706 0 -1 4202496 2703 0 1 0 5 1 0 0 17 0 1 0 869262418 89944064 2418 33554432000 4194304 5683644 140734751707520 18446744073709551615 230809163776 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/698/statm: 21959 2418 746 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87836
[startup+0.300176 s]
/proc/loadavg: 2.30 0.98 0.37 2/418 698
/proc/meminfo: memFree=30020448/32951124 swapFree=36471928/67111528
[pid=698] ppid=696 vsize=163808 CPUtime=0.2 cores=1,3,5,7
/proc/698/stat : 698 (python) S 696 698 32706 0 -1 4202496 5892 931 1 0 14 6 0 0 18 0 1 0 869262418 167739392 4215 33554432000 4194304 5683644 140734751707520 18446744073709551615 230809163776 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/698/statm: 40952 4215 1165 364 0 3261 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 163808
[startup+0.701132 s]
/proc/loadavg: 2.30 0.98 0.37 2/418 698
/proc/meminfo: memFree=30020448/32951124 swapFree=36471928/67111528
[pid=698] ppid=696 vsize=293616 CPUtime=0.47 cores=1,3,5,7
/proc/698/stat : 698 (python) S 696 698 32706 0 -1 4202496 9762 931 1 0 37 10 0 0 20 0 2 0 869262418 300662784 7268 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/698/statm: 73404 7268 1870 364 0 8291 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 293616
[startup+1.50099 s]
/proc/loadavg: 2.30 0.98 0.37 3/422 708
/proc/meminfo: memFree=29965048/32951124 swapFree=36471928/67111528
[pid=698] ppid=696 vsize=293616 CPUtime=0.47 cores=1,3,5,7
/proc/698/stat : 698 (python) S 696 698 32706 0 -1 4202496 9762 931 1 0 37 10 0 0 20 0 2 0 869262418 300662784 7268 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/698/statm: 73404 7268 1870 364 0 8291 0
[pid=706] ppid=698 vsize=283372 CPUtime=0 cores=1,3,5,7
/proc/706/stat : 706 (python) S 698 698 32706 0 -1 4202560 750 0 0 0 0 0 0 0 15 0 1 0 869262481 290172928 5746 33554432000 4194304 5683644 140734751707520 18446744073709551615 230809185807 0 0 16781312 33554946 2780874342135758848 0 0 17 7 0 0 0
/proc/706/statm: 70843 5746 352 364 0 5730 0
[pid=708] ppid=706 vsize=38548 CPUtime=0.85 cores=1,3,5,7
/proc/708/stat : 708 (scip-2.0.1.linu) R 706 708 708 0 -1 4202496 8144 0 0 0 77 8 0 0 18 0 1 0 869262482 39473152 7408 33554432000 4194304 13684479 140734917396144 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/708/statm: 9637 7408 777 2317 0 7315 0
[pid=698/tid=707] ppid=696 vsize=293616 CPUtime=0 cores=1,3,5,7
/proc/698/task/707/stat : 707 (python) S 696 698 32706 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 2 0 869262481 300662784 7268 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820989361 0 0 16781312 33554434 18446604468893689984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 615536
[startup+3.10069 s]
/proc/loadavg: 2.30 0.98 0.37 3/422 708
/proc/meminfo: memFree=29955252/32951124 swapFree=36471928/67111528
[pid=698] ppid=696 vsize=293616 CPUtime=0.47 cores=1,3,5,7
/proc/698/stat : 698 (python) S 696 698 32706 0 -1 4202496 9762 931 1 0 37 10 0 0 20 0 2 0 869262418 300662784 7268 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/698/statm: 73404 7268 1870 364 0 8291 0
[pid=706] ppid=698 vsize=283372 CPUtime=0 cores=1,3,5,7
/proc/706/stat : 706 (python) S 698 698 32706 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 1 0 869262481 290172928 5746 33554432000 4194304 5683644 140734751707520 18446744073709551615 230809185807 0 0 16781312 33554946 426093977335234560 0 0 17 7 0 0 0
/proc/706/statm: 70843 5746 352 364 0 5730 0
[pid=708] ppid=706 vsize=47588 CPUtime=2.45 cores=1,3,5,7
/proc/708/stat : 708 (scip-2.0.1.linu) R 706 708 708 0 -1 4202496 10408 0 0 0 229 16 0 0 18 0 1 0 869262482 48730112 9621 33554432000 4194304 13684479 140734917396144 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/708/statm: 11897 9621 843 2317 0 9575 0
[pid=698/tid=707] ppid=696 vsize=293616 CPUtime=0 cores=1,3,5,7
/proc/698/task/707/stat : 707 (python) S 696 698 32706 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 2 0 869262481 300662784 7268 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820989361 0 0 16781312 33554434 18446604468893689984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 624576
[startup+6.30111 s]
/proc/loadavg: 2.51 1.05 0.39 3/422 708
/proc/meminfo: memFree=29948580/32951124 swapFree=36471928/67111528
[pid=698] ppid=696 vsize=293616 CPUtime=0.47 cores=1,3,5,7
/proc/698/stat : 698 (python) S 696 698 32706 0 -1 4202496 9762 931 1 0 37 10 0 0 20 0 2 0 869262418 300662784 7268 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/698/statm: 73404 7268 1870 364 0 8291 0
[pid=706] ppid=698 vsize=283372 CPUtime=0 cores=1,3,5,7
/proc/706/stat : 706 (python) S 698 698 32706 0 -1 4202560 895 0 0 0 0 0 0 0 15 0 1 0 869262481 290172928 5770 33554432000 4194304 5683644 140734751707520 18446744073709551615 230809185807 0 0 16781312 33554946 866043029541093376 0 0 17 7 0 0 0
/proc/706/statm: 70843 5770 376 364 0 5730 0
[pid=708] ppid=706 vsize=49348 CPUtime=5.65 cores=1,3,5,7
/proc/708/stat : 708 (scip-2.0.1.linu) R 706 708 708 0 -1 4202496 11821 0 0 0 535 30 0 0 20 0 1 0 869262482 50532352 10188 33554432000 4194304 13684479 140734917396144 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/708/statm: 12337 10188 871 2317 0 10015 0
[pid=698/tid=707] ppid=696 vsize=293616 CPUtime=0 cores=1,3,5,7
/proc/698/task/707/stat : 707 (python) S 696 698 32706 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 2 0 869262481 300662784 7268 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820989361 0 0 16781312 33554434 18446604468893689984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 626336
[startup+12.7009 s]
/proc/loadavg: 2.47 1.06 0.40 3/422 708
/proc/meminfo: memFree=29947832/32951124 swapFree=36471928/67111528
[pid=698] ppid=696 vsize=293616 CPUtime=0.47 cores=1,3,5,7
/proc/698/stat : 698 (python) S 696 698 32706 0 -1 4202496 9762 931 1 0 37 10 0 0 20 0 2 0 869262418 300662784 7268 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/698/statm: 73404 7268 1870 364 0 8291 0
[pid=706] ppid=698 vsize=283372 CPUtime=0.02 cores=1,3,5,7
/proc/706/stat : 706 (python) S 698 698 32706 0 -1 4202560 899 0 0 0 1 1 0 0 15 0 1 0 869262481 290172928 5770 33554432000 4194304 5683644 140734751707520 18446744073709551615 230809185807 0 0 16781312 33554946 5623753486446373649 0 0 17 7 0 0 0
/proc/706/statm: 70843 5770 376 364 0 5730 0
[pid=708] ppid=706 vsize=49348 CPUtime=12.04 cores=1,3,5,7
/proc/708/stat : 708 (scip-2.0.1.linu) R 706 708 708 0 -1 4202496 11875 0 0 0 1157 47 0 0 25 0 1 0 869262482 50532352 10189 33554432000 4194304 13684479 140734917396144 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/708/statm: 12337 10189 819 2317 0 10015 0
[pid=698/tid=707] ppid=696 vsize=293616 CPUtime=0 cores=1,3,5,7
/proc/698/task/707/stat : 707 (python) S 696 698 32706 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 2 0 869262481 300662784 7268 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820989361 0 0 16781312 33554434 18446604468893689984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 626336
[startup+25.5006 s]
/proc/loadavg: 2.45 1.12 0.43 3/422 708
/proc/meminfo: memFree=29948840/32951124 swapFree=36471928/67111528
[pid=698] ppid=696 vsize=293616 CPUtime=0.47 cores=1,3,5,7
/proc/698/stat : 698 (python) S 696 698 32706 0 -1 4202496 9762 931 1 0 37 10 0 0 20 0 2 0 869262418 300662784 7268 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/698/statm: 73404 7268 1870 364 0 8291 0
[pid=706] ppid=698 vsize=283372 CPUtime=0.07 cores=1,3,5,7
/proc/706/stat : 706 (python) S 698 698 32706 0 -1 4202560 905 0 0 0 3 4 0 0 15 0 1 0 869262481 290172928 5770 33554432000 4194304 5683644 140734751707520 18446744073709551615 230809185807 0 0 16781312 33554946 2577409792725221376 0 0 17 1 0 0 0
/proc/706/statm: 70843 5770 376 364 0 5730 0
[pid=708] ppid=706 vsize=49348 CPUtime=24.84 cores=1,3,5,7
/proc/708/stat : 708 (scip-2.0.1.linu) R 706 708 708 0 -1 4202496 11899 0 0 0 2402 82 0 0 18 0 1 0 869262482 50532352 10192 33554432000 4194304 13684479 140734917396144 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/708/statm: 12337 10192 798 2317 0 10015 0
[pid=698/tid=707] ppid=696 vsize=293616 CPUtime=0 cores=1,3,5,7
/proc/698/task/707/stat : 707 (python) S 696 698 32706 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 2 0 869262481 300662784 7268 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820989361 0 0 16781312 33554434 18446604468893689984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 626336
[startup+51.1009 s]
/proc/loadavg: 2.37 1.21 0.48 3/444 735
/proc/meminfo: memFree=29843484/32951124 swapFree=36471928/67111528
[pid=698] ppid=696 vsize=304376 CPUtime=0.5 cores=1,3,5,7
/proc/698/stat : 698 (python) S 696 698 32706 0 -1 4202496 10578 931 1 0 39 11 0 0 20 0 3 0 869262418 311681024 7392 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/698/statm: 76094 7392 1873 364 0 10978 0
[pid=706] ppid=698 vsize=293616 CPUtime=0.16 cores=1,3,5,7
/proc/706/stat : 706 (python) S 698 698 32706 0 -1 4202560 1083 0 0 0 8 8 0 0 16 0 2 0 869262481 300662784 5806 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/706/statm: 73404 5806 407 364 0 8291 0
[pid=708] ppid=706 vsize=65688 CPUtime=50.24 cores=1,3,5,7
/proc/708/stat : 708 (scip-2.0.1.linu) T 706 708 708 0 -1 4202496 15998 0 0 0 4860 164 0 0 19 0 1 0 869262482 67264512 14273 33554432000 4194304 13684479 140734917396144 18446744073709551615 7268144 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/708/statm: 16422 14273 820 2317 0 14100 0
[pid=698/tid=707] ppid=696 vsize=304376 CPUtime=0 cores=1,3,5,7
/proc/698/task/707/stat : 707 (python) S 696 698 32706 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 3 0 869262481 311681024 7392 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820989361 0 0 16781312 33554434 18446604468893689984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 663680
[startup+102.302 s]
/proc/loadavg: 2.16 1.33 0.55 3/474 772
/proc/meminfo: memFree=29653000/32951124 swapFree=36471928/67111528
[pid=698] ppid=696 vsize=314324 CPUtime=0.52 cores=1,3,5,7
/proc/698/stat : 698 (python) S 696 698 32706 0 -1 4202496 11479 931 1 0 41 11 0 0 20 0 4 0 869262418 321867776 7321 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/698/statm: 78581 7321 1875 364 0 13462 0
[pid=706] ppid=698 vsize=293616 CPUtime=0.16 cores=1,3,5,7
/proc/706/stat : 706 (python) S 698 698 32706 0 -1 4202560 1083 0 0 0 8 8 0 0 16 0 2 0 869262481 300662784 5806 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/706/statm: 73404 5806 407 364 0 8291 0
[pid=708] ppid=706 vsize=65688 CPUtime=50.24 cores=1,3,5,7
/proc/708/stat : 708 (scip-2.0.1.linu) T 706 708 708 0 -1 4202496 15998 0 0 0 4860 164 0 0 19 0 1 0 869262482 67264512 14273 33554432000 4194304 13684479 140734917396144 18446744073709551615 7268144 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/708/statm: 16422 14273 820 2317 0 14100 0
[pid=706/tid=736] ppid=698 vsize=293616 CPUtime=0 cores=1,3,5,7
/proc/706/task/736/stat : 736 (python) S 698 698 32706 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869267509 300662784 5806 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820989361 0 0 16781312 33554946 18446604469590753536 0 0 -1 1 0 0 0
[pid=737] ppid=698 vsize=294132 CPUtime=0.16 cores=1,3,5,7
/proc/737/stat : 737 (python) S 698 698 32706 0 -1 4202560 1104 0 0 0 7 9 0 0 16 0 2 0 869267511 301191168 5913 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/737/statm: 73533 5913 397 364 0 8417 0
[pid=739] ppid=737 vsize=8538252 CPUtime=49.34 cores=1,3,5,7
/proc/739/stat : 739 (java) T 737 739 739 0 -1 4202496 21617 0 1 0 4929 5 0 0 18 0 19 0 869267511 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/739/statm: 2134563 19589 2254 9 0 2125304 0
[pid=739/tid=740] ppid=737 vsize=8538252 CPUtime=47.95 cores=1,3,5,7
/proc/739/task/740/stat : 740 (java) T 737 739 739 0 -1 4202560 7618 0 1 0 4794 1 0 0 25 0 19 0 869267512 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 46912505677730 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=739/tid=742] ppid=737 vsize=8538252 CPUtime=0.02 cores=1,3,5,7
/proc/739/task/742/stat : 742 (java) T 737 739 739 0 -1 4202560 1003 0 0 0 2 0 0 0 15 0 19 0 869267512 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=739/tid=743] ppid=737 vsize=8538252 CPUtime=0.03 cores=1,3,5,7
/proc/739/task/743/stat : 743 (java) T 737 739 739 0 -1 4202560 908 0 0 0 3 0 0 0 15 0 19 0 869267512 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=739/tid=744] ppid=737 vsize=8538252 CPUtime=0.02 cores=1,3,5,7
/proc/739/task/744/stat : 744 (java) T 737 739 739 0 -1 4202560 400 0 0 0 2 0 0 0 15 0 19 0 869267512 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=739/tid=745] ppid=737 vsize=8538252 CPUtime=0.02 cores=1,3,5,7
/proc/739/task/745/stat : 745 (java) T 737 739 739 0 -1 4202560 1061 0 0 0 2 0 0 0 15 0 19 0 869267512 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=739/tid=746] ppid=737 vsize=8538252 CPUtime=0.01 cores=1,3,5,7
/proc/739/task/746/stat : 746 (java) T 737 739 739 0 -1 4202560 242 0 0 0 1 0 0 0 15 0 19 0 869267512 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=739/tid=747] ppid=737 vsize=8538252 CPUtime=0.02 cores=1,3,5,7
/proc/739/task/747/stat : 747 (java) T 737 739 739 0 -1 4202560 425 0 0 0 2 0 0 0 15 0 19 0 869267512 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=781/tid=790] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/790/stat : 790 (java) S 779 781 781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869277196 8757022720 20938 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820981657 0 4 0 16800975 18446604467177188096 0 0 -1 1 0 0 0
[pid=781/tid=791] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/791/stat : 791 (java) S 779 781 781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869277196 8757022720 20941 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820981657 0 4 0 16800975 18446604467177188096 0 0 -1 1 0 0 0
[pid=781/tid=792] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/792/stat : 792 (java) S 779 781 781 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 869277197 8757022720 20946 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820982272 0 0 0 16800975 18446604467177188096 0 0 -1 1 0 0 0
[pid=781/tid=793] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/793/stat : 793 (java) S 779 781 781 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 869277197 8757022720 20946 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820981657 0 4 0 16800975 18446604467177188096 0 0 -1 5 0 0 0
[pid=781/tid=794] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/794/stat : 794 (java) S 779 781 781 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869277197 8757022720 20952 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820981657 0 4 0 16800975 18446604467177188096 0 0 -1 5 0 0 0
[pid=781/tid=795] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/795/stat : 795 (java) S 779 781 781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869277200 8757022720 20954 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820989361 0 4 0 16800975 18446604467177188096 0 0 -1 5 0 0 0
[pid=781/tid=796] ppid=779 vsize=8551780 CPUtime=0.48 cores=1,3,5,7
/proc/781/task/796/stat : 796 (java) R 779 781 781 0 -1 4202560 7169 0 0 0 47 1 0 0 16 0 19 0 869277200 8757022720 20957 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 47565836656024 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=781/tid=797] ppid=779 vsize=8551780 CPUtime=0.49 cores=1,3,5,7
/proc/781/task/797/stat : 797 (java) R 779 781 781 0 -1 4202560 5905 0 0 0 49 0 0 0 16 0 19 0 869277200 8757022720 20961 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230808826913 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=781/tid=798] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/798/stat : 798 (java) S 779 781 781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869277200 8757022720 20963 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820981657 0 4 0 16800975 18446604467177188096 0 0 -1 5 0 0 0
[pid=781/tid=799] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/799/stat : 799 (java) R 779 781 781 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869277200 8757022720 20969 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820982272 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=781/tid=800] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/800/stat : 800 (java) S 779 781 781 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869277227 8757022720 20969 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820982272 0 4 0 16800975 18446604467177188096 0 0 -1 7 0 0 0
[pid=698/tid=707] ppid=696 vsize=325024 CPUtime=0 cores=1,3,5,7
/proc/698/task/707/stat : 707 (python) S 696 698 32706 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 869262481 332824576 7438 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820989361 0 0 16781312 33554434 18446604468893689984 0 0 -1 7 0 0 0
[pid=698/tid=738] ppid=696 vsize=325024 CPUtime=0 cores=1,3,5,7
/proc/698/task/738/stat : 738 (python) S 696 698 32706 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 5 0 869267511 332824576 7438 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820989361 0 0 16781312 33554434 18446604468893689984 0 0 -1 5 0 0 0
[pid=698/tid=771] ppid=696 vsize=325024 CPUtime=0 cores=1,3,5,7
/proc/698/task/771/stat : 771 (python) S 696 698 32706 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 5 0 869272368 332824576 7438 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820989361 0 0 16781312 33554434 18446604468893689984 0 0 -1 1 0 0 0
[pid=698/tid=780] ppid=696 vsize=325024 CPUtime=0 cores=1,3,5,7
/proc/698/task/780/stat : 780 (python) S 696 698 32706 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 5 0 869277194 332824576 7438 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820989361 0 0 16781312 33554434 18446604468893689984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 150.52
Current children cumulated vsize (KiB) 18738544
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+148.501 s]
/proc/loadavg: 2.07 1.42 0.62 6/500 800
/proc/meminfo: memFree=29549164/32951124 swapFree=36471928/67111528
[pid=698] ppid=696 vsize=325024 CPUtime=0.55 cores=1,3,5,7
/proc/698/stat : 698 (python) S 696 698 32706 0 -1 4202496 12353 931 1 0 44 11 0 0 20 0 5 0 869262418 332824576 7438 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/698/statm: 81256 7438 1877 364 0 16134 0
[pid=706] ppid=698 vsize=293616 CPUtime=0.16 cores=1,3,5,7
/proc/706/stat : 706 (python) S 698 698 32706 0 -1 4202560 1083 0 0 0 8 8 0 0 16 0 2 0 869262481 300662784 5806 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/706/statm: 73404 5806 407 364 0 8291 0
[pid=708] ppid=706 vsize=65688 CPUtime=50.24 cores=1,3,5,7
/proc/708/stat : 708 (scip-2.0.1.linu) T 706 708 708 0 -1 4202496 15998 0 0 0 4860 164 0 0 19 0 1 0 869262482 67264512 14273 33554432000 4194304 13684479 140734917396144 18446744073709551615 7268144 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/708/statm: 16422 14273 820 2317 0 14100 0
[pid=706/tid=736] ppid=698 vsize=293616 CPUtime=0 cores=1,3,5,7
/proc/706/task/736/stat : 736 (python) S 698 698 32706 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869267509 300662784 5806 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820989361 0 0 16781312 33554946 18446604469590753536 0 0 -1 1 0 0 0
[pid=737] ppid=698 vsize=294132 CPUtime=0.16 cores=1,3,5,7
/proc/737/stat : 737 (python) S 698 698 32706 0 -1 4202560 1104 0 0 0 7 9 0 0 16 0 2 0 869267511 301191168 5913 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/737/statm: 73533 5913 397 364 0 8417 0
[pid=739] ppid=737 vsize=8538252 CPUtime=49.34 cores=1,3,5,7
/proc/739/stat : 739 (java) T 737 739 739 0 -1 4202496 21617 0 1 0 4929 5 0 0 18 0 19 0 869267511 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/739/statm: 2134563 19589 2254 9 0 2125304 0
[pid=739/tid=740] ppid=737 vsize=8538252 CPUtime=47.95 cores=1,3,5,7
/proc/739/task/740/stat : 740 (java) T 737 739 739 0 -1 4202560 7618 0 1 0 4794 1 0 0 25 0 19 0 869267512 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 46912505677730 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=739/tid=742] ppid=737 vsize=8538252 CPUtime=0.02 cores=1,3,5,7
/proc/739/task/742/stat : 742 (java) T 737 739 739 0 -1 4202560 1003 0 0 0 2 0 0 0 15 0 19 0 869267512 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=739/tid=743] ppid=737 vsize=8538252 CPUtime=0.03 cores=1,3,5,7
/proc/739/task/743/stat : 743 (java) T 737 739 739 0 -1 4202560 908 0 0 0 3 0 0 0 15 0 19 0 869267512 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=739/tid=744] ppid=737 vsize=8538252 CPUtime=0.02 cores=1,3,5,7
/proc/739/task/744/stat : 744 (java) T 737 739 739 0 -1 4202560 400 0 0 0 2 0 0 0 15 0 19 0 869267512 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=739/tid=745] ppid=737 vsize=8538252 CPUtime=0.02 cores=1,3,5,7
/proc/739/task/745/stat : 745 (java) T 737 739 739 0 -1 4202560 1061 0 0 0 2 0 0 0 15 0 19 0 869267512 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=739/tid=746] ppid=737 vsize=8538252 CPUtime=0.01 cores=1,3,5,7
/proc/739/task/746/stat : 746 (java) T 737 739 739 0 -1 4202560 242 0 0 0 1 0 0 0 15 0 19 0 869267512 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=739/tid=747] ppid=737 vsize=8538252 CPUtime=0.02 cores=1,3,5,7
/proc/739/task/747/stat : 747 (java) T 737 739 739 0 -1 4202560 425 0 0 0 2 0 0 0 15 0 19 0 869267512 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=739/tid=749] ppid=737 vsize=8538252 CPUtime=0.02 cores=1,3,5,7
/proc/739/task/749/stat : 749 (java) T 737 739 739 0 -1 4202560 214 0 0 0 2 0 0 0 15 0 19 0 869267512 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=739/tid=750] ppid=737 vsize=8538252 CPUtime=0.03 cores=1,3,5,7
/proc/739/task/750/stat : 750 (java) T 737 739 739 0 -1 4202560 357 0 0 0 3 0 0 0 15 0 19 0 869267512 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=739/tid=751] ppid=737 vsize=8538252 CPUtime=0.45 cores=1,3,5,7
/proc/739/task/751/stat : 751 (java) T 737 739 739 0 -1 4202560 3548 0 0 0 45 0 0 0 15 0 19 0 869267513 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820982272 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=739/tid=752] ppid=737 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/739/task/752/stat : 752 (java) T 737 739 739 0 -1 4202560 14 0 0 0 0 0 0 0 18 0 19 0 869267514 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=739/tid=753] ppid=737 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/739/task/753/stat : 753 (java) T 737 739 739 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 869267514 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=739/tid=754] ppid=737 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/739/task/754/stat : 754 (java) T 737 739 739 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869267516 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820989361 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=739/tid=756] ppid=737 vsize=8538252 CPUtime=0.32 cores=1,3,5,7
/proc/739/task/756/stat : 756 (java) T 737 739 739 0 -1 4202560 1794 0 0 0 32 0 0 0 15 0 19 0 869267516 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=739/tid=757] ppid=737 vsize=8538252 CPUtime=0.35 cores=1,3,5,7
/proc/739/task/757/stat : 757 (java) T 737 739 739 0 -1 4202560 2646 0 0 0 35 0 0 0 15 0 19 0 869267516 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=739/tid=758] ppid=737 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/739/task/758/stat : 758 (java) T 737 739 739 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869267516 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=739/tid=759] ppid=737 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/739/task/759/stat : 759 (java) T 737 739 739 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869267516 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=739/tid=761] ppid=737 vsize=8538252 CPUtime=0 cores=1,3,5,7
/proc/739/task/761/stat : 761 (java) T 737 739 739 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869267543 8743170048 19589 33554432000 1073741824 1073778376 140735525729312 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=737/tid=768] ppid=698 vsize=294132 CPUtime=0 cores=1,3,5,7
/proc/737/task/768/stat : 768 (python) S 698 698 32706 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869272366 301191168 5913 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820989361 0 0 16781312 33554946 18446604464148708416 0 0 -1 1 0 0 0
[pid=770] ppid=698 vsize=304080 CPUtime=0.18 cores=1,3,5,7
/proc/770/stat : 770 (python) S 698 698 32706 0 -1 4202560 1112 0 0 0 9 9 0 0 16 0 2 0 869272368 311377920 5840 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/770/statm: 76020 5840 397 364 0 10901 0
[pid=772] ppid=770 vsize=51192 CPUtime=48.19 cores=1,3,5,7
/proc/772/stat : 772 (scip-2.0.1.linu) T 770 772 772 0 -1 4202496 85949 0 0 0 4751 68 0 0 21 0 1 0 869272368 52420608 10135 33554432000 4194304 15243407 140735713606320 18446744073709551615 8134401 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/772/statm: 12798 10135 946 2698 0 10093 0
[pid=770/tid=778] ppid=698 vsize=304080 CPUtime=0 cores=1,3,5,7
/proc/770/task/778/stat : 778 (python) S 698 698 32706 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869277191 311377920 5840 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820989361 0 0 16781312 33554946 18446604467680995136 0 0 -1 7 0 0 0
[pid=779] ppid=698 vsize=314780 CPUtime=0 cores=1,3,5,7
/proc/779/stat : 779 (python) S 698 698 32706 0 -1 4202560 804 0 0 0 0 0 0 0 16 0 1 0 869277194 322334720 5906 33554432000 4194304 5683644 140734751707520 18446744073709551615 230809185862 0 0 16781312 33554946 4294934792 0 0 17 1 0 0 0
/proc/779/statm: 78695 5906 349 364 0 13573 0
[pid=781] ppid=779 vsize=8551780 CPUtime=1.7 cores=1,3,5,7
/proc/781/stat : 781 (java) S 779 781 781 0 -1 4202496 24824 0 1 0 167 3 0 0 17 0 19 0 869277194 8757022720 20164 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/781/statm: 2137945 20164 2224 9 0 2128686 0
[pid=781/tid=783] ppid=779 vsize=8551780 CPUtime=0.74 cores=1,3,5,7
/proc/781/task/783/stat : 783 (java) R 779 781 781 0 -1 4202560 11290 0 1 0 73 1 0 0 19 0 19 0 869277195 8757022720 20914 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 46912505768200 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=781/tid=784] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/784/stat : 784 (java) S 779 781 781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869277196 8757022720 20919 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820981657 0 4 0 16800975 18446604467177188096 0 0 -1 5 0 0 0
[pid=781/tid=785] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/785/stat : 785 (java) S 779 781 781 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869277196 8757022720 20922 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820981657 0 4 0 16800975 18446604467177188096 0 0 -1 1 0 0 0
[pid=781/tid=786] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/786/stat : 786 (java) S 779 781 781 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869277196 8757022720 20924 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820981657 0 4 0 16800975 18446604467177188096 0 0 -1 1 0 0 0
[pid=781/tid=787] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/787/stat : 787 (java) S 779 781 781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869277196 8757022720 20930 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820981657 0 4 0 16800975 18446604467177188096 0 0 -1 1 0 0 0
[pid=781/tid=788] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/788/stat : 788 (java) S 779 781 781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869277196 8757022720 20930 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820981657 0 4 0 16800975 18446604467177188096 0 0 -1 1 0 0 0
[pid=781/tid=789] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/789/stat : 789 (java) S 779 781 781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869277196 8757022720 20936 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820981657 0 4 0 16800975 18446604467177188096 0 0 -1 1 0 0 0
[pid=781/tid=790] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/790/stat : 790 (java) S 779 781 781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869277196 8757022720 20938 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820981657 0 4 0 16800975 18446604467177188096 0 0 -1 1 0 0 0
[pid=781/tid=791] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/791/stat : 791 (java) S 779 781 781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869277196 8757022720 20941 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820981657 0 4 0 16800975 18446604467177188096 0 0 -1 1 0 0 0
[pid=781/tid=792] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/792/stat : 792 (java) S 779 781 781 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 869277197 8757022720 20946 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820982272 0 0 0 16800975 18446604467177188096 0 0 -1 1 0 0 0
[pid=781/tid=793] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/793/stat : 793 (java) S 779 781 781 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 869277197 8757022720 20946 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820981657 0 4 0 16800975 18446604467177188096 0 0 -1 5 0 0 0
[pid=781/tid=794] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/794/stat : 794 (java) S 779 781 781 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869277197 8757022720 20952 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820981657 0 4 0 16800975 18446604467177188096 0 0 -1 5 0 0 0
[pid=781/tid=795] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/795/stat : 795 (java) S 779 781 781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869277200 8757022720 20954 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820989361 0 4 0 16800975 18446604467177188096 0 0 -1 5 0 0 0
[pid=781/tid=796] ppid=779 vsize=8551780 CPUtime=0.48 cores=1,3,5,7
/proc/781/task/796/stat : 796 (java) R 779 781 781 0 -1 4202560 7169 0 0 0 47 1 0 0 16 0 19 0 869277200 8757022720 20957 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 47565836656024 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=781/tid=797] ppid=779 vsize=8551780 CPUtime=0.49 cores=1,3,5,7
/proc/781/task/797/stat : 797 (java) R 779 781 781 0 -1 4202560 5905 0 0 0 49 0 0 0 16 0 19 0 869277200 8757022720 20961 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230808826913 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=781/tid=798] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/798/stat : 798 (java) S 779 781 781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869277200 8757022720 20963 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820981657 0 4 0 16800975 18446604467177188096 0 0 -1 5 0 0 0
[pid=781/tid=799] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/799/stat : 799 (java) R 779 781 781 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869277200 8757022720 20969 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820982272 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=781/tid=800] ppid=779 vsize=8551780 CPUtime=0 cores=1,3,5,7
/proc/781/task/800/stat : 800 (java) S 779 781 781 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869277227 8757022720 20969 33554432000 1073741824 1073778376 140733431075200 18446744073709551615 230820982272 0 4 0 16800975 18446604467177188096 0 0 -1 7 0 0 0
[pid=698/tid=707] ppid=696 vsize=325024 CPUtime=0 cores=1,3,5,7
/proc/698/task/707/stat : 707 (python) S 696 698 32706 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 869262481 332824576 7438 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820989361 0 0 16781312 33554434 18446604468893689984 0 0 -1 7 0 0 0
[pid=698/tid=738] ppid=696 vsize=325024 CPUtime=0 cores=1,3,5,7
/proc/698/task/738/stat : 738 (python) S 696 698 32706 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 5 0 869267511 332824576 7438 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820989361 0 0 16781312 33554434 18446604468893689984 0 0 -1 5 0 0 0
[pid=698/tid=771] ppid=696 vsize=325024 CPUtime=0 cores=1,3,5,7
/proc/698/task/771/stat : 771 (python) S 696 698 32706 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 5 0 869272368 332824576 7438 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820989361 0 0 16781312 33554434 18446604468893689984 0 0 -1 1 0 0 0
[pid=698/tid=780] ppid=696 vsize=325024 CPUtime=0 cores=1,3,5,7
/proc/698/task/780/stat : 780 (python) S 696 698 32706 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 5 0 869277194 332824576 7438 33554432000 4194304 5683644 140734751707520 18446744073709551615 230820989361 0 0 16781312 33554434 18446604468893689984 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 150.52
Current children cumulated vsize (KiB) 18738544
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 698 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=442932
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=118981
# CPU time returned by wait4() is 0.561913
# while last known CPU time is 150.52
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 148.571
CPU time (s): 150.52
CPU user time (s): 147.75
CPU system time (s): 2.77
CPU usage (%): 101.312
Max. virtual memory (cumulated for all children) (KiB): 18738544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.442932
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= 13286
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= 1799
involuntary context switches= 20
runsolver used 0.59191 second user time and 1.34679 second system time
The end