runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3742044-1338722930/watcher-3742044-1338722930 -o /tmp/evaluation-result-3742044-1338722930/solver-3742044-1338722930 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3742044-1338722930.opb -seed 243768718 -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.07 2.05 2.39 4/218 8707
/proc/meminfo: memFree=29299512/32873648 swapFree=7628/7628
[pid=8707] ppid=8705 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/8707/stat : 8707 (python) R 8705 8707 3958 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 338419156 15642624 558 33554432000 4194304 5683644 140735529627632 140735529595576 217410519952 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/8707/statm: 3819 558 324 364 0 261 0
[startup+0.0148151 s]
/proc/loadavg: 2.07 2.05 2.39 4/218 8707
/proc/meminfo: memFree=29299512/32873648 swapFree=7628/7628
[pid=8707] ppid=8705 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/8707/stat : 8707 (python) D 8705 8707 3958 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 338419156 15749120 630 33554432000 4194304 5683644 140735529627632 140735529572360 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/8707/statm: 3845 630 334 364 0 287 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+0.100206 s]
/proc/loadavg: 2.07 2.05 2.39 4/218 8707
/proc/meminfo: memFree=29299512/32873648 swapFree=7628/7628
[pid=8707] ppid=8705 vsize=19080 CPUtime=0.02 cores=0,2,4,6
/proc/8707/stat : 8707 (python) R 8705 8707 3958 0 -1 4202496 1396 0 0 0 2 0 0 0 20 0 1 0 338419156 19537920 1150 33554432000 4194304 5683644 140735529627632 140735529558136 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/8707/statm: 4770 1150 430 364 0 694 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19080
[startup+0.300147 s]
/proc/loadavg: 2.07 2.05 2.39 4/218 8707
/proc/meminfo: memFree=29299512/32873648 swapFree=7628/7628
[pid=8707] ppid=8705 vsize=96912 CPUtime=0.09 cores=0,2,4,6
/proc/8707/stat : 8707 (python) D 8705 8707 3958 0 -1 4202496 3961 1012 1 0 8 1 0 0 20 0 1 0 338419156 99237888 2652 33554432000 4194304 5683644 140735529627632 140735529495992 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/8707/statm: 24228 2652 823 364 0 1719 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 96912
[startup+0.700122 s]
/proc/loadavg: 2.07 2.05 2.39 4/218 8707
/proc/meminfo: memFree=29299512/32873648 swapFree=7628/7628
[pid=8707] ppid=8705 vsize=138344 CPUtime=0.19 cores=0,2,4,6
/proc/8707/stat : 8707 (python) R 8705 8707 3958 0 -1 4202496 6245 1012 1 0 15 4 0 0 20 0 1 0 338419156 141664256 4082 33554432000 4194304 5683644 140735529627632 140735529533352 4529495 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/8707/statm: 34586 4082 1098 364 0 2952 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 138344
[startup+1.50014 s]
/proc/loadavg: 2.07 2.05 2.39 3/219 8712
/proc/meminfo: memFree=29282624/32873648 swapFree=7628/7628
[pid=8707] ppid=8705 vsize=284328 CPUtime=0.62 cores=0,2,4,6
/proc/8707/stat : 8707 (python) R 8705 8707 3958 0 -1 4202496 11474 1012 1 0 54 8 0 0 20 0 1 0 338419156 291151872 7906 33554432000 4194304 5683644 140735529627632 140735529607416 217418144576 0 0 16781312 33554434 0 0 0 17 2 0 0 0 0 0
/proc/8707/statm: 71082 7906 1892 364 0 6308 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 284328
[startup+3.10028 s]
/proc/loadavg: 2.07 2.05 2.39 3/222 8715
/proc/meminfo: memFree=29195804/32873648 swapFree=7628/7628
[pid=8707] ppid=8705 vsize=360120 CPUtime=0.62 cores=0,2,4,6
/proc/8707/stat : 8707 (python) S 8705 8707 3958 0 -1 4202496 11691 1012 1 0 54 8 0 0 20 0 2 0 338419156 368762880 7921 33554432000 4194304 5683644 140735529627632 140735529622464 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8707/statm: 90030 7921 1901 364 0 25253 0
[pid=8713] ppid=8707 vsize=284340 CPUtime=0 cores=0,2,4,6
/proc/8713/stat : 8713 (python) S 8707 8707 3958 0 -1 4202560 765 0 0 0 0 0 0 0 20 0 1 0 338419307 291164160 6355 33554432000 4194304 5683644 140735529627632 140735529618720 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/8713/statm: 71085 6355 341 364 0 6308 0
[pid=8715] ppid=8713 vsize=119824 CPUtime=1.58 cores=0,2,4,6
/proc/8715/stat : 8715 (scip-2.0.1.linu) R 8713 8715 8715 0 -1 4202496 25940 0 0 0 153 5 0 0 20 0 1 0 338419307 122699776 25339 33554432000 4194304 15243407 140735359859616 140735359855000 4880912 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/8715/statm: 29956 25339 682 2698 0 27251 0
[pid=8707/tid=8714] ppid=8705 vsize=360120 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8714/stat : 8714 (python) S 8705 8707 3958 0 -1 4202560 26 1012 0 0 0 0 0 0 20 0 2 0 338419307 368762880 7921 33554432000 4194304 5683644 140735529627632 140551624172080 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 764284
heavy processes:
[startup+6.30039 s]
/proc/loadavg: 2.06 2.05 2.38 3/222 8715
/proc/meminfo: memFree=29127604/32873648 swapFree=7628/7628
[pid=8707] ppid=8705 vsize=360120 CPUtime=0.62 cores=0,2,4,6
/proc/8707/stat : 8707 (python) S 8705 8707 3958 0 -1 4202496 11691 1012 1 0 54 8 0 0 20 0 2 0 338419156 368762880 7921 33554432000 4194304 5683644 140735529627632 140735529622464 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8707/statm: 90030 7921 1901 364 0 25253 0
[pid=8713] ppid=8707 vsize=284340 CPUtime=0 cores=0,2,4,6
/proc/8713/stat : 8713 (python) S 8707 8707 3958 0 -1 4202560 888 0 0 0 0 0 0 0 20 0 1 0 338419307 291164160 6378 33554432000 4194304 5683644 140735529627632 140735529618720 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/8713/statm: 71085 6378 364 364 0 6308 0
[pid=8715] ppid=8713 vsize=177940 CPUtime=4.78 cores=0,2,4,6
/proc/8715/stat : 8715 (scip-2.0.1.linu) R 8713 8715 8715 0 -1 4202496 40092 0 0 0 466 12 0 0 20 0 1 0 338419307 182210560 39491 33554432000 4194304 15243407 140735359859616 140735359855928 13277498 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/8715/statm: 44485 39491 686 2698 0 41780 0
[pid=8707/tid=8714] ppid=8705 vsize=360120 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8714/stat : 8714 (python) S 8705 8707 3958 0 -1 4202560 26 1012 0 0 0 0 0 0 20 0 2 0 338419307 368762880 7921 33554432000 4194304 5683644 140735529627632 140551624172080 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 822400
[startup+12.7004 s]
/proc/loadavg: 2.14 2.06 2.39 3/222 8715
/proc/meminfo: memFree=29063440/32873648 swapFree=7628/7628
[pid=8707] ppid=8705 vsize=360120 CPUtime=0.62 cores=0,2,4,6
/proc/8707/stat : 8707 (python) S 8705 8707 3958 0 -1 4202496 11691 1012 1 0 54 8 0 0 20 0 2 0 338419156 368762880 7921 33554432000 4194304 5683644 140735529627632 140735529622464 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8707/statm: 90030 7921 1901 364 0 25253 0
[pid=8713] ppid=8707 vsize=284340 CPUtime=0 cores=0,2,4,6
/proc/8713/stat : 8713 (python) S 8707 8707 3958 0 -1 4202560 893 0 0 0 0 0 0 0 20 0 1 0 338419307 291164160 6378 33554432000 4194304 5683644 140735529627632 140735529618720 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/8713/statm: 71085 6378 364 364 0 6308 0
[pid=8715] ppid=8713 vsize=238196 CPUtime=11.18 cores=0,2,4,6
/proc/8715/stat : 8715 (scip-2.0.1.linu) R 8713 8715 8715 0 -1 4202496 55013 0 0 0 1098 20 0 0 20 0 1 0 338419307 243912704 54412 33554432000 4194304 15243407 140735359859616 140735359855912 13277498 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/8715/statm: 59549 54412 686 2698 0 56844 0
[pid=8707/tid=8714] ppid=8705 vsize=360120 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8714/stat : 8714 (python) S 8705 8707 3958 0 -1 4202560 26 1012 0 0 0 0 0 0 20 0 2 0 338419307 368762880 7921 33554432000 4194304 5683644 140735529627632 140551624172080 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 11.8
Current children cumulated vsize (KiB) 882656
[startup+25.5003 s]
/proc/loadavg: 2.11 2.06 2.38 3/222 8715
/proc/meminfo: memFree=28967092/32873648 swapFree=7628/7628
[pid=8707] ppid=8705 vsize=360120 CPUtime=0.62 cores=0,2,4,6
/proc/8707/stat : 8707 (python) S 8705 8707 3958 0 -1 4202496 11691 1012 1 0 54 8 0 0 20 0 2 0 338419156 368762880 7921 33554432000 4194304 5683644 140735529627632 140735529622464 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8707/statm: 90030 7921 1901 364 0 25253 0
[pid=8713] ppid=8707 vsize=284340 CPUtime=0.04 cores=0,2,4,6
/proc/8713/stat : 8713 (python) S 8707 8707 3958 0 -1 4202560 999 0 0 0 2 2 0 0 20 0 1 0 338419307 291164160 6383 33554432000 4194304 5683644 140735529627632 140735529618720 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/8713/statm: 71085 6383 369 364 0 6308 0
[pid=8715] ppid=8713 vsize=330300 CPUtime=23.97 cores=0,2,4,6
/proc/8715/stat : 8715 (scip-2.0.1.linu) R 8713 8715 8715 0 -1 4202496 77770 0 0 0 2358 39 0 0 20 0 1 0 338419307 338227200 77144 33554432000 4194304 15243407 140735359859616 140735359855704 13277498 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/8715/statm: 82575 77144 874 2698 0 79870 0
[pid=8707/tid=8714] ppid=8705 vsize=360120 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8714/stat : 8714 (python) S 8705 8707 3958 0 -1 4202560 26 1012 0 0 0 0 0 0 20 0 2 0 338419307 368762880 7921 33554432000 4194304 5683644 140735529627632 140551624172080 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 24.63
Current children cumulated vsize (KiB) 974760
[startup+51.1003 s]
/proc/loadavg: 2.07 2.05 2.37 3/225 8718
/proc/meminfo: memFree=28890412/32873648 swapFree=7628/7628
[pid=8707] ppid=8705 vsize=360120 CPUtime=0.62 cores=0,2,4,6
/proc/8707/stat : 8707 (python) S 8705 8707 3958 0 -1 4202496 11691 1012 1 0 54 8 0 0 20 0 2 0 338419156 368762880 7921 33554432000 4194304 5683644 140735529627632 140735529622464 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8707/statm: 90030 7921 1901 364 0 25253 0
[pid=8713] ppid=8707 vsize=284340 CPUtime=0.07 cores=0,2,4,6
/proc/8713/stat : 8713 (python) S 8707 8707 3958 0 -1 4202560 1020 0 0 0 4 3 0 0 20 0 1 0 338419307 291164160 6383 33554432000 4194304 5683644 140735529627632 140735529618720 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/8713/statm: 71085 6383 369 364 0 6308 0
[pid=8715] ppid=8713 vsize=358516 CPUtime=49.58 cores=0,2,4,6
/proc/8715/stat : 8715 (scip-2.0.1.linu) R 8713 8715 8715 0 -1 4202496 83370 0 0 0 4868 90 0 0 20 0 1 0 338419307 367120384 84277 33554432000 4194304 15243407 140735359859616 140735359854328 13354455 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/8715/statm: 89629 84277 899 2698 0 86924 0
[pid=8707/tid=8714] ppid=8705 vsize=360120 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8714/stat : 8714 (python) S 8705 8707 3958 0 -1 4202560 26 1012 0 0 0 0 0 0 20 0 2 0 338419307 368762880 7921 33554432000 4194304 5683644 140735529627632 140551624172080 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.27
Current children cumulated vsize (KiB) 1002976
[startup+102.301 s]
/proc/loadavg: 2.10 2.06 2.35 3/192 8779
/proc/meminfo: memFree=30670092/32873648 swapFree=7628/7628
[pid=8707] ppid=8705 vsize=511704 CPUtime=0.67 cores=0,2,4,6
/proc/8707/stat : 8707 (python) S 8705 8707 3958 0 -1 4202496 13477 1012 1 0 59 8 0 0 20 0 4 0 338419156 523984896 8446 33554432000 4194304 5683644 140735529627632 140735529622464 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8707/statm: 127926 8446 1906 364 0 63143 0
[pid=8713] ppid=8707 vsize=360120 CPUtime=0.08 cores=0,2,4,6
/proc/8713/stat : 8713 (python) S 8707 8707 3958 0 -1 4202560 1155 0 0 0 5 3 0 0 20 0 2 0 338419307 368762880 6418 33554432000 4194304 5683644 140735529627632 140735529619280 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8713/statm: 90030 6418 397 364 0 25253 0
[pid=8715] ppid=8713 vsize=358516 CPUtime=50.09 cores=0,2,4,6
/proc/8715/stat : 8715 (scip-2.0.1.linu) T 8713 8715 8715 0 -1 4202496 83375 0 0 0 4919 90 0 0 20 0 1 0 338419307 367120384 84282 33554432000 4194304 15243407 140735359859616 140735359854328 8115324 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/8715/statm: 89629 84282 899 2698 0 86924 0
[pid=8713/tid=8719] ppid=8707 vsize=360120 CPUtime=0 cores=0,2,4,6
/proc/8713/task/8719/stat : 8719 (python) S 8707 8707 3958 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338424319 368762880 6418 33554432000 4194304 5683644 140735529627632 140551624172080 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8720] ppid=8707 vsize=360132 CPUtime=0.07 cores=0,2,4,6
/proc/8720/stat : 8720 (python) S 8707 8707 3958 0 -1 4202560 1081 0 0 0 4 3 0 0 20 0 2 0 338424321 368775168 6405 33554432000 4194304 5683644 140735529627632 140735529619280 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8720/statm: 90033 6405 384 364 0 25253 0
[pid=8722] ppid=8720 vsize=17344 CPUtime=47.11 cores=0,2,4,6
/proc/8722/stat : 8722 (clasp-1.3.7-x86) T 8720 8722 8722 0 -1 4202496 4434 0 0 0 4706 5 0 0 20 0 1 0 338424321 17760256 4071 33554432000 134512640 136139019 4294047696 4294046384 134742409 0 0 16781312 16386 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/8722/statm: 4336 4071 182 398 0 3936 0
[pid=8720/tid=8776] ppid=8707 vsize=360132 CPUtime=0 cores=0,2,4,6
/proc/8720/task/8776/stat : 8776 (python) S 8707 8707 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 338429034 368775168 6405 33554432000 4194304 5683644 140735529627632 140551624172080 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8777] ppid=8707 vsize=435924 CPUtime=0 cores=0,2,4,6
/proc/8777/stat : 8777 (python) S 8707 8707 3958 0 -1 4202560 920 0 0 0 0 0 0 0 20 0 1 0 338429036 446386176 6385 33554432000 4194304 5683644 140735529627632 140735529618720 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/8777/statm: 108981 6385 359 364 0 44198 0
[pid=8779] ppid=8777 vsize=160704 CPUtime=3.49 cores=0,2,4,6
/proc/8779/stat : 8779 (scip-2.0.1.linu) R 8777 8779 8779 0 -1 4202496 35971 0 0 0 341 8 0 0 20 0 1 0 338429037 164560896 35357 33554432000 4194304 13684479 140734230240416 140734230236712 6141208 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/8779/statm: 40176 35357 635 2317 0 37854 0
[pid=8707/tid=8714] ppid=8705 vsize=511704 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8714/stat : 8714 (python) S 8705 8707 3958 0 -1 4202560 26 1012 0 0 0 0 0 0 20 0 4 0 338419307 523984896 8446 33554432000 4194304 5683644 140735529627632 140551624172080 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8707/tid=8721] ppid=8705 vsize=511704 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8721/stat : 8721 (python) S 8705 8707 3958 0 -1 4202560 22 1012 0 0 0 0 0 0 20 0 4 0 338424321 523984896 8446 33554432000 4194304 5683644 140735529627632 140551613682224 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8707/tid=8778] ppid=8705 vsize=511704 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8778/stat : 8778 (python) S 8705 8707 3958 0 -1 4202560 19 1012 0 0 0 0 0 0 20 0 4 0 338429036 523984896 8446 33554432000 4194304 5683644 140735529627632 140551529685552 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 2204444
[startup+162.301 s]
/proc/loadavg: 2.03 2.05 2.33 3/196 8784
/proc/meminfo: memFree=30447120/32873648 swapFree=7628/7628
[pid=8707] ppid=8705 vsize=511704 CPUtime=0.69 cores=0,2,4,6
################
# More data... #
################
/proc/8854/stat : 8854 (bsolo_pb10) T 8852 8854 8854 0 -1 4202496 23964 0 0 0 4749 9 0 0 20 0 1 0 338475749 106086400 23454 33554432000 134512640 137138936 4288037392 4288035816 134606592 0 0 16781312 16384 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/8854/statm: 25900 23454 192 642 0 25256 0
[pid=8852/tid=8855] ppid=8707 vsize=739712 CPUtime=0 cores=0,2,4,6
/proc/8852/task/8855/stat : 8855 (python) S 8707 8707 3958 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 338480508 757465088 7085 33554432000 4194304 5683644 140735529627632 140551498215984 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8856] ppid=8707 vsize=815504 CPUtime=0 cores=0,2,4,6
/proc/8856/stat : 8856 (python) S 8707 8707 3958 0 -1 4202560 862 0 0 0 0 0 0 0 20 0 1 0 338480510 835076096 7042 33554432000 4194304 5683644 140735529627632 140735529618720 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/8856/statm: 203876 7042 336 364 0 139078 0
[pid=8858] ppid=8856 vsize=13388 CPUtime=0.26 cores=0,2,4,6
/proc/8858/stat : 8858 (bsolo_pb10) R 8856 8858 8858 0 -1 4202496 1281 0 0 0 26 0 0 0 20 0 1 0 338480511 13709312 900 33554432000 134512640 137138936 4287466096 4287377484 136570369 0 0 16781312 16384 0 0 0 17 2 0 0 0 0 0
/proc/8858/statm: 3347 900 184 642 0 2703 0
[pid=8707/tid=8714] ppid=8705 vsize=891284 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8714/stat : 8714 (python) S 8705 8707 3958 0 -1 4202560 31 1012 0 0 0 0 0 0 20 0 9 0 338419307 912674816 8628 33554432000 4194304 5683644 140735529627632 140551624172080 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8707/tid=8721] ppid=8705 vsize=891284 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8721/stat : 8721 (python) S 8705 8707 3958 0 -1 4202560 31 1012 0 0 0 0 0 0 20 0 9 0 338424321 912674816 8628 33554432000 4194304 5683644 140735529627632 140551613682224 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8707/tid=8778] ppid=8705 vsize=891284 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8778/stat : 8778 (python) S 8705 8707 3958 0 -1 4202560 21 1012 0 0 0 0 0 0 20 0 9 0 338429036 912674816 8628 33554432000 4194304 5683644 140735529627632 140551529685552 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8707/tid=8790] ppid=8705 vsize=891284 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8790/stat : 8790 (python) S 8705 8707 3958 0 -1 4202560 21 1012 0 0 0 0 0 0 20 0 9 0 338438557 912674816 8628 33554432000 4194304 5683644 140735529627632 140551519195696 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8707/tid=8796] ppid=8705 vsize=891284 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8796/stat : 8796 (python) S 8705 8707 3958 0 -1 4202560 21 1012 0 0 0 0 0 0 20 0 9 0 338443297 912674816 8628 33554432000 4194304 5683644 140735529627632 140551508705840 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8707/tid=8807] ppid=8705 vsize=891284 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8807/stat : 8807 (python) S 8705 8707 3958 0 -1 4202560 21 1012 0 0 0 0 0 0 20 0 9 0 338452735 912674816 8628 33554432000 4194304 5683644 140735529627632 140551498215984 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8707/tid=8853] ppid=8705 vsize=891284 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8853/stat : 8853 (python) S 8705 8707 3958 0 -1 4202560 22 1012 0 0 0 0 0 0 20 0 9 0 338475748 912674816 8628 33554432000 4194304 5683644 140735529627632 140551487726128 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8707/tid=8857] ppid=8705 vsize=891284 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8857/stat : 8857 (python) S 8705 8707 3958 0 -1 4202560 21 1012 0 0 0 0 0 0 20 0 9 0 338480511 912674816 8628 33554432000 4194304 5683644 140735529627632 140551477236272 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 616
Current children cumulated vsize (KiB) 16074888
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+613.801 s]
/proc/loadavg: 2.00 2.02 2.20 3/268 8858
/proc/meminfo: memFree=28053164/32873648 swapFree=7628/7628
[pid=8707] ppid=8705 vsize=891284 CPUtime=1.55 cores=0,2,4,6
/proc/8707/stat : 8707 (python) S 8705 8707 3958 0 -1 4202496 18659 1012 1 0 145 10 0 0 20 0 9 0 338419156 912674816 8628 33554432000 4194304 5683644 140735529627632 140735529622464 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8707/statm: 222821 8628 1916 364 0 158023 0
[pid=8713] ppid=8707 vsize=360120 CPUtime=0.16 cores=0,2,4,6
/proc/8713/stat : 8713 (python) S 8707 8707 3958 0 -1 4202560 1189 0 0 0 9 7 0 0 20 0 2 0 338419307 368762880 6419 33554432000 4194304 5683644 140735529627632 140735529619280 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8713/statm: 90030 6419 398 364 0 25253 0
[pid=8715] ppid=8713 vsize=372548 CPUtime=93.57 cores=0,2,4,6
/proc/8715/stat : 8715 (scip-2.0.1.linu) T 8713 8715 8715 0 -1 4202496 111257 0 0 0 9255 102 0 0 20 0 1 0 338419307 381489152 88604 33554432000 4194304 15243407 140735359859616 140735359854008 8112870 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/8715/statm: 93137 88604 947 2698 0 90432 0
[pid=8713/tid=8719] ppid=8707 vsize=360120 CPUtime=0 cores=0,2,4,6
/proc/8713/task/8719/stat : 8719 (python) S 8707 8707 3958 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338424319 368762880 6419 33554432000 4194304 5683644 140735529627632 140551624172080 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8720] ppid=8707 vsize=360132 CPUtime=0.41 cores=0,2,4,6
/proc/8720/stat : 8720 (python) S 8707 8707 3958 0 -1 4202560 1177 0 0 0 24 17 0 0 20 0 2 0 338424321 368775168 6405 33554432000 4194304 5683644 140735529627632 140735529619280 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8720/statm: 90033 6405 384 364 0 25253 0
[pid=8722] ppid=8720 vsize=33844 CPUtime=229.61 cores=0,2,4,6
/proc/8722/stat : 8722 (clasp-1.3.7-x86) T 8720 8722 8722 0 -1 4202496 8575 0 0 0 22955 6 0 0 20 0 1 0 338424321 34656256 8213 33554432000 134512640 136139019 4294047696 4294046672 134883483 0 0 16781312 16386 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/8722/statm: 8461 8213 182 398 0 8061 0
[pid=8720/tid=8776] ppid=8707 vsize=360132 CPUtime=0 cores=0,2,4,6
/proc/8720/task/8776/stat : 8776 (python) S 8707 8707 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 338429034 368775168 6405 33554432000 4194304 5683644 140735529627632 140551624172080 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8777] ppid=8707 vsize=435924 CPUtime=0.18 cores=0,2,4,6
/proc/8777/stat : 8777 (python) S 8707 8707 3958 0 -1 4202560 1153 0 0 0 10 8 0 0 20 0 2 0 338429036 446386176 6411 33554432000 4194304 5683644 140735529627632 140735529619280 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8777/statm: 108981 6411 384 364 0 44198 0
[pid=8779] ppid=8777 vsize=331892 CPUtime=94.47 cores=0,2,4,6
/proc/8779/stat : 8779 (scip-2.0.1.linu) T 8777 8779 8779 0 -1 4202496 82476 0 0 0 9389 58 0 0 20 0 1 0 338429037 339857408 78376 33554432000 4194304 13684479 140734230240416 140734230236504 11876362 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/8779/statm: 82973 78376 776 2317 0 80651 0
[pid=8777/tid=8784] ppid=8707 vsize=435924 CPUtime=0 cores=0,2,4,6
/proc/8777/task/8784/stat : 8784 (python) S 8707 8707 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 338433972 446386176 6411 33554432000 4194304 5683644 140735529627632 140551613682224 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8789] ppid=8707 vsize=511716 CPUtime=0.07 cores=0,2,4,6
/proc/8789/stat : 8789 (python) S 8707 8707 3958 0 -1 4202560 1122 0 0 0 4 3 0 0 20 0 2 0 338438557 523997184 6924 33554432000 4194304 5683644 140735529627632 140735529619280 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8789/statm: 127929 6924 384 364 0 63143 0
[pid=8791] ppid=8789 vsize=94204 CPUtime=47.35 cores=0,2,4,6
/proc/8791/stat : 8791 (minion) T 8789 8791 8791 0 -1 4202496 9956 0 0 0 4733 2 0 0 20 0 1 0 338438557 96464896 16232 33554432000 134512640 165565024 4294224752 4294222000 159737071 0 0 16781312 8396802 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/8791/statm: 23551 16232 336 7582 0 15966 0
[pid=8789/tid=8794] ppid=8707 vsize=511716 CPUtime=0 cores=0,2,4,6
/proc/8789/task/8794/stat : 8794 (python) S 8707 8707 3958 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338443294 523997184 6924 33554432000 4194304 5683644 140735529627632 140551529685552 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8795] ppid=8707 vsize=588128 CPUtime=0.08 cores=0,2,4,6
/proc/8795/stat : 8795 (python) S 8707 8707 3958 0 -1 4202560 1128 0 0 0 5 3 0 0 20 0 2 0 338443297 602243072 7057 33554432000 4194304 5683644 140735529627632 140735529619280 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8795/statm: 147032 7057 384 364 0 82243 0
[pid=8797] ppid=8795 vsize=134000 CPUtime=50.8 cores=0,2,4,6
/proc/8797/stat : 8797 (wbo1.4a) T 8795 8797 8797 0 -1 4202496 33419 0 0 0 4979 101 0 0 20 0 1 0 338443297 137216000 33046 33554432000 134512640 135751879 4293484096 4293481708 134517376 0 0 16781312 3 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/8797/statm: 33500 33046 143 303 0 33195 0
[pid=8795/tid=8801] ppid=8707 vsize=588128 CPUtime=0 cores=0,2,4,6
/proc/8795/task/8801/stat : 8801 (python) S 8707 8707 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 338448380 602243072 7057 33554432000 4194304 5683644 140735529627632 140551519195696 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806] ppid=8707 vsize=663920 CPUtime=0.08 cores=0,2,4,6
/proc/8806/stat : 8806 (python) S 8707 8707 3958 0 -1 4202560 1152 0 0 0 5 3 0 0 20 0 2 0 338452735 679854080 7063 33554432000 4194304 5683644 140735529627632 140735529619280 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8806/statm: 165980 7063 384 364 0 101188 0
[pid=8808] ppid=8806 vsize=9624972 CPUtime=49.75 cores=0,2,4,6
/proc/8808/stat : 8808 (java) T 8806 8808 8808 0 -1 4202496 14698 0 1 0 4946 29 0 0 20 0 19 0 338452735 9855971328 214587 33554432000 1073741824 1073778376 140736535383168 140736535374304 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8808/statm: 2406243 214587 2267 9 0 2396937 0
[pid=8808/tid=8809] ppid=8806 vsize=9624972 CPUtime=47.12 cores=0,2,4,6
/proc/8808/task/8809/stat : 8809 (java) T 8806 8808 8808 0 -1 4202560 3319 0 1 0 4699 13 0 0 20 0 19 0 338452736 9855971328 214587 33554432000 1073741824 1073778376 140736535383168 140072784653440 140072657288125 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=8808/tid=8810] ppid=8806 vsize=9624972 CPUtime=0.13 cores=0,2,4,6
/proc/8808/task/8810/stat : 8810 (java) T 8806 8808 8808 0 -1 4202560 42 0 0 0 11 2 0 0 20 0 19 0 338452737 9855971328 214587 33554432000 1073741824 1073778376 140736535383168 140072628124712 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=8808/tid=8811] ppid=8806 vsize=9624972 CPUtime=0.11 cores=0,2,4,6
/proc/8808/task/8811/stat : 8811 (java) T 8806 8808 8808 0 -1 4202560 23 0 0 0 11 0 0 0 20 0 19 0 338452737 9855971328 214587 33554432000 1073741824 1073778376 140736535383168 140072627071912 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=8808/tid=8812] ppid=8806 vsize=9624972 CPUtime=0.18 cores=0,2,4,6
/proc/8808/task/8812/stat : 8812 (java) T 8806 8808 8808 0 -1 4202560 72 0 0 0 15 3 0 0 20 0 19 0 338452737 9855971328 214587 33554432000 1073741824 1073778376 140736535383168 140072626019112 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=8808/tid=8813] ppid=8806 vsize=9624972 CPUtime=0.16 cores=0,2,4,6
/proc/8808/task/8813/stat : 8813 (java) T 8806 8808 8808 0 -1 4202560 55 0 0 0 14 2 0 0 20 0 19 0 338452737 9855971328 214587 33554432000 1073741824 1073778376 140736535383168 140072624966312 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=8808/tid=8814] ppid=8806 vsize=9624972 CPUtime=0.15 cores=0,2,4,6
/proc/8808/task/8814/stat : 8814 (java) T 8806 8808 8808 0 -1 4202560 66 0 0 0 13 2 0 0 20 0 19 0 338452737 9855971328 214587 33554432000 1073741824 1073778376 140736535383168 140072623913512 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=8808/tid=8815] ppid=8806 vsize=9624972 CPUtime=0.1 cores=0,2,4,6
/proc/8808/task/8815/stat : 8815 (java) T 8806 8808 8808 0 -1 4202560 21 0 0 0 10 0 0 0 20 0 19 0 338452737 9855971328 214587 33554432000 1073741824 1073778376 140736535383168 140072622860712 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=8808/tid=8816] ppid=8806 vsize=9624972 CPUtime=0.13 cores=0,2,4,6
/proc/8808/task/8816/stat : 8816 (java) T 8806 8808 8808 0 -1 4202560 51 0 0 0 11 2 0 0 20 0 19 0 338452737 9855971328 214587 33554432000 1073741824 1073778376 140736535383168 140072621807912 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=8808/tid=8817] ppid=8806 vsize=9624972 CPUtime=0.14 cores=0,2,4,6
/proc/8808/task/8817/stat : 8817 (java) T 8806 8808 8808 0 -1 4202560 59 0 0 0 12 2 0 0 20 0 19 0 338452737 9855971328 214587 33554432000 1073741824 1073778376 140736535383168 140072620755112 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=8808/tid=8818] ppid=8806 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/8808/task/8818/stat : 8818 (java) T 8806 8808 8808 0 -1 4202560 438 0 0 0 0 0 0 0 20 0 19 0 338452738 9855971328 214587 33554432000 1073741824 1073778376 140736535383168 140072608558056 217413892009 0 0 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=8808/tid=8819] ppid=8806 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/8808/task/8819/stat : 8819 (java) T 8806 8808 8808 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338452739 9855971328 214587 33554432000 1073741824 1073778376 140736535383168 140072607504120 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=8808/tid=8820] ppid=8806 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/8808/task/8820/stat : 8820 (java) T 8806 8808 8808 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338452739 9855971328 214587 33554432000 1073741824 1073778376 140736535383168 140072606451208 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=8808/tid=8821] ppid=8806 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/8808/task/8821/stat : 8821 (java) T 8806 8808 8808 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338452741 9855971328 214587 33554432000 1073741824 1073778376 140736535383168 140072605399696 217413900064 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=8808/tid=8822] ppid=8806 vsize=9624972 CPUtime=0.78 cores=0,2,4,6
/proc/8808/task/8822/stat : 8822 (java) T 8806 8808 8808 0 -1 4202560 5701 0 0 0 76 2 0 0 20 0 19 0 338452741 9855971328 214587 33554432000 1073741824 1073778376 140736535383168 140072604346808 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=8808/tid=8823] ppid=8806 vsize=9624972 CPUtime=0.59 cores=0,2,4,6
/proc/8808/task/8823/stat : 8823 (java) T 8806 8808 8808 0 -1 4202560 3432 0 0 0 59 0 0 0 20 0 19 0 338452741 9855971328 214587 33554432000 1073741824 1073778376 140736535383168 140072603294008 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=8808/tid=8824] ppid=8806 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/8808/task/8824/stat : 8824 (java) T 8806 8808 8808 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338452741 9855971328 214587 33554432000 1073741824 1073778376 140736535383168 140072602241400 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=8808/tid=8825] ppid=8806 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/8808/task/8825/stat : 8825 (java) T 8806 8808 8808 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338452741 9855971328 214587 33554432000 1073741824 1073778376 140736535383168 140072601188808 217413892009 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=8808/tid=8826] ppid=8806 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/8808/task/8826/stat : 8826 (java) T 8806 8808 8808 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338452776 9855971328 214587 33554432000 1073741824 1073778376 140736535383168 140072600135336 217413892009 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8828] ppid=8707 vsize=663920 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8828/stat : 8828 (python) S 8707 8707 3958 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338457488 679854080 7063 33554432000 4194304 5683644 140735529627632 140551508705840 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8852] ppid=8707 vsize=739712 CPUtime=0.08 cores=0,2,4,6
/proc/8852/stat : 8852 (python) S 8707 8707 3958 0 -1 4202560 1173 0 0 0 5 3 0 0 20 0 2 0 338475748 757465088 7085 33554432000 4194304 5683644 140735529627632 140735529619280 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8852/statm: 184928 7085 384 364 0 120133 0
[pid=8854] ppid=8852 vsize=103600 CPUtime=47.58 cores=0,2,4,6
/proc/8854/stat : 8854 (bsolo_pb10) T 8852 8854 8854 0 -1 4202496 23964 0 0 0 4749 9 0 0 20 0 1 0 338475749 106086400 23454 33554432000 134512640 137138936 4288037392 4288035816 134606592 0 0 16781312 16384 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/8854/statm: 25900 23454 192 642 0 25256 0
[pid=8852/tid=8855] ppid=8707 vsize=739712 CPUtime=0 cores=0,2,4,6
/proc/8852/task/8855/stat : 8855 (python) S 8707 8707 3958 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 338480508 757465088 7085 33554432000 4194304 5683644 140735529627632 140551498215984 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8856] ppid=8707 vsize=815504 CPUtime=0 cores=0,2,4,6
/proc/8856/stat : 8856 (python) S 8707 8707 3958 0 -1 4202560 862 0 0 0 0 0 0 0 20 0 1 0 338480510 835076096 7042 33554432000 4194304 5683644 140735529627632 140735529618720 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/8856/statm: 203876 7042 336 364 0 139078 0
[pid=8858] ppid=8856 vsize=13388 CPUtime=0.26 cores=0,2,4,6
/proc/8858/stat : 8858 (bsolo_pb10) R 8856 8858 8858 0 -1 4202496 1281 0 0 0 26 0 0 0 20 0 1 0 338480511 13709312 900 33554432000 134512640 137138936 4287466096 4287377484 136570369 0 0 16781312 16384 0 0 0 17 2 0 0 0 0 0
/proc/8858/statm: 3347 900 184 642 0 2703 0
[pid=8707/tid=8714] ppid=8705 vsize=891284 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8714/stat : 8714 (python) S 8705 8707 3958 0 -1 4202560 31 1012 0 0 0 0 0 0 20 0 9 0 338419307 912674816 8628 33554432000 4194304 5683644 140735529627632 140551624172080 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8707/tid=8721] ppid=8705 vsize=891284 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8721/stat : 8721 (python) S 8705 8707 3958 0 -1 4202560 31 1012 0 0 0 0 0 0 20 0 9 0 338424321 912674816 8628 33554432000 4194304 5683644 140735529627632 140551613682224 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8707/tid=8778] ppid=8705 vsize=891284 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8778/stat : 8778 (python) S 8705 8707 3958 0 -1 4202560 21 1012 0 0 0 0 0 0 20 0 9 0 338429036 912674816 8628 33554432000 4194304 5683644 140735529627632 140551529685552 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8707/tid=8790] ppid=8705 vsize=891284 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8790/stat : 8790 (python) S 8705 8707 3958 0 -1 4202560 21 1012 0 0 0 0 0 0 20 0 9 0 338438557 912674816 8628 33554432000 4194304 5683644 140735529627632 140551519195696 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8707/tid=8796] ppid=8705 vsize=891284 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8796/stat : 8796 (python) S 8705 8707 3958 0 -1 4202560 21 1012 0 0 0 0 0 0 20 0 9 0 338443297 912674816 8628 33554432000 4194304 5683644 140735529627632 140551508705840 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8707/tid=8807] ppid=8705 vsize=891284 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8807/stat : 8807 (python) S 8705 8707 3958 0 -1 4202560 21 1012 0 0 0 0 0 0 20 0 9 0 338452735 912674816 8628 33554432000 4194304 5683644 140735529627632 140551498215984 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8707/tid=8853] ppid=8705 vsize=891284 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8853/stat : 8853 (python) S 8705 8707 3958 0 -1 4202560 22 1012 0 0 0 0 0 0 20 0 9 0 338475748 912674816 8628 33554432000 4194304 5683644 140735529627632 140551487726128 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8707/tid=8857] ppid=8705 vsize=891284 CPUtime=0 cores=0,2,4,6
/proc/8707/task/8857/stat : 8857 (python) S 8705 8707 3958 0 -1 4202560 21 1012 0 0 0 0 0 0 20 0 9 0 338480511 912674816 8628 33554432000 4194304 5683644 140735529627632 140551477236272 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 616
Current children cumulated vsize (KiB) 16074888
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8707 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=464777
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=101984
# CPU time returned by wait4() is 1.56676
# while last known CPU time is 616
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 613.863
CPU time (s): 616
CPU user time (s): 612.39
CPU system time (s): 3.61
CPU usage (%): 100.348
Max. virtual memory (cumulated for all children) (KiB): 16074888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.46478
system time used= 0.101984
maximum resident set size= 34512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20167
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2112
involuntary context switches= 20
runsolver used 2.58061 second user time and 6.43602 second system time
The end