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-3481494-1307577937/watcher-3481494-1307577937 -o /tmp/evaluation-result-3481494-1307577937/solver-3481494-1307577937 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481494-1307577937.opb -seed 1047288833 -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.16 2.26 1.75 3/547 4315
/proc/meminfo: memFree=17015784/32951124 swapFree=67057920/67111528
[pid=4315] ppid=4312 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/4315/stat : 4315 (python) R 4312 4315 2733 0 -1 4202496 865 0 0 0 0 0 0 0 22 0 1 0 850209063 16150528 746 33554432000 4194304 5683644 140737158101584 18446744073709551615 4677568 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4315/statm: 3943 747 342 364 0 430 0
[startup+0.05456 s]
/proc/loadavg: 2.16 2.26 1.75 3/547 4315
/proc/meminfo: memFree=17015784/32951124 swapFree=67057920/67111528
[pid=4315] ppid=4312 vsize=25316 CPUtime=0.03 cores=1,3,5,7
/proc/4315/stat : 4315 (python) R 4312 4315 2733 0 -1 4202496 1349 0 0 0 2 1 0 0 17 0 1 0 850209063 25923584 1194 33554432000 4194304 5683644 140737158101584 18446744073709551615 254261612389 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4315/statm: 6329 1194 438 364 0 730 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25316
[startup+0.100565 s]
/proc/loadavg: 2.16 2.26 1.75 3/547 4315
/proc/meminfo: memFree=17015784/32951124 swapFree=67057920/67111528
[pid=4315] ppid=4312 vsize=85620 CPUtime=0.07 cores=1,3,5,7
/proc/4315/stat : 4315 (python) R 4312 4315 2733 0 -1 4202496 2663 0 0 0 5 2 0 0 17 0 1 0 850209063 87674880 2382 33554432000 4194304 5683644 140737158101584 18446744073709551615 4562924 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4315/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85620
[startup+0.300547 s]
/proc/loadavg: 2.16 2.26 1.75 3/547 4315
/proc/meminfo: memFree=17015784/32951124 swapFree=67057920/67111528
[pid=4315] ppid=4312 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/4315/stat : 4315 (python) S 4312 4315 2733 0 -1 4202496 5358 930 1 0 11 6 0 0 16 0 1 0 850209063 126709760 3744 33554432000 4194304 5683644 140737158101584 18446744073709551615 254261612549 0 2147483391 16781312 2 18446744071699207358 0 0 17 1 0 0 0
/proc/4315/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700456 s]
/proc/loadavg: 2.16 2.26 1.75 3/547 4315
/proc/meminfo: memFree=17015784/32951124 swapFree=67057920/67111528
[pid=4315] ppid=4312 vsize=282400 CPUtime=0.43 cores=1,3,5,7
/proc/4315/stat : 4315 (python) S 4312 4315 2733 0 -1 4202496 9186 930 1 0 28 15 0 0 16 0 1 0 850209063 289177600 6937 33554432000 4194304 5683644 140737158101584 18446744073709551615 254261636623 0 0 16781312 2 4294934792 0 0 17 1 0 0 0
/proc/4315/statm: 70600 6937 1777 364 0 5493 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282400
[startup+1.50032 s]
/proc/loadavg: 2.16 2.26 1.75 3/548 4321
/proc/meminfo: memFree=16988140/32951124 swapFree=67057920/67111528
[pid=4315] ppid=4312 vsize=296036 CPUtime=0.82 cores=1,3,5,7
/proc/4315/stat : 4315 (python) S 4312 4315 2733 0 -1 4202496 11993 1412 1 0 55 20 6 1 18 0 2 0 850209063 303140864 7867 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4315/statm: 74009 7867 1863 364 0 8896 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 296036
[startup+3.10104 s]
/proc/loadavg: 2.16 2.26 1.75 3/551 4324
/proc/meminfo: memFree=16917552/32951124 swapFree=67057920/67111528
[pid=4315] ppid=4312 vsize=296036 CPUtime=0.82 cores=1,3,5,7
/proc/4315/stat : 4315 (python) S 4312 4315 2733 0 -1 4202496 11993 1412 1 0 55 20 6 1 18 0 2 0 850209063 303140864 7867 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4315/statm: 74009 7867 1863 364 0 8896 0
[pid=4322] ppid=4315 vsize=285792 CPUtime=0 cores=1,3,5,7
/proc/4322/stat : 4322 (python) S 4315 4315 2733 0 -1 4202560 730 0 0 0 0 0 0 0 15 0 1 0 850209168 292651008 6319 33554432000 4194304 5683644 140737158101584 18446744073709551615 254261636623 0 0 16781312 33554946 3889049034911907840 0 0 17 1 0 0 0
/proc/4322/statm: 71448 6319 319 364 0 6335 0
[pid=4324] ppid=4322 vsize=83016 CPUtime=2.04 cores=1,3,5,7
/proc/4324/stat : 4324 (scip-2.0.1.linu) R 4322 4324 4324 0 -1 4202496 20792 0 0 0 174 30 0 0 19 0 1 0 850209168 85008384 18298 33554432000 4194304 13684479 140734852663456 18446744073709551615 6427716 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/4324/statm: 20754 18298 820 2317 0 18432 0
[pid=4315/tid=4323] ppid=4312 vsize=296036 CPUtime=0.07 cores=1,3,5,7
/proc/4315/task/4323/stat : 4323 (python) S 4312 4315 2733 0 -1 4202560 25 1412 0 0 0 0 6 1 18 0 2 0 850209168 303140864 7867 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 664844
[startup+6.30045 s]
/proc/loadavg: 2.15 2.26 1.75 6/572 4350
/proc/meminfo: memFree=16865960/32951124 swapFree=67057920/67111528
[pid=4315] ppid=4312 vsize=296036 CPUtime=0.82 cores=1,3,5,7
/proc/4315/stat : 4315 (python) S 4312 4315 2733 0 -1 4202496 11993 1412 1 0 55 20 6 1 18 0 2 0 850209063 303140864 7867 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4315/statm: 74009 7867 1863 364 0 8896 0
[pid=4322] ppid=4315 vsize=285792 CPUtime=0.02 cores=1,3,5,7
/proc/4322/stat : 4322 (python) S 4315 4315 2733 0 -1 4202560 868 0 0 0 1 1 0 0 15 0 1 0 850209168 292651008 6343 33554432000 4194304 5683644 140737158101584 18446744073709551615 254261636623 0 0 16781312 33554946 1826312496185606144 0 0 17 1 0 0 0
/proc/4322/statm: 71448 6343 343 364 0 6335 0
[pid=4324] ppid=4322 vsize=94924 CPUtime=5.24 cores=1,3,5,7
/proc/4324/stat : 4324 (scip-2.0.1.linu) R 4322 4324 4324 0 -1 4202496 23564 0 0 0 488 36 0 0 25 0 1 0 850209168 97202176 20879 33554432000 4194304 13684479 140734852663456 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/4324/statm: 23731 20879 783 2317 0 21409 0
[pid=4315/tid=4323] ppid=4312 vsize=296036 CPUtime=0.07 cores=1,3,5,7
/proc/4315/task/4323/stat : 4323 (python) S 4312 4315 2733 0 -1 4202560 25 1412 0 0 0 0 6 1 18 0 2 0 850209168 303140864 7867 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 676752
[startup+12.7003 s]
/proc/loadavg: 2.13 2.25 1.76 3/573 4352
/proc/meminfo: memFree=16270696/32951124 swapFree=67057920/67111528
[pid=4315] ppid=4312 vsize=296036 CPUtime=0.82 cores=1,3,5,7
/proc/4315/stat : 4315 (python) S 4312 4315 2733 0 -1 4202496 11993 1412 1 0 55 20 6 1 18 0 2 0 850209063 303140864 7867 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4315/statm: 74009 7867 1863 364 0 8896 0
[pid=4322] ppid=4315 vsize=285792 CPUtime=0.03 cores=1,3,5,7
/proc/4322/stat : 4322 (python) S 4315 4315 2733 0 -1 4202560 871 0 0 0 2 1 0 0 15 0 1 0 850209168 292651008 6343 33554432000 4194304 5683644 140737158101584 18446744073709551615 254261636623 0 0 16781312 33554946 4167160493884047360 0 0 17 7 0 0 0
/proc/4322/statm: 71448 6343 343 364 0 6335 0
[pid=4324] ppid=4322 vsize=105568 CPUtime=11.64 cores=1,3,5,7
/proc/4324/stat : 4324 (scip-2.0.1.linu) R 4322 4324 4324 0 -1 4202496 26140 0 0 0 1123 41 0 0 25 0 1 0 850209168 108101632 23428 33554432000 4194304 13684479 140734852663456 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/4324/statm: 26392 23428 809 2317 0 24070 0
[pid=4315/tid=4323] ppid=4312 vsize=296036 CPUtime=0.07 cores=1,3,5,7
/proc/4315/task/4323/stat : 4323 (python) S 4312 4315 2733 0 -1 4202560 25 1412 0 0 0 0 6 1 18 0 2 0 850209168 303140864 7867 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 687396
[startup+25.5011 s]
/proc/loadavg: 2.10 2.24 1.76 3/573 4352
/proc/meminfo: memFree=15700976/32951124 swapFree=67057920/67111528
[pid=4315] ppid=4312 vsize=296036 CPUtime=0.82 cores=1,3,5,7
/proc/4315/stat : 4315 (python) S 4312 4315 2733 0 -1 4202496 11993 1412 1 0 55 20 6 1 18 0 2 0 850209063 303140864 7867 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4315/statm: 74009 7867 1863 364 0 8896 0
[pid=4322] ppid=4315 vsize=285792 CPUtime=0.1 cores=1,3,5,7
/proc/4322/stat : 4322 (python) S 4315 4315 2733 0 -1 4202560 875 0 0 0 5 5 0 0 15 0 1 0 850209168 292651008 6343 33554432000 4194304 5683644 140737158101584 18446744073709551615 254261636623 0 0 16781312 33554946 5623606151888251567 0 0 17 5 0 0 0
/proc/4322/statm: 71448 6343 343 364 0 6335 0
[pid=4324] ppid=4322 vsize=106164 CPUtime=24.44 cores=1,3,5,7
/proc/4324/stat : 4324 (scip-2.0.1.linu) R 4322 4324 4324 0 -1 4202496 26497 0 0 0 2394 50 0 0 25 0 1 0 850209168 108711936 23765 33554432000 4194304 13684479 140734852663456 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/4324/statm: 26541 23765 809 2317 0 24219 0
[pid=4315/tid=4323] ppid=4312 vsize=296036 CPUtime=0.07 cores=1,3,5,7
/proc/4315/task/4323/stat : 4323 (python) S 4312 4315 2733 0 -1 4202560 25 1412 0 0 0 0 6 1 18 0 2 0 850209168 303140864 7867 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 687992
[startup+51.1005 s]
/proc/loadavg: 2.07 2.22 1.76 3/573 4353
/proc/meminfo: memFree=14626692/32951124 swapFree=67057920/67111528
[pid=4315] ppid=4312 vsize=296036 CPUtime=0.82 cores=1,3,5,7
/proc/4315/stat : 4315 (python) S 4312 4315 2733 0 -1 4202496 11993 1412 1 0 55 20 6 1 18 0 2 0 850209063 303140864 7867 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4315/statm: 74009 7867 1863 364 0 8896 0
[pid=4322] ppid=4315 vsize=285792 CPUtime=0.19 cores=1,3,5,7
/proc/4322/stat : 4322 (python) S 4315 4315 2733 0 -1 4202560 885 0 0 0 9 10 0 0 15 0 1 0 850209168 292651008 6343 33554432000 4194304 5683644 140737158101584 18446744073709551615 254261636623 0 0 16781312 33554946 1003581810937954304 0 0 17 7 0 0 0
/proc/4322/statm: 71448 6343 343 364 0 6335 0
[pid=4324] ppid=4322 vsize=105804 CPUtime=50.04 cores=1,3,5,7
/proc/4324/stat : 4324 (scip-2.0.1.linu) R 4322 4324 4324 0 -1 4202496 33357 0 0 0 4926 78 0 0 25 0 1 0 850209168 108343296 23862 33554432000 4194304 13684479 140734852663456 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/4324/statm: 26451 23862 784 2317 0 24129 0
[pid=4315/tid=4323] ppid=4312 vsize=296036 CPUtime=0.07 cores=1,3,5,7
/proc/4315/task/4323/stat : 4323 (python) S 4312 4315 2733 0 -1 4202560 25 1412 0 0 0 0 6 1 18 0 2 0 850209168 303140864 7867 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 687632
[startup+102.32 s]
/proc/loadavg: 2.21 2.23 1.79 3/603 4386
/proc/meminfo: memFree=13973936/32951124 swapFree=67057920/67111528
[pid=4315] ppid=4312 vsize=316548 CPUtime=0.87 cores=1,3,5,7
/proc/4315/stat : 4315 (python) S 4312 4315 2733 0 -1 4202496 13713 1412 1 0 60 20 6 1 20 0 4 0 850209063 324145152 7888 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4315/statm: 79137 7888 1876 364 0 14018 0
[pid=4322] ppid=4315 vsize=296036 CPUtime=0.21 cores=1,3,5,7
/proc/4322/stat : 4322 (python) S 4315 4315 2733 0 -1 4202560 1082 0 0 0 10 11 0 0 16 0 2 0 850209168 303140864 6411 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4322/statm: 74009 6411 406 364 0 8896 0
[pid=4324] ppid=4322 vsize=105804 CPUtime=50.26 cores=1,3,5,7
/proc/4324/stat : 4324 (scip-2.0.1.linu) T 4322 4324 4324 0 -1 4202496 33357 0 0 0 4947 79 0 0 25 0 1 0 850209168 108343296 23862 33554432000 4194304 13684479 140734852663456 18446744073709551615 7098848 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/4324/statm: 26451 23862 784 2317 0 24129 0
[pid=4322/tid=4354] ppid=4315 vsize=296036 CPUtime=0 cores=1,3,5,7
/proc/4322/task/4354/stat : 4354 (python) S 4315 4315 2733 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850214195 303140864 6411 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554946 18446604456657016128 0 0 -1 7 0 0 0
[pid=4355] ppid=4315 vsize=296048 CPUtime=0.21 cores=1,3,5,7
/proc/4355/stat : 4355 (python) S 4315 4315 2733 0 -1 4202560 1163 0 0 0 10 11 0 0 17 0 2 0 850214198 303153152 6402 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/4355/statm: 74012 6402 397 364 0 8896 0
[pid=4357] ppid=4355 vsize=8548424 CPUtime=49.27 cores=1,3,5,7
/proc/4357/stat : 4357 (java) T 4355 4357 4357 0 -1 4202496 85962 0 1 0 4911 16 0 0 15 0 19 0 850214198 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/4357/statm: 2137106 50655 2262 9 0 2127847 0
[pid=4357/tid=4358] ppid=4355 vsize=8548424 CPUtime=46.32 cores=1,3,5,7
/proc/4357/task/4358/stat : 4358 (java) T 4355 4357 4357 0 -1 4202560 45971 0 1 0 4628 4 0 0 25 0 19 0 850214199 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 46912505943440 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4357/tid=4359] ppid=4355 vsize=8548424 CPUtime=0.13 cores=1,3,5,7
/proc/4357/task/4359/stat : 4359 (java) T 4355 4357 4357 0 -1 4202560 3202 0 0 0 12 1 0 0 15 0 19 0 850214199 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4357/tid=4360] ppid=4355 vsize=8548424 CPUtime=0.13 cores=1,3,5,7
/proc/4357/task/4360/stat : 4360 (java) T 4355 4357 4357 0 -1 4202560 2860 0 0 0 12 1 0 0 15 0 19 0 850214199 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4357/tid=4361] ppid=4355 vsize=8548424 CPUtime=0.13 cores=1,3,5,7
/proc/4357/task/4361/stat : 4361 (java) T 4355 4357 4357 0 -1 4202560 3210 0 0 0 13 0 0 0 15 0 19 0 850214199 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4357/tid=4362] ppid=4355 vsize=8548424 CPUtime=0.11 cores=1,3,5,7
/proc/4357/task/4362/stat : 4362 (java) T 4355 4357 4357 0 -1 4202560 2035 0 0 0 11 0 0 0 15 0 19 0 850214199 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4357/tid=4363] ppid=4355 vsize=8548424 CPUtime=0.12 cores=1,3,5,7
/proc/4357/task/4363/stat : 4363 (java) T 4355 4357 4357 0 -1 4202560 2755 0 0 0 12 0 0 0 15 0 19 0 850214199 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4357/tid=4364] ppid=4355 vsize=8548424 CPUtime=0.13 cores=1,3,5,7
/proc/4357/task/4364/stat : 4364 (java) T 4355 4357 4357 0 -1 4202560 3773 0 0 0 13 0 0 0 15 0 19 0 850214199 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4357/tid=4365] ppid=4355 vsize=8548424 CPUtime=0.1 cores=1,3,5,7
/proc/4357/task/4365/stat : 4365 (java) T 4355 4357 4357 0 -1 4202560 2771 0 0 0 10 0 0 0 15 0 19 0 850214199 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4357/tid=4366] ppid=4355 vsize=8548424 CPUtime=0.12 cores=1,3,5,7
/proc/4357/task/4366/stat : 4366 (java) T 4355 4357 4357 0 -1 4202560 3261 0 0 0 12 0 0 0 15 0 19 0 850214199 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4357/tid=4367] ppid=4355 vsize=8548424 CPUtime=0.58 cores=1,3,5,7
/proc/4357/task/4367/stat : 4367 (java) T 4355 4357 4357 0 -1 4202560 3829 0 0 0 54 4 0 0 15 0 19 0 850214200 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273433088 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4357/tid=4368] ppid=4355 vsize=8548424 CPUtime=0 cores=1,3,5,7
/proc/4357/task/4368/stat : 4368 (java) T 4355 4357 4357 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 850214201 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=4402/tid=4416] ppid=4400 vsize=8610180 CPUtime=0.61 cores=1,3,5,7
/proc/4402/task/4416/stat : 4416 (java) S 4400 4402 4402 0 -1 4202560 5790 0 0 0 61 0 0 0 25 0 19 0 850228773 8816824320 25018 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 3 0 0 0
[pid=4402/tid=4417] ppid=4400 vsize=8610180 CPUtime=0.57 cores=1,3,5,7
/proc/4402/task/4417/stat : 4417 (java) R 4400 4402 4402 0 -1 4202560 5797 0 0 0 57 0 0 0 25 0 19 0 850228773 8816824320 25021 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 47985428728256 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4402/tid=4418] ppid=4400 vsize=8610180 CPUtime=0 cores=1,3,5,7
/proc/4402/task/4418/stat : 4418 (java) S 4400 4402 4402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850228773 8816824320 25023 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 5 0 0 0
[pid=4402/tid=4419] ppid=4400 vsize=8610180 CPUtime=0 cores=1,3,5,7
/proc/4402/task/4419/stat : 4419 (java) S 4400 4402 4402 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 850228773 8816824320 25026 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273433088 0 4 0 16800975 18446604466105236288 0 0 -1 1 0 0 0
[pid=4402/tid=4420] ppid=4400 vsize=8610180 CPUtime=0 cores=1,3,5,7
/proc/4402/task/4420/stat : 4420 (java) S 4400 4402 4402 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850228817 8816824320 25029 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273433088 0 4 0 16800975 18446604466105236288 0 0 -1 5 0 0 0
[pid=4315/tid=4323] ppid=4312 vsize=337668 CPUtime=0.07 cores=1,3,5,7
/proc/4315/task/4323/stat : 4323 (python) S 4312 4315 2733 0 -1 4202560 25 1412 0 0 0 0 6 1 18 0 6 0 850209168 345772032 8026 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 1 0 0 0
[pid=4315/tid=4356] ppid=4312 vsize=337668 CPUtime=0.07 cores=1,3,5,7
/proc/4315/task/4356/stat : 4356 (python) S 4312 4315 2733 0 -1 4202560 28 1412 0 0 0 0 6 1 20 0 6 0 850214198 345772032 8026 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 1 0 0 0
[pid=4315/tid=4385] ppid=4312 vsize=337668 CPUtime=0.07 cores=1,3,5,7
/proc/4315/task/4385/stat : 4385 (python) S 4312 4315 2733 0 -1 4202560 31 1412 0 0 0 0 6 1 20 0 6 0 850218938 345772032 8026 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 7 0 0 0
[pid=4315/tid=4393] ppid=4312 vsize=337668 CPUtime=0.07 cores=1,3,5,7
/proc/4315/task/4393/stat : 4393 (python) S 4312 4315 2733 0 -1 4202560 27 1412 0 0 0 0 6 1 20 0 6 0 850223871 345772032 8026 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 3 0 0 0
[pid=4315/tid=4401] ppid=4312 vsize=337668 CPUtime=0.07 cores=1,3,5,7
/proc/4315/task/4401/stat : 4401 (python) S 4312 4315 2733 0 -1 4202560 30 1412 0 0 0 0 6 1 20 0 6 0 850228768 345772032 8026 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 201.61
Current children cumulated vsize (KiB) 19332492
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+197.902 s]
/proc/loadavg: 2.27 2.21 1.83 6/633 4420
/proc/meminfo: memFree=13454608/32951124 swapFree=67057920/67111528
[pid=4315] ppid=4312 vsize=337668 CPUtime=0.93 cores=1,3,5,7
/proc/4315/stat : 4315 (python) S 4312 4315 2733 0 -1 4202496 15628 1412 1 0 65 21 6 1 20 0 6 0 850209063 345772032 8026 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4315/statm: 84417 8026 1880 364 0 19292 0
[pid=4322] ppid=4315 vsize=296036 CPUtime=0.21 cores=1,3,5,7
/proc/4322/stat : 4322 (python) S 4315 4315 2733 0 -1 4202560 1082 0 0 0 10 11 0 0 16 0 2 0 850209168 303140864 6411 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4322/statm: 74009 6411 406 364 0 8896 0
[pid=4324] ppid=4322 vsize=105804 CPUtime=50.26 cores=1,3,5,7
/proc/4324/stat : 4324 (scip-2.0.1.linu) T 4322 4324 4324 0 -1 4202496 33357 0 0 0 4947 79 0 0 25 0 1 0 850209168 108343296 23862 33554432000 4194304 13684479 140734852663456 18446744073709551615 7098848 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/4324/statm: 26451 23862 784 2317 0 24129 0
[pid=4322/tid=4354] ppid=4315 vsize=296036 CPUtime=0 cores=1,3,5,7
/proc/4322/task/4354/stat : 4354 (python) S 4315 4315 2733 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850214195 303140864 6411 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554946 18446604456657016128 0 0 -1 7 0 0 0
[pid=4355] ppid=4315 vsize=296048 CPUtime=0.21 cores=1,3,5,7
/proc/4355/stat : 4355 (python) S 4315 4315 2733 0 -1 4202560 1163 0 0 0 10 11 0 0 17 0 2 0 850214198 303153152 6402 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/4355/statm: 74012 6402 397 364 0 8896 0
[pid=4357] ppid=4355 vsize=8548424 CPUtime=49.27 cores=1,3,5,7
/proc/4357/stat : 4357 (java) T 4355 4357 4357 0 -1 4202496 85962 0 1 0 4911 16 0 0 15 0 19 0 850214198 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/4357/statm: 2137106 50655 2262 9 0 2127847 0
[pid=4357/tid=4358] ppid=4355 vsize=8548424 CPUtime=46.32 cores=1,3,5,7
/proc/4357/task/4358/stat : 4358 (java) T 4355 4357 4357 0 -1 4202560 45971 0 1 0 4628 4 0 0 25 0 19 0 850214199 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 46912505943440 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4357/tid=4359] ppid=4355 vsize=8548424 CPUtime=0.13 cores=1,3,5,7
/proc/4357/task/4359/stat : 4359 (java) T 4355 4357 4357 0 -1 4202560 3202 0 0 0 12 1 0 0 15 0 19 0 850214199 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4357/tid=4360] ppid=4355 vsize=8548424 CPUtime=0.13 cores=1,3,5,7
/proc/4357/task/4360/stat : 4360 (java) T 4355 4357 4357 0 -1 4202560 2860 0 0 0 12 1 0 0 15 0 19 0 850214199 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4357/tid=4361] ppid=4355 vsize=8548424 CPUtime=0.13 cores=1,3,5,7
/proc/4357/task/4361/stat : 4361 (java) T 4355 4357 4357 0 -1 4202560 3210 0 0 0 13 0 0 0 15 0 19 0 850214199 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4357/tid=4362] ppid=4355 vsize=8548424 CPUtime=0.11 cores=1,3,5,7
/proc/4357/task/4362/stat : 4362 (java) T 4355 4357 4357 0 -1 4202560 2035 0 0 0 11 0 0 0 15 0 19 0 850214199 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4357/tid=4363] ppid=4355 vsize=8548424 CPUtime=0.12 cores=1,3,5,7
/proc/4357/task/4363/stat : 4363 (java) T 4355 4357 4357 0 -1 4202560 2755 0 0 0 12 0 0 0 15 0 19 0 850214199 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4357/tid=4364] ppid=4355 vsize=8548424 CPUtime=0.13 cores=1,3,5,7
/proc/4357/task/4364/stat : 4364 (java) T 4355 4357 4357 0 -1 4202560 3773 0 0 0 13 0 0 0 15 0 19 0 850214199 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4357/tid=4365] ppid=4355 vsize=8548424 CPUtime=0.1 cores=1,3,5,7
/proc/4357/task/4365/stat : 4365 (java) T 4355 4357 4357 0 -1 4202560 2771 0 0 0 10 0 0 0 15 0 19 0 850214199 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4357/tid=4366] ppid=4355 vsize=8548424 CPUtime=0.12 cores=1,3,5,7
/proc/4357/task/4366/stat : 4366 (java) T 4355 4357 4357 0 -1 4202560 3261 0 0 0 12 0 0 0 15 0 19 0 850214199 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4357/tid=4367] ppid=4355 vsize=8548424 CPUtime=0.58 cores=1,3,5,7
/proc/4357/task/4367/stat : 4367 (java) T 4355 4357 4357 0 -1 4202560 3829 0 0 0 54 4 0 0 15 0 19 0 850214200 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273433088 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4357/tid=4368] ppid=4355 vsize=8548424 CPUtime=0 cores=1,3,5,7
/proc/4357/task/4368/stat : 4368 (java) T 4355 4357 4357 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 850214201 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4357/tid=4370] ppid=4355 vsize=8548424 CPUtime=0 cores=1,3,5,7
/proc/4357/task/4370/stat : 4370 (java) T 4355 4357 4357 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850214201 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4357/tid=4371] ppid=4355 vsize=8548424 CPUtime=0 cores=1,3,5,7
/proc/4357/task/4371/stat : 4371 (java) T 4355 4357 4357 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850214203 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273440177 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4357/tid=4372] ppid=4355 vsize=8548424 CPUtime=0.6 cores=1,3,5,7
/proc/4357/task/4372/stat : 4372 (java) T 4355 4357 4357 0 -1 4202560 4349 0 0 0 60 0 0 0 15 0 19 0 850214203 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4357/tid=4373] ppid=4355 vsize=8548424 CPUtime=0.69 cores=1,3,5,7
/proc/4357/task/4373/stat : 4373 (java) T 4355 4357 4357 0 -1 4202560 6553 0 0 0 68 1 0 0 15 0 19 0 850214203 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4357/tid=4375] ppid=4355 vsize=8548424 CPUtime=0 cores=1,3,5,7
/proc/4357/task/4375/stat : 4375 (java) T 4355 4357 4357 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850214203 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4357/tid=4376] ppid=4355 vsize=8548424 CPUtime=0 cores=1,3,5,7
/proc/4357/task/4376/stat : 4376 (java) T 4355 4357 4357 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 850214203 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273433088 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4357/tid=4377] ppid=4355 vsize=8548424 CPUtime=0 cores=1,3,5,7
/proc/4357/task/4377/stat : 4377 (java) T 4355 4357 4357 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850214247 8753586176 50655 33554432000 1073741824 1073778376 140734076498944 18446744073709551615 254273433088 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4355/tid=4383] ppid=4315 vsize=296048 CPUtime=0 cores=1,3,5,7
/proc/4355/task/4383/stat : 4383 (python) S 4315 4315 2733 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850218935 303153152 6402 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554946 18446604460827428864 0 0 -1 5 0 0 0
[pid=4384] ppid=4315 vsize=306304 CPUtime=0.22 cores=1,3,5,7
/proc/4384/stat : 4384 (python) S 4315 4315 2733 0 -1 4202560 1188 0 0 0 10 12 0 0 17 0 2 0 850218938 313655296 6406 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4384/statm: 76576 6406 397 364 0 11457 0
[pid=4386] ppid=4384 vsize=109724 CPUtime=49.3 cores=1,3,5,7
/proc/4386/stat : 4386 (scip-2.0.1.linu) T 4384 4386 4386 0 -1 4202496 41286 0 0 0 4875 55 0 0 25 0 1 0 850218938 112357376 21710 33554432000 4194304 15243407 140733251945712 18446744073709551615 8900543 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/4386/statm: 27431 21710 892 2698 0 24726 0
[pid=4384/tid=4391] ppid=4315 vsize=306304 CPUtime=0 cores=1,3,5,7
/proc/4384/task/4391/stat : 4391 (python) S 4315 4315 2733 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 850223869 313655296 6406 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554946 18446604464301736256 0 0 -1 7 0 0 0
[pid=4392] ppid=4315 vsize=316560 CPUtime=0.21 cores=1,3,5,7
/proc/4392/stat : 4392 (python) S 4315 4315 2733 0 -1 4202560 1131 0 0 0 10 11 0 0 17 0 2 0 850223871 324157440 6404 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4392/statm: 79140 6404 391 364 0 14018 0
[pid=4394] ppid=4392 vsize=78320 CPUtime=48.93 cores=1,3,5,7
/proc/4394/stat : 4394 (wbo1.4a) T 4392 4394 4394 0 -1 4202496 19901 0 0 0 4841 52 0 0 25 0 1 0 850223872 80199680 19124 33554432000 134512640 135751879 4286889392 18446744073709551615 134607284 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/4394/statm: 19580 19124 146 303 0 19275 0
[pid=4392/tid=4399] ppid=4315 vsize=316560 CPUtime=0 cores=1,3,5,7
/proc/4392/task/4399/stat : 4399 (python) S 4315 4315 2733 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 850228765 324157440 6404 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554946 18446604471162828608 0 0 -1 5 0 0 0
[pid=4400] ppid=4315 vsize=327424 CPUtime=0 cores=1,3,5,7
/proc/4400/stat : 4400 (python) S 4315 4315 2733 0 -1 4202560 783 0 0 0 0 0 0 0 15 0 1 0 850228768 335282176 6462 33554432000 4194304 5683644 140737158101584 18446744073709551615 254261636678 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/4400/statm: 81856 6462 320 364 0 16731 0
[pid=4402] ppid=4400 vsize=8610180 CPUtime=2.07 cores=1,3,5,7
/proc/4402/stat : 4402 (java) S 4400 4402 4402 0 -1 4202496 28799 0 1 0 204 3 0 0 17 0 19 0 850228768 8816824320 23953 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/4402/statm: 2152545 23955 2229 9 0 2143286 0
[pid=4402/tid=4403] ppid=4400 vsize=8610180 CPUtime=0.87 cores=1,3,5,7
/proc/4402/task/4403/stat : 4403 (java) R 4400 4402 4402 0 -1 4202560 16841 0 1 0 86 1 0 0 25 0 19 0 850228769 8816824320 24980 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 46912505617087 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4402/tid=4404] ppid=4400 vsize=8610180 CPUtime=0 cores=1,3,5,7
/proc/4402/task/4404/stat : 4404 (java) S 4400 4402 4402 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850228770 8816824320 24983 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 7 0 0 0
[pid=4402/tid=4405] ppid=4400 vsize=8610180 CPUtime=0 cores=1,3,5,7
/proc/4402/task/4405/stat : 4405 (java) S 4400 4402 4402 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850228770 8816824320 24986 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 5 0 0 0
[pid=4402/tid=4406] ppid=4400 vsize=8610180 CPUtime=0 cores=1,3,5,7
/proc/4402/task/4406/stat : 4406 (java) S 4400 4402 4402 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850228770 8816824320 24989 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 5 0 0 0
[pid=4402/tid=4407] ppid=4400 vsize=8610180 CPUtime=0 cores=1,3,5,7
/proc/4402/task/4407/stat : 4407 (java) S 4400 4402 4402 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 850228770 8816824320 24992 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 7 0 0 0
[pid=4402/tid=4408] ppid=4400 vsize=8610180 CPUtime=0 cores=1,3,5,7
/proc/4402/task/4408/stat : 4408 (java) S 4400 4402 4402 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850228770 8816824320 24995 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 5 0 0 0
[pid=4402/tid=4409] ppid=4400 vsize=8610180 CPUtime=0 cores=1,3,5,7
/proc/4402/task/4409/stat : 4409 (java) S 4400 4402 4402 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 850228770 8816824320 24998 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 7 0 0 0
[pid=4402/tid=4410] ppid=4400 vsize=8610180 CPUtime=0 cores=1,3,5,7
/proc/4402/task/4410/stat : 4410 (java) S 4400 4402 4402 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850228770 8816824320 25001 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 7 0 0 0
[pid=4402/tid=4411] ppid=4400 vsize=8610180 CPUtime=0 cores=1,3,5,7
/proc/4402/task/4411/stat : 4411 (java) S 4400 4402 4402 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 19 0 850228770 8816824320 25004 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 7 0 0 0
[pid=4402/tid=4412] ppid=4400 vsize=8610180 CPUtime=0 cores=1,3,5,7
/proc/4402/task/4412/stat : 4412 (java) S 4400 4402 4402 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 850228771 8816824320 25006 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273433088 0 0 0 16800975 18446604466105236288 0 0 -1 7 0 0 0
[pid=4402/tid=4413] ppid=4400 vsize=8610180 CPUtime=0 cores=1,3,5,7
/proc/4402/task/4413/stat : 4413 (java) S 4400 4402 4402 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 850228771 8816824320 25009 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 5 0 0 0
[pid=4402/tid=4414] ppid=4400 vsize=8610180 CPUtime=0 cores=1,3,5,7
/proc/4402/task/4414/stat : 4414 (java) S 4400 4402 4402 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 850228771 8816824320 25012 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 5 0 0 0
[pid=4402/tid=4415] ppid=4400 vsize=8610180 CPUtime=0 cores=1,3,5,7
/proc/4402/task/4415/stat : 4415 (java) S 4400 4402 4402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850228773 8816824320 25015 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273440177 0 4 0 16800975 18446604466105236288 0 0 -1 5 0 0 0
[pid=4402/tid=4416] ppid=4400 vsize=8610180 CPUtime=0.61 cores=1,3,5,7
/proc/4402/task/4416/stat : 4416 (java) S 4400 4402 4402 0 -1 4202560 5790 0 0 0 61 0 0 0 25 0 19 0 850228773 8816824320 25018 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 3 0 0 0
[pid=4402/tid=4417] ppid=4400 vsize=8610180 CPUtime=0.57 cores=1,3,5,7
/proc/4402/task/4417/stat : 4417 (java) R 4400 4402 4402 0 -1 4202560 5797 0 0 0 57 0 0 0 25 0 19 0 850228773 8816824320 25021 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 47985428728256 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4402/tid=4418] ppid=4400 vsize=8610180 CPUtime=0 cores=1,3,5,7
/proc/4402/task/4418/stat : 4418 (java) S 4400 4402 4402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850228773 8816824320 25023 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 5 0 0 0
[pid=4402/tid=4419] ppid=4400 vsize=8610180 CPUtime=0 cores=1,3,5,7
/proc/4402/task/4419/stat : 4419 (java) S 4400 4402 4402 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 850228773 8816824320 25026 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273433088 0 4 0 16800975 18446604466105236288 0 0 -1 1 0 0 0
[pid=4402/tid=4420] ppid=4400 vsize=8610180 CPUtime=0 cores=1,3,5,7
/proc/4402/task/4420/stat : 4420 (java) S 4400 4402 4402 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850228817 8816824320 25029 33554432000 1073741824 1073778376 140736589691952 18446744073709551615 254273433088 0 4 0 16800975 18446604466105236288 0 0 -1 5 0 0 0
[pid=4315/tid=4323] ppid=4312 vsize=337668 CPUtime=0.07 cores=1,3,5,7
/proc/4315/task/4323/stat : 4323 (python) S 4312 4315 2733 0 -1 4202560 25 1412 0 0 0 0 6 1 18 0 6 0 850209168 345772032 8026 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 1 0 0 0
[pid=4315/tid=4356] ppid=4312 vsize=337668 CPUtime=0.07 cores=1,3,5,7
/proc/4315/task/4356/stat : 4356 (python) S 4312 4315 2733 0 -1 4202560 28 1412 0 0 0 0 6 1 20 0 6 0 850214198 345772032 8026 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 1 0 0 0
[pid=4315/tid=4385] ppid=4312 vsize=337668 CPUtime=0.07 cores=1,3,5,7
/proc/4315/task/4385/stat : 4385 (python) S 4312 4315 2733 0 -1 4202560 31 1412 0 0 0 0 6 1 20 0 6 0 850218938 345772032 8026 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 7 0 0 0
[pid=4315/tid=4393] ppid=4312 vsize=337668 CPUtime=0.07 cores=1,3,5,7
/proc/4315/task/4393/stat : 4393 (python) S 4312 4315 2733 0 -1 4202560 27 1412 0 0 0 0 6 1 20 0 6 0 850223871 345772032 8026 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 3 0 0 0
[pid=4315/tid=4401] ppid=4312 vsize=337668 CPUtime=0.07 cores=1,3,5,7
/proc/4315/task/4401/stat : 4401 (python) S 4312 4315 2733 0 -1 4202560 30 1412 0 0 0 0 6 1 20 0 6 0 850228768 345772032 8026 33554432000 4194304 5683644 140737158101584 18446744073709551615 254273440177 0 0 16781312 33554434 18446604470157902208 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 201.61
Current children cumulated vsize (KiB) 19332492
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4315 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=715891
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=231964
# CPU time returned by wait4() is 0.947855
# while last known CPU time is 201.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 197.985
CPU time (s): 201.61
CPU user time (s): 198.89
CPU system time (s): 2.72
CPU usage (%): 101.831
Max. virtual memory (cumulated for all children) (KiB): 19336240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.715891
system time used= 0.231964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17043
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= 7946
involuntary context switches= 19
runsolver used 1.19282 second user time and 2.50162 second system time
The end