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-3742616-1338725324/watcher-3742616-1338725324 -o /tmp/evaluation-result-3742616-1338725324/solver-3742616-1338725324 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3742616-1338725324.opb -seed 63979392 -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: 1.92 1.98 1.99 3/209 9898
/proc/meminfo: memFree=27866704/32873648 swapFree=7628/7628
[pid=9898] ppid=9896 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/9898/stat : 9898 (python) D 9896 9898 3958 0 -1 4202496 634 0 0 0 0 0 0 0 20 0 1 0 338658551 15642624 527 33554432000 4194304 5683644 140734773566144 140734773552056 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/9898/statm: 3819 527 312 364 0 261 0
[startup+0.0591769 s]
/proc/loadavg: 1.92 1.98 1.99 3/209 9898
/proc/meminfo: memFree=27866704/32873648 swapFree=7628/7628
[pid=9898] ppid=9896 vsize=16592 CPUtime=0.01 cores=0,2,4,6
/proc/9898/stat : 9898 (python) D 9896 9898 3958 0 -1 4202496 1187 0 0 0 1 0 0 0 20 0 1 0 338658551 16990208 994 33554432000 4194304 5683644 140734773566144 140734773520360 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/9898/statm: 4148 994 417 364 0 590 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16592
[startup+0.100217 s]
/proc/loadavg: 1.92 1.98 1.99 3/209 9898
/proc/meminfo: memFree=27866704/32873648 swapFree=7628/7628
[pid=9898] ppid=9896 vsize=19084 CPUtime=0.02 cores=0,2,4,6
/proc/9898/stat : 9898 (python) R 9896 9898 3958 0 -1 4202496 1395 0 0 0 2 0 0 0 20 0 1 0 338658551 19542016 1149 33554432000 4194304 5683644 140734773566144 140734773496648 4475920 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/9898/statm: 4771 1149 430 364 0 695 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19084
[startup+0.300158 s]
/proc/loadavg: 1.92 1.98 1.99 3/209 9898
/proc/meminfo: memFree=27866704/32873648 swapFree=7628/7628
[pid=9898] ppid=9896 vsize=96916 CPUtime=0.11 cores=0,2,4,6
/proc/9898/stat : 9898 (python) D 9896 9898 3958 0 -1 4202496 3958 1008 1 0 9 2 0 0 20 0 1 0 338658551 99241984 2652 33554432000 4194304 5683644 140734773566144 140734773434504 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/9898/statm: 24229 2652 823 364 0 1720 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 96916
[startup+0.700117 s]
/proc/loadavg: 1.92 1.98 1.99 3/209 9898
/proc/meminfo: memFree=27866704/32873648 swapFree=7628/7628
[pid=9898] ppid=9896 vsize=136268 CPUtime=0.21 cores=0,2,4,6
/proc/9898/stat : 9898 (python) D 9896 9898 3958 0 -1 4202496 6235 1008 1 0 15 6 0 0 20 0 1 0 338658551 139538432 4073 33554432000 4194304 5683644 140734773566144 140734773466136 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/9898/statm: 34067 4073 1093 364 0 2953 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 136268
[startup+1.50014 s]
/proc/loadavg: 1.92 1.98 1.99 3/210 9903
/proc/meminfo: memFree=27849576/32873648 swapFree=7628/7628
[pid=9898] ppid=9896 vsize=359044 CPUtime=0.54 cores=0,2,4,6
/proc/9898/stat : 9898 (python) S 9896 9898 3958 0 -1 4202496 10936 1008 1 0 45 9 0 0 20 0 2 0 338658551 367661056 7616 33554432000 4194304 5683644 140734773566144 140734773560976 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9898/statm: 89761 7616 1900 364 0 24984 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 359044
[startup+3.10026 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 9906
/proc/meminfo: memFree=27784792/32873648 swapFree=7628/7628
[pid=9898] ppid=9896 vsize=359044 CPUtime=0.54 cores=0,2,4,6
/proc/9898/stat : 9898 (python) S 9896 9898 3958 0 -1 4202496 10936 1008 1 0 45 9 0 0 20 0 2 0 338658551 367661056 7616 33554432000 4194304 5683644 140734773566144 140734773560976 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9898/statm: 89761 7616 1900 364 0 24984 0
[pid=9904] ppid=9898 vsize=283264 CPUtime=0 cores=0,2,4,6
/proc/9904/stat : 9904 (python) S 9898 9898 3958 0 -1 4202560 768 0 0 0 0 0 0 0 20 0 1 0 338658689 290062336 6051 33554432000 4194304 5683644 140734773566144 140734773557232 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/9904/statm: 70816 6051 341 364 0 6039 0
[pid=9906] ppid=9904 vsize=81988 CPUtime=1.7 cores=0,2,4,6
/proc/9906/stat : 9906 (scip-2.0.1.linu) R 9904 9906 9906 0 -1 4202496 17997 0 0 0 164 6 0 0 20 0 1 0 338658689 83955712 17397 33554432000 4194304 15243407 140735251730608 140735251726920 13277498 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/9906/statm: 20497 17397 693 2698 0 17792 0
[pid=9898/tid=9905] ppid=9896 vsize=359044 CPUtime=0 cores=0,2,4,6
/proc/9898/task/9905/stat : 9905 (python) S 9896 9898 3958 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 338658689 367661056 7616 33554432000 4194304 5683644 140734773566144 140711739277872 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 724296
heavy processes:
[startup+6.30027 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 9906
/proc/meminfo: memFree=27729292/32873648 swapFree=7628/7628
[pid=9898] ppid=9896 vsize=359044 CPUtime=0.54 cores=0,2,4,6
/proc/9898/stat : 9898 (python) S 9896 9898 3958 0 -1 4202496 10936 1008 1 0 45 9 0 0 20 0 2 0 338658551 367661056 7616 33554432000 4194304 5683644 140734773566144 140734773560976 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9898/statm: 89761 7616 1900 364 0 24984 0
[pid=9904] ppid=9898 vsize=283264 CPUtime=0 cores=0,2,4,6
/proc/9904/stat : 9904 (python) S 9898 9898 3958 0 -1 4202560 889 0 0 0 0 0 0 0 20 0 1 0 338658689 290062336 6074 33554432000 4194304 5683644 140734773566144 140734773557232 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/9904/statm: 70816 6074 364 364 0 6039 0
[pid=9906] ppid=9904 vsize=120084 CPUtime=4.9 cores=0,2,4,6
/proc/9906/stat : 9906 (scip-2.0.1.linu) R 9904 9906 9906 0 -1 4202496 27493 0 0 0 478 12 0 0 20 0 1 0 338658689 122966016 26893 33554432000 4194304 15243407 140735251730608 140735251726904 4520069 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/9906/statm: 30021 26893 693 2698 0 27316 0
[pid=9898/tid=9905] ppid=9896 vsize=359044 CPUtime=0 cores=0,2,4,6
/proc/9898/task/9905/stat : 9905 (python) S 9896 9898 3958 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 338658689 367661056 7616 33554432000 4194304 5683644 140734773566144 140711739277872 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 762392
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 9906
/proc/meminfo: memFree=27694248/32873648 swapFree=7628/7628
[pid=9898] ppid=9896 vsize=359044 CPUtime=0.54 cores=0,2,4,6
/proc/9898/stat : 9898 (python) S 9896 9898 3958 0 -1 4202496 10936 1008 1 0 45 9 0 0 20 0 2 0 338658551 367661056 7616 33554432000 4194304 5683644 140734773566144 140734773560976 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9898/statm: 89761 7616 1900 364 0 24984 0
[pid=9904] ppid=9898 vsize=283264 CPUtime=0.01 cores=0,2,4,6
/proc/9904/stat : 9904 (python) S 9898 9898 3958 0 -1 4202560 993 0 0 0 1 0 0 0 20 0 1 0 338658689 290062336 6079 33554432000 4194304 5683644 140734773566144 140734773557232 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/9904/statm: 70816 6079 369 364 0 6039 0
[pid=9906] ppid=9904 vsize=141300 CPUtime=11.3 cores=0,2,4,6
/proc/9906/stat : 9906 (scip-2.0.1.linu) R 9904 9906 9906 0 -1 4202496 32576 0 0 0 1100 30 0 0 20 0 1 0 338658689 144691200 31952 33554432000 4194304 15243407 140735251730608 140735251726296 6388706 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/9906/statm: 35325 31952 888 2698 0 32620 0
[pid=9898/tid=9905] ppid=9896 vsize=359044 CPUtime=0 cores=0,2,4,6
/proc/9898/task/9905/stat : 9905 (python) S 9896 9898 3958 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 338658689 367661056 7616 33554432000 4194304 5683644 140734773566144 140711739277872 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 11.85
Current children cumulated vsize (KiB) 783608
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 9907
/proc/meminfo: memFree=27698252/32873648 swapFree=7628/7628
[pid=9898] ppid=9896 vsize=359044 CPUtime=0.54 cores=0,2,4,6
/proc/9898/stat : 9898 (python) S 9896 9898 3958 0 -1 4202496 10936 1008 1 0 45 9 0 0 20 0 2 0 338658551 367661056 7616 33554432000 4194304 5683644 140734773566144 140734773560976 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9898/statm: 89761 7616 1900 364 0 24984 0
[pid=9904] ppid=9898 vsize=283264 CPUtime=0.03 cores=0,2,4,6
/proc/9904/stat : 9904 (python) S 9898 9898 3958 0 -1 4202560 1001 0 0 0 2 1 0 0 20 0 1 0 338658689 290062336 6079 33554432000 4194304 5683644 140734773566144 140734773557232 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/9904/statm: 70816 6079 369 364 0 6039 0
[pid=9906] ppid=9904 vsize=147208 CPUtime=24.1 cores=0,2,4,6
/proc/9906/stat : 9906 (scip-2.0.1.linu) R 9904 9906 9906 0 -1 4202496 41814 0 0 0 2375 35 0 0 20 0 1 0 338658689 150740992 32530 33554432000 4194304 15243407 140735251730608 140735251725000 8113576 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/9906/statm: 36802 32530 949 2698 0 34097 0
[pid=9898/tid=9905] ppid=9896 vsize=359044 CPUtime=0 cores=0,2,4,6
/proc/9898/task/9905/stat : 9905 (python) S 9896 9898 3958 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 338658689 367661056 7616 33554432000 4194304 5683644 140734773566144 140711739277872 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 24.67
Current children cumulated vsize (KiB) 789516
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 9907
/proc/meminfo: memFree=27696772/32873648 swapFree=7628/7628
[pid=9898] ppid=9896 vsize=435340 CPUtime=0.58 cores=0,2,4,6
/proc/9898/stat : 9898 (python) S 9896 9898 3958 0 -1 4202496 11867 1008 1 0 48 10 0 0 20 0 3 0 338658551 445788160 8259 33554432000 4194304 5683644 140734773566144 140734773560976 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9898/statm: 108835 8259 1903 364 0 44055 0
[pid=9904] ppid=9898 vsize=359044 CPUtime=0.08 cores=0,2,4,6
/proc/9904/stat : 9904 (python) S 9898 9898 3958 0 -1 4202560 1152 0 0 0 5 3 0 0 20 0 2 0 338658689 367661056 6114 33554432000 4194304 5683644 140734773566144 140734773557792 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9904/statm: 89761 6114 397 364 0 24984 0
[pid=9906] ppid=9904 vsize=146716 CPUtime=49.49 cores=0,2,4,6
/proc/9906/stat : 9906 (scip-2.0.1.linu) T 9904 9906 9906 0 -1 4202496 59105 0 0 0 4907 42 0 0 20 0 1 0 338658689 150237184 32627 33554432000 4194304 15243407 140735251730608 140735251725000 8134546 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/9906/statm: 36679 32627 949 2698 0 33974 0
[pid=9898/tid=9905] ppid=9896 vsize=435340 CPUtime=0 cores=0,2,4,6
/proc/9898/task/9905/stat : 9905 (python) S 9896 9898 3958 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 3 0 338658689 445788160 8259 33554432000 4194304 5683644 140734773566144 140711739277872 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.15
Current children cumulated vsize (KiB) 941100
[startup+102.301 s]
/proc/loadavg: 2.11 2.03 2.01 3/192 9986
/proc/meminfo: memFree=31009284/32873648 swapFree=7628/7628
[pid=9898] ppid=9896 vsize=511132 CPUtime=0.6 cores=0,2,4,6
/proc/9898/stat : 9898 (python) S 9896 9898 3958 0 -1 4202496 12797 1008 1 0 50 10 0 0 20 0 4 0 338658551 523399168 8267 33554432000 4194304 5683644 140734773566144 140734773560976 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9898/statm: 127783 8267 1905 364 0 63000 0
[pid=9904] ppid=9898 vsize=359044 CPUtime=0.08 cores=0,2,4,6
/proc/9904/stat : 9904 (python) S 9898 9898 3958 0 -1 4202560 1152 0 0 0 5 3 0 0 20 0 2 0 338658689 367661056 6114 33554432000 4194304 5683644 140734773566144 140734773557792 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9904/statm: 89761 6114 397 364 0 24984 0
[pid=9906] ppid=9904 vsize=146716 CPUtime=49.49 cores=0,2,4,6
/proc/9906/stat : 9906 (scip-2.0.1.linu) T 9904 9906 9906 0 -1 4202496 59105 0 0 0 4907 42 0 0 20 0 1 0 338658689 150237184 32627 33554432000 4194304 15243407 140735251730608 140735251725000 8134546 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/9906/statm: 36679 32627 949 2698 0 33974 0
[pid=9904/tid=9908] ppid=9898 vsize=359044 CPUtime=0 cores=0,2,4,6
/proc/9904/task/9908/stat : 9908 (python) S 9898 9898 3958 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338663640 367661056 6114 33554432000 4194304 5683644 140734773566144 140711739277872 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9909] ppid=9898 vsize=359560 CPUtime=0.07 cores=0,2,4,6
/proc/9909/stat : 9909 (python) S 9898 9898 3958 0 -1 4202560 1078 0 0 0 4 3 0 0 20 0 2 0 338663643 368189440 6227 33554432000 4194304 5683644 140734773566144 140734773557792 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9909/statm: 89890 6227 384 364 0 25110 0
[pid=9911] ppid=9909 vsize=8932 CPUtime=47.11 cores=0,2,4,6
/proc/9911/stat : 9911 (clasp-1.3.7-x86) T 9909 9911 9911 0 -1 4202496 2255 0 0 0 4711 0 0 0 20 0 1 0 338663643 9146368 1977 33554432000 134512640 136139019 4290158224 4290157200 134883787 0 0 16781312 16386 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/9911/statm: 2233 1977 182 398 0 1833 0
[pid=9909/tid=9983] ppid=9898 vsize=359560 CPUtime=0 cores=0,2,4,6
/proc/9909/task/9983/stat : 9983 (python) S 9898 9898 3958 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 2 0 338668355 368189440 6227 33554432000 4194304 5683644 140734773566144 140711739277872 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9984] ppid=9898 vsize=435352 CPUtime=0 cores=0,2,4,6
/proc/9984/stat : 9984 (python) S 9898 9898 3958 0 -1 4202560 924 0 0 0 0 0 0 0 20 0 1 0 338668358 445800448 6715 33554432000 4194304 5683644 140734773566144 140734773557232 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/9984/statm: 108838 6715 359 364 0 44055 0
[pid=9986] ppid=9984 vsize=111716 CPUtime=4.21 cores=0,2,4,6
/proc/9986/stat : 9986 (scip-2.0.1.linu) R 9984 9986 9986 0 -1 4202496 25776 0 0 0 410 11 0 0 20 0 1 0 338668358 114397184 25161 33554432000 4194304 13684479 140735850646192 140735850642504 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/9986/statm: 27929 25161 646 2317 0 25607 0
[pid=9898/tid=9905] ppid=9896 vsize=511132 CPUtime=0 cores=0,2,4,6
/proc/9898/task/9905/stat : 9905 (python) S 9896 9898 3958 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 4 0 338658689 523399168 8267 33554432000 4194304 5683644 140734773566144 140711739277872 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9898/tid=9910] ppid=9896 vsize=511132 CPUtime=0 cores=0,2,4,6
/proc/9898/task/9910/stat : 9910 (python) S 9896 9898 3958 0 -1 4202560 18 1008 0 0 0 0 0 0 20 0 4 0 338663643 523399168 8267 33554432000 4194304 5683644 140734773566144 140711651435056 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9898/tid=9985] ppid=9896 vsize=511132 CPUtime=0 cores=0,2,4,6
/proc/9898/task/9985/stat : 9985 (python) S 9896 9898 3958 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 4 0 338668358 523399168 8267 33554432000 4194304 5683644 140734773566144 140711640945200 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 1932452
[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/192 10037
/proc/meminfo: memFree=30940696/32873648 swapFree=7628/7628
[pid=9898] ppid=9896 vsize=511132 CPUtime=0.62 cores=0,2,4,6
################
# More data... #
################
[pid=9898/tid=9985] ppid=9896 vsize=890092 CPUtime=0 cores=0,2,4,6
/proc/9898/task/9985/stat : 9985 (python) S 9896 9898 3958 0 -1 4202560 29 1008 0 0 0 0 0 0 20 0 9 0 338668358 911454208 8820 33554432000 4194304 5683644 140734773566144 140711640945200 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9898/tid=10039] ppid=9896 vsize=890092 CPUtime=0 cores=0,2,4,6
/proc/9898/task/10039/stat : 10039 (python) S 9896 9898 3958 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 9 0 338677773 911454208 8820 33554432000 4194304 5683644 140734773566144 140711630455344 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9898/tid=10093] ppid=9896 vsize=890092 CPUtime=0 cores=0,2,4,6
/proc/9898/task/10093/stat : 10093 (python) S 9896 9898 3958 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 9 0 338682501 911454208 8820 33554432000 4194304 5683644 140734773566144 140711619965488 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9898/tid=10106] ppid=9896 vsize=890092 CPUtime=0 cores=0,2,4,6
/proc/9898/task/10106/stat : 10106 (python) S 9896 9898 3958 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 9 0 338692136 911454208 8820 33554432000 4194304 5683644 140734773566144 140711609475632 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9898/tid=10159] ppid=9896 vsize=890092 CPUtime=0 cores=0,2,4,6
/proc/9898/task/10159/stat : 10159 (python) S 9896 9898 3958 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 9 0 338714739 911454208 8820 33554432000 4194304 5683644 140734773566144 140711598985776 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9898/tid=10172] ppid=9896 vsize=890092 CPUtime=0 cores=0,2,4,6
/proc/9898/task/10172/stat : 10172 (python) S 9896 9898 3958 0 -1 4202560 20 1008 0 0 0 0 0 0 20 0 9 0 338760581 911454208 8820 33554432000 4194304 5683644 140734773566144 140711248781872 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1065.52
Current children cumulated vsize (KiB) 15638748
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1068.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/277 10178
/proc/meminfo: memFree=27954356/32873648 swapFree=7628/7628
[pid=9898] ppid=9896 vsize=965884 CPUtime=1.16 cores=0,2,4,6
/proc/9898/stat : 9898 (python) S 9896 9898 3958 0 -1 4202496 18914 1008 1 0 103 13 0 0 20 0 10 0 338658551 989065216 8828 33554432000 4194304 5683644 140734773566144 140734773560976 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9898/statm: 241471 8828 1917 364 0 176670 0
[pid=9904] ppid=9898 vsize=359044 CPUtime=0.15 cores=0,2,4,6
/proc/9904/stat : 9904 (python) S 9898 9898 3958 0 -1 4202560 1189 0 0 0 9 6 0 0 20 0 2 0 338658689 367661056 6115 33554432000 4194304 5683644 140734773566144 140734773557792 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9904/statm: 89761 6115 398 364 0 24984 0
[pid=9906] ppid=9904 vsize=145308 CPUtime=94.59 cores=0,2,4,6
/proc/9906/stat : 9906 (scip-2.0.1.linu) T 9904 9906 9906 0 -1 4202496 71244 0 0 0 9409 50 0 0 20 0 1 0 338658689 148795392 33239 33554432000 4194304 15243407 140735251730608 140735251725000 8134473 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/9906/statm: 36327 33239 950 2698 0 33622 0
[pid=9904/tid=9908] ppid=9898 vsize=359044 CPUtime=0 cores=0,2,4,6
/proc/9904/task/9908/stat : 9908 (python) S 9898 9898 3958 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338663640 367661056 6115 33554432000 4194304 5683644 140734773566144 140711739277872 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9909] ppid=9898 vsize=359560 CPUtime=0.39 cores=0,2,4,6
/proc/9909/stat : 9909 (python) S 9898 9898 3958 0 -1 4202560 1171 0 0 0 20 19 0 0 20 0 2 0 338663643 368189440 6227 33554432000 4194304 5683644 140734773566144 140734773557792 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9909/statm: 89890 6227 384 364 0 25110 0
[pid=9911] ppid=9909 vsize=13924 CPUtime=229.58 cores=0,2,4,6
/proc/9911/stat : 9911 (clasp-1.3.7-x86) T 9909 9911 9911 0 -1 4202496 3524 0 0 0 22957 1 0 0 20 0 1 0 338663643 14258176 3235 33554432000 134512640 136139019 4290158224 4290156848 134599025 0 0 16781312 16386 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/9911/statm: 3481 3235 182 398 0 3081 0
[pid=9909/tid=9983] ppid=9898 vsize=359560 CPUtime=0 cores=0,2,4,6
/proc/9909/task/9983/stat : 9983 (python) S 9898 9898 3958 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 2 0 338668355 368189440 6227 33554432000 4194304 5683644 140734773566144 140711739277872 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9984] ppid=9898 vsize=435352 CPUtime=0.9 cores=0,2,4,6
/proc/9984/stat : 9984 (python) S 9898 9898 3958 0 -1 4202560 1195 0 0 0 50 40 0 0 20 0 2 0 338668358 445800448 6740 33554432000 4194304 5683644 140734773566144 140734773557792 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9984/statm: 108838 6740 384 364 0 44055 0
[pid=9986] ppid=9984 vsize=163208 CPUtime=504.39 cores=0,2,4,6
/proc/9986/stat : 9986 (scip-2.0.1.linu) T 9984 9986 9986 0 -1 4202496 39461 0 0 0 50202 237 0 0 20 0 1 0 338668358 167124992 38848 33554432000 4194304 13684479 140735850646192 140735850640040 7361269 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/9986/statm: 40802 38848 815 2317 0 38480 0
[pid=9984/tid=10037] ppid=9898 vsize=435352 CPUtime=0 cores=0,2,4,6
/proc/9984/task/10037/stat : 10037 (python) S 9898 9898 3958 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338673224 445800448 6740 33554432000 4194304 5683644 140734773566144 140711651435056 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10038] ppid=9898 vsize=511144 CPUtime=0.07 cores=0,2,4,6
/proc/10038/stat : 10038 (python) S 9898 9898 3958 0 -1 4202560 1124 0 0 0 4 3 0 0 20 0 2 0 338677773 523411456 6747 33554432000 4194304 5683644 140734773566144 140734773557792 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10038/statm: 127786 6747 384 364 0 63000 0
[pid=10040] ppid=10038 vsize=79056 CPUtime=47.23 cores=0,2,4,6
/proc/10040/stat : 10040 (minion) T 10038 10040 10040 0 -1 4202496 5807 0 0 0 4719 4 0 0 20 0 1 0 338677774 80953344 12467 33554432000 134512640 165565024 4293918608 4293915856 142764968 0 0 16781312 8396802 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/10040/statm: 19764 12467 336 7582 0 12179 0
[pid=10038/tid=10091] ppid=9898 vsize=511144 CPUtime=0 cores=0,2,4,6
/proc/10038/task/10091/stat : 10091 (python) S 9898 9898 3958 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338682498 523411456 6747 33554432000 4194304 5683644 140734773566144 140711640945200 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10092] ppid=9898 vsize=586936 CPUtime=0.08 cores=0,2,4,6
/proc/10092/stat : 10092 (python) S 9898 9898 3958 0 -1 4202560 1114 0 0 0 5 3 0 0 20 0 2 0 338682501 601022464 6753 33554432000 4194304 5683644 140734773566144 140734773557792 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10092/statm: 146734 6753 384 364 0 81945 0
[pid=10094] ppid=10092 vsize=47788 CPUtime=51.16 cores=0,2,4,6
/proc/10094/stat : 10094 (pbct-0.1.2-linu) T 10092 10094 10094 0 -1 4202496 12073 0 0 0 4680 436 0 0 20 0 1 0 338682501 48934912 11516 33554432000 134512640 136422188 4288613104 4288610624 135006571 0 0 16781312 16387 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/10094/statm: 11947 11516 214 467 0 11478 0
[pid=10092/tid=10100] ppid=9898 vsize=586936 CPUtime=0 cores=0,2,4,6
/proc/10092/task/10100/stat : 10100 (python) S 9898 9898 3958 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338687619 601022464 6753 33554432000 4194304 5683644 140734773566144 140711630455344 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10105] ppid=9898 vsize=662728 CPUtime=0.07 cores=0,2,4,6
/proc/10105/stat : 10105 (python) S 9898 9898 3958 0 -1 4202560 1135 0 0 0 4 3 0 0 20 0 2 0 338692136 678633472 6764 33554432000 4194304 5683644 140734773566144 140734773557792 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10105/statm: 165682 6764 384 364 0 100890 0
[pid=10107] ppid=10105 vsize=9624972 CPUtime=46.05 cores=0,2,4,6
/proc/10107/stat : 10107 (java) T 10105 10107 10107 0 -1 4202496 23315 0 1 0 4573 32 0 0 20 0 19 0 338692136 9855971328 281286 33554432000 1073741824 1073778376 140735784022704 140735784013840 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10107/statm: 2406243 281286 2267 9 0 2396937 0
[pid=10107/tid=10108] ppid=10105 vsize=9624972 CPUtime=43.03 cores=0,2,4,6
/proc/10107/task/10108/stat : 10108 (java) T 10105 10107 10107 0 -1 4202560 3564 0 1 0 4287 16 0 0 20 0 19 0 338692137 9855971328 281286 33554432000 1073741824 1073778376 140735784022704 140355826871392 140355656343971 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10109] ppid=10105 vsize=9624972 CPUtime=0.15 cores=0,2,4,6
/proc/10107/task/10109/stat : 10109 (java) T 10105 10107 10107 0 -1 4202560 154 0 0 0 13 2 0 0 20 0 19 0 338692138 9855971328 281286 33554432000 1073741824 1073778376 140735784022704 140355788364456 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10110] ppid=10105 vsize=9624972 CPUtime=0.12 cores=0,2,4,6
/proc/10107/task/10110/stat : 10110 (java) T 10105 10107 10107 0 -1 4202560 94 0 0 0 10 2 0 0 20 0 19 0 338692138 9855971328 281286 33554432000 1073741824 1073778376 140735784022704 140355787311912 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10111] ppid=10105 vsize=9624972 CPUtime=0.13 cores=0,2,4,6
/proc/10107/task/10111/stat : 10111 (java) T 10105 10107 10107 0 -1 4202560 45 0 0 0 11 2 0 0 20 0 19 0 338692138 9855971328 281286 33554432000 1073741824 1073778376 140735784022704 140355786259368 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10112] ppid=10105 vsize=9624972 CPUtime=0.15 cores=0,2,4,6
/proc/10107/task/10112/stat : 10112 (java) T 10105 10107 10107 0 -1 4202560 180 0 0 0 13 2 0 0 20 0 19 0 338692138 9855971328 281286 33554432000 1073741824 1073778376 140735784022704 140355785206824 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10113] ppid=10105 vsize=9624972 CPUtime=0.11 cores=0,2,4,6
/proc/10107/task/10113/stat : 10113 (java) T 10105 10107 10107 0 -1 4202560 44 0 0 0 11 0 0 0 20 0 19 0 338692138 9855971328 281286 33554432000 1073741824 1073778376 140735784022704 140355784153256 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10114] ppid=10105 vsize=9624972 CPUtime=0.15 cores=0,2,4,6
/proc/10107/task/10114/stat : 10114 (java) T 10105 10107 10107 0 -1 4202560 35 0 0 0 13 2 0 0 20 0 19 0 338692138 9855971328 281286 33554432000 1073741824 1073778376 140735784022704 140355783100712 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10115] ppid=10105 vsize=9624972 CPUtime=0.16 cores=0,2,4,6
/proc/10107/task/10115/stat : 10115 (java) T 10105 10107 10107 0 -1 4202560 118 0 0 0 14 2 0 0 20 0 19 0 338692138 9855971328 281286 33554432000 1073741824 1073778376 140735784022704 140355782048168 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10116] ppid=10105 vsize=9624972 CPUtime=0.12 cores=0,2,4,6
/proc/10107/task/10116/stat : 10116 (java) T 10105 10107 10107 0 -1 4202560 69 0 0 0 10 2 0 0 20 0 19 0 338692138 9855971328 281286 33554432000 1073741824 1073778376 140735784022704 140355780995624 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10117] ppid=10105 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10117/stat : 10117 (java) T 10105 10107 10107 0 -1 4202560 577 0 0 0 0 0 0 0 20 0 19 0 338692139 9855971328 281286 33554432000 1073741824 1073778376 140735784022704 140355650427496 217413892009 0 0 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10118] ppid=10105 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10118/stat : 10118 (java) T 10105 10107 10107 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338692140 9855971328 281286 33554432000 1073741824 1073778376 140735784022704 140355649373816 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10119] ppid=10105 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10119/stat : 10119 (java) T 10105 10107 10107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338692140 9855971328 281286 33554432000 1073741824 1073778376 140735784022704 140355648321160 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10120] ppid=10105 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10120/stat : 10120 (java) T 10105 10107 10107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338692142 9855971328 281286 33554432000 1073741824 1073778376 140735784022704 140355647269904 217413900064 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10121] ppid=10105 vsize=9624972 CPUtime=1.04 cores=0,2,4,6
/proc/10107/task/10121/stat : 10121 (java) T 10105 10107 10107 0 -1 4202560 6682 0 0 0 102 2 0 0 20 0 19 0 338692142 9855971328 281286 33554432000 1073741824 1073778376 140735784022704 140355646216248 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10122] ppid=10105 vsize=9624972 CPUtime=0.75 cores=0,2,4,6
/proc/10107/task/10122/stat : 10122 (java) T 10105 10107 10107 0 -1 4202560 10327 0 0 0 73 2 0 0 20 0 19 0 338692142 9855971328 281286 33554432000 1073741824 1073778376 140735784022704 140355645163704 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10123] ppid=10105 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10123/stat : 10123 (java) T 10105 10107 10107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338692142 9855971328 281286 33554432000 1073741824 1073778376 140735784022704 140355644111352 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10124] ppid=10105 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10124/stat : 10124 (java) T 10105 10107 10107 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338692142 9855971328 281286 33554432000 1073741824 1073778376 140735784022704 140355643059016 217413892009 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10125] ppid=10105 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10125/stat : 10125 (java) T 10105 10107 10107 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 338692170 9855971328 281286 33554432000 1073741824 1073778376 140735784022704 140355642004776 217413892009 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=10105/tid=10127] ppid=9898 vsize=662728 CPUtime=0 cores=0,2,4,6
/proc/10105/task/10127/stat : 10127 (python) S 9898 9898 3958 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338696481 678633472 6764 33554432000 4194304 5683644 140734773566144 140711619965488 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10158] ppid=9898 vsize=738520 CPUtime=0.07 cores=0,2,4,6
/proc/10158/stat : 10158 (python) S 9898 9898 3958 0 -1 4202560 1156 0 0 0 4 3 0 0 20 0 2 0 338714739 756244480 6770 33554432000 4194304 5683644 140734773566144 140734773557792 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10158/statm: 184630 6770 384 364 0 119835 0
[pid=10160] ppid=10158 vsize=124772 CPUtime=47.59 cores=0,2,4,6
/proc/10160/stat : 10160 (bsolo_pb10) T 10158 10160 10160 0 -1 4202496 29096 0 0 0 4742 17 0 0 20 0 1 0 338714739 127766528 28761 33554432000 134512640 137138936 4294783248 4294782176 134542199 0 0 16781312 16384 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/10160/statm: 31193 28761 192 642 0 30549 0
[pid=10158/tid=10162] ppid=9898 vsize=738520 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10162/stat : 10162 (python) S 9898 9898 3958 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338719501 756244480 6770 33554432000 4194304 5683644 140734773566144 140711609475632 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10171] ppid=9898 vsize=814312 CPUtime=0.09 cores=0,2,4,6
/proc/10171/stat : 10171 (python) S 9898 9898 3958 0 -1 4202560 1213 0 0 0 5 4 0 0 20 0 2 0 338760580 833855488 6782 33554432000 4194304 5683644 140734773566144 140734773557792 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10171/statm: 203578 6782 390 364 0 138780 0
[pid=10173] ppid=10171 vsize=86944 CPUtime=47.61 cores=0,2,4,6
/proc/10173/stat : 10173 (bsolo_pb10) T 10171 10173 10173 0 -1 4202496 19636 0 0 0 4754 7 0 0 20 0 1 0 338760581 89030656 19300 33554432000 134512640 137138936 4289844416 4289843344 134542286 0 0 16781312 16384 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/10173/statm: 21736 19300 192 642 0 21092 0
[pid=10171/tid=10175] ppid=9898 vsize=814312 CPUtime=0 cores=0,2,4,6
/proc/10171/task/10175/stat : 10175 (python) S 9898 9898 3958 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338765343 833855488 6782 33554432000 4194304 5683644 140734773566144 140711598985776 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10176] ppid=9898 vsize=890104 CPUtime=0 cores=0,2,4,6
/proc/10176/stat : 10176 (python) S 9898 9898 3958 0 -1 4202560 886 0 0 0 0 0 0 0 20 0 1 0 338765345 911466496 7248 33554432000 4194304 5683644 140734773566144 140734773557232 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 4 0 0 0 0 0
/proc/10176/statm: 222526 7248 343 364 0 157725 0
[pid=10178] ppid=10176 vsize=12032 CPUtime=0.16 cores=0,2,4,6
/proc/10178/stat : 10178 (bsolo_pb10) R 10176 10178 10178 0 -1 4202496 880 0 0 0 16 0 0 0 20 0 1 0 338765345 12320768 556 33554432000 134512640 137138936 4289453520 4289409308 136570369 0 0 16781312 16384 0 0 0 17 0 0 0 0 0 0
/proc/10178/statm: 3008 556 184 642 0 2364 0
[pid=9898/tid=9905] ppid=9896 vsize=965884 CPUtime=0 cores=0,2,4,6
/proc/9898/task/9905/stat : 9905 (python) S 9896 9898 3958 0 -1 4202560 31 1008 0 0 0 0 0 0 20 0 10 0 338658689 989065216 8828 33554432000 4194304 5683644 140734773566144 140711739277872 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9898/tid=9910] ppid=9896 vsize=965884 CPUtime=0 cores=0,2,4,6
/proc/9898/task/9910/stat : 9910 (python) S 9896 9898 3958 0 -1 4202560 23 1008 0 0 0 0 0 0 20 0 10 0 338663643 989065216 8828 33554432000 4194304 5683644 140734773566144 140711651435056 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9898/tid=9985] ppid=9896 vsize=965884 CPUtime=0 cores=0,2,4,6
/proc/9898/task/9985/stat : 9985 (python) S 9896 9898 3958 0 -1 4202560 29 1008 0 0 0 0 0 0 20 0 10 0 338668358 989065216 8828 33554432000 4194304 5683644 140734773566144 140711640945200 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9898/tid=10039] ppid=9896 vsize=965884 CPUtime=0 cores=0,2,4,6
/proc/9898/task/10039/stat : 10039 (python) S 9896 9898 3958 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 10 0 338677773 989065216 8828 33554432000 4194304 5683644 140734773566144 140711630455344 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9898/tid=10093] ppid=9896 vsize=965884 CPUtime=0 cores=0,2,4,6
/proc/9898/task/10093/stat : 10093 (python) S 9896 9898 3958 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 10 0 338682501 989065216 8828 33554432000 4194304 5683644 140734773566144 140711619965488 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9898/tid=10106] ppid=9896 vsize=965884 CPUtime=0 cores=0,2,4,6
/proc/9898/task/10106/stat : 10106 (python) S 9896 9898 3958 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 10 0 338692136 989065216 8828 33554432000 4194304 5683644 140734773566144 140711609475632 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9898/tid=10159] ppid=9896 vsize=965884 CPUtime=0 cores=0,2,4,6
/proc/9898/task/10159/stat : 10159 (python) S 9896 9898 3958 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 10 0 338714739 989065216 8828 33554432000 4194304 5683644 140734773566144 140711598985776 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9898/tid=10172] ppid=9896 vsize=965884 CPUtime=0 cores=0,2,4,6
/proc/9898/task/10172/stat : 10172 (python) S 9896 9898 3958 0 -1 4202560 20 1008 0 0 0 0 0 0 20 0 10 0 338760581 989065216 8828 33554432000 4194304 5683644 140734773566144 140711248781872 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9898/tid=10177] ppid=9896 vsize=965884 CPUtime=0 cores=0,2,4,6
/proc/9898/task/10177/stat : 10177 (python) S 9896 9898 3958 0 -1 4202560 20 1008 0 0 0 0 0 0 20 0 10 0 338765345 989065216 8828 33554432000 4194304 5683644 140734773566144 140711238292016 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1071.34
Current children cumulated vsize (KiB) 16621588
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 9898 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=46840
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=138978
# CPU time returned by wait4() is 1.18582
# while last known CPU time is 1071.34
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1068.17
CPU time (s): 1071.34
CPU user time (s): 1062.56
CPU system time (s): 8.78
CPU usage (%): 100.297
Max. virtual memory (cumulated for all children) (KiB): 16621588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.04684
system time used= 0.138978
maximum resident set size= 35312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20388
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2116
involuntary context switches= 27
runsolver used 5.37018 second user time and 12.1232 second system time
The end