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-3481479-1307577867/watcher-3481479-1307577867 -o /tmp/evaluation-result-3481479-1307577867/solver-3481479-1307577867 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481479-1307577867.opb -seed 1945210893 -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.10 2.10 1.67 3/642 16034
/proc/meminfo: memFree=23467384/32951124 swapFree=57654872/67111528
[pid=16034] ppid=16032 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/16034/stat : 16034 (python) R 16032 16034 14938 0 -1 4202496 886 0 0 0 0 0 0 0 20 0 1 0 869384897 16154624 767 33554432000 4194304 5683644 140734733335632 18446744073709551615 232335553221 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16034/statm: 3944 768 343 364 0 431 0
[startup+0.0975 s]
/proc/loadavg: 2.10 2.10 1.67 3/642 16034
/proc/meminfo: memFree=23467384/32951124 swapFree=57654872/67111528
[pid=16034] ppid=16032 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/16034/stat : 16034 (python) R 16032 16034 14938 0 -1 4202496 3168 932 1 0 6 1 0 0 18 0 1 0 869384897 98435072 2483 33554432000 4194304 5683644 140734733335632 18446744073709551615 5177358 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16034/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.100507 s]
/proc/loadavg: 2.10 2.10 1.67 3/642 16034
/proc/meminfo: memFree=23467384/32951124 swapFree=57654872/67111528
[pid=16034] ppid=16032 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/16034/stat : 16034 (python) R 16032 16034 14938 0 -1 4202496 3168 932 1 0 6 1 0 0 18 0 1 0 869384897 98435072 2483 33554432000 4194304 5683644 140734733335632 18446744073709551615 5178094 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16034/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300492 s]
/proc/loadavg: 2.10 2.10 1.67 3/642 16034
/proc/meminfo: memFree=23467384/32951124 swapFree=57654872/67111528
[pid=16034] ppid=16032 vsize=203280 CPUtime=0.22 cores=0,2,4,6
/proc/16034/stat : 16034 (python) R 16032 16034 14938 0 -1 4202496 6725 932 1 0 16 6 0 0 17 0 1 0 869384897 208158720 5003 33554432000 4194304 5683644 140734733335632 18446744073709551615 232335890432 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16034/statm: 50820 5003 1472 364 0 3782 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 203280
[startup+0.700406 s]
/proc/loadavg: 2.10 2.10 1.67 3/642 16034
/proc/meminfo: memFree=23467384/32951124 swapFree=57654872/67111528
[pid=16034] ppid=16032 vsize=261408 CPUtime=0.32 cores=0,2,4,6
/proc/16034/stat : 16034 (python) D 16032 16034 14938 0 -1 4202496 8254 932 1 0 24 8 0 0 17 0 1 0 869384897 267681792 6351 33554432000 4194304 5683644 140734733335632 18446744073709551615 232335898167 0 0 16781312 2 18446744071562154983 0 0 17 4 0 0 0
/proc/16034/statm: 65352 6351 1677 364 0 5068 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 261408
[startup+2.756 s]
/proc/loadavg: 2.10 2.10 1.67 3/642 16034
/proc/meminfo: memFree=23467384/32951124 swapFree=57654872/67111528
[pid=16034] ppid=16032 vsize=294456 CPUtime=0.51 cores=0,2,4,6
/proc/16034/stat : 16034 (python) S 16032 16034 14938 0 -1 4202496 10994 1354 1 0 40 9 2 0 20 0 2 0 869384897 301522944 7453 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 37
/proc/16034/statm: 73614 7453 1871 364 0 8501 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 294456
heavy processes:
[startup+3.10099 s]
/proc/loadavg: 2.10 2.10 1.67 3/646 16043
/proc/meminfo: memFree=23398896/32951124 swapFree=57654872/67111528
[pid=16034] ppid=16032 vsize=294456 CPUtime=0.51 cores=0,2,4,6
/proc/16034/stat : 16034 (python) S 16032 16034 14938 0 -1 4202496 10994 1354 1 0 40 9 2 0 20 0 2 0 869384897 301522944 7453 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 37
/proc/16034/statm: 73614 7453 1871 364 0 8501 0
[pid=16041] ppid=16034 vsize=284212 CPUtime=0 cores=0,2,4,6
/proc/16041/stat : 16041 (python) S 16034 16034 14938 0 -1 4202560 743 0 0 0 0 0 0 0 15 0 1 0 869384998 291033088 5897 33554432000 4194304 5683644 140734733335632 18446744073709551615 232335912463 0 0 16781312 33554946 259336520538783744 0 0 17 4 0 0 0
/proc/16041/statm: 71053 5897 319 364 0 5940 0
[pid=16043] ppid=16041 vsize=52728 CPUtime=2.06 cores=0,2,4,6
/proc/16043/stat : 16043 (scip-2.0.1.linu) R 16041 16043 16043 0 -1 4202496 12728 0 0 0 195 11 0 0 19 0 1 0 869384998 53993472 10816 33554432000 4194304 13684479 140735839444736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16043/statm: 13182 10816 791 2317 0 10860 0
[pid=16034/tid=16042] ppid=16032 vsize=294456 CPUtime=0.02 cores=0,2,4,6
/proc/16034/task/16042/stat : 16042 (python) S 16032 16034 14938 0 -1 4202560 29 1354 0 0 0 0 2 0 20 0 2 0 869384998 301522944 7453 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554434 18446604440859133888 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 631396
[startup+6.31844 s]
/proc/loadavg: 2.09 2.09 1.67 3/646 16043
/proc/meminfo: memFree=23393940/32951124 swapFree=57654872/67111528
[pid=16034] ppid=16032 vsize=294456 CPUtime=0.51 cores=0,2,4,6
/proc/16034/stat : 16034 (python) S 16032 16034 14938 0 -1 4202496 10994 1354 1 0 40 9 2 0 20 0 2 0 869384897 301522944 7453 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 37
/proc/16034/statm: 73614 7453 1871 364 0 8501 0
[pid=16041] ppid=16034 vsize=284212 CPUtime=0.01 cores=0,2,4,6
/proc/16041/stat : 16041 (python) S 16034 16034 14938 0 -1 4202560 880 0 0 0 1 0 0 0 15 0 1 0 869384998 291033088 5920 33554432000 4194304 5683644 140734733335632 18446744073709551615 232335912463 0 0 16781312 33554946 3898525785761251328 0 0 17 4 0 0 0
/proc/16041/statm: 71053 5920 342 364 0 5940 0
[pid=16043] ppid=16041 vsize=60120 CPUtime=5.28 cores=0,2,4,6
/proc/16043/stat : 16043 (scip-2.0.1.linu) R 16041 16043 16043 0 -1 4202496 14517 0 0 0 516 12 0 0 25 0 1 0 869384998 61562880 12586 33554432000 4194304 13684479 140735839444736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16043/statm: 15030 12586 779 2317 0 12708 0
[pid=16034/tid=16042] ppid=16032 vsize=294456 CPUtime=0.02 cores=0,2,4,6
/proc/16034/task/16042/stat : 16042 (python) S 16032 16034 14938 0 -1 4202560 29 1354 0 0 0 0 2 0 20 0 2 0 869384998 301522944 7453 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554434 18446604440859133888 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 638788
[startup+12.7003 s]
/proc/loadavg: 2.16 2.11 1.68 3/646 16044
/proc/meminfo: memFree=23392620/32951124 swapFree=57654872/67111528
[pid=16034] ppid=16032 vsize=294456 CPUtime=0.51 cores=0,2,4,6
/proc/16034/stat : 16034 (python) S 16032 16034 14938 0 -1 4202496 10994 1354 1 0 40 9 2 0 20 0 2 0 869384897 301522944 7453 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 37
/proc/16034/statm: 73614 7453 1871 364 0 8501 0
[pid=16041] ppid=16034 vsize=284212 CPUtime=0.03 cores=0,2,4,6
/proc/16041/stat : 16041 (python) S 16034 16034 14938 0 -1 4202560 887 0 0 0 2 1 0 0 15 0 1 0 869384998 291033088 5921 33554432000 4194304 5683644 140734733335632 18446744073709551615 232335912463 0 0 16781312 33554946 252453199791783936 0 0 17 4 0 0 0
/proc/16041/statm: 71053 5921 343 364 0 5940 0
[pid=16043] ppid=16041 vsize=61516 CPUtime=11.66 cores=0,2,4,6
/proc/16043/stat : 16043 (scip-2.0.1.linu) R 16041 16043 16043 0 -1 4202496 15142 0 0 0 1151 15 0 0 25 0 1 0 869384998 62992384 13121 33554432000 4194304 13684479 140735839444736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16043/statm: 15379 13121 779 2317 0 13057 0
[pid=16034/tid=16042] ppid=16032 vsize=294456 CPUtime=0.02 cores=0,2,4,6
/proc/16034/task/16042/stat : 16042 (python) S 16032 16034 14938 0 -1 4202560 29 1354 0 0 0 0 2 0 20 0 2 0 869384998 301522944 7453 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554434 18446604440859133888 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.2
Current children cumulated vsize (KiB) 640184
[startup+25.501 s]
/proc/loadavg: 2.12 2.10 1.68 3/646 16045
/proc/meminfo: memFree=23381572/32951124 swapFree=57654872/67111528
[pid=16034] ppid=16032 vsize=294456 CPUtime=0.51 cores=0,2,4,6
/proc/16034/stat : 16034 (python) S 16032 16034 14938 0 -1 4202496 10994 1354 1 0 40 9 2 0 20 0 2 0 869384897 301522944 7453 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 37
/proc/16034/statm: 73614 7453 1871 364 0 8501 0
[pid=16041] ppid=16034 vsize=284212 CPUtime=0.09 cores=0,2,4,6
/proc/16041/stat : 16041 (python) S 16034 16034 14938 0 -1 4202560 901 0 0 0 5 4 0 0 15 0 1 0 869384998 291033088 5921 33554432000 4194304 5683644 140734733335632 18446744073709551615 232335912463 0 0 16781312 33554946 72556772316949397 0 0 17 6 0 0 0
/proc/16041/statm: 71053 5921 343 364 0 5940 0
[pid=16043] ppid=16041 vsize=61516 CPUtime=24.47 cores=0,2,4,6
/proc/16043/stat : 16043 (scip-2.0.1.linu) R 16041 16043 16043 0 -1 4202496 15166 0 0 0 2425 22 0 0 25 0 1 0 869384998 62992384 13145 33554432000 4194304 13684479 140735839444736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16043/statm: 15379 13145 801 2317 0 13057 0
[pid=16034/tid=16042] ppid=16032 vsize=294456 CPUtime=0.02 cores=0,2,4,6
/proc/16034/task/16042/stat : 16042 (python) S 16032 16034 14938 0 -1 4202560 29 1354 0 0 0 0 2 0 20 0 2 0 869384998 301522944 7453 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554434 18446604440859133888 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 640184
[startup+51.1005 s]
/proc/loadavg: 2.08 2.09 1.69 3/650 16049
/proc/meminfo: memFree=23338812/32951124 swapFree=57654872/67111528
[pid=16034] ppid=16032 vsize=294456 CPUtime=0.51 cores=0,2,4,6
/proc/16034/stat : 16034 (python) S 16032 16034 14938 0 -1 4202496 10994 1354 1 0 40 9 2 0 20 0 2 0 869384897 301522944 7453 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 37
/proc/16034/statm: 73614 7453 1871 364 0 8501 0
[pid=16041] ppid=16034 vsize=284212 CPUtime=0.19 cores=0,2,4,6
/proc/16041/stat : 16041 (python) S 16034 16034 14938 0 -1 4202560 914 0 0 0 10 9 0 0 15 0 1 0 869384998 291033088 5921 33554432000 4194304 5683644 140734733335632 18446744073709551615 232335912463 0 0 16781312 33554946 2837794783500435456 0 0 17 6 0 0 0
/proc/16041/statm: 71053 5921 343 364 0 5940 0
[pid=16043] ppid=16041 vsize=61516 CPUtime=50.07 cores=0,2,4,6
/proc/16043/stat : 16043 (scip-2.0.1.linu) R 16041 16043 16043 0 -1 4202496 15168 0 0 0 4972 35 0 0 25 0 1 0 869384998 62992384 13147 33554432000 4194304 13684479 140735839444736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16043/statm: 15379 13147 803 2317 0 13057 0
[pid=16034/tid=16042] ppid=16032 vsize=294456 CPUtime=0.02 cores=0,2,4,6
/proc/16034/task/16042/stat : 16042 (python) S 16032 16034 14938 0 -1 4202560 29 1354 0 0 0 0 2 0 20 0 2 0 869384998 301522944 7453 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554434 18446604440859133888 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 640184
[startup+102.301 s]
/proc/loadavg: 2.16 2.11 1.72 3/676 16077
/proc/meminfo: memFree=23070804/32951124 swapFree=57654872/67111528
[pid=16034] ppid=16032 vsize=315472 CPUtime=0.57 cores=0,2,4,6
/proc/16034/stat : 16034 (python) S 16032 16034 14938 0 -1 4202496 12813 1354 1 0 45 10 2 0 20 0 4 0 869384897 323043328 7592 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 37
/proc/16034/statm: 78868 7592 1876 364 0 13749 0
[pid=16041] ppid=16034 vsize=294456 CPUtime=0.22 cores=0,2,4,6
/proc/16041/stat : 16041 (python) S 16034 16034 14938 0 -1 4202560 1112 0 0 0 11 11 0 0 17 0 2 0 869384998 301522944 5989 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16041/statm: 73614 5989 406 364 0 8501 0
[pid=16043] ppid=16041 vsize=61516 CPUtime=50.77 cores=0,2,4,6
/proc/16043/stat : 16043 (scip-2.0.1.linu) T 16041 16043 16043 0 -1 4202496 15168 0 0 0 5042 35 0 0 25 0 1 0 869384998 62992384 13147 33554432000 4194304 13684479 140735839444736 18446744073709551615 7354541 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/16043/statm: 15379 13147 803 2317 0 13057 0
[pid=16041/tid=16050] ppid=16034 vsize=294456 CPUtime=0 cores=0,2,4,6
/proc/16041/task/16050/stat : 16050 (python) S 16034 16034 14938 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869390077 301522944 5989 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554946 18446604442141709376 0 0 -1 0 0 0 0
[pid=16051] ppid=16034 vsize=294972 CPUtime=0.23 cores=0,2,4,6
/proc/16051/stat : 16051 (python) S 16034 16034 14938 0 -1 4202560 1110 0 0 0 11 12 0 0 17 0 2 0 869390080 302051328 6100 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/16051/statm: 73743 6100 391 364 0 8627 0
[pid=16053] ppid=16051 vsize=8537228 CPUtime=47.54 cores=0,2,4,6
/proc/16053/stat : 16053 (java) T 16051 16053 16053 0 -1 4202496 84448 0 1 0 4740 14 0 0 15 0 19 0 869390080 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16053/statm: 2134307 56119 2255 9 0 2125048 0
[pid=16053/tid=16054] ppid=16051 vsize=8537228 CPUtime=45.65 cores=0,2,4,6
/proc/16053/task/16054/stat : 16054 (java) T 16051 16053 16053 0 -1 4202560 65646 0 1 0 4556 9 0 0 25 0 19 0 869390081 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 46912505669952 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 4
[pid=16053/tid=16055] ppid=16051 vsize=8537228 CPUtime=0.07 cores=0,2,4,6
/proc/16053/task/16055/stat : 16055 (java) T 16051 16053 16053 0 -1 4202560 1587 0 0 0 7 0 0 0 15 0 19 0 869390082 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16053/tid=16056] ppid=16051 vsize=8537228 CPUtime=0.06 cores=0,2,4,6
/proc/16053/task/16056/stat : 16056 (java) T 16051 16053 16053 0 -1 4202560 745 0 0 0 6 0 0 0 15 0 19 0 869390082 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16053/tid=16057] ppid=16051 vsize=8537228 CPUtime=0.06 cores=0,2,4,6
/proc/16053/task/16057/stat : 16057 (java) T 16051 16053 16053 0 -1 4202560 1260 0 0 0 6 0 0 0 15 0 19 0 869390082 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16053/tid=16058] ppid=16051 vsize=8537228 CPUtime=0.08 cores=0,2,4,6
/proc/16053/task/16058/stat : 16058 (java) T 16051 16053 16053 0 -1 4202560 1181 0 0 0 8 0 0 0 15 0 19 0 869390082 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16053/tid=16059] ppid=16051 vsize=8537228 CPUtime=0.07 cores=0,2,4,6
/proc/16053/task/16059/stat : 16059 (java) T 16051 16053 16053 0 -1 4202560 1006 0 0 0 7 0 0 0 15 0 19 0 869390082 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16053/tid=16060] ppid=16051 vsize=8537228 CPUtime=0.08 cores=0,2,4,6
/proc/16053/task/16060/stat : 16060 (java) T 16051 16053 16053 0 -1 4202560 1900 0 0 0 8 0 0 0 15 0 19 0 869390082 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16053/tid=16061] ppid=16051 vsize=8537228 CPUtime=0.07 cores=0,2,4,6
/proc/16053/task/16061/stat : 16061 (java) T 16051 16053 16053 0 -1 4202560 559 0 0 0 7 0 0 0 15 0 19 0 869390082 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16053/tid=16062] ppid=16051 vsize=8537228 CPUtime=0.05 cores=0,2,4,6
/proc/16053/task/16062/stat : 16062 (java) T 16051 16053 16053 0 -1 4202560 747 0 0 0 5 0 0 0 15 0 19 0 869390082 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16053/tid=16063] ppid=16051 vsize=8537228 CPUtime=0.5 cores=0,2,4,6
/proc/16053/task/16063/stat : 16063 (java) T 16051 16053 16053 0 -1 4202560 2058 0 0 0 48 2 0 0 15 0 19 0 869390083 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708928 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16053/tid=16064] ppid=16051 vsize=8537228 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=16075/tid=16143] ppid=16034 vsize=305228 CPUtime=0 cores=0,2,4,6
/proc/16075/task/16143/stat : 16143 (python) S 16034 16034 14938 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869404207 312553472 6104 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554946 18446604442171689664 0 0 -1 0 0 0 0
[pid=16144] ppid=16034 vsize=315484 CPUtime=0.13 cores=0,2,4,6
/proc/16144/stat : 16144 (python) S 16034 16034 14938 0 -1 4202560 945 0 0 0 5 8 0 0 16 0 1 0 869404210 323055616 6060 33554432000 4194304 5683644 140734733335632 18446744073709551615 232335912518 0 0 16781312 33554946 4294934787 0 0 17 0 0 0 0
/proc/16144/statm: 78871 6060 344 364 0 13749 0
[pid=16146] ppid=16144 vsize=69140 CPUtime=29.12 cores=0,2,4,6
/proc/16146/stat : 16146 (wbo1.4a) R 16144 16146 16146 0 -1 4202496 17134 0 0 0 2898 14 0 0 25 0 1 0 869404211 70799360 16806 33554432000 134512640 135751879 4294086720 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/16146/statm: 17285 16806 146 303 0 16980 0
[pid=16034/tid=16042] ppid=16032 vsize=325728 CPUtime=0.02 cores=0,2,4,6
/proc/16034/task/16042/stat : 16042 (python) S 16032 16034 14938 0 -1 4202560 29 1354 0 0 0 0 2 0 20 0 5 0 869384998 333545472 7598 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554434 18446604440859133888 0 0 -1 6 0 0 0
[pid=16034/tid=16052] ppid=16032 vsize=325728 CPUtime=0.02 cores=0,2,4,6
/proc/16034/task/16052/stat : 16052 (python) S 16032 16034 14938 0 -1 4202560 30 1354 0 0 0 0 2 0 20 0 5 0 869390080 333545472 7598 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554434 18446604440859133888 0 0 -1 6 0 0 0
[pid=16034/tid=16076] ppid=16032 vsize=325728 CPUtime=0.02 cores=0,2,4,6
/proc/16034/task/16076/stat : 16076 (python) S 16032 16034 14938 0 -1 4202560 25 1354 0 0 0 0 2 0 20 0 5 0 869394739 333545472 7598 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554434 18446604440859133888 0 0 -1 0 0 0 0
[pid=16034/tid=16145] ppid=16032 vsize=325728 CPUtime=0.02 cores=0,2,4,6
/proc/16034/task/16145/stat : 16145 (python) S 16032 16034 14938 0 -1 4202560 29 1354 0 0 0 0 2 0 20 0 5 0 869404210 333545472 7598 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554434 18446604440859133888 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 223.68
Current children cumulated vsize (KiB) 10269692
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+242.701 s]
/proc/loadavg: 2.08 2.09 1.76 4/702 16173
/proc/meminfo: memFree=22500804/32951124 swapFree=57654872/67111528
[pid=16034] ppid=16032 vsize=335984 CPUtime=0.62 cores=0,2,4,6
/proc/16034/stat : 16034 (python) S 16032 16034 14938 0 -1 4202496 14728 1354 1 0 50 10 2 0 20 0 6 0 869384897 344047616 7604 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 37
/proc/16034/statm: 83996 7604 1880 364 0 18871 0
[pid=16041] ppid=16034 vsize=294456 CPUtime=0.22 cores=0,2,4,6
/proc/16041/stat : 16041 (python) S 16034 16034 14938 0 -1 4202560 1112 0 0 0 11 11 0 0 17 0 2 0 869384998 301522944 5989 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16041/statm: 73614 5989 406 364 0 8501 0
[pid=16043] ppid=16041 vsize=61516 CPUtime=50.77 cores=0,2,4,6
/proc/16043/stat : 16043 (scip-2.0.1.linu) T 16041 16043 16043 0 -1 4202496 15168 0 0 0 5042 35 0 0 25 0 1 0 869384998 62992384 13147 33554432000 4194304 13684479 140735839444736 18446744073709551615 7354541 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/16043/statm: 15379 13147 803 2317 0 13057 0
[pid=16041/tid=16050] ppid=16034 vsize=294456 CPUtime=0 cores=0,2,4,6
/proc/16041/task/16050/stat : 16050 (python) S 16034 16034 14938 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869390077 301522944 5989 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554946 18446604442141709376 0 0 -1 0 0 0 0
[pid=16051] ppid=16034 vsize=294972 CPUtime=0.23 cores=0,2,4,6
/proc/16051/stat : 16051 (python) S 16034 16034 14938 0 -1 4202560 1110 0 0 0 11 12 0 0 17 0 2 0 869390080 302051328 6100 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/16051/statm: 73743 6100 391 364 0 8627 0
[pid=16053] ppid=16051 vsize=8537228 CPUtime=47.54 cores=0,2,4,6
/proc/16053/stat : 16053 (java) T 16051 16053 16053 0 -1 4202496 84448 0 1 0 4740 14 0 0 15 0 19 0 869390080 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16053/statm: 2134307 56119 2255 9 0 2125048 0
[pid=16053/tid=16054] ppid=16051 vsize=8537228 CPUtime=45.65 cores=0,2,4,6
/proc/16053/task/16054/stat : 16054 (java) T 16051 16053 16053 0 -1 4202560 65646 0 1 0 4556 9 0 0 25 0 19 0 869390081 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 46912505669952 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 4
[pid=16053/tid=16055] ppid=16051 vsize=8537228 CPUtime=0.07 cores=0,2,4,6
/proc/16053/task/16055/stat : 16055 (java) T 16051 16053 16053 0 -1 4202560 1587 0 0 0 7 0 0 0 15 0 19 0 869390082 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16053/tid=16056] ppid=16051 vsize=8537228 CPUtime=0.06 cores=0,2,4,6
/proc/16053/task/16056/stat : 16056 (java) T 16051 16053 16053 0 -1 4202560 745 0 0 0 6 0 0 0 15 0 19 0 869390082 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16053/tid=16057] ppid=16051 vsize=8537228 CPUtime=0.06 cores=0,2,4,6
/proc/16053/task/16057/stat : 16057 (java) T 16051 16053 16053 0 -1 4202560 1260 0 0 0 6 0 0 0 15 0 19 0 869390082 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16053/tid=16058] ppid=16051 vsize=8537228 CPUtime=0.08 cores=0,2,4,6
/proc/16053/task/16058/stat : 16058 (java) T 16051 16053 16053 0 -1 4202560 1181 0 0 0 8 0 0 0 15 0 19 0 869390082 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16053/tid=16059] ppid=16051 vsize=8537228 CPUtime=0.07 cores=0,2,4,6
/proc/16053/task/16059/stat : 16059 (java) T 16051 16053 16053 0 -1 4202560 1006 0 0 0 7 0 0 0 15 0 19 0 869390082 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16053/tid=16060] ppid=16051 vsize=8537228 CPUtime=0.08 cores=0,2,4,6
/proc/16053/task/16060/stat : 16060 (java) T 16051 16053 16053 0 -1 4202560 1900 0 0 0 8 0 0 0 15 0 19 0 869390082 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16053/tid=16061] ppid=16051 vsize=8537228 CPUtime=0.07 cores=0,2,4,6
/proc/16053/task/16061/stat : 16061 (java) T 16051 16053 16053 0 -1 4202560 559 0 0 0 7 0 0 0 15 0 19 0 869390082 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16053/tid=16062] ppid=16051 vsize=8537228 CPUtime=0.05 cores=0,2,4,6
/proc/16053/task/16062/stat : 16062 (java) T 16051 16053 16053 0 -1 4202560 747 0 0 0 5 0 0 0 15 0 19 0 869390082 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16053/tid=16063] ppid=16051 vsize=8537228 CPUtime=0.5 cores=0,2,4,6
/proc/16053/task/16063/stat : 16063 (java) T 16051 16053 16053 0 -1 4202560 2058 0 0 0 48 2 0 0 15 0 19 0 869390083 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708928 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16053/tid=16064] ppid=16051 vsize=8537228 CPUtime=0 cores=0,2,4,6
/proc/16053/task/16064/stat : 16064 (java) T 16051 16053 16053 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869390083 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16053/tid=16065] ppid=16051 vsize=8537228 CPUtime=0 cores=0,2,4,6
/proc/16053/task/16065/stat : 16065 (java) T 16051 16053 16053 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869390083 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16053/tid=16066] ppid=16051 vsize=8537228 CPUtime=0 cores=0,2,4,6
/proc/16053/task/16066/stat : 16066 (java) T 16051 16053 16053 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869390085 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347716017 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16053/tid=16067] ppid=16051 vsize=8537228 CPUtime=0.38 cores=0,2,4,6
/proc/16053/task/16067/stat : 16067 (java) T 16051 16053 16053 0 -1 4202560 3008 0 0 0 38 0 0 0 15 0 19 0 869390085 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16053/tid=16068] ppid=16051 vsize=8537228 CPUtime=0.38 cores=0,2,4,6
/proc/16053/task/16068/stat : 16068 (java) T 16051 16053 16053 0 -1 4202560 3358 0 0 0 38 0 0 0 15 0 19 0 869390085 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16053/tid=16069] ppid=16051 vsize=8537228 CPUtime=0 cores=0,2,4,6
/proc/16053/task/16069/stat : 16069 (java) T 16051 16053 16053 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869390085 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16053/tid=16070] ppid=16051 vsize=8537228 CPUtime=0 cores=0,2,4,6
/proc/16053/task/16070/stat : 16070 (java) T 16051 16053 16053 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869390085 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16053/tid=16071] ppid=16051 vsize=8537228 CPUtime=0 cores=0,2,4,6
/proc/16053/task/16071/stat : 16071 (java) T 16051 16053 16053 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869390117 8742121472 56119 33554432000 1073741824 1073778376 140733403579904 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16051/tid=16074] ppid=16034 vsize=294972 CPUtime=0 cores=0,2,4,6
/proc/16051/task/16074/stat : 16074 (python) S 16034 16034 14938 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869394736 302051328 6100 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554946 18446604453865503488 0 0 -1 2 0 0 0
[pid=16075] ppid=16034 vsize=305228 CPUtime=0.4 cores=0,2,4,6
/proc/16075/stat : 16075 (python) S 16034 16034 14938 0 -1 4202560 1143 0 0 0 21 19 0 0 16 0 2 0 869394739 312553472 6104 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/16075/statm: 76307 6104 391 364 0 11188 0
[pid=16077] ppid=16075 vsize=65940 CPUtime=94.67 cores=0,2,4,6
/proc/16077/stat : 16077 (scip-2.0.1.linu) T 16075 16077 16077 0 -1 4202496 16207 0 0 0 9436 31 0 0 25 0 1 0 869394739 67522560 13750 33554432000 4194304 15243407 140737117831024 18446744073709551615 7426922 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/16077/statm: 16485 13750 933 2698 0 13780 0
[pid=16075/tid=16143] ppid=16034 vsize=305228 CPUtime=0 cores=0,2,4,6
/proc/16075/task/16143/stat : 16143 (python) S 16034 16034 14938 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869404207 312553472 6104 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554946 18446604442171689664 0 0 -1 0 0 0 0
[pid=16144] ppid=16034 vsize=315484 CPUtime=0.24 cores=0,2,4,6
/proc/16144/stat : 16144 (python) S 16034 16034 14938 0 -1 4202560 1150 0 0 0 11 13 0 0 17 0 2 0 869404210 323055616 6108 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16144/statm: 78871 6108 391 364 0 13749 0
[pid=16146] ppid=16144 vsize=107504 CPUtime=48.43 cores=0,2,4,6
/proc/16146/stat : 16146 (wbo1.4a) T 16144 16146 16146 0 -1 4202496 26761 0 0 0 4819 24 0 0 25 0 1 0 869404211 110084096 26433 33554432000 134512640 135751879 4294086720 18446744073709551615 134616675 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/16146/statm: 26876 26433 146 303 0 26571 0
[pid=16144/tid=16152] ppid=16034 vsize=315484 CPUtime=0 cores=0,2,4,6
/proc/16144/task/16152/stat : 16152 (python) S 16034 16034 14938 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869409061 323055616 6108 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554946 18446604446016411456 0 0 -1 6 0 0 0
[pid=16153] ppid=16034 vsize=325740 CPUtime=0 cores=0,2,4,6
/proc/16153/stat : 16153 (python) S 16034 16034 14938 0 -1 4202560 789 0 0 0 0 0 0 0 15 0 1 0 869409064 333557760 6040 33554432000 4194304 5683644 140734733335632 18446744073709551615 232335912518 0 0 16781312 33554946 3918514550671900932 0 0 17 0 0 0 0
/proc/16153/statm: 81435 6040 320 364 0 16310 0
[pid=16155] ppid=16153 vsize=8610308 CPUtime=2.12 cores=0,2,4,6
/proc/16155/stat : 16155 (java) S 16153 16155 16155 0 -1 4202496 48650 0 1 0 205 7 0 0 20 0 19 0 869409064 8816955392 42741 33554432000 1073741824 1073778376 140736216069856 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16155/statm: 2152577 42741 2241 9 0 2143318 0
[pid=16155/tid=16156] ppid=16153 vsize=8610308 CPUtime=1.02 cores=0,2,4,6
/proc/16155/task/16156/stat : 16156 (java) R 16153 16155 16155 0 -1 4202560 35330 0 1 0 97 5 0 0 20 0 19 0 869409065 8816955392 42741 33554432000 1073741824 1073778376 140736216069856 18446744073709551615 46912505709664 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16155/tid=16157] ppid=16153 vsize=8610308 CPUtime=0 cores=0,2,4,6
/proc/16155/task/16157/stat : 16157 (java) S 16153 16155 16155 0 -1 4202560 220 0 0 0 0 0 0 0 18 0 19 0 869409066 8816955392 42741 33554432000 1073741824 1073778376 140736216069856 18446744073709551615 232347708313 0 4 0 16800975 18446604451814031552 0 0 -1 6 0 0 0
[pid=16155/tid=16158] ppid=16153 vsize=8610308 CPUtime=0 cores=0,2,4,6
/proc/16155/task/16158/stat : 16158 (java) S 16153 16155 16155 0 -1 4202560 309 0 0 0 0 0 0 0 18 0 19 0 869409066 8816955392 42741 33554432000 1073741824 1073778376 140736216069856 18446744073709551615 232347708313 0 4 0 16800975 18446604451814031552 0 0 -1 2 0 0 0
[pid=16155/tid=16159] ppid=16153 vsize=8610308 CPUtime=0 cores=0,2,4,6
/proc/16155/task/16159/stat : 16159 (java) S 16153 16155 16155 0 -1 4202560 314 0 0 0 0 0 0 0 18 0 19 0 869409066 8816955392 42741 33554432000 1073741824 1073778376 140736216069856 18446744073709551615 232347708313 0 4 0 16800975 18446604451814031552 0 0 -1 0 0 0 0
[pid=16155/tid=16160] ppid=16153 vsize=8610308 CPUtime=0 cores=0,2,4,6
/proc/16155/task/16160/stat : 16160 (java) S 16153 16155 16155 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869409066 8816955392 42741 33554432000 1073741824 1073778376 140736216069856 18446744073709551615 232347708313 0 4 0 16800975 18446604451814031552 0 0 -1 6 0 0 0
[pid=16155/tid=16161] ppid=16153 vsize=8610308 CPUtime=0 cores=0,2,4,6
/proc/16155/task/16161/stat : 16161 (java) S 16153 16155 16155 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869409066 8816955392 42741 33554432000 1073741824 1073778376 140736216069856 18446744073709551615 232347708313 0 4 0 16800975 18446604451814031552 0 0 -1 6 0 0 0
[pid=16155/tid=16162] ppid=16153 vsize=8610308 CPUtime=0 cores=0,2,4,6
/proc/16155/task/16162/stat : 16162 (java) S 16153 16155 16155 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869409066 8816955392 42741 33554432000 1073741824 1073778376 140736216069856 18446744073709551615 232347708313 0 4 0 16800975 18446604451814031552 0 0 -1 0 0 0 0
[pid=16155/tid=16163] ppid=16153 vsize=8610308 CPUtime=0 cores=0,2,4,6
/proc/16155/task/16163/stat : 16163 (java) S 16153 16155 16155 0 -1 4202560 60 0 0 0 0 0 0 0 18 0 19 0 869409066 8816955392 42741 33554432000 1073741824 1073778376 140736216069856 18446744073709551615 232347708313 0 4 0 16800975 18446604451814031552 0 0 -1 0 0 0 0
[pid=16155/tid=16164] ppid=16153 vsize=8610308 CPUtime=0 cores=0,2,4,6
/proc/16155/task/16164/stat : 16164 (java) S 16153 16155 16155 0 -1 4202560 141 0 0 0 0 0 0 0 18 0 19 0 869409066 8816955392 42741 33554432000 1073741824 1073778376 140736216069856 18446744073709551615 232347708313 0 4 0 16800975 18446604451814031552 0 0 -1 6 0 0 0
[pid=16155/tid=16165] ppid=16153 vsize=8610308 CPUtime=0 cores=0,2,4,6
/proc/16155/task/16165/stat : 16165 (java) S 16153 16155 16155 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 19 0 869409067 8816955392 42741 33554432000 1073741824 1073778376 140736216069856 18446744073709551615 232347708928 0 0 0 16800975 18446604451814031552 0 0 -1 6 0 0 0
[pid=16155/tid=16166] ppid=16153 vsize=8610308 CPUtime=0 cores=0,2,4,6
/proc/16155/task/16166/stat : 16166 (java) S 16153 16155 16155 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869409067 8816955392 42741 33554432000 1073741824 1073778376 140736216069856 18446744073709551615 232347708313 0 4 0 16800975 18446604451814031552 0 0 -1 2 0 0 0
[pid=16155/tid=16167] ppid=16153 vsize=8610308 CPUtime=0 cores=0,2,4,6
/proc/16155/task/16167/stat : 16167 (java) S 16153 16155 16155 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869409067 8816955392 42741 33554432000 1073741824 1073778376 140736216069856 18446744073709551615 232347708313 0 4 0 16800975 18446604451814031552 0 0 -1 2 0 0 0
[pid=16155/tid=16168] ppid=16153 vsize=8610308 CPUtime=0 cores=0,2,4,6
/proc/16155/task/16168/stat : 16168 (java) S 16153 16155 16155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869409069 8816955392 42741 33554432000 1073741824 1073778376 140736216069856 18446744073709551615 232347716017 0 4 0 16800975 18446604451814031552 0 0 -1 4 0 0 0
[pid=16155/tid=16169] ppid=16153 vsize=8610308 CPUtime=0.55 cores=0,2,4,6
/proc/16155/task/16169/stat : 16169 (java) S 16153 16155 16155 0 -1 4202560 4962 0 0 0 55 0 0 0 15 0 19 0 869409069 8816955392 42741 33554432000 1073741824 1073778376 140736216069856 18446744073709551615 232347708313 0 4 0 16800975 18446604451814031552 0 0 -1 4 0 0 0
[pid=16155/tid=16170] ppid=16153 vsize=8610308 CPUtime=0.52 cores=0,2,4,6
/proc/16155/task/16170/stat : 16170 (java) S 16153 16155 16155 0 -1 4202560 5910 0 0 0 51 1 0 0 24 0 19 0 869409069 8816955392 42741 33554432000 1073741824 1073778376 140736216069856 18446744073709551615 232347708313 0 4 0 16800975 18446604451814031552 0 0 -1 2 0 0 0
[pid=16155/tid=16171] ppid=16153 vsize=8610308 CPUtime=0 cores=0,2,4,6
/proc/16155/task/16171/stat : 16171 (java) S 16153 16155 16155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869409069 8816955392 42741 33554432000 1073741824 1073778376 140736216069856 18446744073709551615 232347708313 0 4 0 16800975 18446604451814031552 0 0 -1 6 0 0 0
[pid=16155/tid=16172] ppid=16153 vsize=8610308 CPUtime=0 cores=0,2,4,6
/proc/16155/task/16172/stat : 16172 (java) S 16153 16155 16155 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869409069 8816955392 42741 33554432000 1073741824 1073778376 140736216069856 18446744073709551615 232347708928 0 4 0 16800975 18446604451814031552 0 0 -1 0 0 0 0
[pid=16155/tid=16173] ppid=16153 vsize=8610308 CPUtime=0 cores=0,2,4,6
/proc/16155/task/16173/stat : 16173 (java) S 16153 16155 16155 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869409096 8816955392 42741 33554432000 1073741824 1073778376 140736216069856 18446744073709551615 232347708928 0 4 0 16800975 18446604451814031552 0 0 -1 0 0 0 0
[pid=16034/tid=16042] ppid=16032 vsize=335984 CPUtime=0.02 cores=0,2,4,6
/proc/16034/task/16042/stat : 16042 (python) S 16032 16034 14938 0 -1 4202560 29 1354 0 0 0 0 2 0 20 0 6 0 869384998 344047616 7604 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554434 18446604440859133888 0 0 -1 6 0 0 0
[pid=16034/tid=16052] ppid=16032 vsize=335984 CPUtime=0.02 cores=0,2,4,6
/proc/16034/task/16052/stat : 16052 (python) S 16032 16034 14938 0 -1 4202560 30 1354 0 0 0 0 2 0 20 0 6 0 869390080 344047616 7604 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554434 18446604440859133888 0 0 -1 6 0 0 0
[pid=16034/tid=16076] ppid=16032 vsize=335984 CPUtime=0.02 cores=0,2,4,6
/proc/16034/task/16076/stat : 16076 (python) S 16032 16034 14938 0 -1 4202560 25 1354 0 0 0 0 2 0 20 0 6 0 869394739 344047616 7604 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554434 18446604440859133888 0 0 -1 0 0 0 0
[pid=16034/tid=16145] ppid=16032 vsize=335984 CPUtime=0.02 cores=0,2,4,6
/proc/16034/task/16145/stat : 16145 (python) S 16032 16034 14938 0 -1 4202560 29 1354 0 0 0 0 2 0 20 0 6 0 869404210 344047616 7604 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554434 18446604440859133888 0 0 -1 6 0 0 0
[pid=16034/tid=16154] ppid=16032 vsize=335984 CPUtime=0.02 cores=0,2,4,6
/proc/16034/task/16154/stat : 16154 (python) S 16032 16034 14938 0 -1 4202560 29 1354 0 0 0 0 2 0 20 0 6 0 869409064 344047616 7604 33554432000 4194304 5683644 140734733335632 18446744073709551615 232347716017 0 0 16781312 33554434 18446604440859133888 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 245.24
Current children cumulated vsize (KiB) 19254360
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 16034 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=532918
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=114982
# CPU time returned by wait4() is 0.6479
# while last known CPU time is 245.24
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 242.782
CPU time (s): 245.24
CPU user time (s): 243.48
CPU system time (s): 1.76
CPU usage (%): 101.012
Max. virtual memory (cumulated for all children) (KiB): 19254360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.532918
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16085
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= 2343
involuntary context switches= 23
runsolver used 1.60476 second user time and 2.84357 second system time
The end