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-3481438-1307577832/watcher-3481438-1307577832 -o /tmp/evaluation-result-3481438-1307577832/solver-3481438-1307577832 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481438-1307577832.opb -seed 878571088 -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.40 2.10 1.62 2/618 31721
/proc/meminfo: memFree=18155984/32951124 swapFree=57370024/67111528
[pid=31721] ppid=31719 vsize=16396 CPUtime=0.01 cores=1,3,5,7
/proc/31721/stat : 31721 (python) R 31719 31721 30366 0 -1 4202496 1114 0 0 0 1 0 0 0 24 0 1 0 850198726 16789504 982 33554432000 4194304 5683644 140734176562528 18446744073709551615 4539741 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31721/statm: 4099 983 408 364 0 586 0
[startup+0.114584 s]
/proc/loadavg: 2.40 2.10 1.62 2/618 31721
/proc/meminfo: memFree=18155984/32951124 swapFree=57370024/67111528
[pid=31721] ppid=31719 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/31721/stat : 31721 (python) R 31719 31721 30366 0 -1 4202496 3169 931 1 0 7 1 0 0 18 0 1 0 850198726 98430976 2483 33554432000 4194304 5683644 140734176562528 18446744073709551615 5172176 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31721/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.200543 s]
/proc/loadavg: 2.40 2.10 1.62 2/618 31721
/proc/meminfo: memFree=18155984/32951124 swapFree=57370024/67111528
[pid=31721] ppid=31719 vsize=123740 CPUtime=0.15 cores=1,3,5,7
/proc/31721/stat : 31721 (python) S 31719 31721 30366 0 -1 4202496 5357 931 1 0 11 4 0 0 18 0 1 0 850198726 126709760 3744 33554432000 4194304 5683644 140734176562528 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/31721/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.301555 s]
/proc/loadavg: 2.40 2.10 1.62 2/618 31721
/proc/meminfo: memFree=18155984/32951124 swapFree=57370024/67111528
[pid=31721] ppid=31719 vsize=190664 CPUtime=0.23 cores=1,3,5,7
/proc/31721/stat : 31721 (python) S 31719 31721 30366 0 -1 4202496 6553 931 1 0 17 6 0 0 18 0 1 0 850198726 195239936 4846 33554432000 4194304 5683644 140734176562528 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/31721/statm: 47666 4846 1400 364 0 3676 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 190664
[startup+0.700432 s]
/proc/loadavg: 2.40 2.10 1.62 2/618 31721
/proc/meminfo: memFree=18155984/32951124 swapFree=57370024/67111528
[pid=31721] ppid=31719 vsize=293572 CPUtime=0.49 cores=1,3,5,7
/proc/31721/stat : 31721 (python) S 31719 31721 30366 0 -1 4202496 10883 1350 1 0 39 9 1 0 20 0 2 0 850198726 300617728 7264 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/31721/statm: 73393 7264 1871 364 0 8280 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 293572
[startup+1.50028 s]
/proc/loadavg: 2.36 2.10 1.62 3/622 31730
/proc/meminfo: memFree=17654744/32951124 swapFree=57370024/67111528
[pid=31721] ppid=31719 vsize=293572 CPUtime=0.49 cores=1,3,5,7
/proc/31721/stat : 31721 (python) S 31719 31721 30366 0 -1 4202496 10883 1350 1 0 39 9 1 0 20 0 2 0 850198726 300617728 7264 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/31721/statm: 73393 7264 1871 364 0 8280 0
[pid=31728] ppid=31721 vsize=283328 CPUtime=0 cores=1,3,5,7
/proc/31728/stat : 31728 (python) S 31721 31721 30366 0 -1 4202560 807 0 0 0 0 0 0 0 15 0 1 0 850198783 290127872 5714 33554432000 4194304 5683644 140734176562528 18446744073709551615 228095471119 0 0 16781312 33554946 13428604035678568708 0 0 17 7 0 0 0
/proc/31728/statm: 70832 5714 325 364 0 5719 0
[pid=31730] ppid=31728 vsize=41944 CPUtime=0.91 cores=1,3,5,7
/proc/31730/stat : 31730 (scip-2.0.1.linu) R 31728 31730 31730 0 -1 4202496 9918 0 0 0 71 20 0 0 18 0 1 0 850198784 42950656 8209 33554432000 4194304 13684479 140735296042192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/31730/statm: 10486 8209 785 2317 0 8164 0
[pid=31721/tid=31729] ppid=31719 vsize=293572 CPUtime=0.01 cores=1,3,5,7
/proc/31721/task/31729/stat : 31729 (python) S 31719 31721 30366 0 -1 4202560 26 1350 0 0 0 0 1 0 20 0 2 0 850198784 300617728 7264 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554434 18446604458183554304 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 618844
[startup+3.10099 s]
/proc/loadavg: 2.36 2.10 1.62 3/622 31730
/proc/meminfo: memFree=17587296/32951124 swapFree=57370024/67111528
[pid=31721] ppid=31719 vsize=293572 CPUtime=0.49 cores=1,3,5,7
/proc/31721/stat : 31721 (python) S 31719 31721 30366 0 -1 4202496 10883 1350 1 0 39 9 1 0 20 0 2 0 850198726 300617728 7264 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/31721/statm: 73393 7264 1871 364 0 8280 0
[pid=31728] ppid=31721 vsize=283328 CPUtime=0 cores=1,3,5,7
/proc/31728/stat : 31728 (python) S 31721 31721 30366 0 -1 4202560 808 0 0 0 0 0 0 0 15 0 1 0 850198783 290127872 5714 33554432000 4194304 5683644 140734176562528 18446744073709551615 228095471119 0 0 16781312 33554946 4194565705242247168 0 0 17 7 0 0 0
/proc/31728/statm: 70832 5714 325 364 0 5719 0
[pid=31730] ppid=31728 vsize=44312 CPUtime=2.51 cores=1,3,5,7
/proc/31730/stat : 31730 (scip-2.0.1.linu) R 31728 31730 31730 0 -1 4202496 10598 0 0 0 229 22 0 0 18 0 1 0 850198784 45375488 8881 33554432000 4194304 13684479 140735296042192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/31730/statm: 11078 8881 779 2317 0 8756 0
[pid=31721/tid=31729] ppid=31719 vsize=293572 CPUtime=0.01 cores=1,3,5,7
/proc/31721/task/31729/stat : 31729 (python) S 31719 31721 30366 0 -1 4202560 26 1350 0 0 0 0 1 0 20 0 2 0 850198784 300617728 7264 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554434 18446604458183554304 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 621212
[startup+6.3004 s]
/proc/loadavg: 2.41 2.12 1.63 3/622 31730
/proc/meminfo: memFree=17422744/32951124 swapFree=57370024/67111528
[pid=31721] ppid=31719 vsize=293572 CPUtime=0.49 cores=1,3,5,7
/proc/31721/stat : 31721 (python) S 31719 31721 30366 0 -1 4202496 10883 1350 1 0 39 9 1 0 20 0 2 0 850198726 300617728 7264 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/31721/statm: 73393 7264 1871 364 0 8280 0
[pid=31728] ppid=31721 vsize=283328 CPUtime=0.02 cores=1,3,5,7
/proc/31728/stat : 31728 (python) S 31721 31721 30366 0 -1 4202560 946 0 0 0 1 1 0 0 15 0 1 0 850198783 290127872 5737 33554432000 4194304 5683644 140734176562528 18446744073709551615 228095471119 0 0 16781312 33554946 3522313915084046336 0 0 17 7 0 0 0
/proc/31728/statm: 70832 5737 348 364 0 5719 0
[pid=31730] ppid=31728 vsize=47192 CPUtime=5.71 cores=1,3,5,7
/proc/31730/stat : 31730 (scip-2.0.1.linu) R 31728 31730 31730 0 -1 4202496 11334 0 0 0 544 27 0 0 20 0 1 0 850198784 48324608 9615 33554432000 4194304 13684479 140735296042192 18446744073709551615 7416158 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/31730/statm: 11798 9615 793 2317 0 9476 0
[pid=31721/tid=31729] ppid=31719 vsize=293572 CPUtime=0.01 cores=1,3,5,7
/proc/31721/task/31729/stat : 31729 (python) S 31719 31721 30366 0 -1 4202560 26 1350 0 0 0 0 1 0 20 0 2 0 850198784 300617728 7264 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554434 18446604458183554304 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 624092
[startup+12.7012 s]
/proc/loadavg: 2.38 2.11 1.63 3/622 31730
/proc/meminfo: memFree=16554984/32951124 swapFree=57370024/67111528
[pid=31721] ppid=31719 vsize=293572 CPUtime=0.49 cores=1,3,5,7
/proc/31721/stat : 31721 (python) S 31719 31721 30366 0 -1 4202496 10883 1350 1 0 39 9 1 0 20 0 2 0 850198726 300617728 7264 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/31721/statm: 73393 7264 1871 364 0 8280 0
[pid=31728] ppid=31721 vsize=283328 CPUtime=0.04 cores=1,3,5,7
/proc/31728/stat : 31728 (python) S 31721 31721 30366 0 -1 4202560 948 0 0 0 2 2 0 0 15 0 1 0 850198783 290127872 5737 33554432000 4194304 5683644 140734176562528 18446744073709551615 228095471119 0 0 16781312 33554946 1994733625744031744 0 0 17 7 0 0 0
/proc/31728/statm: 70832 5737 348 364 0 5719 0
[pid=31730] ppid=31728 vsize=47192 CPUtime=12.11 cores=1,3,5,7
/proc/31730/stat : 31730 (scip-2.0.1.linu) R 31728 31730 31730 0 -1 4202496 11338 0 0 0 1168 43 0 0 25 0 1 0 850198784 48324608 9619 33554432000 4194304 13684479 140735296042192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/31730/statm: 11798 9619 797 2317 0 9476 0
[pid=31721/tid=31729] ppid=31719 vsize=293572 CPUtime=0.01 cores=1,3,5,7
/proc/31721/task/31729/stat : 31729 (python) S 31719 31721 30366 0 -1 4202560 26 1350 0 0 0 0 1 0 20 0 2 0 850198784 300617728 7264 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554434 18446604458183554304 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 624092
[startup+25.5009 s]
/proc/loadavg: 2.30 2.11 1.63 3/622 31730
/proc/meminfo: memFree=16538956/32951124 swapFree=57370024/67111528
[pid=31721] ppid=31719 vsize=293572 CPUtime=0.49 cores=1,3,5,7
/proc/31721/stat : 31721 (python) S 31719 31721 30366 0 -1 4202496 10883 1350 1 0 39 9 1 0 20 0 2 0 850198726 300617728 7264 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/31721/statm: 73393 7264 1871 364 0 8280 0
[pid=31728] ppid=31721 vsize=283328 CPUtime=0.1 cores=1,3,5,7
/proc/31728/stat : 31728 (python) S 31721 31721 30366 0 -1 4202560 954 0 0 0 5 5 0 0 15 0 1 0 850198783 290127872 5737 33554432000 4194304 5683644 140734176562528 18446744073709551615 228095471119 0 0 16781312 33554946 4117143525252923392 0 0 17 5 0 0 0
/proc/31728/statm: 70832 5737 348 364 0 5719 0
[pid=31730] ppid=31728 vsize=56696 CPUtime=24.91 cores=1,3,5,7
/proc/31730/stat : 31730 (scip-2.0.1.linu) R 31728 31730 31730 0 -1 4202496 13268 0 0 0 2415 76 0 0 18 0 1 0 850198784 58056704 11549 33554432000 4194304 13684479 140735296042192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/31730/statm: 14174 11549 824 2317 0 11852 0
[pid=31721/tid=31729] ppid=31719 vsize=293572 CPUtime=0.01 cores=1,3,5,7
/proc/31721/task/31729/stat : 31729 (python) S 31719 31721 30366 0 -1 4202560 26 1350 0 0 0 0 1 0 20 0 2 0 850198784 300617728 7264 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554434 18446604458183554304 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 633596
[startup+51.1012 s]
/proc/loadavg: 2.41 2.15 1.66 3/648 31757
/proc/meminfo: memFree=16369440/32951124 swapFree=57370024/67111528
[pid=31721] ppid=31719 vsize=304400 CPUtime=0.51 cores=1,3,5,7
/proc/31721/stat : 31721 (python) S 31719 31721 30366 0 -1 4202496 11711 1350 1 0 41 9 1 0 19 0 3 0 850198726 311705600 7383 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/31721/statm: 76100 7383 1874 364 0 10984 0
[pid=31728] ppid=31721 vsize=293572 CPUtime=0.24 cores=1,3,5,7
/proc/31728/stat : 31728 (python) S 31721 31721 30366 0 -1 4202560 1166 0 0 0 13 11 0 0 16 0 2 0 850198783 300617728 5805 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31728/statm: 73393 5805 411 364 0 8280 0
[pid=31730] ppid=31728 vsize=56696 CPUtime=48.61 cores=1,3,5,7
/proc/31730/stat : 31730 (scip-2.0.1.linu) T 31728 31730 31730 0 -1 4202496 13346 0 0 0 4721 140 0 0 20 0 1 0 850198784 58056704 11627 33554432000 4194304 13684479 140735296042192 18446744073709551615 7390400 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/31730/statm: 14174 11627 828 2317 0 11852 0
[pid=31728/tid=31736] ppid=31721 vsize=293572 CPUtime=0 cores=1,3,5,7
/proc/31728/task/31736/stat : 31736 (python) S 31721 31721 30366 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850203645 300617728 5805 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554946 18446604455055690816 0 0 -1 7 0 0 0
[pid=31737] ppid=31721 vsize=294156 CPUtime=0 cores=1,3,5,7
/proc/31737/stat : 31737 (python) S 31721 31721 30366 0 -1 4202560 770 0 0 0 0 0 0 0 15 0 1 0 850203648 301215744 5825 33554432000 4194304 5683644 140734176562528 18446744073709551615 228095471174 0 0 16781312 33554946 4294934792 0 0 17 7 0 0 0
/proc/31737/statm: 73539 5825 320 364 0 8423 0
[pid=31739] ppid=31737 vsize=8541940 CPUtime=2.43 cores=1,3,5,7
/proc/31739/stat : 31739 (java) S 31737 31739 31739 0 -1 4202496 44251 0 1 0 237 6 0 0 17 0 19 0 850203648 8746946560 42310 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31739/statm: 2135485 42310 2242 9 0 2126226 0
[pid=31739/tid=31740] ppid=31737 vsize=8541940 CPUtime=1.77 cores=1,3,5,7
/proc/31739/task/31740/stat : 31740 (java) R 31737 31739 31739 0 -1 4202560 35282 0 1 0 173 4 0 0 21 0 19 0 850203649 8746946560 42310 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 46912505629010 0 4 0 16800975 0 0 0 -1 1 0 0 4
[pid=31739/tid=31741] ppid=31737 vsize=8541940 CPUtime=0 cores=1,3,5,7
/proc/31739/task/31741/stat : 31741 (java) S 31737 31739 31739 0 -1 4202560 317 0 0 0 0 0 0 0 15 0 19 0 850203650 8746946560 42310 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446604458183556096 0 0 -1 3 0 0 0
[pid=31739/tid=31742] ppid=31737 vsize=8541940 CPUtime=0 cores=1,3,5,7
/proc/31739/task/31742/stat : 31742 (java) S 31737 31739 31739 0 -1 4202560 77 0 0 0 0 0 0 0 16 0 19 0 850203650 8746946560 42310 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446604458183556096 0 0 -1 7 0 0 0
[pid=31739/tid=31743] ppid=31737 vsize=8541940 CPUtime=0 cores=1,3,5,7
/proc/31739/task/31743/stat : 31743 (java) S 31737 31739 31739 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 850203650 8746946560 42310 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446604458183556096 0 0 -1 7 0 0 0
[pid=31739/tid=31744] ppid=31737 vsize=8541940 CPUtime=0 cores=1,3,5,7
/proc/31739/task/31744/stat : 31744 (java) S 31737 31739 31739 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 850203650 8746946560 42310 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446604458183556096 0 0 -1 1 0 0 0
[pid=31739/tid=31745] ppid=31737 vsize=8541940 CPUtime=0 cores=1,3,5,7
/proc/31739/task/31745/stat : 31745 (java) S 31737 31739 31739 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 19 0 850203650 8746946560 42310 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446604458183556096 0 0 -1 5 0 0 0
[pid=31739/tid=31746] ppid=31737 vsize=8541940 CPUtime=0 cores=1,3,5,7
/proc/31739/task/31746/stat : 31746 (java) S 31737 31739 31739 0 -1 4202560 35 0 0 0 0 0 0 0 16 0 19 0 850203650 8746946560 42310 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446604458183556096 0 0 -1 5 0 0 0
[pid=31739/tid=31747] ppid=31737 vsize=8541940 CPUtime=0 cores=1,3,5,7
/proc/31739/task/31747/stat : 31747 (java) S 31737 31739 31739 0 -1 4202560 352 0 0 0 0 0 0 0 16 0 19 0 850203650 8746946560 42310 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446604458183556096 0 0 -1 1 0 0 0
[pid=31739/tid=31748] ppid=31737 vsize=8541940 CPUtime=0 cores=1,3,5,7
/proc/31739/task/31748/stat : 31748 (java) S 31737 31739 31739 0 -1 4202560 167 0 0 0 0 0 0 0 15 0 19 0 850203650 8746946560 42310 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446604458183556096 0 0 -1 7 0 0 0
[pid=31739/tid=31749] ppid=31737 vsize=8541940 CPUtime=0.02 cores=1,3,5,7
/proc/31739/task/31749/stat : 31749 (java) S 31737 31739 31739 0 -1 4202560 670 0 0 0 2 0 0 0 15 0 19 0 850203651 8746946560 42310 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107267584 0 0 0 16800975 18446604458183556096 0 0 -1 3 0 0 0
[pid=31739/tid=31750] ppid=31737 vsize=8541940 CPUtime=0 cores=1,3,5,7
/proc/31739/task/31750/stat : 31750 (java) S 31737 31739 31739 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 850203651 8746946560 42310 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446604458183556096 0 0 -1 3 0 0 0
[pid=31739/tid=31751] ppid=31737 vsize=8541940 CPUtime=0 cores=1,3,5,7
/proc/31739/task/31751/stat : 31751 (java) S 31737 31739 31739 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 850203651 8746946560 42310 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446604458183556096 0 0 -1 7 0 0 0
[pid=31739/tid=31752] ppid=31737 vsize=8541940 CPUtime=0 cores=1,3,5,7
/proc/31739/task/31752/stat : 31752 (java) S 31737 31739 31739 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850203653 8746946560 42310 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107274673 0 4 0 16800975 18446604458183556096 0 0 -1 3 0 0 0
[pid=31739/tid=31753] ppid=31737 vsize=8541940 CPUtime=0.28 cores=1,3,5,7
/proc/31739/task/31753/stat : 31753 (java) S 31737 31739 31739 0 -1 4202560 2954 0 0 0 28 0 0 0 16 0 19 0 850203653 8746946560 42310 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446604458183556096 0 0 -1 5 0 0 0
[pid=31739/tid=31754] ppid=31737 vsize=8541940 CPUtime=0.28 cores=1,3,5,7
/proc/31739/task/31754/stat : 31754 (java) S 31737 31739 31739 0 -1 4202560 2837 0 0 0 28 0 0 0 15 0 19 0 850203653 8746946560 42310 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446604458183556096 0 0 -1 3 0 0 0
[pid=31739/tid=31755] ppid=31737 vsize=8541940 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=31774/tid=31786] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31786/stat : 31786 (java) S 31772 31774 31774 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 850218302 8670568448 4953 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107266969 0 4 0 16800975 18446604460560171968 0 0 -1 1 0 0 0
[pid=31774/tid=31787] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31787/stat : 31787 (java) S 31772 31774 31774 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850218304 8670568448 4954 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107274673 0 4 0 16800975 18446604460560171968 0 0 -1 1 0 0 0
[pid=31774/tid=31788] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31788/stat : 31788 (java) R 31772 31774 31774 0 -1 4202560 204 0 0 0 0 0 0 0 25 0 18 0 850218304 8670568448 4954 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 47021542814514 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31774/tid=31789] ppid=31772 vsize=8467352 CPUtime=0.01 cores=1,3,5,7
/proc/31774/task/31789/stat : 31789 (java) S 31772 31774 31774 0 -1 4202560 572 0 0 0 1 0 0 0 25 0 18 0 850218304 8670568448 4954 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107266969 0 4 0 16800975 18446604460560171968 0 0 -1 5 0 0 0
[pid=31774/tid=31790] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31790/stat : 31790 (java) S 31772 31774 31774 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850218304 8670568448 4954 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107266969 0 4 0 16800975 18446604460560171968 0 0 -1 1 0 0 0
[pid=31774/tid=31791] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31791/stat : 31791 (java) S 31772 31774 31774 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850218304 8670568448 4954 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107267584 0 4 0 16800975 18446604460560171968 0 0 -1 5 0 0 0
[pid=31721/tid=31729] ppid=31719 vsize=335456 CPUtime=0.01 cores=1,3,5,7
/proc/31721/task/31729/stat : 31729 (python) S 31719 31721 30366 0 -1 4202560 26 1350 0 0 0 0 1 0 20 0 6 0 850198784 343506944 7473 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554434 18446604458183554304 0 0 -1 5 0 0 0
[pid=31721/tid=31738] ppid=31719 vsize=335456 CPUtime=0.01 cores=1,3,5,7
/proc/31721/task/31738/stat : 31738 (python) S 31719 31721 30366 0 -1 4202560 30 1350 0 0 0 0 1 0 20 0 6 0 850203648 343506944 7473 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554434 18446604458183554304 0 0 -1 7 0 0 0
[pid=31721/tid=31761] ppid=31719 vsize=335456 CPUtime=0.01 cores=1,3,5,7
/proc/31721/task/31761/stat : 31761 (python) S 31719 31721 30366 0 -1 4202560 33 1350 0 0 0 0 1 0 20 0 6 0 850208505 343506944 7473 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554434 18446604458183554304 0 0 -1 5 0 0 0
[pid=31721/tid=31768] ppid=31719 vsize=335456 CPUtime=0.01 cores=1,3,5,7
/proc/31721/task/31768/stat : 31768 (python) S 31719 31721 30366 0 -1 4202560 30 1350 0 0 0 0 1 0 20 0 6 0 850213370 343506944 7473 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554434 18446604458183554304 0 0 -1 5 0 0 0
[pid=31721/tid=31773] ppid=31719 vsize=335456 CPUtime=0.01 cores=1,3,5,7
/proc/31721/task/31773/stat : 31773 (python) S 31719 31721 30366 0 -1 4202560 29 1350 0 0 0 0 1 0 20 0 6 0 850218299 343506944 7473 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554434 18446604458183554304 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 197.69
Current children cumulated vsize (KiB) 19111572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+195.802 s]
/proc/loadavg: 2.03 2.08 1.70 4/678 31791
/proc/meminfo: memFree=16131904/32951124 swapFree=57370024/67111528
[pid=31721] ppid=31719 vsize=335456 CPUtime=0.59 cores=1,3,5,7
/proc/31721/stat : 31721 (python) S 31719 31721 30366 0 -1 4202496 14454 1350 1 0 48 10 1 0 20 0 6 0 850198726 343506944 7473 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/31721/statm: 83864 7473 1880 364 0 18739 0
[pid=31728] ppid=31721 vsize=293572 CPUtime=0.24 cores=1,3,5,7
/proc/31728/stat : 31728 (python) S 31721 31721 30366 0 -1 4202560 1166 0 0 0 13 11 0 0 16 0 2 0 850198783 300617728 5805 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31728/statm: 73393 5805 411 364 0 8280 0
[pid=31730] ppid=31728 vsize=56696 CPUtime=48.61 cores=1,3,5,7
/proc/31730/stat : 31730 (scip-2.0.1.linu) T 31728 31730 31730 0 -1 4202496 13346 0 0 0 4721 140 0 0 20 0 1 0 850198784 58056704 11627 33554432000 4194304 13684479 140735296042192 18446744073709551615 7390400 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/31730/statm: 14174 11627 828 2317 0 11852 0
[pid=31728/tid=31736] ppid=31721 vsize=293572 CPUtime=0 cores=1,3,5,7
/proc/31728/task/31736/stat : 31736 (python) S 31721 31721 30366 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850203645 300617728 5805 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554946 18446604455055690816 0 0 -1 7 0 0 0
[pid=31737] ppid=31721 vsize=294156 CPUtime=0.25 cores=1,3,5,7
/proc/31737/stat : 31737 (python) S 31721 31721 30366 0 -1 4202560 1126 0 0 0 9 16 0 0 17 0 2 0 850203648 301215744 5897 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31737/statm: 73539 5897 391 364 0 8423 0
[pid=31739] ppid=31737 vsize=8541940 CPUtime=49.58 cores=1,3,5,7
/proc/31739/stat : 31739 (java) T 31737 31739 31739 0 -1 4202496 76083 0 1 0 4944 14 0 0 15 0 19 0 850203648 8746946560 52224 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31739/statm: 2135485 52224 2243 9 0 2126226 0
[pid=31739/tid=31740] ppid=31737 vsize=8541940 CPUtime=47.46 cores=1,3,5,7
/proc/31739/task/31740/stat : 31740 (java) T 31737 31739 31739 0 -1 4202560 58560 0 1 0 4740 6 0 0 25 0 19 0 850203649 8746946560 52224 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 46912505630179 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 4
[pid=31739/tid=31741] ppid=31737 vsize=8541940 CPUtime=0.11 cores=1,3,5,7
/proc/31739/task/31741/stat : 31741 (java) T 31737 31739 31739 0 -1 4202560 1121 0 0 0 11 0 0 0 15 0 19 0 850203650 8746946560 52224 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31739/tid=31742] ppid=31737 vsize=8541940 CPUtime=0.12 cores=1,3,5,7
/proc/31739/task/31742/stat : 31742 (java) T 31737 31739 31739 0 -1 4202560 1133 0 0 0 12 0 0 0 15 0 19 0 850203650 8746946560 52224 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31739/tid=31743] ppid=31737 vsize=8541940 CPUtime=0.09 cores=1,3,5,7
/proc/31739/task/31743/stat : 31743 (java) T 31737 31739 31739 0 -1 4202560 1389 0 0 0 9 0 0 0 15 0 19 0 850203650 8746946560 52224 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31739/tid=31744] ppid=31737 vsize=8541940 CPUtime=0.09 cores=1,3,5,7
/proc/31739/task/31744/stat : 31744 (java) T 31737 31739 31739 0 -1 4202560 1325 0 0 0 9 0 0 0 15 0 19 0 850203650 8746946560 52224 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31739/tid=31745] ppid=31737 vsize=8541940 CPUtime=0.09 cores=1,3,5,7
/proc/31739/task/31745/stat : 31745 (java) T 31737 31739 31739 0 -1 4202560 511 0 0 0 9 0 0 0 15 0 19 0 850203650 8746946560 52224 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=31739/tid=31746] ppid=31737 vsize=8541940 CPUtime=0.1 cores=1,3,5,7
/proc/31739/task/31746/stat : 31746 (java) T 31737 31739 31739 0 -1 4202560 879 0 0 0 10 0 0 0 15 0 19 0 850203650 8746946560 52224 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=31739/tid=31747] ppid=31737 vsize=8541940 CPUtime=0.08 cores=1,3,5,7
/proc/31739/task/31747/stat : 31747 (java) T 31737 31739 31739 0 -1 4202560 960 0 0 0 8 0 0 0 15 0 19 0 850203650 8746946560 52224 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=31739/tid=31748] ppid=31737 vsize=8541940 CPUtime=0.11 cores=1,3,5,7
/proc/31739/task/31748/stat : 31748 (java) T 31737 31739 31739 0 -1 4202560 1481 0 0 0 11 0 0 0 15 0 19 0 850203650 8746946560 52224 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=31739/tid=31749] ppid=31737 vsize=8541940 CPUtime=0.58 cores=1,3,5,7
/proc/31739/task/31749/stat : 31749 (java) T 31737 31739 31739 0 -1 4202560 1525 0 0 0 55 3 0 0 15 0 19 0 850203651 8746946560 52224 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107267584 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31739/tid=31750] ppid=31737 vsize=8541940 CPUtime=0 cores=1,3,5,7
/proc/31739/task/31750/stat : 31750 (java) T 31737 31739 31739 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 850203651 8746946560 52224 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31739/tid=31751] ppid=31737 vsize=8541940 CPUtime=0 cores=1,3,5,7
/proc/31739/task/31751/stat : 31751 (java) T 31737 31739 31739 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 850203651 8746946560 52224 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31739/tid=31752] ppid=31737 vsize=8541940 CPUtime=0 cores=1,3,5,7
/proc/31739/task/31752/stat : 31752 (java) T 31737 31739 31739 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850203653 8746946560 52224 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107274673 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31739/tid=31753] ppid=31737 vsize=8541940 CPUtime=0.32 cores=1,3,5,7
/proc/31739/task/31753/stat : 31753 (java) T 31737 31739 31739 0 -1 4202560 2964 0 0 0 32 0 0 0 15 0 19 0 850203653 8746946560 52224 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=31739/tid=31754] ppid=31737 vsize=8541940 CPUtime=0.3 cores=1,3,5,7
/proc/31739/task/31754/stat : 31754 (java) T 31737 31739 31739 0 -1 4202560 2838 0 0 0 30 0 0 0 15 0 19 0 850203653 8746946560 52224 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31739/tid=31755] ppid=31737 vsize=8541940 CPUtime=0 cores=1,3,5,7
/proc/31739/task/31755/stat : 31755 (java) T 31737 31739 31739 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850203653 8746946560 52224 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31739/tid=31756] ppid=31737 vsize=8541940 CPUtime=0 cores=1,3,5,7
/proc/31739/task/31756/stat : 31756 (java) T 31737 31739 31739 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850203653 8746946560 52224 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=31739/tid=31757] ppid=31737 vsize=8541940 CPUtime=0 cores=1,3,5,7
/proc/31739/task/31757/stat : 31757 (java) T 31737 31739 31739 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850203678 8746946560 52224 33554432000 1073741824 1073778376 140733998840976 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31737/tid=31759] ppid=31721 vsize=294156 CPUtime=0 cores=1,3,5,7
/proc/31737/task/31759/stat : 31759 (python) S 31721 31721 30366 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850208502 301215744 5897 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554946 18446604467755517824 0 0 -1 7 0 0 0
[pid=31760] ppid=31721 vsize=304548 CPUtime=0.24 cores=1,3,5,7
/proc/31760/stat : 31760 (python) S 31721 31721 30366 0 -1 4202560 1119 0 0 0 12 12 0 0 16 0 2 0 850208505 311857152 5935 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31760/statm: 76137 5935 391 364 0 11018 0
[pid=31762] ppid=31760 vsize=50960 CPUtime=48.61 cores=1,3,5,7
/proc/31762/stat : 31762 (scip-2.0.1.linu) T 31760 31762 31762 0 -1 4202496 14189 0 0 0 4809 52 0 0 25 0 1 0 850208505 52183040 9876 33554432000 4194304 15243407 140736422980560 18446744073709551615 8113833 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/31762/statm: 12740 9876 942 2698 0 10035 0
[pid=31760/tid=31766] ppid=31721 vsize=304548 CPUtime=0 cores=1,3,5,7
/proc/31760/task/31766/stat : 31766 (python) S 31721 31721 30366 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850213367 311857152 5935 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554946 18446604461275000896 0 0 -1 7 0 0 0
[pid=31767] ppid=31721 vsize=314804 CPUtime=0.24 cores=1,3,5,7
/proc/31767/stat : 31767 (python) S 31721 31721 30366 0 -1 4202560 1140 0 0 0 10 14 0 0 16 0 2 0 850213370 322359296 5958 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31767/statm: 78701 5958 391 364 0 13579 0
[pid=31769] ppid=31767 vsize=126876 CPUtime=49.22 cores=1,3,5,7
/proc/31769/stat : 31769 (wbo1.4a) T 31767 31769 31769 0 -1 4202496 31539 0 0 0 4885 37 0 0 25 0 1 0 850213370 129921024 31249 33554432000 134512640 135751879 4286648672 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/31769/statm: 31719 31249 146 303 0 31414 0
[pid=31767/tid=31771] ppid=31721 vsize=314804 CPUtime=0 cores=1,3,5,7
/proc/31767/task/31771/stat : 31771 (python) S 31721 31721 30366 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 850218296 322359296 5958 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554946 18446604470817649856 0 0 -1 1 0 0 0
[pid=31772] ppid=31721 vsize=325212 CPUtime=0 cores=1,3,5,7
/proc/31772/stat : 31772 (python) S 31721 31721 30366 0 -1 4202560 787 0 0 0 0 0 0 0 18 0 1 0 850218299 333017088 5909 33554432000 4194304 5683644 140734176562528 18446744073709551615 228095471174 0 0 16781312 33554946 3995529426027675648 0 0 17 5 0 0 0
/proc/31772/statm: 81303 5909 320 364 0 16178 0
[pid=31774] ppid=31772 vsize=8467352 CPUtime=0.11 cores=1,3,5,7
/proc/31774/stat : 31774 (java) S 31772 31774 31774 0 -1 4202496 5477 0 1 0 10 1 0 0 17 0 18 0 850218299 8670568448 4933 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31774/statm: 2116838 4933 2104 9 0 2107579 0
[pid=31774/tid=31775] ppid=31772 vsize=8467352 CPUtime=0.08 cores=1,3,5,7
/proc/31774/task/31775/stat : 31775 (java) R 31772 31774 31774 0 -1 4202560 3331 0 1 0 8 0 0 0 25 0 18 0 850218300 8670568448 4952 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107277771 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31774/tid=31776] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31776/stat : 31776 (java) S 31772 31774 31774 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 850218300 8670568448 4952 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107266969 0 4 0 16800975 18446604460560171968 0 0 -1 1 0 0 0
[pid=31774/tid=31777] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31777/stat : 31777 (java) S 31772 31774 31774 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850218300 8670568448 4952 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107266969 0 4 0 16800975 18446604460560171968 0 0 -1 7 0 0 0
[pid=31774/tid=31778] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31778/stat : 31778 (java) S 31772 31774 31774 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850218300 8670568448 4952 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107266969 0 4 0 16800975 18446604460560171968 0 0 -1 7 0 0 0
[pid=31774/tid=31779] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31779/stat : 31779 (java) S 31772 31774 31774 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850218300 8670568448 4952 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107266969 0 4 0 16800975 18446604460560171968 0 0 -1 7 0 0 0
[pid=31774/tid=31780] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31780/stat : 31780 (java) S 31772 31774 31774 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850218300 8670568448 4952 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107266969 0 4 0 16800975 18446604460560171968 0 0 -1 7 0 0 0
[pid=31774/tid=31781] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31781/stat : 31781 (java) S 31772 31774 31774 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850218300 8670568448 4952 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107266969 0 4 0 16800975 18446604460560171968 0 0 -1 7 0 0 0
[pid=31774/tid=31782] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31782/stat : 31782 (java) S 31772 31774 31774 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850218300 8670568448 4952 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107266969 0 4 0 16800975 18446604460560171968 0 0 -1 7 0 0 0
[pid=31774/tid=31783] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31783/stat : 31783 (java) S 31772 31774 31774 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850218300 8670568448 4952 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107266969 0 4 0 16800975 18446604460560171968 0 0 -1 7 0 0 0
[pid=31774/tid=31784] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31784/stat : 31784 (java) S 31772 31774 31774 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 850218301 8670568448 4952 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107267584 0 0 0 16800975 18446604460560171968 0 0 -1 7 0 0 0
[pid=31774/tid=31785] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31785/stat : 31785 (java) S 31772 31774 31774 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 850218302 8670568448 4953 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107266969 0 4 0 16800975 18446604460560171968 0 0 -1 1 0 0 0
[pid=31774/tid=31786] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31786/stat : 31786 (java) S 31772 31774 31774 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 850218302 8670568448 4953 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107266969 0 4 0 16800975 18446604460560171968 0 0 -1 1 0 0 0
[pid=31774/tid=31787] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31787/stat : 31787 (java) S 31772 31774 31774 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850218304 8670568448 4954 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107274673 0 4 0 16800975 18446604460560171968 0 0 -1 1 0 0 0
[pid=31774/tid=31788] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31788/stat : 31788 (java) R 31772 31774 31774 0 -1 4202560 204 0 0 0 0 0 0 0 25 0 18 0 850218304 8670568448 4954 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 47021542814514 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31774/tid=31789] ppid=31772 vsize=8467352 CPUtime=0.01 cores=1,3,5,7
/proc/31774/task/31789/stat : 31789 (java) S 31772 31774 31774 0 -1 4202560 572 0 0 0 1 0 0 0 25 0 18 0 850218304 8670568448 4954 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107266969 0 4 0 16800975 18446604460560171968 0 0 -1 5 0 0 0
[pid=31774/tid=31790] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31790/stat : 31790 (java) S 31772 31774 31774 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850218304 8670568448 4954 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107266969 0 4 0 16800975 18446604460560171968 0 0 -1 1 0 0 0
[pid=31774/tid=31791] ppid=31772 vsize=8467352 CPUtime=0 cores=1,3,5,7
/proc/31774/task/31791/stat : 31791 (java) S 31772 31774 31774 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850218304 8670568448 4954 33554432000 1073741824 1073778376 140736626947024 18446744073709551615 228107267584 0 4 0 16800975 18446604460560171968 0 0 -1 5 0 0 0
[pid=31721/tid=31729] ppid=31719 vsize=335456 CPUtime=0.01 cores=1,3,5,7
/proc/31721/task/31729/stat : 31729 (python) S 31719 31721 30366 0 -1 4202560 26 1350 0 0 0 0 1 0 20 0 6 0 850198784 343506944 7473 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554434 18446604458183554304 0 0 -1 5 0 0 0
[pid=31721/tid=31738] ppid=31719 vsize=335456 CPUtime=0.01 cores=1,3,5,7
/proc/31721/task/31738/stat : 31738 (python) S 31719 31721 30366 0 -1 4202560 30 1350 0 0 0 0 1 0 20 0 6 0 850203648 343506944 7473 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554434 18446604458183554304 0 0 -1 7 0 0 0
[pid=31721/tid=31761] ppid=31719 vsize=335456 CPUtime=0.01 cores=1,3,5,7
/proc/31721/task/31761/stat : 31761 (python) S 31719 31721 30366 0 -1 4202560 33 1350 0 0 0 0 1 0 20 0 6 0 850208505 343506944 7473 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554434 18446604458183554304 0 0 -1 5 0 0 0
[pid=31721/tid=31768] ppid=31719 vsize=335456 CPUtime=0.01 cores=1,3,5,7
/proc/31721/task/31768/stat : 31768 (python) S 31719 31721 30366 0 -1 4202560 30 1350 0 0 0 0 1 0 20 0 6 0 850213370 343506944 7473 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554434 18446604458183554304 0 0 -1 5 0 0 0
[pid=31721/tid=31773] ppid=31719 vsize=335456 CPUtime=0.01 cores=1,3,5,7
/proc/31721/task/31773/stat : 31773 (python) S 31719 31721 30366 0 -1 4202560 29 1350 0 0 0 0 1 0 20 0 6 0 850218299 343506944 7473 33554432000 4194304 5683644 140734176562528 18446744073709551615 228107274673 0 0 16781312 33554434 18446604458183554304 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 197.69
Current children cumulated vsize (KiB) 19111572
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31721 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=497924
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=113982
# CPU time returned by wait4() is 0.611906
# while last known CPU time is 197.69
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 195.886
CPU time (s): 197.69
CPU user time (s): 194.62
CPU system time (s): 3.07
CPU usage (%): 100.921
Max. virtual memory (cumulated for all children) (KiB): 19111572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.497924
system time used= 0.113982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15806
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= 1926
involuntary context switches= 25
runsolver used 1.25281 second user time and 2.59061 second system time
The end