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-3481457-1307577842/watcher-3481457-1307577842 -o /tmp/evaluation-result-3481457-1307577842/solver-3481457-1307577842 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481457-1307577842.opb -seed 1193797728 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.87 2.33 1.72 3/523 4217
/proc/meminfo: memFree=20568604/32951124 swapFree=67057920/67111528
[pid=4217] ppid=4215 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/4217/stat : 4217 (python) S 4215 4217 2733 0 -1 4202496 903 0 0 0 0 0 0 0 17 0 1 0 850199621 16150528 783 33554432000 4194304 5683644 140735967396192 18446744073709551615 254261614592 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/4217/statm: 3943 783 346 364 0 430 0
[startup+0.032237 s]
/proc/loadavg: 2.87 2.33 1.72 3/523 4217
/proc/meminfo: memFree=20568604/32951124 swapFree=67057920/67111528
[pid=4217] ppid=4215 vsize=18884 CPUtime=0.01 cores=0,2,4,6
/proc/4217/stat : 4217 (python) R 4215 4217 2733 0 -1 4202496 1282 0 0 0 1 0 0 0 17 0 1 0 850199621 19337216 1134 33554432000 4194304 5683644 140735967396192 18446744073709551615 254261277381 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4217/statm: 4721 1134 421 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18884
[startup+0.100221 s]
/proc/loadavg: 2.87 2.33 1.72 3/523 4217
/proc/meminfo: memFree=20568604/32951124 swapFree=67057920/67111528
[pid=4217] ppid=4215 vsize=96124 CPUtime=0.06 cores=0,2,4,6
/proc/4217/stat : 4217 (python) R 4215 4217 2733 0 -1 4202496 3169 929 1 0 5 1 0 0 18 0 1 0 850199621 98430976 2483 33554432000 4194304 5683644 140735967396192 18446744073709551615 5170305 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4217/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.300221 s]
/proc/loadavg: 2.87 2.33 1.72 3/523 4217
/proc/meminfo: memFree=20568604/32951124 swapFree=67057920/67111528
[pid=4217] ppid=4215 vsize=184244 CPUtime=0.23 cores=0,2,4,6
/proc/4217/stat : 4217 (python) R 4215 4217 2733 0 -1 4202496 6332 929 1 0 17 6 0 0 17 0 1 0 850199621 188665856 4635 33554432000 4194304 5683644 140735967396192 18446744073709551615 254261616384 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4217/statm: 46061 4635 1251 364 0 3567 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 184244
[startup+0.701134 s]
/proc/loadavg: 2.87 2.33 1.72 3/523 4217
/proc/meminfo: memFree=20568604/32951124 swapFree=67057920/67111528
[pid=4217] ppid=4215 vsize=284696 CPUtime=0.46 cores=0,2,4,6
/proc/4217/stat : 4217 (python) R 4215 4217 2733 0 -1 4202496 9763 929 1 0 34 12 0 0 15 0 1 0 850199621 291528704 7494 33554432000 4194304 5683644 140735967396192 18446744073709551615 4620076 0 0 16781312 2 18446744071562312847 0 0 17 0 0 0 0
/proc/4217/statm: 71174 7494 1777 364 0 6067 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 284696
[startup+1.501 s]
/proc/loadavg: 2.87 2.33 1.72 3/524 4223
/proc/meminfo: memFree=20534008/32951124 swapFree=67057920/67111528
[pid=4217] ppid=4215 vsize=300164 CPUtime=1.6 cores=0,2,4,6
/proc/4217/stat : 4217 (python) R 4215 4217 2733 0 -1 4202496 19601 1579 1 0 102 19 34 5 16 0 1 0 850199621 307367936 11389 33554432000 4194304 5683644 140735967396192 18446744073709551615 254261272485 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/4217/statm: 75041 11389 1816 364 0 9934 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 300164
[startup+3.1007 s]
/proc/loadavg: 2.87 2.33 1.72 3/524 4223
/proc/meminfo: memFree=20523840/32951124 swapFree=67057920/67111528
[pid=4217] ppid=4215 vsize=312200 CPUtime=2.65 cores=0,2,4,6
/proc/4217/stat : 4217 (python) S 4215 4217 2733 0 -1 4202496 20703 1579 1 0 206 20 34 5 19 0 2 0 850199621 319692800 11890 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4217/statm: 78050 11890 1871 364 0 12937 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 312200
[startup+6.30116 s]
/proc/loadavg: 2.80 2.33 1.72 3/527 4226
/proc/meminfo: memFree=20119988/32951124 swapFree=67057920/67111528
[pid=4217] ppid=4215 vsize=312200 CPUtime=2.65 cores=0,2,4,6
/proc/4217/stat : 4217 (python) S 4215 4217 2733 0 -1 4202496 20703 1579 1 0 206 20 34 5 19 0 2 0 850199621 319692800 11890 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4217/statm: 78050 11890 1871 364 0 12937 0
[pid=4224] ppid=4217 vsize=301956 CPUtime=0.02 cores=0,2,4,6
/proc/4224/stat : 4224 (python) S 4217 4217 2733 0 -1 4202560 862 0 0 0 1 1 0 0 15 0 1 0 850199876 309202944 10356 33554432000 4194304 5683644 140735967396192 18446744073709551615 254261636623 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/4224/statm: 75489 10356 341 364 0 10376 0
[pid=4226] ppid=4224 vsize=457880 CPUtime=3.74 cores=0,2,4,6
/proc/4226/stat : 4226 (scip-2.0.1.linu) R 4224 4226 4226 0 -1 4202496 113028 0 0 0 354 20 0 0 25 0 1 0 850199876 468869120 109630 33554432000 4194304 13684479 140734885889456 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4226/statm: 114470 109630 709 2317 0 112148 0
[pid=4217/tid=4225] ppid=4215 vsize=312200 CPUtime=0.39 cores=0,2,4,6
/proc/4217/task/4225/stat : 4225 (python) S 4215 4217 2733 0 -1 4202560 27 1579 0 0 0 0 34 5 19 0 2 0 850199876 319692800 11890 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554434 18446604453375877376 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 1072036
[startup+12.701 s]
/proc/loadavg: 2.83 2.35 1.74 3/527 4226
/proc/meminfo: memFree=20019016/32951124 swapFree=67057920/67111528
[pid=4217] ppid=4215 vsize=312200 CPUtime=2.65 cores=0,2,4,6
/proc/4217/stat : 4217 (python) S 4215 4217 2733 0 -1 4202496 20703 1579 1 0 206 20 34 5 19 0 2 0 850199621 319692800 11890 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4217/statm: 78050 11890 1871 364 0 12937 0
[pid=4224] ppid=4217 vsize=301956 CPUtime=0.04 cores=0,2,4,6
/proc/4224/stat : 4224 (python) S 4217 4217 2733 0 -1 4202560 866 0 0 0 2 2 0 0 15 0 1 0 850199876 309202944 10357 33554432000 4194304 5683644 140735967396192 18446744073709551615 254261636623 0 0 16781312 33554946 72409437758827250 0 0 17 4 0 0 0
/proc/4224/statm: 75489 10357 342 364 0 10376 0
[pid=4226] ppid=4224 vsize=520804 CPUtime=10.15 cores=0,2,4,6
/proc/4226/stat : 4226 (scip-2.0.1.linu) R 4224 4226 4226 0 -1 4202496 131023 0 0 0 989 26 0 0 25 0 1 0 850199876 533303296 126304 33554432000 4194304 13684479 140734885889456 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4226/statm: 130201 126304 783 2317 0 127879 0
[pid=4217/tid=4225] ppid=4215 vsize=312200 CPUtime=0.39 cores=0,2,4,6
/proc/4217/task/4225/stat : 4225 (python) S 4215 4217 2733 0 -1 4202560 27 1579 0 0 0 0 34 5 19 0 2 0 850199876 319692800 11890 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554434 18446604453375877376 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.84
Current children cumulated vsize (KiB) 1134960
[startup+25.5008 s]
/proc/loadavg: 2.78 2.35 1.75 3/527 4227
/proc/meminfo: memFree=19993980/32951124 swapFree=67057920/67111528
[pid=4217] ppid=4215 vsize=312200 CPUtime=2.65 cores=0,2,4,6
/proc/4217/stat : 4217 (python) S 4215 4217 2733 0 -1 4202496 20703 1579 1 0 206 20 34 5 19 0 2 0 850199621 319692800 11890 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4217/statm: 78050 11890 1871 364 0 12937 0
[pid=4224] ppid=4217 vsize=301956 CPUtime=0.09 cores=0,2,4,6
/proc/4224/stat : 4224 (python) S 4217 4217 2733 0 -1 4202560 873 0 0 0 4 5 0 0 15 0 1 0 850199876 309202944 10357 33554432000 4194304 5683644 140735967396192 18446744073709551615 254261636623 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/4224/statm: 75489 10357 342 364 0 10376 0
[pid=4226] ppid=4224 vsize=545092 CPUtime=22.94 cores=0,2,4,6
/proc/4226/stat : 4226 (scip-2.0.1.linu) R 4224 4226 4226 0 -1 4202496 137446 0 0 0 2218 76 0 0 25 0 1 0 850199876 558174208 132349 33554432000 4194304 13684479 140734885889456 18446744073709551615 6427705 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4226/statm: 136273 132349 827 2317 0 133951 0
[pid=4217/tid=4225] ppid=4215 vsize=312200 CPUtime=0.39 cores=0,2,4,6
/proc/4217/task/4225/stat : 4225 (python) S 4215 4217 2733 0 -1 4202560 27 1579 0 0 0 0 34 5 19 0 2 0 850199876 319692800 11890 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554434 18446604453375877376 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.68
Current children cumulated vsize (KiB) 1159248
[startup+51.1012 s]
/proc/loadavg: 2.51 2.32 1.75 3/549 4250
/proc/meminfo: memFree=19297364/32951124 swapFree=67057920/67111528
[pid=4217] ppid=4215 vsize=312200 CPUtime=2.65 cores=0,2,4,6
/proc/4217/stat : 4217 (python) S 4215 4217 2733 0 -1 4202496 20703 1579 1 0 206 20 34 5 19 0 2 0 850199621 319692800 11890 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4217/statm: 78050 11890 1871 364 0 12937 0
[pid=4224] ppid=4217 vsize=301956 CPUtime=0.19 cores=0,2,4,6
/proc/4224/stat : 4224 (python) S 4217 4217 2733 0 -1 4202560 888 0 0 0 10 9 0 0 15 0 1 0 850199876 309202944 10357 33554432000 4194304 5683644 140735967396192 18446744073709551615 254261636623 0 0 16781312 33554946 72556772316949234 0 0 17 6 0 0 0
/proc/4224/statm: 75489 10357 342 364 0 10376 0
[pid=4226] ppid=4224 vsize=558616 CPUtime=48.54 cores=0,2,4,6
/proc/4226/stat : 4226 (scip-2.0.1.linu) R 4224 4226 4226 0 -1 4202496 138684 0 0 0 4771 83 0 0 25 0 1 0 850199876 572022784 133556 33554432000 4194304 13684479 140734885889456 18446744073709551615 7267014 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4226/statm: 139654 133556 796 2317 0 137332 0
[pid=4217/tid=4225] ppid=4215 vsize=312200 CPUtime=0.39 cores=0,2,4,6
/proc/4217/task/4225/stat : 4225 (python) S 4215 4217 2733 0 -1 4202560 27 1579 0 0 0 0 34 5 19 0 2 0 850199876 319692800 11890 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554434 18446604453375877376 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.38
Current children cumulated vsize (KiB) 1172772
[startup+102.301 s]
/proc/loadavg: 2.15 2.26 1.75 3/573 4352
/proc/meminfo: memFree=16648704/32951124 swapFree=67057920/67111528
[pid=4217] ppid=4215 vsize=332712 CPUtime=2.71 cores=0,2,4,6
/proc/4217/stat : 4217 (python) S 4215 4217 2733 0 -1 4202496 22497 1579 1 0 211 21 34 5 20 0 4 0 850199621 340697088 11903 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4217/statm: 83178 11903 1876 364 0 18059 0
[pid=4224] ppid=4217 vsize=312200 CPUtime=0.21 cores=0,2,4,6
/proc/4224/stat : 4224 (python) S 4217 4217 2733 0 -1 4202560 1089 0 0 0 12 9 0 0 17 0 2 0 850199876 319692800 10425 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4224/statm: 78050 10425 405 364 0 12937 0
[pid=4226] ppid=4224 vsize=701624 CPUtime=50.87 cores=0,2,4,6
/proc/4226/stat : 4226 (scip-2.0.1.linu) T 4224 4226 4226 0 -1 4202496 175439 0 0 0 5001 86 0 0 21 0 1 0 850199876 718462976 170309 33554432000 4194304 13684479 140734885889456 18446744073709551615 5096704 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/4226/statm: 175406 170309 803 2317 0 173084 0
[pid=4224/tid=4251] ppid=4217 vsize=312200 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4251/stat : 4251 (python) S 4217 4217 2733 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 850204965 319692800 10425 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554946 18446604451908469056 0 0 -1 6 0 0 0
[pid=4252] ppid=4217 vsize=312212 CPUtime=0.2 cores=0,2,4,6
/proc/4252/stat : 4252 (python) S 4217 4217 2733 0 -1 4202560 1190 0 0 0 10 10 0 0 16 0 2 0 850204967 319705088 10416 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4252/statm: 78053 10416 396 364 0 12937 0
[pid=4254] ppid=4252 vsize=68952 CPUtime=45.98 cores=0,2,4,6
/proc/4254/stat : 4254 (wbo1.4a) T 4252 4254 4254 0 -1 4202496 19458 0 0 0 4586 12 0 0 25 0 1 0 850204968 70606848 16625 33554432000 134512640 135751879 4289811744 18446744073709551615 134518796 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/4254/statm: 17238 16625 146 303 0 16933 0
[pid=4252/tid=4325] ppid=4217 vsize=312212 CPUtime=0 cores=0,2,4,6
/proc/4252/task/4325/stat : 4325 (python) S 4217 4217 2733 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 2 0 850209566 319705088 10416 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554946 18446604440882701568 0 0 -1 6 0 0 0
[pid=4326] ppid=4217 vsize=322468 CPUtime=0 cores=0,2,4,6
/proc/4326/stat : 4326 (python) S 4217 4217 2733 0 -1 4202560 883 0 0 0 0 0 0 0 15 0 1 0 850209569 330207232 10349 33554432000 4194304 5683644 140735967396192 18446744073709551615 254261636678 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/4326/statm: 80617 10349 326 364 0 15498 0
[pid=4330] ppid=4326 vsize=8544332 CPUtime=4.61 cores=0,2,4,6
/proc/4330/stat : 4330 (java) S 4326 4330 4330 0 -1 4202496 94619 0 1 0 447 14 0 0 22 0 19 0 850209569 8749395968 91074 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4330/statm: 2136083 91074 2250 9 0 2126824 0
[pid=4330/tid=4331] ppid=4326 vsize=8544332 CPUtime=2.67 cores=0,2,4,6
/proc/4330/task/4331/stat : 4331 (java) R 4326 4330 4330 0 -1 4202560 62167 0 1 0 257 10 0 0 18 0 19 0 850209570 8749395968 91074 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 46912506064336 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4330/tid=4332] ppid=4326 vsize=8544332 CPUtime=0.05 cores=0,2,4,6
/proc/4330/task/4332/stat : 4332 (java) S 4326 4330 4330 0 -1 4202560 3991 0 0 0 5 0 0 0 16 0 19 0 850209571 8749395968 91074 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446604440882702464 0 0 -1 6 0 0 0
[pid=4330/tid=4333] ppid=4326 vsize=8544332 CPUtime=0.02 cores=0,2,4,6
/proc/4330/task/4333/stat : 4333 (java) S 4326 4330 4330 0 -1 4202560 1645 0 0 0 2 0 0 0 15 0 19 0 850209571 8749395968 91074 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446604440882702464 0 0 -1 6 0 0 0
[pid=4330/tid=4334] ppid=4326 vsize=8544332 CPUtime=0 cores=0,2,4,6
/proc/4330/task/4334/stat : 4334 (java) S 4326 4330 4330 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850209571 8749395968 91074 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446604440882702464 0 0 -1 0 0 0 0
[pid=4330/tid=4335] ppid=4326 vsize=8544332 CPUtime=0.04 cores=0,2,4,6
/proc/4330/task/4335/stat : 4335 (java) S 4326 4330 4330 0 -1 4202560 3098 0 0 0 4 0 0 0 16 0 19 0 850209571 8749395968 91074 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446604440882702464 0 0 -1 2 0 0 0
[pid=4330/tid=4336] ppid=4326 vsize=8544332 CPUtime=0.02 cores=0,2,4,6
/proc/4330/task/4336/stat : 4336 (java) S 4326 4330 4330 0 -1 4202560 1487 0 0 0 2 0 0 0 15 0 19 0 850209571 8749395968 91074 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446604440882702464 0 0 -1 0 0 0 0
[pid=4330/tid=4338] ppid=4326 vsize=8544332 CPUtime=0.05 cores=0,2,4,6
/proc/4330/task/4338/stat : 4338 (java) S 4326 4330 4330 0 -1 4202560 4511 0 0 0 5 0 0 0 15 0 19 0 850209571 8749395968 91074 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446604440882702464 0 0 -1 2 0 0 0
[pid=4330/tid=4339] ppid=4326 vsize=8544332 CPUtime=0 cores=0,2,4,6
/proc/4330/task/4339/stat : 4339 (java) S 4326 4330 4330 0 -1 4202560 449 0 0 0 0 0 0 0 15 0 19 0 850209571 8749395968 91074 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446604440882702464 0 0 -1 0 0 0 0
[pid=4330/tid=4341] ppid=4326 vsize=8544332 CPUtime=0.07 cores=0,2,4,6
/proc/4330/task/4341/stat : 4341 (java) S 4326 4330 4330 0 -1 4202560 5733 0 0 0 7 0 0 0 16 0 19 0 850209571 8749395968 91074 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446604440882702464 0 0 -1 0 0 0 0
[pid=4330/tid=4342] ppid=4326 vsize=8544332 CPUtime=0 cores=0,2,4,6
/proc/4330/task/4342/stat : 4342 (java) S 4326 4330 4330 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 19 0 850209572 8749395968 91074 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273433088 0 0 0 16800975 18446604440882702464 0 0 -1 6 0 0 0
[pid=4330/tid=4344] ppid=4326 vsize=8544332 CPUtime=0 cores=0,2,4,6
/proc/4330/task/4344/stat : 4344 (java) S 4326 4330 4330 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850209572 8749395968 91074 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446604440882702464 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=4217/tid=4253] ppid=4215 vsize=363480 CPUtime=0.39 cores=0,2,4,6
/proc/4217/task/4253/stat : 4253 (python) S 4215 4217 2733 0 -1 4202560 29 1579 0 0 0 0 34 5 20 0 7 0 850204968 372203520 11921 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554434 18446604453375877376 0 0 -1 0 0 0 0
[pid=4217/tid=4327] ppid=4215 vsize=363480 CPUtime=0.39 cores=0,2,4,6
/proc/4217/task/4327/stat : 4327 (python) S 4215 4217 2733 0 -1 4202560 34 1579 0 0 0 0 34 5 20 0 7 0 850209569 372203520 11921 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554434 18446604453375877376 0 0 -1 6 0 0 0
[pid=4217/tid=4380] ppid=4215 vsize=363480 CPUtime=0.39 cores=0,2,4,6
/proc/4217/task/4380/stat : 4380 (python) S 4215 4217 2733 0 -1 4202560 29 1579 0 0 0 0 34 5 20 0 7 0 850214439 372203520 11921 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554434 18446604453375877376 0 0 -1 6 0 0 0
[pid=4217/tid=4397] ppid=4215 vsize=363480 CPUtime=0.39 cores=0,2,4,6
/proc/4217/task/4397/stat : 4397 (python) S 4215 4217 2733 0 -1 4202560 31 1579 0 0 0 0 34 5 20 0 7 0 850228358 372203520 11921 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554434 18446604453375877376 0 0 -1 6 0 0 0
[pid=4217/tid=4646] ppid=4215 vsize=363480 CPUtime=0.39 cores=0,2,4,6
/proc/4217/task/4646/stat : 4646 (python) S 4215 4217 2733 0 -1 4202560 29 1579 0 0 0 0 34 5 20 0 7 0 850260742 372203520 11921 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554434 18446604453375877376 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 618.48
Current children cumulated vsize (KiB) 20669280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+612.202 s]
/proc/loadavg: 2.44 2.22 1.92 4/667 4665
/proc/meminfo: memFree=11838068/32951124 swapFree=67057920/67111528
[pid=4217] ppid=4215 vsize=363480 CPUtime=2.82 cores=0,2,4,6
/proc/4217/stat : 4217 (python) S 4215 4217 2733 0 -1 4202496 25469 1579 1 0 222 21 34 5 20 0 7 0 850199621 372203520 11921 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4217/statm: 90870 11921 1882 364 0 25742 0
[pid=4224] ppid=4217 vsize=312200 CPUtime=1.4 cores=0,2,4,6
/proc/4224/stat : 4224 (python) S 4217 4217 2733 0 -1 4202560 1176 0 0 0 74 66 0 0 15 0 2 0 850199876 319692800 10426 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/4224/statm: 78050 10426 406 364 0 12937 0
[pid=4226] ppid=4224 vsize=573012 CPUtime=325.83 cores=0,2,4,6
/proc/4226/stat : 4226 (scip-2.0.1.linu) T 4224 4226 4226 0 -1 4202496 181499 0 0 0 32441 142 0 0 25 0 1 0 850199876 586764288 139306 33554432000 4194304 13684479 140734885889456 18446744073709551615 7268350 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/4226/statm: 143253 139306 830 2317 0 140931 0
[pid=4224/tid=4251] ppid=4217 vsize=312200 CPUtime=0 cores=0,2,4,6
/proc/4224/task/4251/stat : 4251 (python) S 4217 4217 2733 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 850204965 319692800 10426 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554946 18446604451908469056 0 0 -1 6 0 0 0
[pid=4252] ppid=4217 vsize=312212 CPUtime=0.2 cores=0,2,4,6
/proc/4252/stat : 4252 (python) S 4217 4217 2733 0 -1 4202560 1190 0 0 0 10 10 0 0 16 0 2 0 850204967 319705088 10416 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4252/statm: 78053 10416 396 364 0 12937 0
[pid=4254] ppid=4252 vsize=68952 CPUtime=45.98 cores=0,2,4,6
/proc/4254/stat : 4254 (wbo1.4a) T 4252 4254 4254 0 -1 4202496 19458 0 0 0 4586 12 0 0 25 0 1 0 850204968 70606848 16625 33554432000 134512640 135751879 4289811744 18446744073709551615 134518796 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/4254/statm: 17238 16625 146 303 0 16933 0
[pid=4252/tid=4325] ppid=4217 vsize=312212 CPUtime=0 cores=0,2,4,6
/proc/4252/task/4325/stat : 4325 (python) S 4217 4217 2733 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 2 0 850209566 319705088 10416 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554946 18446604440882701568 0 0 -1 6 0 0 0
[pid=4326] ppid=4217 vsize=322468 CPUtime=0.2 cores=0,2,4,6
/proc/4326/stat : 4326 (python) S 4217 4217 2733 0 -1 4202560 1205 0 0 0 10 10 0 0 16 0 2 0 850209569 330207232 10420 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4326/statm: 80617 10420 396 364 0 15498 0
[pid=4330] ppid=4326 vsize=8542072 CPUtime=51.12 cores=0,2,4,6
/proc/4330/stat : 4330 (java) T 4326 4330 4330 0 -1 4202496 651200 0 1 0 5033 79 0 0 18 0 19 0 850209569 8747081728 646768 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4330/statm: 2135518 646768 2252 9 0 2126259 0
[pid=4330/tid=4331] ppid=4326 vsize=8542072 CPUtime=48.3 cores=0,2,4,6
/proc/4330/task/4331/stat : 4331 (java) T 4326 4330 4330 0 -1 4202560 560966 0 1 0 4766 64 0 0 25 0 19 0 850209570 8747081728 646768 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 46912506112655 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4330/tid=4332] ppid=4326 vsize=8542072 CPUtime=0.14 cores=0,2,4,6
/proc/4330/task/4332/stat : 4332 (java) T 4326 4330 4330 0 -1 4202560 11765 0 0 0 13 1 0 0 15 0 19 0 850209571 8747081728 646768 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4330/tid=4333] ppid=4326 vsize=8542072 CPUtime=0.05 cores=0,2,4,6
/proc/4330/task/4333/stat : 4333 (java) T 4326 4330 4330 0 -1 4202560 4562 0 0 0 5 0 0 0 15 0 19 0 850209571 8747081728 646768 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4330/tid=4334] ppid=4326 vsize=8542072 CPUtime=0.05 cores=0,2,4,6
/proc/4330/task/4334/stat : 4334 (java) T 4326 4330 4330 0 -1 4202560 5321 0 0 0 5 0 0 0 15 0 19 0 850209571 8747081728 646768 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4330/tid=4335] ppid=4326 vsize=8542072 CPUtime=0.13 cores=0,2,4,6
/proc/4330/task/4335/stat : 4335 (java) T 4326 4330 4330 0 -1 4202560 11189 0 0 0 12 1 0 0 15 0 19 0 850209571 8747081728 646768 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4330/tid=4336] ppid=4326 vsize=8542072 CPUtime=0.11 cores=0,2,4,6
/proc/4330/task/4336/stat : 4336 (java) T 4326 4330 4330 0 -1 4202560 9318 0 0 0 10 1 0 0 15 0 19 0 850209571 8747081728 646768 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4330/tid=4338] ppid=4326 vsize=8542072 CPUtime=0.16 cores=0,2,4,6
/proc/4330/task/4338/stat : 4338 (java) T 4326 4330 4330 0 -1 4202560 12423 0 0 0 15 1 0 0 15 0 19 0 850209571 8747081728 646768 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4330/tid=4339] ppid=4326 vsize=8542072 CPUtime=0.11 cores=0,2,4,6
/proc/4330/task/4339/stat : 4339 (java) T 4326 4330 4330 0 -1 4202560 9674 0 0 0 10 1 0 0 15 0 19 0 850209571 8747081728 646768 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4330/tid=4341] ppid=4326 vsize=8542072 CPUtime=0.17 cores=0,2,4,6
/proc/4330/task/4341/stat : 4341 (java) T 4326 4330 4330 0 -1 4202560 13351 0 0 0 16 1 0 0 15 0 19 0 850209571 8747081728 646768 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4330/tid=4342] ppid=4326 vsize=8542072 CPUtime=0 cores=0,2,4,6
/proc/4330/task/4342/stat : 4342 (java) T 4326 4330 4330 0 -1 4202560 1271 0 0 0 0 0 0 0 15 0 19 0 850209572 8747081728 646768 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273433088 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4330/tid=4344] ppid=4326 vsize=8542072 CPUtime=0 cores=0,2,4,6
/proc/4330/task/4344/stat : 4344 (java) T 4326 4330 4330 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850209572 8747081728 646768 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4330/tid=4345] ppid=4326 vsize=8542072 CPUtime=0 cores=0,2,4,6
/proc/4330/task/4345/stat : 4345 (java) T 4326 4330 4330 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850209572 8747081728 646768 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4330/tid=4346] ppid=4326 vsize=8542072 CPUtime=0 cores=0,2,4,6
/proc/4330/task/4346/stat : 4346 (java) T 4326 4330 4330 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850209574 8747081728 646768 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273440177 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4330/tid=4347] ppid=4326 vsize=8542072 CPUtime=0.79 cores=0,2,4,6
/proc/4330/task/4347/stat : 4347 (java) T 4326 4330 4330 0 -1 4202560 5419 0 0 0 78 1 0 0 15 0 19 0 850209574 8747081728 646768 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4330/tid=4348] ppid=4326 vsize=8542072 CPUtime=0.96 cores=0,2,4,6
/proc/4330/task/4348/stat : 4348 (java) T 4326 4330 4330 0 -1 4202560 4546 0 0 0 96 0 0 0 15 0 19 0 850209574 8747081728 646768 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4330/tid=4349] ppid=4326 vsize=8542072 CPUtime=0 cores=0,2,4,6
/proc/4330/task/4349/stat : 4349 (java) T 4326 4330 4330 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850209574 8747081728 646768 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4330/tid=4350] ppid=4326 vsize=8542072 CPUtime=0 cores=0,2,4,6
/proc/4330/task/4350/stat : 4350 (java) T 4326 4330 4330 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 850209574 8747081728 646768 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273433088 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4330/tid=4352] ppid=4326 vsize=8542072 CPUtime=0 cores=0,2,4,6
/proc/4330/task/4352/stat : 4352 (java) T 4326 4330 4330 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850209645 8747081728 646768 33554432000 1073741824 1073778376 140733427094112 18446744073709551615 254273433088 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4326/tid=4378] ppid=4217 vsize=322468 CPUtime=0 cores=0,2,4,6
/proc/4326/task/4378/stat : 4378 (python) S 4217 4217 2733 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 850214437 330207232 10420 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554946 18446604450338392128 0 0 -1 6 0 0 0
[pid=4379] ppid=4217 vsize=332724 CPUtime=0.38 cores=0,2,4,6
/proc/4379/stat : 4379 (python) S 4217 4217 2733 0 -1 4202560 1193 0 0 0 18 20 0 0 16 0 2 0 850214439 340709376 10418 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4379/statm: 83181 10418 390 364 0 18059 0
[pid=4381] ppid=4379 vsize=46504 CPUtime=93.94 cores=0,2,4,6
/proc/4381/stat : 4381 (clasp-1.3.7-x86) T 4379 4381 4381 0 -1 4202496 12472 0 0 0 9392 2 0 0 25 0 1 0 850214439 47620096 11377 33554432000 134512640 136139019 4289865600 18446744073709551615 134831864 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/4381/statm: 11626 11377 187 398 0 11226 0
[pid=4379/tid=4390] ppid=4217 vsize=332724 CPUtime=0 cores=0,2,4,6
/proc/4379/task/4390/stat : 4390 (python) S 4217 4217 2733 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 850223835 340709376 10418 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554946 18446604443645506688 0 0 -1 6 0 0 0
[pid=4396] ppid=4217 vsize=342980 CPUtime=0.4 cores=0,2,4,6
/proc/4396/stat : 4396 (python) S 4217 4217 2733 0 -1 4202560 1189 0 0 0 19 21 0 0 16 0 2 0 850228357 351211520 10422 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/4396/statm: 85745 10422 390 364 0 20620 0
[pid=4398] ppid=4396 vsize=557200 CPUtime=93.98 cores=0,2,4,6
/proc/4398/stat : 4398 (scip-2.0.1.linu) T 4396 4398 4398 0 -1 4202496 194498 0 0 0 9291 107 0 0 25 0 1 0 850228358 570572800 134863 33554432000 4194304 15243407 140734781822624 18446744073709551615 7115026 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4398/statm: 139300 134863 957 2698 0 136595 0
[pid=4396/tid=4487] ppid=4217 vsize=342980 CPUtime=0 cores=0,2,4,6
/proc/4396/task/4487/stat : 4487 (python) S 4217 4217 2733 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 2 0 850237757 351211520 10422 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554946 18446604441448908672 0 0 -1 4 0 0 0
[pid=4645] ppid=4217 vsize=353236 CPUtime=0 cores=0,2,4,6
/proc/4645/stat : 4645 (python) S 4217 4217 2733 0 -1 4202560 814 0 0 0 0 0 0 0 15 0 1 0 850260741 361713664 10354 33554432000 4194304 5683644 140735967396192 18446744073709551615 254261636678 0 0 16781312 33554946 2592569206213967872 0 0 17 4 0 0 0
/proc/4645/statm: 88309 10354 319 364 0 23181 0
[pid=4647] ppid=4645 vsize=8542240 CPUtime=2.23 cores=0,2,4,6
/proc/4647/stat : 4647 (java) S 4645 4647 4647 0 -1 4202496 42850 0 1 0 217 6 0 0 20 0 19 0 850260742 8747253760 39254 33554432000 1073741824 1073778376 140734297911104 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4647/statm: 2135560 39257 2236 9 0 2126301 0
[pid=4647/tid=4648] ppid=4645 vsize=8542240 CPUtime=1.01 cores=0,2,4,6
/proc/4647/task/4648/stat : 4648 (java) R 4645 4647 4647 0 -1 4202560 32102 0 1 0 97 4 0 0 19 0 19 0 850260743 8747253760 39741 33554432000 1073741824 1073778376 140734297911104 18446744073709551615 46912505971664 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4647/tid=4649] ppid=4645 vsize=8542240 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4649/stat : 4649 (java) S 4645 4647 4647 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850260743 8747253760 39741 33554432000 1073741824 1073778376 140734297911104 18446744073709551615 254273432473 0 4 0 16800975 18446604453375878272 0 0 -1 4 0 0 0
[pid=4647/tid=4650] ppid=4645 vsize=8542240 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4650/stat : 4650 (java) S 4645 4647 4647 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850260743 8747253760 39741 33554432000 1073741824 1073778376 140734297911104 18446744073709551615 254273432473 0 4 0 16800975 18446604453375878272 0 0 -1 4 0 0 0
[pid=4647/tid=4651] ppid=4645 vsize=8542240 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4651/stat : 4651 (java) S 4645 4647 4647 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850260743 8747253760 39741 33554432000 1073741824 1073778376 140734297911104 18446744073709551615 254273432473 0 4 0 16800975 18446604453375878272 0 0 -1 4 0 0 0
[pid=4647/tid=4652] ppid=4645 vsize=8542240 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4652/stat : 4652 (java) S 4645 4647 4647 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850260743 8747253760 39742 33554432000 1073741824 1073778376 140734297911104 18446744073709551615 254273432473 0 4 0 16800975 18446604453375878272 0 0 -1 4 0 0 0
[pid=4647/tid=4653] ppid=4645 vsize=8542240 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4653/stat : 4653 (java) S 4645 4647 4647 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850260743 8747253760 39743 33554432000 1073741824 1073778376 140734297911104 18446744073709551615 254273432473 0 4 0 16800975 18446604453375878272 0 0 -1 4 0 0 0
[pid=4647/tid=4654] ppid=4645 vsize=8542240 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4654/stat : 4654 (java) S 4645 4647 4647 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850260743 8747253760 39744 33554432000 1073741824 1073778376 140734297911104 18446744073709551615 254273432473 0 4 0 16800975 18446604453375878272 0 0 -1 4 0 0 0
[pid=4647/tid=4655] ppid=4645 vsize=8542240 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4655/stat : 4655 (java) S 4645 4647 4647 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850260743 8747253760 39745 33554432000 1073741824 1073778376 140734297911104 18446744073709551615 254273432473 0 4 0 16800975 18446604453375878272 0 0 -1 4 0 0 0
[pid=4647/tid=4656] ppid=4645 vsize=8542240 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4656/stat : 4656 (java) S 4645 4647 4647 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850260743 8747253760 39746 33554432000 1073741824 1073778376 140734297911104 18446744073709551615 254273432473 0 4 0 16800975 18446604453375878272 0 0 -1 4 0 0 0
[pid=4647/tid=4657] ppid=4645 vsize=8542240 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4657/stat : 4657 (java) S 4645 4647 4647 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 850260744 8747253760 39748 33554432000 1073741824 1073778376 140734297911104 18446744073709551615 254273433088 0 0 0 16800975 18446604453375878272 0 0 -1 4 0 0 0
[pid=4647/tid=4658] ppid=4645 vsize=8542240 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4658/stat : 4658 (java) S 4645 4647 4647 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850260745 8747253760 39749 33554432000 1073741824 1073778376 140734297911104 18446744073709551615 254273432473 0 4 0 16800975 18446604453375878272 0 0 -1 4 0 0 0
[pid=4647/tid=4659] ppid=4645 vsize=8542240 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4659/stat : 4659 (java) S 4645 4647 4647 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850260745 8747253760 39750 33554432000 1073741824 1073778376 140734297911104 18446744073709551615 254273432473 0 4 0 16800975 18446604453375878272 0 0 -1 4 0 0 0
[pid=4647/tid=4660] ppid=4645 vsize=8542240 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4660/stat : 4660 (java) S 4645 4647 4647 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850260747 8747253760 39751 33554432000 1073741824 1073778376 140734297911104 18446744073709551615 254273440177 0 4 0 16800975 18446604453375878272 0 0 -1 4 0 0 0
[pid=4647/tid=4661] ppid=4645 vsize=8542240 CPUtime=0.58 cores=0,2,4,6
/proc/4647/task/4661/stat : 4661 (java) S 4645 4647 4647 0 -1 4202560 3586 0 0 0 58 0 0 0 16 0 19 0 850260747 8747253760 39753 33554432000 1073741824 1073778376 140734297911104 18446744073709551615 254273432473 0 4 0 16800975 18446604453375878272 0 0 -1 0 0 0 0
[pid=4647/tid=4662] ppid=4645 vsize=8542240 CPUtime=0.62 cores=0,2,4,6
/proc/4647/task/4662/stat : 4662 (java) S 4645 4647 4647 0 -1 4202560 6246 0 0 0 61 1 0 0 16 0 19 0 850260747 8747253760 39754 33554432000 1073741824 1073778376 140734297911104 18446744073709551615 254273432473 0 4 0 16800975 18446604453375878272 0 0 -1 2 0 0 0
[pid=4647/tid=4663] ppid=4645 vsize=8542240 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4663/stat : 4663 (java) S 4645 4647 4647 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850260747 8747253760 39756 33554432000 1073741824 1073778376 140734297911104 18446744073709551615 254273432473 0 4 0 16800975 18446604453375878272 0 0 -1 4 0 0 0
[pid=4647/tid=4664] ppid=4645 vsize=8542240 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4664/stat : 4664 (java) S 4645 4647 4647 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 850260747 8747253760 39757 33554432000 1073741824 1073778376 140734297911104 18446744073709551615 254273433088 0 4 0 16800975 18446604453375878272 0 0 -1 0 0 0 0
[pid=4647/tid=4665] ppid=4645 vsize=8542240 CPUtime=0 cores=0,2,4,6
/proc/4647/task/4665/stat : 4665 (java) S 4645 4647 4647 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850260817 8747253760 39759 33554432000 1073741824 1073778376 140734297911104 18446744073709551615 254273433088 0 4 0 16800975 18446604453375878272 0 0 -1 0 0 0 0
[pid=4217/tid=4225] ppid=4215 vsize=363480 CPUtime=0.39 cores=0,2,4,6
/proc/4217/task/4225/stat : 4225 (python) S 4215 4217 2733 0 -1 4202560 38 1579 0 0 0 0 34 5 18 0 7 0 850199876 372203520 11921 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554434 18446604453375877376 0 0 -1 4 0 0 0
[pid=4217/tid=4253] ppid=4215 vsize=363480 CPUtime=0.39 cores=0,2,4,6
/proc/4217/task/4253/stat : 4253 (python) S 4215 4217 2733 0 -1 4202560 29 1579 0 0 0 0 34 5 20 0 7 0 850204968 372203520 11921 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554434 18446604453375877376 0 0 -1 0 0 0 0
[pid=4217/tid=4327] ppid=4215 vsize=363480 CPUtime=0.39 cores=0,2,4,6
/proc/4217/task/4327/stat : 4327 (python) S 4215 4217 2733 0 -1 4202560 34 1579 0 0 0 0 34 5 20 0 7 0 850209569 372203520 11921 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554434 18446604453375877376 0 0 -1 6 0 0 0
[pid=4217/tid=4380] ppid=4215 vsize=363480 CPUtime=0.39 cores=0,2,4,6
/proc/4217/task/4380/stat : 4380 (python) S 4215 4217 2733 0 -1 4202560 29 1579 0 0 0 0 34 5 20 0 7 0 850214439 372203520 11921 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554434 18446604453375877376 0 0 -1 6 0 0 0
[pid=4217/tid=4397] ppid=4215 vsize=363480 CPUtime=0.39 cores=0,2,4,6
/proc/4217/task/4397/stat : 4397 (python) S 4215 4217 2733 0 -1 4202560 31 1579 0 0 0 0 34 5 20 0 7 0 850228358 372203520 11921 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554434 18446604453375877376 0 0 -1 6 0 0 0
[pid=4217/tid=4646] ppid=4215 vsize=363480 CPUtime=0.39 cores=0,2,4,6
/proc/4217/task/4646/stat : 4646 (python) S 4215 4217 2733 0 -1 4202560 29 1579 0 0 0 0 34 5 20 0 7 0 850260742 372203520 11921 33554432000 4194304 5683644 140735967396192 18446744073709551615 254273440177 0 0 16781312 33554434 18446604453375877376 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 618.48
Current children cumulated vsize (KiB) 20669280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4217 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=574608
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=274958
# CPU time returned by wait4() is 2.84957
# while last known CPU time is 618.48
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 612.322
CPU time (s): 618.48
CPU user time (s): 613.47
CPU system time (s): 5.01
CPU usage (%): 101.006
Max. virtual memory (cumulated for all children) (KiB): 20669280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.57461
system time used= 0.274958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27052
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= 24385
involuntary context switches= 33
runsolver used 5.00424 second user time and 9.8515 second system time
The end