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-3482886-1307578361/watcher-3482886-1307578361 -o /tmp/evaluation-result-3482886-1307578361/solver-3482886-1307578361 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482886-1307578361.opb -seed 1632691605 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 2.02 1.77 2/469 6053
/proc/meminfo: memFree=25464192/32950928 swapFree=51865260/67111528
[pid=6053] ppid=6051 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/6053/stat : 6053 (python) R 6051 6053 5042 0 -1 4202496 808 0 0 0 0 0 0 0 20 0 1 0 325445743 15753216 694 33554432000 4194304 5683644 140733219122992 18446744073709551615 4509303 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6053/statm: 3846 694 332 364 0 333 0
[startup+0.0816331 s]
/proc/loadavg: 1.93 2.02 1.77 2/469 6053
/proc/meminfo: memFree=25464192/32950928 swapFree=51865260/67111528
[pid=6053] ppid=6051 vsize=45816 CPUtime=0.04 cores=1,3,5,7
/proc/6053/stat : 6053 (python) R 6051 6053 5042 0 -1 4202496 1925 0 0 0 3 1 0 0 17 0 1 0 325445743 46915584 1698 33554432000 4194304 5683644 140733219122992 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6053/statm: 11454 1698 470 364 0 1203 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 45816
[startup+0.100631 s]
/proc/loadavg: 1.93 2.02 1.77 2/469 6053
/proc/meminfo: memFree=25464192/32950928 swapFree=51865260/67111528
[pid=6053] ppid=6051 vsize=85360 CPUtime=0.06 cores=1,3,5,7
/proc/6053/stat : 6053 (python) R 6051 6053 5042 0 -1 4202496 2585 0 0 0 4 2 0 0 17 0 1 0 325445743 87408640 2310 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892394354 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6053/statm: 21340 2310 709 364 0 1557 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85360
[startup+0.300617 s]
/proc/loadavg: 1.93 2.02 1.77 2/469 6053
/proc/meminfo: memFree=25464192/32950928 swapFree=51865260/67111528
[pid=6053] ppid=6051 vsize=123744 CPUtime=0.15 cores=1,3,5,7
/proc/6053/stat : 6053 (python) S 6051 6053 5042 0 -1 4202496 5357 929 1 0 9 6 0 0 16 0 1 0 325445743 126713856 3745 33554432000 4194304 5683644 140733219122992 18446744073709551615 218880561157 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/6053/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123744
[startup+0.700525 s]
/proc/loadavg: 1.93 2.02 1.77 2/469 6053
/proc/meminfo: memFree=25464192/32950928 swapFree=51865260/67111528
[pid=6053] ppid=6051 vsize=273720 CPUtime=0.38 cores=1,3,5,7
/proc/6053/stat : 6053 (python) R 6051 6053 5042 0 -1 4202496 8810 929 1 0 25 13 0 0 15 0 1 0 325445743 280289280 6760 33554432000 4194304 5683644 140733219122992 18446744073709551615 4438558 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6053/statm: 68430 6760 1720 364 0 5463 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 273720
[startup+1.85832 s]
/proc/loadavg: 1.93 2.02 1.77 2/469 6053
/proc/meminfo: memFree=25464192/32950928 swapFree=51865260/67111528
[pid=6053] ppid=6051 vsize=370132 CPUtime=1.54 cores=1,3,5,7
/proc/6053/stat : 6053 (python) R 6051 6053 5042 0 -1 4202496 30775 929 1 0 137 17 0 0 17 0 1 0 325445743 379015168 28638 33554432000 4194304 5683644 140733219122992 18446744073709551615 218880225989 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6053/statm: 92533 28638 1781 364 0 27426 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 370132
[startup+3.10109 s]
/proc/loadavg: 2.01 2.04 1.77 3/470 6058
/proc/meminfo: memFree=25309916/32950928 swapFree=51865260/67111528
[pid=6053] ppid=6051 vsize=411924 CPUtime=2.8 cores=1,3,5,7
/proc/6053/stat : 6053 (python) R 6051 6053 5042 0 -1 4202496 41253 929 1 0 260 20 0 0 18 0 1 0 325445743 421810176 39116 33554432000 4194304 5683644 140733219122992 18446744073709551615 218880225989 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6053/statm: 102981 39116 1781 364 0 37874 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 411924
[startup+6.30052 s]
/proc/loadavg: 2.01 2.04 1.77 4/471 6059
/proc/meminfo: memFree=25219132/32950928 swapFree=51865260/67111528
[pid=6053] ppid=6051 vsize=524772 CPUtime=5.99 cores=1,3,5,7
/proc/6053/stat : 6053 (python) R 6051 6053 5042 0 -1 4202496 68010 929 1 0 575 24 0 0 25 0 1 0 325445743 537366528 65873 33554432000 4194304 5683644 140733219122992 18446744073709551615 218880225989 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/6053/statm: 131193 65873 1781 364 0 66086 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 524772
[startup+12.7004 s]
/proc/loadavg: 2.01 2.04 1.77 3/470 6059
/proc/meminfo: memFree=25138208/32950928 swapFree=51865260/67111528
[pid=6053] ppid=6051 vsize=586780 CPUtime=12.38 cores=1,3,5,7
/proc/6053/stat : 6053 (python) R 6051 6053 5042 0 -1 4202496 140104 929 1 0 1205 33 0 0 25 0 1 0 325445743 600862720 83042 33554432000 4194304 5683644 140733219122992 18446744073709551615 47842727411553 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/6053/statm: 146695 83042 1815 364 0 81588 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 586780
[startup+25.501 s]
/proc/loadavg: 2.01 2.03 1.78 3/473 6063
/proc/meminfo: memFree=25149160/32950928 swapFree=51865260/67111528
[pid=6053] ppid=6051 vsize=547756 CPUtime=23.26 cores=1,3,5,7
/proc/6053/stat : 6053 (python) S 6051 6053 5042 0 -1 4202496 149156 929 1 0 2291 35 0 0 20 0 2 0 325445743 560902144 70780 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/6053/statm: 136939 70780 1872 364 0 71826 0
[pid=6061] ppid=6053 vsize=537512 CPUtime=0 cores=1,3,5,7
/proc/6061/stat : 6061 (python) S 6053 6053 5042 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 1 0 325448101 550412288 69255 33554432000 4194304 5683644 140733219122992 18446744073709551615 218880585231 0 0 16781312 33554946 17688571746262679812 0 0 17 5 0 0 0
/proc/6061/statm: 134378 69255 351 364 0 69265 0
[pid=6063] ppid=6061 vsize=98748 CPUtime=1.87 cores=1,3,5,7
/proc/6063/stat : 6063 (wbo1.4b-fixed) R 6061 6063 6063 0 -1 4202496 18590 0 0 0 185 2 0 0 25 0 1 0 325448102 101117952 18337 33554432000 134512640 135752315 4291932624 18446744073709551615 134559923 0 0 16781312 3 0 0 0 17 7 0 0 0
/proc/6063/statm: 24687 18337 6815 303 0 11958 0
[pid=6053/tid=6062] ppid=6051 vsize=547756 CPUtime=0 cores=1,3,5,7
/proc/6053/task/6062/stat : 6062 (python) S 6051 6053 5042 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 2 0 325448101 560902144 70780 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 1184016
[startup+51.1005 s]
/proc/loadavg: 2.19 2.08 1.80 3/473 6064
/proc/meminfo: memFree=25053092/32950928 swapFree=51865260/67111528
[pid=6053] ppid=6051 vsize=547756 CPUtime=23.26 cores=1,3,5,7
/proc/6053/stat : 6053 (python) S 6051 6053 5042 0 -1 4202496 149156 929 1 0 2291 35 0 0 20 0 2 0 325445743 560902144 70780 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/6053/statm: 136939 70780 1872 364 0 71826 0
[pid=6061] ppid=6053 vsize=537512 CPUtime=0.11 cores=1,3,5,7
/proc/6061/stat : 6061 (python) S 6053 6053 5042 0 -1 4202560 1005 0 0 0 5 6 0 0 15 0 1 0 325448101 550412288 69284 33554432000 4194304 5683644 140733219122992 18446744073709551615 218880585231 0 0 16781312 33554946 4294934790 0 0 17 5 0 0 0
/proc/6061/statm: 134378 69284 380 364 0 69265 0
[pid=6063] ppid=6061 vsize=142320 CPUtime=27.43 cores=1,3,5,7
/proc/6063/stat : 6063 (wbo1.4b-fixed) R 6061 6063 6063 0 -1 4202496 48061 0 0 0 2675 68 0 0 25 0 1 0 325448102 145735680 33322 33554432000 134512640 135752315 4291932624 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/6063/statm: 35580 33322 146 303 0 35275 0
[pid=6053/tid=6062] ppid=6051 vsize=547756 CPUtime=0 cores=1,3,5,7
/proc/6053/task/6062/stat : 6062 (python) S 6051 6053 5042 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 2 0 325448101 560902144 70780 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 1227588
[startup+102.301 s]
/proc/loadavg: 2.14 2.08 1.81 2/477 6069
/proc/meminfo: memFree=17524480/32950928 swapFree=51865260/67111528
[pid=6053] ppid=6051 vsize=558012 CPUtime=23.29 cores=1,3,5,7
/proc/6053/stat : 6053 (python) S 6051 6053 5042 0 -1 4202496 150049 929 1 0 2293 36 0 0 20 0 3 0 325445743 571404288 70787 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/6053/statm: 139503 70787 1875 364 0 74387 0
[pid=6061] ppid=6053 vsize=547756 CPUtime=0.2 cores=1,3,5,7
/proc/6061/stat : 6061 (python) S 6053 6053 5042 0 -1 4202560 1148 0 0 0 10 10 0 0 17 0 2 0 325448101 560902144 69320 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/6061/statm: 136939 69320 411 364 0 71826 0
[pid=6063] ppid=6061 vsize=151392 CPUtime=50.43 cores=1,3,5,7
/proc/6063/stat : 6063 (wbo1.4b-fixed) T 6061 6063 6063 0 -1 4202496 50325 0 0 0 4902 141 0 0 25 0 1 0 325448102 155025408 35586 33554432000 134512640 135752315 4291932624 18446744073709551615 134518799 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/6063/statm: 37848 35586 146 303 0 37543 0
[pid=6061/tid=6065] ppid=6053 vsize=547756 CPUtime=0 cores=1,3,5,7
/proc/6061/task/6065/stat : 6065 (python) S 6053 6053 5042 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 325453152 560902144 69320 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554946 18446604457074884736 0 0 -1 5 0 0 0
[pid=6066] ppid=6053 vsize=547768 CPUtime=0.1 cores=1,3,5,7
/proc/6066/stat : 6066 (python) S 6053 6053 5042 0 -1 4202560 931 0 0 0 5 5 0 0 15 0 1 0 325453154 560914432 69280 33554432000 4194304 5683644 140733219122992 18446744073709551615 218880585286 0 0 16781312 33554946 5623753486446373763 0 0 17 7 0 0 0
/proc/6066/statm: 136942 69280 372 364 0 71826 0
[pid=6068] ppid=6066 vsize=3976612 CPUtime=27.37 cores=1,3,5,7
/proc/6068/stat : 6068 (pbct-0.1.2-linu) D 6066 6068 6068 0 -1 4204032 1057373 0 0 0 2185 552 0 0 25 0 1 0 325453155 4072050688 959401 33554432000 134512640 136422188 4294716352 18446744073709551615 135736970 0 0 16781312 16387 18446744071562154983 0 0 17 1 0 0 15
/proc/6068/statm: 994153 959401 248 467 0 993684 0
[pid=6053/tid=6062] ppid=6051 vsize=558012 CPUtime=0 cores=1,3,5,7
/proc/6053/task/6062/stat : 6062 (python) S 6051 6053 5042 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 3 0 325448101 571404288 70787 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 7 0 0 0
[pid=6053/tid=6067] ppid=6051 vsize=558012 CPUtime=0 cores=1,3,5,7
/proc/6053/task/6067/stat : 6067 (python) S 6051 6053 5042 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 3 0 325453155 571404288 70787 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 5781540
[startup+162.301 s]
/proc/loadavg: 3.99 2.63 2.02 3/484 6080
/proc/meminfo: memFree=20585652/32950928 swapFree=51865260/67111528
[pid=6053] ppid=6051 vsize=578524 CPUtime=51.45 cores=1,3,5,7
/proc/6053/stat : 6053 (python) S 6051 6053 5042 0 -1 4202496 151776 1059481 1 0 2298 37 2192 618 19 0 5 0 325445743 592408576 70799 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/6053/statm: 144631 70799 1879 364 0 79509 0
[pid=6061] ppid=6053 vsize=547756 CPUtime=0.2 cores=1,3,5,7
/proc/6061/stat : 6061 (python) S 6053 6053 5042 0 -1 4202560 1148 0 0 0 10 10 0 0 17 0 2 0 325448101 560902144 69320 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/6061/statm: 136939 69320 411 364 0 71826 0
[pid=6063] ppid=6061 vsize=151392 CPUtime=50.43 cores=1,3,5,7
/proc/6063/stat : 6063 (wbo1.4b-fixed) T 6061 6063 6063 0 -1 4202496 50325 0 0 0 4902 141 0 0 25 0 1 0 325448102 155025408 35586 33554432000 134512640 135752315 4291932624 18446744073709551615 134518799 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/6063/statm: 37848 35586 146 303 0 37543 0
[pid=6061/tid=6065] ppid=6053 vsize=547756 CPUtime=0 cores=1,3,5,7
/proc/6061/task/6065/stat : 6065 (python) S 6053 6053 5042 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 325453152 560902144 69320 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554946 18446604457074884736 0 0 -1 5 0 0 0
[pid=6071] ppid=6053 vsize=558024 CPUtime=0.2 cores=1,3,5,7
/proc/6071/stat : 6071 (python) S 6053 6053 5042 0 -1 4202560 1109 0 0 0 8 12 0 0 16 0 2 0 325456447 571416576 69309 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6071/statm: 139506 69309 396 364 0 74387 0
[pid=6073] ppid=6071 vsize=130336 CPUtime=50.1 cores=1,3,5,7
/proc/6073/stat : 6073 (wbo1.4a) T 6071 6073 6073 0 -1 4202496 45118 0 0 0 4865 145 0 0 25 0 1 0 325456448 133464064 30369 33554432000 134512640 135751879 4293782688 18446744073709551615 134616437 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/6073/statm: 32584 30369 143 303 0 32279 0
[pid=6071/tid=6075] ppid=6053 vsize=558024 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6075/stat : 6075 (python) S 6053 6053 5042 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 325461460 571416576 69309 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554946 18446604457074886528 0 0 -1 7 0 0 0
[pid=6076] ppid=6053 vsize=568280 CPUtime=0.02 cores=1,3,5,7
/proc/6076/stat : 6076 (python) S 6053 6053 5042 0 -1 4202560 942 0 0 0 1 1 0 0 18 0 1 0 325461462 581918720 69288 33554432000 4194304 5683644 140733219122992 18446744073709551615 218880585286 0 0 16781312 33554946 5636129902861189381 0 0 17 1 0 0 0
/proc/6076/statm: 142070 69288 372 364 0 76948 0
[pid=6078] ppid=6076 vsize=302712 CPUtime=5.09 cores=1,3,5,7
/proc/6078/stat : 6078 (scip-2.0.1.linu) R 6076 6078 6078 0 -1 4202496 73103 0 0 0 500 9 0 0 25 0 1 0 325461463 309977088 72817 33554432000 4194304 15243407 140734917464048 18446744073709551615 12078768 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/6078/statm: 75678 72817 533 2698 0 72973 0
[pid=6053/tid=6062] ppid=6051 vsize=578524 CPUtime=28.1 cores=1,3,5,7
/proc/6053/task/6062/stat : 6062 (python) S 6051 6053 5042 0 -1 4202560 27 1059481 0 0 0 0 2192 618 20 0 5 0 325448101 592408576 70799 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 7 0 0 0
[pid=6053/tid=6067] ppid=6051 vsize=578524 CPUtime=28.1 cores=1,3,5,7
/proc/6053/task/6067/stat : 6067 (python) S 6051 6053 5042 0 -1 4202560 30 1059481 0 0 0 0 2192 618 20 0 5 0 325453155 592408576 70799 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 3 0 0 0
[pid=6053/tid=6072] ppid=6051 vsize=578524 CPUtime=28.1 cores=1,3,5,7
/proc/6053/task/6072/stat : 6072 (python) S 6051 6053 5042 0 -1 4202560 30 1059481 0 0 0 0 2192 618 20 0 5 0 325456448 592408576 70799 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 3 0 0 0
[pid=6053/tid=6077] ppid=6051 vsize=578524 CPUtime=28.1 cores=1,3,5,7
/proc/6053/task/6077/stat : 6077 (python) S 6051 6053 5042 0 -1 4202560 32 1059481 0 0 0 0 2192 618 20 0 5 0 325461463 592408576 70799 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 157.49
Current children cumulated vsize (KiB) 2837024
################
# More data... #
################
[pid=6099] ppid=6053 vsize=599048 CPUtime=0.18 cores=1,3,5,7
/proc/6099/stat : 6099 (python) S 6053 6053 5042 0 -1 4202560 1132 0 0 0 8 10 0 0 16 0 2 0 325483268 613425152 69325 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6099/statm: 149762 69325 396 364 0 84631 0
[pid=6101] ppid=6099 vsize=281612 CPUtime=46.73 cores=1,3,5,7
/proc/6101/stat : 6101 (bsolo_pb10) T 6099 6101 6101 0 -1 4202496 80650 0 0 0 4612 61 0 0 25 0 1 0 325483269 288370688 67743 33554432000 134512640 137138936 4291760464 18446744073709551615 134540051 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/6101/statm: 70403 67743 184 642 0 69759 0
[pid=6099/tid=6110] ppid=6053 vsize=599048 CPUtime=0 cores=1,3,5,7
/proc/6099/task/6110/stat : 6110 (python) S 6053 6053 5042 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 325487944 613425152 69325 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554946 18446604470291330880 0 0 -1 7 0 0 0
[pid=6112] ppid=6053 vsize=609304 CPUtime=0.14 cores=1,3,5,7
/proc/6112/stat : 6112 (python) S 6053 6053 5042 0 -1 4202560 1072 0 0 0 5 9 0 0 18 0 1 0 325487946 623927296 69310 33554432000 4194304 5683644 140733219122992 18446744073709551615 218880585286 0 0 16781312 33554946 5623753486446373763 0 0 17 7 0 0 0
/proc/6112/statm: 152326 69310 378 364 0 87192 0
[pid=6115] ppid=6112 vsize=133128 CPUtime=40.22 cores=1,3,5,7
/proc/6115/stat : 6115 (clasp-1.3.7-x86) R 6112 6115 6115 0 -1 4202496 40624 0 0 0 4014 8 0 0 25 0 1 0 325487947 136323072 32767 33554432000 134512640 136139019 4294902768 18446744073709551615 134883787 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/6115/statm: 33282 32767 184 398 0 32882 0
[pid=6053/tid=6062] ppid=6051 vsize=619548 CPUtime=54.66 cores=1,3,5,7
/proc/6053/task/6062/stat : 6062 (python) S 6051 6053 5042 0 -1 4202560 27 2180479 0 0 0 0 4178 1288 20 0 9 0 325448101 634417152 70823 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 7 0 0 0
[pid=6053/tid=6067] ppid=6051 vsize=619548 CPUtime=54.66 cores=1,3,5,7
/proc/6053/task/6067/stat : 6067 (python) S 6051 6053 5042 0 -1 4202560 30 2180479 0 0 0 0 4178 1288 20 0 9 0 325453155 634417152 70823 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 3 0 0 0
[pid=6053/tid=6072] ppid=6051 vsize=619548 CPUtime=54.66 cores=1,3,5,7
/proc/6053/task/6072/stat : 6072 (python) S 6051 6053 5042 0 -1 4202560 30 2180479 0 0 0 0 4178 1288 20 0 9 0 325456448 634417152 70823 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 3 0 0 0
[pid=6053/tid=6077] ppid=6051 vsize=619548 CPUtime=54.66 cores=1,3,5,7
/proc/6053/task/6077/stat : 6077 (python) S 6051 6053 5042 0 -1 4202560 32 2180479 0 0 0 0 4178 1288 20 0 9 0 325461463 634417152 70823 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 1 0 0 0
[pid=6053/tid=6085] ppid=6051 vsize=619548 CPUtime=54.66 cores=1,3,5,7
/proc/6053/task/6085/stat : 6085 (python) S 6051 6053 5042 0 -1 4202560 25 2180479 0 0 0 0 4178 1288 20 0 9 0 325466539 634417152 70823 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 7 0 0 0
[pid=6053/tid=6092] ppid=6051 vsize=619548 CPUtime=54.66 cores=1,3,5,7
/proc/6053/task/6092/stat : 6092 (python) S 6051 6053 5042 0 -1 4202560 31 2180479 0 0 0 0 4178 1288 25 0 9 0 325478766 634417152 70823 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 3 0 0 0
[pid=6053/tid=6100] ppid=6051 vsize=619548 CPUtime=54.66 cores=1,3,5,7
/proc/6053/task/6100/stat : 6100 (python) S 6051 6053 5042 0 -1 4202560 25 2180479 0 0 0 0 4178 1288 20 0 9 0 325483269 634417152 70823 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 7 0 0 0
[pid=6053/tid=6113] ppid=6051 vsize=619548 CPUtime=54.66 cores=1,3,5,7
/proc/6053/task/6113/stat : 6113 (python) S 6051 6053 5042 0 -1 4202560 28 2180479 0 0 0 0 4178 1288 20 0 9 0 325487947 634417152 70823 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 439.65
Current children cumulated vsize (KiB) 10819228
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+517.602 s]
/proc/loadavg: 2.45 2.65 2.20 4/524 6143
/proc/meminfo: memFree=10377376/32950928 swapFree=51865260/67111528
[pid=6053] ppid=6051 vsize=629804 CPUtime=149.44 cores=1,3,5,7
/proc/6053/stat : 6053 (python) S 6051 6053 5042 0 -1 4202496 156482 2180479 1 0 9420 58 4178 1288 19 0 10 0 325445743 644919296 70829 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 1
/proc/6053/statm: 157451 70829 1889 364 0 92314 0
[pid=6061] ppid=6053 vsize=547756 CPUtime=0.2 cores=1,3,5,7
/proc/6061/stat : 6061 (python) S 6053 6053 5042 0 -1 4202560 1148 0 0 0 10 10 0 0 17 0 2 0 325448101 560902144 69320 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/6061/statm: 136939 69320 411 364 0 71826 0
[pid=6063] ppid=6061 vsize=151392 CPUtime=50.43 cores=1,3,5,7
/proc/6063/stat : 6063 (wbo1.4b-fixed) T 6061 6063 6063 0 -1 4202496 50325 0 0 0 4902 141 0 0 25 0 1 0 325448102 155025408 35586 33554432000 134512640 135752315 4291932624 18446744073709551615 134518799 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/6063/statm: 37848 35586 146 303 0 37543 0
[pid=6061/tid=6065] ppid=6053 vsize=547756 CPUtime=0 cores=1,3,5,7
/proc/6061/task/6065/stat : 6065 (python) S 6053 6053 5042 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 325453152 560902144 69320 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554946 18446604457074884736 0 0 -1 5 0 0 0
[pid=6071] ppid=6053 vsize=558024 CPUtime=0.2 cores=1,3,5,7
/proc/6071/stat : 6071 (python) S 6053 6053 5042 0 -1 4202560 1109 0 0 0 8 12 0 0 16 0 2 0 325456447 571416576 69309 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6071/statm: 139506 69309 396 364 0 74387 0
[pid=6073] ppid=6071 vsize=130336 CPUtime=50.1 cores=1,3,5,7
/proc/6073/stat : 6073 (wbo1.4a) T 6071 6073 6073 0 -1 4202496 45118 0 0 0 4865 145 0 0 25 0 1 0 325456448 133464064 30369 33554432000 134512640 135751879 4293782688 18446744073709551615 134616437 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/6073/statm: 32584 30369 143 303 0 32279 0
[pid=6071/tid=6075] ppid=6053 vsize=558024 CPUtime=0 cores=1,3,5,7
/proc/6071/task/6075/stat : 6075 (python) S 6053 6053 5042 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 325461460 571416576 69309 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554946 18446604457074886528 0 0 -1 7 0 0 0
[pid=6076] ppid=6053 vsize=568280 CPUtime=0.2 cores=1,3,5,7
/proc/6076/stat : 6076 (python) S 6053 6053 5042 0 -1 4202560 1135 0 0 0 10 10 0 0 16 0 2 0 325461462 581918720 69313 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6076/statm: 142070 69313 396 364 0 76948 0
[pid=6078] ppid=6076 vsize=3013848 CPUtime=50.7 cores=1,3,5,7
/proc/6078/stat : 6078 (scip-2.0.1.linu) T 6076 6078 6078 0 -1 4202496 838497 0 0 0 4618 452 0 0 25 0 1 0 325461463 3086180352 647214 33554432000 4194304 15243407 140734917464048 18446744073709551615 6427716 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/6078/statm: 753462 647214 877 2698 0 750757 0
[pid=6076/tid=6083] ppid=6053 vsize=568280 CPUtime=0 cores=1,3,5,7
/proc/6076/task/6083/stat : 6083 (python) S 6053 6053 5042 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 325466536 581918720 69313 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554946 18446604461253831488 0 0 -1 7 0 0 0
[pid=6084] ppid=6053 vsize=578536 CPUtime=0.2 cores=1,3,5,7
/proc/6084/stat : 6084 (python) S 6053 6053 5042 0 -1 4202560 1130 0 0 0 8 12 0 0 16 0 2 0 325466538 592420864 69317 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6084/statm: 144634 69317 396 364 0 79509 0
[pid=6086] ppid=6084 vsize=3028416 CPUtime=50.97 cores=1,3,5,7
/proc/6086/stat : 6086 (scip-2.0.1.linu) T 6084 6086 6086 0 -1 4202496 810031 0 0 0 4662 435 0 0 25 0 1 0 325466539 3101097984 701726 33554432000 4194304 13684479 140734349627472 18446744073709551615 7454166 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/6086/statm: 757104 701726 1260 2317 0 754782 0
[pid=6084/tid=6088] ppid=6053 vsize=578536 CPUtime=0 cores=1,3,5,7
/proc/6084/task/6088/stat : 6088 (python) S 6053 6053 5042 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 325471637 592420864 69317 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554946 18446604466729530688 0 0 -1 7 0 0 0
[pid=6099] ppid=6053 vsize=599048 CPUtime=0.18 cores=1,3,5,7
/proc/6099/stat : 6099 (python) S 6053 6053 5042 0 -1 4202560 1132 0 0 0 8 10 0 0 16 0 2 0 325483268 613425152 69325 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6099/statm: 149762 69325 396 364 0 84631 0
[pid=6101] ppid=6099 vsize=281612 CPUtime=46.73 cores=1,3,5,7
/proc/6101/stat : 6101 (bsolo_pb10) T 6099 6101 6101 0 -1 4202496 80650 0 0 0 4612 61 0 0 25 0 1 0 325483269 288370688 67743 33554432000 134512640 137138936 4291760464 18446744073709551615 134540051 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/6101/statm: 70403 67743 184 642 0 69759 0
[pid=6099/tid=6110] ppid=6053 vsize=599048 CPUtime=0 cores=1,3,5,7
/proc/6099/task/6110/stat : 6110 (python) S 6053 6053 5042 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 325487944 613425152 69325 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554946 18446604470291330880 0 0 -1 7 0 0 0
[pid=6112] ppid=6053 vsize=609304 CPUtime=0.36 cores=1,3,5,7
/proc/6112/stat : 6112 (python) S 6053 6053 5042 0 -1 4202560 1238 0 0 0 14 22 0 0 18 0 2 0 325487946 623927296 69335 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6112/statm: 152326 69335 402 364 0 87192 0
[pid=6115] ppid=6112 vsize=178556 CPUtime=95.32 cores=1,3,5,7
/proc/6115/stat : 6115 (clasp-1.3.7-x86) T 6112 6115 6115 0 -1 4202496 52029 0 0 0 9521 11 0 0 25 0 1 0 325487947 182841344 43833 33554432000 134512640 136139019 4294902768 18446744073709551615 134883744 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/6115/statm: 44639 43833 184 398 0 44239 0
[pid=6112/tid=6119] ppid=6053 vsize=609304 CPUtime=0 cores=1,3,5,7
/proc/6112/task/6119/stat : 6119 (python) S 6053 6053 5042 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 325492666 623927296 69335 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554946 18446604470291331776 0 0 -1 7 0 0 0
[pid=6122] ppid=6053 vsize=619560 CPUtime=0 cores=1,3,5,7
/proc/6122/stat : 6122 (python) S 6053 6053 5042 0 -1 4202560 857 0 0 0 0 0 0 0 17 0 1 0 325497489 634429440 69291 33554432000 4194304 5683644 140733219122992 18446744073709551615 218880585286 0 0 16781312 33554946 1927169881757712384 0 0 17 7 0 0 0
/proc/6122/statm: 154890 69291 355 364 0 89753 0
[pid=6124] ppid=6122 vsize=8532764 CPUtime=0.17 cores=1,3,5,7
/proc/6124/stat : 6124 (java) S 6122 6124 6124 0 -1 4202496 6148 0 1 0 15 2 0 0 17 0 18 0 325497490 8737550336 5602 33554432000 1073741824 1073778376 140735425537872 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6124/statm: 2133191 5602 2155 9 0 2123932 0
[pid=6124/tid=6125] ppid=6122 vsize=8533104 CPUtime=0.12 cores=1,3,5,7
/proc/6124/task/6125/stat : 6125 (java) R 6122 6124 6124 0 -1 4202560 3943 0 1 0 12 0 0 0 18 0 18 0 325497492 8737898496 5691 33554432000 1073741824 1073778376 140735425537872 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6124/tid=6126] ppid=6122 vsize=8533104 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6126/stat : 6126 (java) S 6122 6124 6124 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 325497493 8737898496 5691 33554432000 1073741824 1073778376 140735425537872 18446744073709551615 218892381081 0 4 0 16800975 18446604461375638464 0 0 -1 1 0 0 0
[pid=6124/tid=6127] ppid=6122 vsize=8533104 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6127/stat : 6127 (java) S 6122 6124 6124 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 325497493 8737898496 5691 33554432000 1073741824 1073778376 140735425537872 18446744073709551615 218892381081 0 4 0 16800975 18446604461375638464 0 0 -1 1 0 0 0
[pid=6124/tid=6128] ppid=6122 vsize=8533104 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6128/stat : 6128 (java) S 6122 6124 6124 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 325497493 8737898496 5691 33554432000 1073741824 1073778376 140735425537872 18446744073709551615 218892381081 0 4 0 16800975 18446604461375638464 0 0 -1 1 0 0 0
[pid=6124/tid=6129] ppid=6122 vsize=8533104 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6129/stat : 6129 (java) S 6122 6124 6124 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 325497493 8737898496 5691 33554432000 1073741824 1073778376 140735425537872 18446744073709551615 218892381081 0 4 0 16800975 18446604461375638464 0 0 -1 1 0 0 0
[pid=6124/tid=6131] ppid=6122 vsize=8533104 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6131/stat : 6131 (java) S 6122 6124 6124 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 325497493 8737898496 5691 33554432000 1073741824 1073778376 140735425537872 18446744073709551615 218892381081 0 4 0 16800975 18446604461375638464 0 0 -1 1 0 0 0
[pid=6124/tid=6132] ppid=6122 vsize=8533104 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6132/stat : 6132 (java) S 6122 6124 6124 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 325497493 8737898496 5692 33554432000 1073741824 1073778376 140735425537872 18446744073709551615 218892381081 0 4 0 16800975 18446604461375638464 0 0 -1 1 0 0 0
[pid=6124/tid=6133] ppid=6122 vsize=8533104 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6133/stat : 6133 (java) S 6122 6124 6124 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 325497493 8737898496 5692 33554432000 1073741824 1073778376 140735425537872 18446744073709551615 218892381081 0 4 0 16800975 18446604461375638464 0 0 -1 1 0 0 0
[pid=6124/tid=6134] ppid=6122 vsize=8533104 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6134/stat : 6134 (java) S 6122 6124 6124 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 325497493 8737898496 5692 33554432000 1073741824 1073778376 140735425537872 18446744073709551615 218892381081 0 4 0 16800975 18446604461375638464 0 0 -1 1 0 0 0
[pid=6124/tid=6135] ppid=6122 vsize=8533104 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6135/stat : 6135 (java) S 6122 6124 6124 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 325497494 8737898496 5692 33554432000 1073741824 1073778376 140735425537872 18446744073709551615 218892381696 0 0 0 16800975 18446604461375638464 0 0 -1 5 0 0 0
[pid=6124/tid=6136] ppid=6122 vsize=8533104 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6136/stat : 6136 (java) S 6122 6124 6124 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 18 0 325497494 8737898496 5692 33554432000 1073741824 1073778376 140735425537872 18446744073709551615 218892381081 0 4 0 16800975 18446604461375638464 0 0 -1 5 0 0 0
[pid=6124/tid=6137] ppid=6122 vsize=8533104 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6137/stat : 6137 (java) S 6122 6124 6124 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 325497494 8737898496 5692 33554432000 1073741824 1073778376 140735425537872 18446744073709551615 218892381081 0 4 0 16800975 18446604461375638464 0 0 -1 5 0 0 0
[pid=6124/tid=6138] ppid=6122 vsize=8533104 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6138/stat : 6138 (java) S 6122 6124 6124 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 325497496 8737898496 5692 33554432000 1073741824 1073778376 140735425537872 18446744073709551615 218892388785 0 4 0 16800975 18446604461375638464 0 0 -1 5 0 0 0
[pid=6124/tid=6139] ppid=6122 vsize=8533104 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6139/stat : 6139 (java) R 6122 6124 6124 0 -1 4202560 211 0 0 0 0 0 0 0 20 0 18 0 325497496 8737898496 5692 33554432000 1073741824 1073778376 140735425537872 18446744073709551615 218892381081 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6124/tid=6140] ppid=6122 vsize=8533104 CPUtime=0.03 cores=1,3,5,7
/proc/6124/task/6140/stat : 6140 (java) R 6122 6124 6124 0 -1 4202560 690 0 0 0 3 0 0 0 20 0 18 0 325497496 8737898496 5692 33554432000 1073741824 1073778376 140735425537872 18446744073709551615 47699866225861 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6124/tid=6142] ppid=6122 vsize=8533104 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6142/stat : 6142 (java) S 6122 6124 6124 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 325497496 8737898496 5693 33554432000 1073741824 1073778376 140735425537872 18446744073709551615 218892381081 0 4 0 16800975 18446604461375638464 0 0 -1 5 0 0 0
[pid=6124/tid=6143] ppid=6122 vsize=8533104 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6143/stat : 6143 (java) S 6122 6124 6124 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 325497496 8737898496 5693 33554432000 1073741824 1073778376 140735425537872 18446744073709551615 218892381696 0 4 0 16800975 18446604461375638464 0 0 -1 7 0 0 0
[pid=6053/tid=6062] ppid=6051 vsize=629804 CPUtime=54.66 cores=1,3,5,7
/proc/6053/task/6062/stat : 6062 (python) S 6051 6053 5042 0 -1 4202560 27 2180479 0 0 0 0 4178 1288 20 0 10 0 325448101 644919296 70829 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 7 0 0 0
[pid=6053/tid=6067] ppid=6051 vsize=629804 CPUtime=54.66 cores=1,3,5,7
/proc/6053/task/6067/stat : 6067 (python) S 6051 6053 5042 0 -1 4202560 30 2180479 0 0 0 0 4178 1288 20 0 10 0 325453155 644919296 70829 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 3 0 0 0
[pid=6053/tid=6072] ppid=6051 vsize=629804 CPUtime=54.66 cores=1,3,5,7
/proc/6053/task/6072/stat : 6072 (python) S 6051 6053 5042 0 -1 4202560 30 2180479 0 0 0 0 4178 1288 20 0 10 0 325456448 644919296 70829 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 3 0 0 0
[pid=6053/tid=6077] ppid=6051 vsize=629804 CPUtime=54.66 cores=1,3,5,7
/proc/6053/task/6077/stat : 6077 (python) S 6051 6053 5042 0 -1 4202560 32 2180479 0 0 0 0 4178 1288 20 0 10 0 325461463 644919296 70829 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 1 0 0 0
[pid=6053/tid=6085] ppid=6051 vsize=629804 CPUtime=54.66 cores=1,3,5,7
/proc/6053/task/6085/stat : 6085 (python) S 6051 6053 5042 0 -1 4202560 25 2180479 0 0 0 0 4178 1288 20 0 10 0 325466539 644919296 70829 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 7 0 0 0
[pid=6053/tid=6092] ppid=6051 vsize=629804 CPUtime=54.66 cores=1,3,5,7
/proc/6053/task/6092/stat : 6092 (python) S 6051 6053 5042 0 -1 4202560 31 2180479 0 0 0 0 4178 1288 25 0 10 0 325478766 644919296 70829 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 3 0 0 0
[pid=6053/tid=6100] ppid=6051 vsize=629804 CPUtime=54.66 cores=1,3,5,7
/proc/6053/task/6100/stat : 6100 (python) S 6051 6053 5042 0 -1 4202560 25 2180479 0 0 0 0 4178 1288 20 0 10 0 325483269 644919296 70829 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 7 0 0 0
[pid=6053/tid=6113] ppid=6051 vsize=629804 CPUtime=54.66 cores=1,3,5,7
/proc/6053/task/6113/stat : 6113 (python) S 6051 6053 5042 0 -1 4202560 28 2180479 0 0 0 0 4178 1288 18 0 10 0 325487947 644919296 70829 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 7 0 0 0
[pid=6053/tid=6123] ppid=6051 vsize=629804 CPUtime=54.66 cores=1,3,5,7
/proc/6053/task/6123/stat : 6123 (python) S 6051 6053 5042 0 -1 4202560 27 2180479 0 0 0 0 4178 1288 20 0 10 0 325497490 644919296 70829 33554432000 4194304 5683644 140733219122992 18446744073709551615 218892388785 0 0 16781312 33554434 18446604454518560768 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 495.2
Current children cumulated vsize (KiB) 20027236
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 6053 and gives
# childrusage.ru_utime.tv_sec=135
# childrusage.ru_utime.tv_usec=984327
# childrusage.ru_stime.tv_sec=13
# childrusage.ru_stime.tv_usec=472951
# CPU time returned by wait4() is 149.457
# while last known CPU time is 495.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 517.727
CPU time (s): 495.2
CPU user time (s): 468.51
CPU system time (s): 26.69
CPU usage (%): 95.6489
Max. virtual memory (cumulated for all children) (KiB): 20027236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 135.984
system time used= 13.473
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2336968
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= 3078
involuntary context switches= 270
runsolver used 2.48762 second user time and 5.87011 second system time
The end