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-3481521-1307578011/watcher-3481521-1307578011 -o /tmp/evaluation-result-3481521-1307578011/solver-3481521-1307578011 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481521-1307578011.opb -seed 772608234 -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.08 2.10 1.73 3/634 3877
/proc/meminfo: memFree=19283036/32951124 swapFree=43359760/67111528
[pid=3877] ppid=3875 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/3877/stat : 3877 (python) R 3875 3877 1406 0 -1 4202496 808 0 0 0 0 0 0 0 17 0 1 0 869399419 15749120 693 33554432000 4194304 5683644 140734506278256 18446744073709551615 246516833936 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3877/statm: 3845 693 332 364 0 332 0
[startup+0.0986249 s]
/proc/loadavg: 2.08 2.10 1.73 3/634 3877
/proc/meminfo: memFree=19283036/32951124 swapFree=43359760/67111528
[pid=3877] ppid=3875 vsize=85352 CPUtime=0.06 cores=1,3,5,7
/proc/3877/stat : 3877 (python) R 3875 3877 1406 0 -1 4202496 2581 0 0 0 4 2 0 0 17 0 1 0 869399419 87400448 2306 33554432000 4194304 5683644 140734506278256 18446744073709551615 246516832256 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3877/statm: 21338 2306 707 364 0 1555 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85352
[startup+0.100622 s]
/proc/loadavg: 2.08 2.10 1.73 3/634 3877
/proc/meminfo: memFree=19283036/32951124 swapFree=43359760/67111528
[pid=3877] ppid=3875 vsize=85360 CPUtime=0.06 cores=1,3,5,7
/proc/3877/stat : 3877 (python) R 3875 3877 1406 0 -1 4202496 2619 0 0 0 4 2 0 0 17 0 1 0 869399419 87408640 2338 33554432000 4194304 5683644 140734506278256 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3877/statm: 21340 2340 715 364 0 1557 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85360
[startup+0.300602 s]
/proc/loadavg: 2.08 2.10 1.73 3/634 3877
/proc/meminfo: memFree=19283036/32951124 swapFree=43359760/67111528
[pid=3877] ppid=3875 vsize=123740 CPUtime=0.15 cores=1,3,5,7
/proc/3877/stat : 3877 (python) S 3875 3877 1406 0 -1 4202496 5357 928 1 0 10 5 0 0 16 0 1 0 869399419 126709760 3744 33554432000 4194304 5683644 140734506278256 18446744073709551615 246516830213 0 2147483391 16781312 2 18446744071699453118 0 0 17 5 0 0 0
/proc/3877/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.700556 s]
/proc/loadavg: 2.08 2.10 1.73 3/634 3877
/proc/meminfo: memFree=19283036/32951124 swapFree=43359760/67111528
[pid=3877] ppid=3875 vsize=282264 CPUtime=0.42 cores=1,3,5,7
/proc/3877/stat : 3877 (python) R 3875 3877 1406 0 -1 4202496 9004 928 1 0 28 14 0 0 15 0 1 0 869399419 289038336 6884 33554432000 4194304 5683644 140734506278256 18446744073709551615 4867360 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3877/statm: 70566 6884 1763 364 0 5459 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282264
[startup+1.50037 s]
/proc/loadavg: 2.08 2.10 1.73 3/635 3883
/proc/meminfo: memFree=19253880/32951124 swapFree=43359760/67111528
[pid=3877] ppid=3875 vsize=292592 CPUtime=1.34 cores=1,3,5,7
/proc/3877/stat : 3877 (python) R 3875 3877 1406 0 -1 4202496 15248 1454 1 0 87 22 21 4 16 0 1 0 869399419 299614208 9492 33554432000 4194304 5683644 140734506278256 18446744073709551615 246520242869 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/3877/statm: 73148 9492 1817 364 0 8041 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 292592
[startup+3.10109 s]
/proc/loadavg: 2.08 2.10 1.73 3/635 3883
/proc/meminfo: memFree=19253880/32951124 swapFree=43359760/67111528
[pid=3877] ppid=3875 vsize=303452 CPUtime=1.62 cores=1,3,5,7
/proc/3877/stat : 3877 (python) S 3875 3877 1406 0 -1 4202496 16057 1454 1 0 115 22 21 4 18 0 2 0 869399419 310734848 9703 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3877/statm: 75863 9703 1871 364 0 10750 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 303452
heavy processes:
[startup+6.3005 s]
/proc/loadavg: 2.15 2.12 1.74 3/638 3886
/proc/meminfo: memFree=19142008/32951124 swapFree=43359760/67111528
[pid=3877] ppid=3875 vsize=303452 CPUtime=1.62 cores=1,3,5,7
/proc/3877/stat : 3877 (python) S 3875 3877 1406 0 -1 4202496 16057 1454 1 0 115 22 21 4 18 0 2 0 869399419 310734848 9703 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3877/statm: 75863 9703 1871 364 0 10750 0
[pid=3884] ppid=3877 vsize=293208 CPUtime=0.01 cores=1,3,5,7
/proc/3884/stat : 3884 (python) S 3877 3877 1406 0 -1 4202560 861 0 0 0 0 1 0 0 15 0 1 0 869399597 300244992 8170 33554432000 4194304 5683644 140734506278256 18446744073709551615 246516854287 0 0 16781312 33554946 4106572571355381760 0 0 17 7 0 0 0
/proc/3884/statm: 73302 8170 342 364 0 8189 0
[pid=3886] ppid=3884 vsize=119864 CPUtime=4.5 cores=1,3,5,7
/proc/3886/stat : 3886 (scip-2.0.1.linu) R 3884 3886 3886 0 -1 4202496 29120 0 0 0 430 20 0 0 18 0 1 0 869399597 122740736 27268 33554432000 4194304 13684479 140736354119216 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3886/statm: 29966 27268 798 2317 0 27644 0
[pid=3877/tid=3885] ppid=3875 vsize=303452 CPUtime=0.25 cores=1,3,5,7
/proc/3877/task/3885/stat : 3885 (python) S 3875 3877 1406 0 -1 4202560 26 1454 0 0 0 0 21 4 18 0 2 0 869399597 310734848 9703 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604461845563456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 716524
[startup+12.7003 s]
/proc/loadavg: 2.30 2.15 1.75 3/638 3887
/proc/meminfo: memFree=19121924/32951124 swapFree=43359760/67111528
[pid=3877] ppid=3875 vsize=303452 CPUtime=1.62 cores=1,3,5,7
/proc/3877/stat : 3877 (python) S 3875 3877 1406 0 -1 4202496 16057 1454 1 0 115 22 21 4 18 0 2 0 869399419 310734848 9703 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3877/statm: 75863 9703 1871 364 0 10750 0
[pid=3884] ppid=3877 vsize=293208 CPUtime=0.03 cores=1,3,5,7
/proc/3884/stat : 3884 (python) S 3877 3877 1406 0 -1 4202560 870 0 0 0 1 2 0 0 15 0 1 0 869399597 300244992 8170 33554432000 4194304 5683644 140734506278256 18446744073709551615 246516854287 0 0 16781312 33554946 1889594948051795968 0 0 17 3 0 0 0
/proc/3884/statm: 73302 8170 342 364 0 8189 0
[pid=3886] ppid=3884 vsize=139744 CPUtime=10.91 cores=1,3,5,7
/proc/3886/stat : 3886 (scip-2.0.1.linu) R 3884 3886 3886 0 -1 4202496 34229 0 0 0 1061 30 0 0 18 0 1 0 869399597 143097856 32176 33554432000 4194304 13684479 140736354119216 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3886/statm: 34936 32176 808 2317 0 32614 0
[pid=3877/tid=3885] ppid=3875 vsize=303452 CPUtime=0.25 cores=1,3,5,7
/proc/3877/task/3885/stat : 3885 (python) S 3875 3877 1406 0 -1 4202560 26 1454 0 0 0 0 21 4 18 0 2 0 869399597 310734848 9703 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604461845563456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 736404
[startup+25.501 s]
/proc/loadavg: 2.30 2.16 1.76 3/638 3887
/proc/meminfo: memFree=19106104/32951124 swapFree=43359760/67111528
[pid=3877] ppid=3875 vsize=303452 CPUtime=1.62 cores=1,3,5,7
/proc/3877/stat : 3877 (python) S 3875 3877 1406 0 -1 4202496 16057 1454 1 0 115 22 21 4 18 0 2 0 869399419 310734848 9703 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3877/statm: 75863 9703 1871 364 0 10750 0
[pid=3884] ppid=3877 vsize=293208 CPUtime=0.1 cores=1,3,5,7
/proc/3884/stat : 3884 (python) S 3877 3877 1406 0 -1 4202560 879 0 0 0 5 5 0 0 15 0 1 0 869399597 300244992 8170 33554432000 4194304 5683644 140734506278256 18446744073709551615 246516854287 0 0 16781312 33554946 3297295523270098944 0 0 17 7 0 0 0
/proc/3884/statm: 73302 8170 342 364 0 8189 0
[pid=3886] ppid=3884 vsize=153852 CPUtime=23.71 cores=1,3,5,7
/proc/3886/stat : 3886 (scip-2.0.1.linu) R 3884 3886 3886 0 -1 4202496 37630 0 0 0 2321 50 0 0 20 0 1 0 869399597 157544448 35527 33554432000 4194304 13684479 140736354119216 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3886/statm: 38463 35527 760 2317 0 36141 0
[pid=3877/tid=3885] ppid=3875 vsize=303452 CPUtime=0.25 cores=1,3,5,7
/proc/3877/task/3885/stat : 3885 (python) S 3875 3877 1406 0 -1 4202560 26 1454 0 0 0 0 21 4 18 0 2 0 869399597 310734848 9703 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604461845563456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 750512
[startup+51.1014 s]
/proc/loadavg: 2.20 2.14 1.76 3/646 3896
/proc/meminfo: memFree=18991308/32951124 swapFree=43359760/67111528
[pid=3877] ppid=3875 vsize=313708 CPUtime=1.65 cores=1,3,5,7
/proc/3877/stat : 3877 (python) S 3875 3877 1406 0 -1 4202496 16951 1454 1 0 117 23 21 4 20 0 3 0 869399419 321236992 9710 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3877/statm: 78427 9710 1874 364 0 13311 0
[pid=3884] ppid=3877 vsize=303452 CPUtime=0.22 cores=1,3,5,7
/proc/3884/stat : 3884 (python) S 3877 3877 1406 0 -1 4202560 1098 0 0 0 11 11 0 0 17 0 2 0 869399597 310734848 8238 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3884/statm: 75863 8238 405 364 0 10750 0
[pid=3886] ppid=3884 vsize=153852 CPUtime=46.96 cores=1,3,5,7
/proc/3886/stat : 3886 (scip-2.0.1.linu) T 3884 3886 3886 0 -1 4202496 37650 0 0 0 4616 80 0 0 25 0 1 0 869399597 157544448 35546 33554432000 4194304 13684479 140736354119216 18446744073709551615 4936714 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3886/statm: 38463 35546 759 2317 0 36141 0
[pid=3884/tid=3893] ppid=3877 vsize=303452 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3893/stat : 3893 (python) S 3877 3877 1406 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869404294 310734848 8238 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554946 18446604456429597952 0 0 -1 7 0 0 0
[pid=3894] ppid=3877 vsize=303464 CPUtime=0 cores=1,3,5,7
/proc/3894/stat : 3894 (python) S 3877 3877 1406 0 -1 4202560 766 0 0 0 0 0 0 0 15 0 1 0 869404296 310747136 8151 33554432000 4194304 5683644 140734506278256 18446744073709551615 246516854342 0 0 16781312 33554946 2697255692569411584 0 0 17 5 0 0 0
/proc/3894/statm: 75866 8151 319 364 0 10750 0
[pid=3896] ppid=3894 vsize=117428 CPUtime=2.32 cores=1,3,5,7
/proc/3896/stat : 3896 (scip-2.0.1.linu) R 3894 3896 3896 0 -1 4202496 26984 0 0 0 213 19 0 0 19 0 1 0 869404297 120246272 25470 33554432000 4194304 15243407 140736334108800 18446744073709551615 8114128 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3896/statm: 29357 25470 851 2698 0 26652 0
[pid=3877/tid=3885] ppid=3875 vsize=313708 CPUtime=0.25 cores=1,3,5,7
/proc/3877/task/3885/stat : 3885 (python) S 3875 3877 1406 0 -1 4202560 26 1454 0 0 0 0 21 4 18 0 3 0 869399597 321236992 9710 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604461845563456 0 0 -1 7 0 0 0
[pid=3877/tid=3895] ppid=3875 vsize=313708 CPUtime=0.25 cores=1,3,5,7
/proc/3877/task/3895/stat : 3895 (python) S 3875 3877 1406 0 -1 4202560 31 1454 0 0 0 0 21 4 20 0 3 0 869404296 321236992 9710 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604461845563456 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 1191904
[startup+102.301 s]
/proc/loadavg: 2.29 2.17 1.79 3/634 3948
/proc/meminfo: memFree=18721676/32951124 swapFree=43359760/67111528
[pid=3877] ppid=3875 vsize=323964 CPUtime=1.67 cores=1,3,5,7
/proc/3877/stat : 3877 (python) S 3875 3877 1406 0 -1 4202496 17869 1454 1 0 119 23 21 4 19 0 4 0 869399419 331739136 9716 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3877/statm: 80991 9716 1876 364 0 15872 0
[pid=3884] ppid=3877 vsize=303452 CPUtime=0.22 cores=1,3,5,7
/proc/3884/stat : 3884 (python) S 3877 3877 1406 0 -1 4202560 1098 0 0 0 11 11 0 0 17 0 2 0 869399597 310734848 8238 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3884/statm: 75863 8238 405 364 0 10750 0
[pid=3886] ppid=3884 vsize=153852 CPUtime=46.96 cores=1,3,5,7
/proc/3886/stat : 3886 (scip-2.0.1.linu) T 3884 3886 3886 0 -1 4202496 37650 0 0 0 4616 80 0 0 25 0 1 0 869399597 157544448 35546 33554432000 4194304 13684479 140736354119216 18446744073709551615 4936714 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3886/statm: 38463 35546 759 2317 0 36141 0
[pid=3884/tid=3893] ppid=3877 vsize=303452 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3893/stat : 3893 (python) S 3877 3877 1406 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869404294 310734848 8238 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554946 18446604456429597952 0 0 -1 7 0 0 0
[pid=3894] ppid=3877 vsize=303464 CPUtime=0.21 cores=1,3,5,7
/proc/3894/stat : 3894 (python) S 3877 3877 1406 0 -1 4202560 1203 0 0 0 10 11 0 0 17 0 2 0 869404296 310747136 8229 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3894/statm: 75866 8229 396 364 0 10750 0
[pid=3896] ppid=3894 vsize=144936 CPUtime=46.74 cores=1,3,5,7
/proc/3896/stat : 3896 (scip-2.0.1.linu) T 3894 3896 3896 0 -1 4202496 34265 0 0 0 4639 35 0 0 18 0 1 0 869404297 148414464 32751 33554432000 4194304 15243407 140736334108800 18446744073709551615 4957312 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/3896/statm: 36234 32751 879 2698 0 33529 0
[pid=3894/tid=3898] ppid=3877 vsize=303464 CPUtime=0 cores=1,3,5,7
/proc/3894/task/3898/stat : 3898 (python) S 3877 3877 1406 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869408971 310747136 8229 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554946 18446604470238352704 0 0 -1 7 0 0 0
[pid=3899] ppid=3877 vsize=313720 CPUtime=0.01 cores=1,3,5,7
/proc/3899/stat : 3899 (python) S 3877 3877 1406 0 -1 4202560 1015 0 0 0 1 0 0 0 18 0 1 0 869408974 321249280 8193 33554432000 4194304 5683644 140734506278256 18446744073709551615 246516854342 0 0 16781312 33554946 3521787115870322950 0 0 17 5 0 0 0
/proc/3899/statm: 78430 8193 357 364 0 13311 0
[pid=3901] ppid=3899 vsize=140264 CPUtime=6.73 cores=1,3,5,7
/proc/3901/stat : 3901 (wbo1.4a) R 3899 3901 3901 0 -1 4202496 35775 0 0 0 670 3 0 0 25 0 1 0 869408974 143630336 34484 33554432000 134512640 135751879 4287025072 18446744073709551615 135204980 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/3901/statm: 35066 34484 143 303 0 34761 0
[pid=3877/tid=3885] ppid=3875 vsize=323964 CPUtime=0.25 cores=1,3,5,7
/proc/3877/task/3885/stat : 3885 (python) S 3875 3877 1406 0 -1 4202560 26 1454 0 0 0 0 21 4 18 0 4 0 869399597 331739136 9716 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604461845563456 0 0 -1 7 0 0 0
[pid=3877/tid=3895] ppid=3875 vsize=323964 CPUtime=0.25 cores=1,3,5,7
/proc/3877/task/3895/stat : 3895 (python) S 3875 3877 1406 0 -1 4202560 31 1454 0 0 0 0 21 4 20 0 4 0 869404296 331739136 9716 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604461845563456 0 0 -1 5 0 0 0
[pid=3877/tid=3900] ppid=3875 vsize=323964 CPUtime=0.25 cores=1,3,5,7
/proc/3877/task/3900/stat : 3900 (python) S 3875 3877 1406 0 -1 4202560 26 1454 0 0 0 0 21 4 20 0 4 0 869408974 331739136 9716 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604461845563456 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.54
Current children cumulated vsize (KiB) 1683652
[startup+162.301 s]
/proc/loadavg: 2.10 2.13 1.80 3/686 4007
################
# More data... #
################
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1359.8 s]
/proc/loadavg: 1.21 1.69 1.85 3/810 4950
/proc/meminfo: memFree=6954576/32951124 swapFree=43359760/67111528
[pid=3877] ppid=3875 vsize=364988 CPUtime=1.84 cores=1,3,5,7
/proc/3877/stat : 3877 (python) S 3875 3877 1406 0 -1 4202496 21630 1454 1 0 135 24 21 4 20 0 8 0 869399419 373747712 9740 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3877/statm: 91247 9740 1884 364 0 26116 0
[pid=3884] ppid=3877 vsize=303452 CPUtime=1.42 cores=1,3,5,7
/proc/3884/stat : 3884 (python) S 3877 3877 1406 0 -1 4202560 1202 0 0 0 68 74 0 0 15 0 2 0 869399597 310734848 8240 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3884/statm: 75863 8240 407 364 0 10750 0
[pid=3886] ppid=3884 vsize=154028 CPUtime=330.75 cores=1,3,5,7
/proc/3886/stat : 3886 (scip-2.0.1.linu) T 3884 3886 3886 0 -1 4202496 41214 0 0 0 32093 982 0 0 25 0 1 0 869399597 157724672 35651 33554432000 4194304 13684479 140736354119216 18446744073709551615 7268156 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3886/statm: 38507 35651 806 2317 0 36185 0
[pid=3884/tid=3893] ppid=3877 vsize=303452 CPUtime=0 cores=1,3,5,7
/proc/3884/task/3893/stat : 3893 (python) S 3877 3877 1406 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869404294 310734848 8240 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554946 18446604456429597952 0 0 -1 5 0 0 0
[pid=3894] ppid=3877 vsize=303464 CPUtime=3.61 cores=1,3,5,7
/proc/3894/stat : 3894 (python) S 3877 3877 1406 0 -1 4202560 1333 0 0 0 178 183 0 0 15 0 2 0 869404296 310747136 8230 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3894/statm: 75866 8230 397 364 0 10750 0
[pid=3896] ppid=3894 vsize=214192 CPUtime=786.39 cores=1,3,5,7
/proc/3896/stat : 3896 (scip-2.0.1.linu) T 3894 3896 3896 0 -1 4202496 144155 0 0 0 77884 755 0 0 19 0 1 0 869404297 219332608 50250 33554432000 4194304 15243407 140736334108800 18446744073709551615 7115030 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/3896/statm: 53548 50250 948 2698 0 50843 0
[pid=3894/tid=3898] ppid=3877 vsize=303464 CPUtime=0 cores=1,3,5,7
/proc/3894/task/3898/stat : 3898 (python) S 3877 3877 1406 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869408971 310747136 8230 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554946 18446604470238352704 0 0 -1 1 0 0 0
[pid=3899] ppid=3877 vsize=313720 CPUtime=0.22 cores=1,3,5,7
/proc/3899/stat : 3899 (python) S 3877 3877 1406 0 -1 4202560 1222 0 0 0 11 11 0 0 17 0 2 0 869408974 321249280 8242 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3899/statm: 78430 8242 405 364 0 13311 0
[pid=3901] ppid=3899 vsize=324620 CPUtime=49.64 cores=1,3,5,7
/proc/3901/stat : 3901 (wbo1.4a) T 3899 3901 3901 0 -1 4202496 84066 0 0 0 4922 42 0 0 25 0 1 0 869408974 332410880 80536 33554432000 134512640 135751879 4287025072 18446744073709551615 134610036 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/3901/statm: 81155 80536 146 303 0 80850 0
[pid=3899/tid=3963] ppid=3877 vsize=313720 CPUtime=0 cores=1,3,5,7
/proc/3899/task/3963/stat : 3963 (python) S 3877 3877 1406 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869413944 321249280 8242 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554946 18446604461845561664 0 0 -1 7 0 0 0
[pid=3964] ppid=3877 vsize=323976 CPUtime=0.18 cores=1,3,5,7
/proc/3964/stat : 3964 (python) S 3877 3877 1406 0 -1 4202560 1164 0 0 0 8 10 0 0 16 0 2 0 869413946 331751424 8231 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3964/statm: 80994 8231 390 364 0 15872 0
[pid=3966] ppid=3964 vsize=8547300 CPUtime=49.31 cores=1,3,5,7
/proc/3966/stat : 3966 (java) T 3964 3966 3966 0 -1 4202496 573292 0 1 0 4871 60 0 0 18 0 19 0 869413947 8752435200 567104 33554432000 1073741824 1073778376 140733878108368 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3966/statm: 2136825 567104 2249 9 0 2127566 0
[pid=3966/tid=3967] ppid=3964 vsize=8547300 CPUtime=46.11 cores=1,3,5,7
/proc/3966/task/3967/stat : 3967 (java) T 3964 3966 3966 0 -1 4202560 473869 0 1 0 4563 48 0 0 25 0 19 0 869413947 8752435200 567104 33554432000 1073741824 1073778376 140733878108368 18446744073709551615 46912506047520 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3966/tid=3968] ppid=3964 vsize=8547300 CPUtime=0.21 cores=1,3,5,7
/proc/3966/task/3968/stat : 3968 (java) T 3964 3966 3966 0 -1 4202560 15655 0 0 0 20 1 0 0 15 0 19 0 869413948 8752435200 567104 33554432000 1073741824 1073778376 140733878108368 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3966/tid=3969] ppid=3964 vsize=8547300 CPUtime=0.16 cores=1,3,5,7
/proc/3966/task/3969/stat : 3969 (java) T 3964 3966 3966 0 -1 4202560 11812 0 0 0 15 1 0 0 15 0 19 0 869413948 8752435200 567104 33554432000 1073741824 1073778376 140733878108368 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3966/tid=3970] ppid=3964 vsize=8547300 CPUtime=0.15 cores=1,3,5,7
/proc/3966/task/3970/stat : 3970 (java) T 3964 3966 3966 0 -1 4202560 11672 0 0 0 14 1 0 0 15 0 19 0 869413948 8752435200 567104 33554432000 1073741824 1073778376 140733878108368 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3966/tid=3971] ppid=3964 vsize=8547300 CPUtime=0.1 cores=1,3,5,7
/proc/3966/task/3971/stat : 3971 (java) T 3964 3966 3966 0 -1 4202560 8885 0 0 0 10 0 0 0 15 0 19 0 869413948 8752435200 567104 33554432000 1073741824 1073778376 140733878108368 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3966/tid=3972] ppid=3964 vsize=8547300 CPUtime=0.1 cores=1,3,5,7
/proc/3966/task/3972/stat : 3972 (java) T 3964 3966 3966 0 -1 4202560 7570 0 0 0 10 0 0 0 15 0 19 0 869413948 8752435200 567104 33554432000 1073741824 1073778376 140733878108368 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3966/tid=3973] ppid=3964 vsize=8547300 CPUtime=0.11 cores=1,3,5,7
/proc/3966/task/3973/stat : 3973 (java) T 3964 3966 3966 0 -1 4202560 8405 0 0 0 11 0 0 0 15 0 19 0 869413948 8752435200 567104 33554432000 1073741824 1073778376 140733878108368 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3966/tid=3974] ppid=3964 vsize=8547300 CPUtime=0.17 cores=1,3,5,7
/proc/3966/task/3974/stat : 3974 (java) T 3964 3966 3966 0 -1 4202560 13224 0 0 0 15 2 0 0 15 0 19 0 869413948 8752435200 567104 33554432000 1073741824 1073778376 140733878108368 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3966/tid=3975] ppid=3964 vsize=8547300 CPUtime=0.1 cores=1,3,5,7
/proc/3966/task/3975/stat : 3975 (java) T 3964 3966 3966 0 -1 4202560 8214 0 0 0 9 1 0 0 15 0 19 0 869413948 8752435200 567104 33554432000 1073741824 1073778376 140733878108368 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3966/tid=3976] ppid=3964 vsize=8547300 CPUtime=0 cores=1,3,5,7
/proc/3966/task/3976/stat : 3976 (java) T 3964 3966 3966 0 -1 4202560 1269 0 0 0 0 0 0 0 15 0 19 0 869413949 8752435200 567104 33554432000 1073741824 1073778376 140733878108368 18446744073709551615 246528650752 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3966/tid=3977] ppid=3964 vsize=8547300 CPUtime=0 cores=1,3,5,7
/proc/3966/task/3977/stat : 3977 (java) T 3964 3966 3966 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869413949 8752435200 567104 33554432000 1073741824 1073778376 140733878108368 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3966/tid=3978] ppid=3964 vsize=8547300 CPUtime=0 cores=1,3,5,7
/proc/3966/task/3978/stat : 3978 (java) T 3964 3966 3966 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869413949 8752435200 567104 33554432000 1073741824 1073778376 140733878108368 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3966/tid=3979] ppid=3964 vsize=8547300 CPUtime=0 cores=1,3,5,7
/proc/3966/task/3979/stat : 3979 (java) T 3964 3966 3966 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869413951 8752435200 567104 33554432000 1073741824 1073778376 140733878108368 18446744073709551615 246528657841 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3966/tid=3980] ppid=3964 vsize=8547300 CPUtime=1.13 cores=1,3,5,7
/proc/3966/task/3980/stat : 3980 (java) T 3964 3966 3966 0 -1 4202560 5595 0 0 0 113 0 0 0 15 0 19 0 869413951 8752435200 567104 33554432000 1073741824 1073778376 140733878108368 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3966/tid=3981] ppid=3964 vsize=8547300 CPUtime=0.86 cores=1,3,5,7
/proc/3966/task/3981/stat : 3981 (java) T 3964 3966 3966 0 -1 4202560 5725 0 0 0 86 0 0 0 15 0 19 0 869413951 8752435200 567104 33554432000 1073741824 1073778376 140733878108368 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3966/tid=3982] ppid=3964 vsize=8547300 CPUtime=0 cores=1,3,5,7
/proc/3966/task/3982/stat : 3982 (java) T 3964 3966 3966 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869413951 8752435200 567104 33554432000 1073741824 1073778376 140733878108368 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3966/tid=3983] ppid=3964 vsize=8547300 CPUtime=0 cores=1,3,5,7
/proc/3966/task/3983/stat : 3983 (java) T 3964 3966 3966 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869413951 8752435200 567104 33554432000 1073741824 1073778376 140733878108368 18446744073709551615 246528650752 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3966/tid=3984] ppid=3964 vsize=8547300 CPUtime=0 cores=1,3,5,7
/proc/3966/task/3984/stat : 3984 (java) T 3964 3966 3966 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869414020 8752435200 567104 33554432000 1073741824 1073778376 140733878108368 18446744073709551615 246528650752 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3964/tid=4008] ppid=3877 vsize=323976 CPUtime=0 cores=1,3,5,7
/proc/3964/task/4008/stat : 4008 (python) S 3877 3877 1406 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 869418597 331751424 8231 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554946 18446604465484557056 0 0 -1 7 0 0 0
[pid=4201] ppid=3877 vsize=334232 CPUtime=0.38 cores=1,3,5,7
/proc/4201/stat : 4201 (python) S 3877 3877 1406 0 -1 4202560 1187 0 0 0 20 18 0 0 16 0 2 0 869460751 342253568 8235 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4201/statm: 83558 8235 390 364 0 18433 0
[pid=4203] ppid=4201 vsize=17376 CPUtime=95.22 cores=1,3,5,7
/proc/4203/stat : 4203 (clasp-1.3.7-x86) T 4201 4203 4203 0 -1 4202496 4723 0 0 0 9522 0 0 0 25 0 1 0 869460751 17793024 4098 33554432000 134512640 136139019 4292457408 18446744073709551615 134608160 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/4203/statm: 4344 4098 187 398 0 3944 0
[pid=4201/tid=4474] ppid=3877 vsize=334232 CPUtime=0 cores=1,3,5,7
/proc/4201/task/4474/stat : 4474 (python) S 3877 3877 1406 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 2 0 869470274 342253568 8235 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554946 18446604470404649216 0 0 -1 7 0 0 0
[pid=4918] ppid=3877 vsize=344488 CPUtime=0.2 cores=1,3,5,7
/proc/4918/stat : 4918 (python) S 3877 3877 1406 0 -1 4202560 1159 0 0 0 10 10 0 0 16 0 2 0 869530479 352755712 8239 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4918/statm: 86122 8239 390 364 0 20994 0
[pid=4920] ppid=4918 vsize=92304 CPUtime=49.13 cores=1,3,5,7
/proc/4920/stat : 4920 (bsolo_pb10) T 4918 4920 4920 0 -1 4202496 21267 0 0 0 4908 5 0 0 25 0 1 0 869530480 94519296 20567 33554432000 134512640 137138936 4292139840 18446744073709551615 134542316 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/4920/statm: 23076 20567 192 642 0 22432 0
[pid=4918/tid=4924] ppid=3877 vsize=344488 CPUtime=0 cores=1,3,5,7
/proc/4918/task/4924/stat : 4924 (python) S 3877 3877 1406 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 2 0 869535394 352755712 8239 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554946 18446604470703972480 0 0 -1 7 0 0 0
[pid=4925] ppid=3877 vsize=354744 CPUtime=0 cores=1,3,5,7
/proc/4925/stat : 4925 (python) S 3877 3877 1406 0 -1 4202560 764 0 0 0 0 0 0 0 19 0 1 0 869535395 363257856 8168 33554432000 4194304 5683644 140734506278256 18446744073709551615 246516854342 0 0 16781312 33554946 16446204764577825032 0 0 17 5 0 0 0
/proc/4925/statm: 88686 8168 316 364 0 23555 0
[pid=4928] ppid=4925 vsize=8465644 CPUtime=0.04 cores=1,3,5,7
/proc/4928/stat : 4928 (java) S 4925 4928 4928 0 -1 4202496 4201 0 1 0 4 0 0 0 17 0 18 0 869535395 8668819456 3655 33554432000 1073741824 1073778376 140736632167616 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4928/statm: 2116411 3655 1747 9 0 2107152 0
[pid=4928/tid=4929] ppid=4925 vsize=8465644 CPUtime=0.05 cores=1,3,5,7
/proc/4928/task/4929/stat : 4929 (java) R 4925 4928 4928 0 -1 4202560 2947 0 1 0 5 0 0 0 25 0 18 0 869535396 8668819456 3818 33554432000 1073741824 1073778376 140736632167616 18446744073709551615 47162412776275 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4928/tid=4930] ppid=4925 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/4928/task/4930/stat : 4930 (java) S 4925 4928 4928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869535397 8668819456 3818 33554432000 1073741824 1073778376 140736632167616 18446744073709551615 246528650137 0 4 0 16800975 18446604468770646848 0 0 -1 1 0 0 0
[pid=4928/tid=4931] ppid=4925 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/4928/task/4931/stat : 4931 (java) S 4925 4928 4928 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869535397 8668819456 3819 33554432000 1073741824 1073778376 140736632167616 18446744073709551615 246528650137 0 4 0 16800975 18446604468770646848 0 0 -1 7 0 0 0
[pid=4928/tid=4933] ppid=4925 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/4928/task/4933/stat : 4933 (java) S 4925 4928 4928 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869535397 8668819456 3819 33554432000 1073741824 1073778376 140736632167616 18446744073709551615 246528650137 0 4 0 16800975 18446604468770646848 0 0 -1 7 0 0 0
[pid=4928/tid=4934] ppid=4925 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/4928/task/4934/stat : 4934 (java) S 4925 4928 4928 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869535397 8668819456 3821 33554432000 1073741824 1073778376 140736632167616 18446744073709551615 246528650137 0 4 0 16800975 18446604468770646848 0 0 -1 7 0 0 0
[pid=4928/tid=4936] ppid=4925 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/4928/task/4936/stat : 4936 (java) S 4925 4928 4928 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869535397 8668819456 3823 33554432000 1073741824 1073778376 140736632167616 18446744073709551615 246528650137 0 4 0 16800975 18446604468770646848 0 0 -1 7 0 0 0
[pid=4928/tid=4937] ppid=4925 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/4928/task/4937/stat : 4937 (java) S 4925 4928 4928 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869535397 8668819456 3826 33554432000 1073741824 1073778376 140736632167616 18446744073709551615 246528650137 0 4 0 16800975 18446604468770646848 0 0 -1 7 0 0 0
[pid=4928/tid=4939] ppid=4925 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/4928/task/4939/stat : 4939 (java) S 4925 4928 4928 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869535397 8668819456 3828 33554432000 1073741824 1073778376 140736632167616 18446744073709551615 246528650137 0 4 0 16800975 18446604468770646848 0 0 -1 7 0 0 0
[pid=4928/tid=4940] ppid=4925 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/4928/task/4940/stat : 4940 (java) S 4925 4928 4928 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869535397 8668819456 3828 33554432000 1073741824 1073778376 140736632167616 18446744073709551615 246528650137 0 4 0 16800975 18446604468770646848 0 0 -1 7 0 0 0
[pid=4928/tid=4942] ppid=4925 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/4928/task/4942/stat : 4942 (java) S 4925 4928 4928 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 18 0 869535398 8668819456 3828 33554432000 1073741824 1073778376 140736632167616 18446744073709551615 246528650752 0 0 0 16800975 18446604468770646848 0 0 -1 7 0 0 0
[pid=4928/tid=4943] ppid=4925 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/4928/task/4943/stat : 4943 (java) S 4925 4928 4928 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 18 0 869535398 8668819456 3828 33554432000 1073741824 1073778376 140736632167616 18446744073709551615 246528650137 0 4 0 16800975 18446604468770646848 0 0 -1 1 0 0 0
[pid=4928/tid=4945] ppid=4925 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/4928/task/4945/stat : 4945 (java) S 4925 4928 4928 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 18 0 869535399 8668819456 3829 33554432000 1073741824 1073778376 140736632167616 18446744073709551615 246528650137 0 4 0 16800975 18446604468770646848 0 0 -1 1 0 0 0
[pid=4928/tid=4946] ppid=4925 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/4928/task/4946/stat : 4946 (java) S 4925 4928 4928 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869535401 8668819456 3829 33554432000 1073741824 1073778376 140736632167616 18446744073709551615 246528657841 0 4 0 16800975 18446604468770646848 0 0 -1 1 0 0 0
[pid=4928/tid=4947] ppid=4925 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/4928/task/4947/stat : 4947 (java) S 4925 4928 4928 0 -1 4202560 22 0 0 0 0 0 0 0 25 0 18 0 869535401 8668819456 3829 33554432000 1073741824 1073778376 140736632167616 18446744073709551615 246528650137 0 4 0 16800975 18446604468770646848 0 0 -1 1 0 0 0
[pid=4928/tid=4948] ppid=4925 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/4928/task/4948/stat : 4948 (java) R 4925 4928 4928 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869535401 8668819456 3831 33554432000 1073741824 1073778376 140736632167616 18446744073709551615 246528650137 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4928/tid=4949] ppid=4925 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/4928/task/4949/stat : 4949 (java) S 4925 4928 4928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869535401 8668819456 3831 33554432000 1073741824 1073778376 140736632167616 18446744073709551615 246528650137 0 4 0 16800975 18446604468770646848 0 0 -1 1 0 0 0
[pid=4928/tid=4950] ppid=4925 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/4928/task/4950/stat : 4950 (java) S 4925 4928 4928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869535401 8668819456 3831 33554432000 1073741824 1073778376 140736632167616 18446744073709551615 246528650752 0 4 0 16800975 18446604468770646848 0 0 -1 1 0 0 0
[pid=3877/tid=3885] ppid=3875 vsize=364988 CPUtime=0.25 cores=1,3,5,7
/proc/3877/task/3885/stat : 3885 (python) S 3875 3877 1406 0 -1 4202560 32 1454 0 0 0 0 21 4 18 0 8 0 869399597 373747712 9740 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604461845563456 0 0 -1 1 0 0 0
[pid=3877/tid=3895] ppid=3875 vsize=364988 CPUtime=0.25 cores=1,3,5,7
/proc/3877/task/3895/stat : 3895 (python) S 3875 3877 1406 0 -1 4202560 38 1454 0 0 0 0 21 4 18 0 8 0 869404296 373747712 9740 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604461845563456 0 0 -1 5 0 0 0
[pid=3877/tid=3900] ppid=3875 vsize=364988 CPUtime=0.25 cores=1,3,5,7
/proc/3877/task/3900/stat : 3900 (python) S 3875 3877 1406 0 -1 4202560 26 1454 0 0 0 0 21 4 20 0 8 0 869408974 373747712 9740 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604461845563456 0 0 -1 5 0 0 0
[pid=3877/tid=3965] ppid=3875 vsize=364988 CPUtime=0.25 cores=1,3,5,7
/proc/3877/task/3965/stat : 3965 (python) S 3875 3877 1406 0 -1 4202560 26 1454 0 0 0 0 21 4 20 0 8 0 869413946 373747712 9740 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604461845563456 0 0 -1 7 0 0 0
[pid=3877/tid=4202] ppid=3875 vsize=364988 CPUtime=0.25 cores=1,3,5,7
/proc/3877/task/4202/stat : 4202 (python) S 3875 3877 1406 0 -1 4202560 30 1454 0 0 0 0 21 4 20 0 8 0 869460751 373747712 9740 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604461845563456 0 0 -1 1 0 0 0
[pid=3877/tid=4919] ppid=3875 vsize=364988 CPUtime=0.25 cores=1,3,5,7
/proc/3877/task/4919/stat : 4919 (python) S 3875 3877 1406 0 -1 4202560 30 1454 0 0 0 0 21 4 20 0 8 0 869530479 373747712 9740 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604461845563456 0 0 -1 5 0 0 0
[pid=3877/tid=4927] ppid=3875 vsize=364988 CPUtime=0.25 cores=1,3,5,7
/proc/3877/task/4927/stat : 4927 (python) S 3875 3877 1406 0 -1 4202560 27 1454 0 0 0 0 21 4 20 0 8 0 869535395 373747712 9740 33554432000 4194304 5683644 140734506278256 18446744073709551615 246528657841 0 0 16781312 33554434 18446604461845563456 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1368.33
Current children cumulated vsize (KiB) 20458528
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3877 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=574760
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=294955
# CPU time returned by wait4() is 1.86971
# while last known CPU time is 1368.33
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1359.89
CPU time (s): 1368.33
CPU user time (s): 1346.55
CPU system time (s): 21.78
CPU usage (%): 100.62
Max. virtual memory (cumulated for all children) (KiB): 20458528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.57476
system time used= 0.294955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23492
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= 16269
involuntary context switches= 35
runsolver used 10.5974 second user time and 21.2548 second system time
The end