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-3481454-1307577840/watcher-3481454-1307577840 -o /tmp/evaluation-result-3481454-1307577840/solver-3481454-1307577840 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481454-1307577840.opb -seed 395511426 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.50 2.16 1.66 2/603 13659
/proc/meminfo: memFree=21960272/32950904 swapFree=56615552/67111528
[pid=13659] ppid=13657 vsize=15904 CPUtime=0 cores=1,3,5,7
/proc/13659/stat : 13659 (python) R 13657 13659 11000 0 -1 4202496 964 0 0 0 0 0 0 0 20 0 1 0 869383879 16285696 839 33554432000 4194304 5683644 140736840588768 18446744073709551615 237278573539 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/13659/statm: 3976 839 357 364 0 463 0
[startup+0.0189331 s]
/proc/loadavg: 2.50 2.16 1.66 2/603 13659
/proc/meminfo: memFree=21960272/32950904 swapFree=56615552/67111528
[pid=13659] ppid=13657 vsize=16392 CPUtime=0.01 cores=1,3,5,7
/proc/13659/stat : 13659 (python) S 13657 13659 11000 0 -1 4202496 1078 0 0 0 1 0 0 0 20 0 1 0 869383879 16785408 949 33554432000 4194304 5683644 140736840588768 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/13659/statm: 4098 949 385 364 0 585 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16392
[startup+0.100847 s]
/proc/loadavg: 2.50 2.16 1.66 2/603 13659
/proc/meminfo: memFree=21960272/32950904 swapFree=56615552/67111528
[pid=13659] ppid=13657 vsize=85356 CPUtime=0.05 cores=1,3,5,7
/proc/13659/stat : 13659 (python) D 13657 13659 11000 0 -1 4202496 2584 0 0 0 4 1 0 0 20 0 1 0 869383879 87404544 2309 33554432000 4194304 5683644 140736840588768 18446744073709551615 237278885431 0 0 16781312 2 18446744071562154983 0 0 17 7 0 0 0
/proc/13659/statm: 21339 2309 709 364 0 1556 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85356
[startup+0.300814 s]
/proc/loadavg: 2.50 2.16 1.66 2/603 13659
/proc/meminfo: memFree=21960272/32950904 swapFree=56615552/67111528
[pid=13659] ppid=13657 vsize=123880 CPUtime=0.18 cores=1,3,5,7
/proc/13659/stat : 13659 (python) R 13657 13659 11000 0 -1 4202496 5392 929 1 0 13 5 0 0 20 0 1 0 869383879 126853120 3763 33554432000 4194304 5683644 140736840588768 18446744073709551615 237278875653 0 0 16781312 2 0 0 0 17 7 0 0 7
/proc/13659/statm: 30970 3763 987 364 0 2802 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123880
[startup+0.700736 s]
/proc/loadavg: 2.50 2.16 1.66 2/603 13659
/proc/meminfo: memFree=21960272/32950904 swapFree=56615552/67111528
[pid=13659] ppid=13657 vsize=283840 CPUtime=0.43 cores=1,3,5,7
/proc/13659/stat : 13659 (python) R 13657 13659 11000 0 -1 4202496 9560 929 1 0 32 11 0 0 18 0 1 0 869383879 290652160 7291 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290706320 0 0 16781312 2 0 0 0 17 7 0 0 7
/proc/13659/statm: 70960 7291 1777 364 0 5853 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 283840
[startup+1.5006 s]
/proc/loadavg: 2.50 2.16 1.66 3/604 13665
/proc/meminfo: memFree=21925824/32950904 swapFree=56615552/67111528
[pid=13659] ppid=13657 vsize=300292 CPUtime=1.6 cores=1,3,5,7
/proc/13659/stat : 13659 (python) R 13657 13659 11000 0 -1 4202496 19532 1580 1 0 95 27 31 7 18 0 1 0 869383879 307499008 11421 33554432000 4194304 5683644 140736840588768 18446744073709551615 47561833487902 0 0 16781312 33554434 0 0 0 17 5 0 0 7
/proc/13659/statm: 75073 11421 1816 364 0 9966 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 300292
[startup+3.10031 s]
/proc/loadavg: 2.54 2.17 1.66 3/604 13665
/proc/meminfo: memFree=21917392/32950904 swapFree=56615552/67111528
[pid=13659] ppid=13657 vsize=312036 CPUtime=2.48 cores=1,3,5,7
/proc/13659/stat : 13659 (python) S 13657 13659 11000 0 -1 4202496 20554 1580 1 0 183 27 31 7 21 0 2 0 869383879 319524864 11841 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 7
/proc/13659/statm: 78009 11841 1863 364 0 12896 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 312036
heavy processes:
[startup+6.30074 s]
/proc/loadavg: 2.54 2.17 1.66 3/607 13668
/proc/meminfo: memFree=21591200/32950904 swapFree=56615552/67111528
[pid=13659] ppid=13657 vsize=312036 CPUtime=2.48 cores=1,3,5,7
/proc/13659/stat : 13659 (python) S 13657 13659 11000 0 -1 4202496 20554 1580 1 0 183 27 31 7 21 0 2 0 869383879 319524864 11841 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 7
/proc/13659/statm: 78009 11841 1863 364 0 12896 0
[pid=13666] ppid=13659 vsize=301792 CPUtime=0.01 cores=1,3,5,7
/proc/13666/stat : 13666 (python) S 13659 13659 11000 0 -1 4202560 858 0 0 0 1 0 0 0 15 0 1 0 869384117 309035008 10316 33554432000 4194304 5683644 140736840588768 18446744073709551615 237278899727 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/13666/statm: 75448 10316 342 364 0 10335 0
[pid=13668] ppid=13666 vsize=465692 CPUtime=3.91 cores=1,3,5,7
/proc/13668/stat : 13668 (scip-2.0.1.linu) R 13666 13668 13668 0 -1 4202496 115008 0 0 0 363 28 0 0 25 0 1 0 869384117 476868608 111595 33554432000 4194304 13684479 140733796980528 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/13668/statm: 116423 111595 710 2317 0 114101 0
[pid=13659/tid=13667] ppid=13657 vsize=312036 CPUtime=0.38 cores=1,3,5,7
/proc/13659/task/13667/stat : 13667 (python) S 13657 13659 11000 0 -1 4202560 24 1580 0 0 0 0 31 7 21 0 2 0 869384117 319524864 11841 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554434 18446604456835897152 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 1079520
[startup+12.7006 s]
/proc/loadavg: 2.45 2.17 1.67 3/607 13669
/proc/meminfo: memFree=21395300/32950904 swapFree=56615552/67111528
[pid=13659] ppid=13657 vsize=312036 CPUtime=2.48 cores=1,3,5,7
/proc/13659/stat : 13659 (python) S 13657 13659 11000 0 -1 4202496 20554 1580 1 0 183 27 31 7 21 0 2 0 869383879 319524864 11841 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 7
/proc/13659/statm: 78009 11841 1863 364 0 12896 0
[pid=13666] ppid=13659 vsize=301792 CPUtime=0.03 cores=1,3,5,7
/proc/13666/stat : 13666 (python) S 13659 13659 11000 0 -1 4202560 864 0 0 0 1 2 0 0 15 0 1 0 869384117 309035008 10316 33554432000 4194304 5683644 140736840588768 18446744073709551615 237278899727 0 0 16781312 33554946 5623753486446373697 0 0 17 7 0 0 0
/proc/13666/statm: 75448 10316 342 364 0 10335 0
[pid=13668] ppid=13666 vsize=525208 CPUtime=10.31 cores=1,3,5,7
/proc/13668/stat : 13668 (scip-2.0.1.linu) R 13666 13668 13668 0 -1 4202496 132131 0 0 0 978 53 0 0 25 0 1 0 869384117 537812992 127393 33554432000 4194304 13684479 140733796980528 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/13668/statm: 131302 127393 784 2317 0 128980 0
[pid=13659/tid=13667] ppid=13657 vsize=312036 CPUtime=0.38 cores=1,3,5,7
/proc/13659/task/13667/stat : 13667 (python) S 13657 13659 11000 0 -1 4202560 24 1580 0 0 0 0 31 7 21 0 2 0 869384117 319524864 11841 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554434 18446604456835897152 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.82
Current children cumulated vsize (KiB) 1139036
[startup+25.5003 s]
/proc/loadavg: 2.38 2.16 1.67 3/607 13669
/proc/meminfo: memFree=21371828/32950904 swapFree=56615552/67111528
[pid=13659] ppid=13657 vsize=312036 CPUtime=2.48 cores=1,3,5,7
/proc/13659/stat : 13659 (python) S 13657 13659 11000 0 -1 4202496 20554 1580 1 0 183 27 31 7 21 0 2 0 869383879 319524864 11841 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 7
/proc/13659/statm: 78009 11841 1863 364 0 12896 0
[pid=13666] ppid=13659 vsize=301792 CPUtime=0.08 cores=1,3,5,7
/proc/13666/stat : 13666 (python) S 13659 13659 11000 0 -1 4202560 871 0 0 0 4 4 0 0 15 0 1 0 869384117 309035008 10316 33554432000 4194304 5683644 140736840588768 18446744073709551615 237278899727 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/13666/statm: 75448 10316 342 364 0 10335 0
[pid=13668] ppid=13666 vsize=549496 CPUtime=23.11 cores=1,3,5,7
/proc/13668/stat : 13668 (scip-2.0.1.linu) R 13666 13668 13668 0 -1 4202496 138673 0 0 0 2102 209 0 0 25 0 1 0 869384117 562683904 133556 33554432000 4194304 13684479 140733796980528 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/13668/statm: 137374 133556 829 2317 0 135052 0
[pid=13659/tid=13667] ppid=13657 vsize=312036 CPUtime=0.38 cores=1,3,5,7
/proc/13659/task/13667/stat : 13667 (python) S 13657 13659 11000 0 -1 4202560 24 1580 0 0 0 0 31 7 21 0 2 0 869384117 319524864 11841 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554434 18446604456835897152 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.67
Current children cumulated vsize (KiB) 1163324
[startup+51.1008 s]
/proc/loadavg: 2.31 2.16 1.68 3/611 13674
/proc/meminfo: memFree=21187004/32950904 swapFree=56615552/67111528
[pid=13659] ppid=13657 vsize=312036 CPUtime=2.48 cores=1,3,5,7
/proc/13659/stat : 13659 (python) S 13657 13659 11000 0 -1 4202496 20554 1580 1 0 183 27 31 7 21 0 2 0 869383879 319524864 11841 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 7
/proc/13659/statm: 78009 11841 1863 364 0 12896 0
[pid=13666] ppid=13659 vsize=301792 CPUtime=0.17 cores=1,3,5,7
/proc/13666/stat : 13666 (python) S 13659 13659 11000 0 -1 4202560 882 0 0 0 8 9 0 0 15 0 1 0 869384117 309035008 10316 33554432000 4194304 5683644 140736840588768 18446744073709551615 237278899727 0 0 16781312 33554946 5623753486446373697 0 0 17 7 0 0 0
/proc/13666/statm: 75448 10316 342 364 0 10335 0
[pid=13668] ppid=13666 vsize=552488 CPUtime=48.69 cores=1,3,5,7
/proc/13668/stat : 13668 (scip-2.0.1.linu) R 13666 13668 13668 0 -1 4202496 139397 0 0 0 4643 226 0 0 25 0 1 0 869384117 565747712 134247 33554432000 4194304 13684479 140733796980528 18446744073709551615 11824617 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/13668/statm: 138122 134247 796 2317 0 135800 0
[pid=13659/tid=13667] ppid=13657 vsize=312036 CPUtime=0.38 cores=1,3,5,7
/proc/13659/task/13667/stat : 13667 (python) S 13657 13659 11000 0 -1 4202560 24 1580 0 0 0 0 31 7 21 0 2 0 869384117 319524864 11841 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554434 18446604456835897152 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.34
Current children cumulated vsize (KiB) 1166316
[startup+102.317 s]
/proc/loadavg: 2.12 2.13 1.70 3/619 13683
/proc/meminfo: memFree=21067648/32950904 swapFree=56615552/67111528
[pid=13659] ppid=13657 vsize=322292 CPUtime=2.5 cores=1,3,5,7
/proc/13659/stat : 13659 (python) S 13657 13659 11000 0 -1 4202496 21405 1580 1 0 185 27 31 7 19 0 3 0 869383879 330027008 11856 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 7
/proc/13659/statm: 80573 11856 1874 364 0 15457 0
[pid=13666] ppid=13659 vsize=312036 CPUtime=0.19 cores=1,3,5,7
/proc/13666/stat : 13666 (python) S 13659 13659 11000 0 -1 4202560 1084 0 0 0 9 10 0 0 16 0 2 0 869384117 319524864 10384 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13666/statm: 78009 10384 405 364 0 12896 0
[pid=13668] ppid=13666 vsize=562244 CPUtime=49.27 cores=1,3,5,7
/proc/13668/stat : 13668 (scip-2.0.1.linu) T 13666 13668 13668 0 -1 4202496 139696 0 0 0 4700 227 0 0 25 0 1 0 869384117 575737856 134546 33554432000 4194304 13684479 140733796980528 18446744073709551615 4421925 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/13668/statm: 140561 134546 796 2317 0 138239 0
[pid=13666/tid=13675] ppid=13659 vsize=312036 CPUtime=0 cores=1,3,5,7
/proc/13666/task/13675/stat : 13675 (python) S 13659 13659 11000 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869389047 319524864 10384 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554946 18446604468871697728 0 0 -1 7 0 0 0
[pid=13676] ppid=13659 vsize=312048 CPUtime=0.18 cores=1,3,5,7
/proc/13676/stat : 13676 (python) R 13659 13659 11000 0 -1 4202560 936 0 0 0 8 10 0 0 16 0 1 0 869389050 319537152 10321 33554432000 4194304 5683644 140736840588768 18446744073709551615 237278519862 0 0 16781312 33554946 0 0 0 17 7 0 0 0
/proc/13676/statm: 78012 10321 343 364 0 12896 0
[pid=13678] ppid=13676 vsize=74248 CPUtime=50.6 cores=1,3,5,7
/proc/13678/stat : 13678 (wbo1.4a) R 13676 13678 13678 0 -1 4202496 20829 0 0 0 5050 10 0 0 25 0 1 0 869389050 76029952 17947 33554432000 134512640 135751879 4289213568 18446744073709551615 134620490 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/13678/statm: 18562 17947 146 303 0 18257 0
[pid=13659/tid=13667] ppid=13657 vsize=322292 CPUtime=0.38 cores=1,3,5,7
/proc/13659/task/13667/stat : 13667 (python) S 13657 13659 11000 0 -1 4202560 24 1580 0 0 0 0 31 7 21 0 3 0 869384117 330027008 11856 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554434 18446604456835897152 0 0 -1 5 0 0 0
[pid=13659/tid=13677] ppid=13657 vsize=322292 CPUtime=0.38 cores=1,3,5,7
/proc/13659/task/13677/stat : 13677 (python) S 13657 13659 11000 0 -1 4202560 33 1580 0 0 0 0 31 7 20 0 3 0 869389050 330027008 11856 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554434 18446604456835897152 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.74
Current children cumulated vsize (KiB) 1582868
[startup+162.301 s]
/proc/loadavg: 2.05 2.11 1.71 3/667 13733
/proc/meminfo: memFree=15978648/32950904 swapFree=56615552/67111528
[pid=13659] ppid=13657 vsize=342804 CPUtime=2.56 cores=1,3,5,7
/proc/13659/stat : 13659 (python) S 13657 13659 11000 0 -1 4202496 23305 1580 1 0 190 28 31 7 20 0 5 0 869383879 351031296 11868 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 7
/proc/13659/statm: 85701 11868 1878 364 0 20579 0
[pid=13666] ppid=13659 vsize=312036 CPUtime=0.19 cores=1,3,5,7
/proc/13666/stat : 13666 (python) S 13659 13659 11000 0 -1 4202560 1084 0 0 0 9 10 0 0 16 0 2 0 869384117 319524864 10384 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13666/statm: 78009 10384 405 364 0 12896 0
[pid=13668] ppid=13666 vsize=562244 CPUtime=49.27 cores=1,3,5,7
/proc/13668/stat : 13668 (scip-2.0.1.linu) T 13666 13668 13668 0 -1 4202496 139696 0 0 0 4700 227 0 0 25 0 1 0 869384117 575737856 134546 33554432000 4194304 13684479 140733796980528 18446744073709551615 4421925 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/13668/statm: 140561 134546 796 2317 0 138239 0
[pid=13666/tid=13675] ppid=13659 vsize=312036 CPUtime=0 cores=1,3,5,7
/proc/13666/task/13675/stat : 13675 (python) S 13659 13659 11000 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869389047 319524864 10384 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554946 18446604468871697728 0 0 -1 7 0 0 0
[pid=13676] ppid=13659 vsize=312048 CPUtime=0.2 cores=1,3,5,7
/proc/13676/stat : 13676 (python) S 13659 13659 11000 0 -1 4202560 1190 0 0 0 9 11 0 0 16 0 2 0 869389050 319537152 10375 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13676/statm: 78012 10375 396 364 0 12896 0
[pid=13678] ppid=13676 vsize=74248 CPUtime=50.61 cores=1,3,5,7
/proc/13678/stat : 13678 (wbo1.4a) T 13676 13678 13678 0 -1 4202496 20830 0 0 0 5051 10 0 0 25 0 1 0 869389050 76029952 17948 33554432000 134512640 135751879 4289213568 18446744073709551615 134611292 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/13678/statm: 18562 17948 146 303 0 18257 0
[pid=13676/tid=13684] ppid=13659 vsize=312048 CPUtime=0 cores=1,3,5,7
/proc/13676/task/13684/stat : 13684 (python) S 13659 13659 11000 0 -1 4202560 120 0 0 0 0 0 0 0 17 0 2 0 869394112 319537152 10375 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554946 18446604459431026752 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=13659/tid=13686] ppid=13657 vsize=353060 CPUtime=0.38 cores=1,3,5,7
/proc/13659/task/13686/stat : 13686 (python) S 13657 13659 11000 0 -1 4202560 27 1580 0 0 0 0 31 7 20 0 6 0 869394115 361533440 11874 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554434 18446604456835897152 0 0 -1 7 0 0 0
[pid=13659/tid=13732] ppid=13657 vsize=353060 CPUtime=0.38 cores=1,3,5,7
/proc/13659/task/13732/stat : 13732 (python) S 13657 13659 11000 0 -1 4202560 28 1580 0 0 0 0 31 7 20 0 6 0 869398836 361533440 11874 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554434 18446604456835897152 0 0 -1 3 0 0 0
[pid=13659/tid=13744] ppid=13657 vsize=353060 CPUtime=0.38 cores=1,3,5,7
/proc/13659/task/13744/stat : 13744 (python) S 13657 13659 11000 0 -1 4202560 31 1580 0 0 0 0 31 7 20 0 6 0 869412741 361533440 11874 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554434 18446604456835897152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 587.06
Current children cumulated vsize (KiB) 11772392
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+614.801 s]
/proc/loadavg: 2.11 2.09 1.84 4/717 13865
/proc/meminfo: memFree=14149016/32950904 swapFree=56615552/67111528
[pid=13659] ppid=13657 vsize=363316 CPUtime=2.64 cores=1,3,5,7
/proc/13659/stat : 13659 (python) S 13657 13659 11000 0 -1 4202496 25282 1580 1 0 198 28 31 7 19 0 7 0 869383879 372035584 11880 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 7
/proc/13659/statm: 90829 11880 1882 364 0 25701 0
[pid=13666] ppid=13659 vsize=312036 CPUtime=1.25 cores=1,3,5,7
/proc/13666/stat : 13666 (python) S 13659 13659 11000 0 -1 4202560 1170 0 0 0 60 65 0 0 15 0 2 0 869384117 319524864 10385 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13666/statm: 78009 10385 406 364 0 12896 0
[pid=13668] ppid=13666 vsize=576260 CPUtime=324.21 cores=1,3,5,7
/proc/13668/stat : 13668 (scip-2.0.1.linu) T 13666 13668 13668 0 -1 4202496 182105 0 0 0 32058 363 0 0 25 0 1 0 869384117 590090240 140179 33554432000 4194304 13684479 140733796980528 18446744073709551615 4936864 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/13668/statm: 144065 140179 831 2317 0 141743 0
[pid=13666/tid=13675] ppid=13659 vsize=312036 CPUtime=0 cores=1,3,5,7
/proc/13666/task/13675/stat : 13675 (python) S 13659 13659 11000 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869389047 319524864 10385 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554946 18446604468871697728 0 0 -1 3 0 0 0
[pid=13676] ppid=13659 vsize=312048 CPUtime=0.2 cores=1,3,5,7
/proc/13676/stat : 13676 (python) S 13659 13659 11000 0 -1 4202560 1190 0 0 0 9 11 0 0 16 0 2 0 869389050 319537152 10375 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13676/statm: 78012 10375 396 364 0 12896 0
[pid=13678] ppid=13676 vsize=74248 CPUtime=50.61 cores=1,3,5,7
/proc/13678/stat : 13678 (wbo1.4a) T 13676 13678 13678 0 -1 4202496 20830 0 0 0 5051 10 0 0 25 0 1 0 869389050 76029952 17948 33554432000 134512640 135751879 4289213568 18446744073709551615 134611292 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/13678/statm: 18562 17948 146 303 0 18257 0
[pid=13676/tid=13684] ppid=13659 vsize=312048 CPUtime=0 cores=1,3,5,7
/proc/13676/task/13684/stat : 13684 (python) S 13659 13659 11000 0 -1 4202560 120 0 0 0 0 0 0 0 17 0 2 0 869394112 319537152 10375 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554946 18446604459431026752 0 0 -1 7 0 0 0
[pid=13685] ppid=13659 vsize=322304 CPUtime=0.17 cores=1,3,5,7
/proc/13685/stat : 13685 (python) S 13659 13659 11000 0 -1 4202560 1185 0 0 0 7 10 0 0 16 0 2 0 869394115 330039296 10379 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13685/statm: 80576 10379 396 364 0 15457 0
[pid=13687] ppid=13685 vsize=8543768 CPUtime=49.68 cores=1,3,5,7
/proc/13687/stat : 13687 (java) T 13685 13687 13687 0 -1 4202496 715343 0 1 0 4893 75 0 0 18 0 19 0 869394115 8748818432 711457 33554432000 1073741824 1073778376 140735443405584 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 2135942 711457 2250 9 0 2126683 0
[pid=13687/tid=13688] ppid=13685 vsize=8543768 CPUtime=46.74 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (java) T 13685 13687 13687 0 -1 4202560 621810 0 1 0 4609 65 0 0 25 0 19 0 869394116 8748818432 711457 33554432000 1073741824 1073778376 140735443405584 18446744073709551615 46912505968428 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 4
[pid=13687/tid=13689] ppid=13685 vsize=8543768 CPUtime=0.16 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (java) T 13685 13687 13687 0 -1 4202560 11541 0 0 0 15 1 0 0 15 0 19 0 869394116 8748818432 711457 33554432000 1073741824 1073778376 140735443405584 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=8543768 CPUtime=0.18 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (java) T 13685 13687 13687 0 -1 4202560 12484 0 0 0 17 1 0 0 15 0 19 0 869394116 8748818432 711457 33554432000 1073741824 1073778376 140735443405584 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=8543768 CPUtime=0.15 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (java) T 13685 13687 13687 0 -1 4202560 12228 0 0 0 14 1 0 0 15 0 19 0 869394116 8748818432 711457 33554432000 1073741824 1073778376 140735443405584 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=13687/tid=13692] ppid=13685 vsize=8543768 CPUtime=0.07 cores=1,3,5,7
/proc/13687/task/13692/stat : 13692 (java) T 13685 13687 13687 0 -1 4202560 6805 0 0 0 7 0 0 0 15 0 19 0 869394116 8748818432 711457 33554432000 1073741824 1073778376 140735443405584 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=13687/tid=13693] ppid=13685 vsize=8543768 CPUtime=0.1 cores=1,3,5,7
/proc/13687/task/13693/stat : 13693 (java) T 13685 13687 13687 0 -1 4202560 8539 0 0 0 9 1 0 0 15 0 19 0 869394116 8748818432 711457 33554432000 1073741824 1073778376 140735443405584 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=13687/tid=13694] ppid=13685 vsize=8543768 CPUtime=0.09 cores=1,3,5,7
/proc/13687/task/13694/stat : 13694 (java) T 13685 13687 13687 0 -1 4202560 7067 0 0 0 9 0 0 0 15 0 19 0 869394116 8748818432 711457 33554432000 1073741824 1073778376 140735443405584 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=13687/tid=13695] ppid=13685 vsize=8543768 CPUtime=0.16 cores=1,3,5,7
/proc/13687/task/13695/stat : 13695 (java) T 13685 13687 13687 0 -1 4202560 13014 0 0 0 15 1 0 0 15 0 19 0 869394116 8748818432 711457 33554432000 1073741824 1073778376 140735443405584 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=13687/tid=13696] ppid=13685 vsize=8543768 CPUtime=0.1 cores=1,3,5,7
/proc/13687/task/13696/stat : 13696 (java) T 13685 13687 13687 0 -1 4202560 9383 0 0 0 10 0 0 0 15 0 19 0 869394116 8748818432 711457 33554432000 1073741824 1073778376 140735443405584 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=13687/tid=13697] ppid=13685 vsize=8543768 CPUtime=0 cores=1,3,5,7
/proc/13687/task/13697/stat : 13697 (java) T 13685 13687 13687 0 -1 4202560 1270 0 0 0 0 0 0 0 15 0 19 0 869394117 8748818432 711457 33554432000 1073741824 1073778376 140735443405584 18446744073709551615 237290696192 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=13687/tid=13698] ppid=13685 vsize=8543768 CPUtime=0 cores=1,3,5,7
/proc/13687/task/13698/stat : 13698 (java) T 13685 13687 13687 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869394118 8748818432 711457 33554432000 1073741824 1073778376 140735443405584 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=13687/tid=13699] ppid=13685 vsize=8543768 CPUtime=0 cores=1,3,5,7
/proc/13687/task/13699/stat : 13699 (java) T 13685 13687 13687 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869394118 8748818432 711457 33554432000 1073741824 1073778376 140735443405584 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=13687/tid=13700] ppid=13685 vsize=8543768 CPUtime=0 cores=1,3,5,7
/proc/13687/task/13700/stat : 13700 (java) T 13685 13687 13687 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869394120 8748818432 711457 33554432000 1073741824 1073778376 140735443405584 18446744073709551615 237290703281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=13687/tid=13701] ppid=13685 vsize=8543768 CPUtime=0.86 cores=1,3,5,7
/proc/13687/task/13701/stat : 13701 (java) T 13685 13687 13687 0 -1 4202560 5961 0 0 0 86 0 0 0 15 0 19 0 869394120 8748818432 711457 33554432000 1073741824 1073778376 140735443405584 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=13687/tid=13702] ppid=13685 vsize=8543768 CPUtime=0.94 cores=1,3,5,7
/proc/13687/task/13702/stat : 13702 (java) T 13685 13687 13687 0 -1 4202560 3841 0 0 0 94 0 0 0 15 0 19 0 869394120 8748818432 711457 33554432000 1073741824 1073778376 140735443405584 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=13687/tid=13703] ppid=13685 vsize=8543768 CPUtime=0 cores=1,3,5,7
/proc/13687/task/13703/stat : 13703 (java) T 13685 13687 13687 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869394120 8748818432 711457 33554432000 1073741824 1073778376 140735443405584 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=13687/tid=13704] ppid=13685 vsize=8543768 CPUtime=0 cores=1,3,5,7
/proc/13687/task/13704/stat : 13704 (java) T 13685 13687 13687 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869394120 8748818432 711457 33554432000 1073741824 1073778376 140735443405584 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=13687/tid=13705] ppid=13685 vsize=8543768 CPUtime=0 cores=1,3,5,7
/proc/13687/task/13705/stat : 13705 (java) T 13685 13687 13687 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869394194 8748818432 711457 33554432000 1073741824 1073778376 140735443405584 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=13685/tid=13730] ppid=13659 vsize=322304 CPUtime=0 cores=1,3,5,7
/proc/13685/task/13730/stat : 13730 (python) S 13659 13659 11000 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869398833 330039296 10379 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554946 18446604466289341440 0 0 -1 7 0 0 0
[pid=13731] ppid=13659 vsize=332560 CPUtime=0.33 cores=1,3,5,7
/proc/13731/stat : 13731 (python) S 13659 13659 11000 0 -1 4202560 1206 0 0 0 15 18 0 0 16 0 2 0 869398836 340541440 10377 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13731/statm: 83140 10377 390 364 0 18018 0
[pid=13733] ppid=13731 vsize=47624 CPUtime=91.28 cores=1,3,5,7
/proc/13733/stat : 13733 (clasp-1.3.7-x86) T 13731 13733 13733 0 -1 4202496 12624 0 0 0 9127 1 0 0 25 0 1 0 869398836 48766976 11609 33554432000 134512640 136139019 4287835440 18446744073709551615 134608192 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/13733/statm: 11906 11609 187 398 0 11506 0
[pid=13731/tid=13740] ppid=13659 vsize=332560 CPUtime=0 cores=1,3,5,7
/proc/13731/task/13740/stat : 13740 (python) S 13659 13659 11000 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869407964 340541440 10377 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554946 18446604467876513088 0 0 -1 7 0 0 0
[pid=13743] ppid=13659 vsize=342816 CPUtime=0.39 cores=1,3,5,7
/proc/13743/stat : 13743 (python) S 13659 13659 11000 0 -1 4202560 1205 0 0 0 19 20 0 0 16 0 2 0 869412741 351043584 10381 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13743/statm: 85704 10381 390 364 0 20579 0
[pid=13745] ppid=13743 vsize=559096 CPUtime=98.04 cores=1,3,5,7
/proc/13745/stat : 13745 (scip-2.0.1.linu) T 13743 13745 13745 0 -1 4202496 200712 0 0 0 9540 264 0 0 25 0 1 0 869412741 572514304 135495 33554432000 4194304 15243407 140734728722272 18446744073709551615 4520304 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/13745/statm: 139774 135495 957 2698 0 137069 0
[pid=13743/tid=13807] ppid=13659 vsize=342816 CPUtime=0 cores=1,3,5,7
/proc/13743/task/13807/stat : 13807 (python) S 13659 13659 11000 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869422545 351043584 10381 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554946 18446604458775728256 0 0 -1 7 0 0 0
[pid=13845] ppid=13659 vsize=353072 CPUtime=0 cores=1,3,5,7
/proc/13845/stat : 13845 (python) S 13659 13659 11000 0 -1 4202560 827 0 0 0 0 0 0 0 15 0 1 0 869445273 361545728 10313 33554432000 4194304 5683644 140736840588768 18446744073709551615 237278899782 0 0 16781312 33554946 2685672414880202752 0 0 17 3 0 0 0
/proc/13845/statm: 88268 10313 319 364 0 23140 0
[pid=13847] ppid=13845 vsize=8542012 CPUtime=1.96 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13845 13847 13847 0 -1 4202496 38524 0 1 0 192 4 0 0 20 0 19 0 869445273 8747020288 35168 33554432000 1073741824 1073778376 140737224962192 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/13847/statm: 2135503 35168 2229 9 0 2126244 0
[pid=13847/tid=13848] ppid=13845 vsize=8542012 CPUtime=0.87 cores=1,3,5,7
/proc/13847/task/13848/stat : 13848 (java) R 13845 13847 13847 0 -1 4202560 27759 0 1 0 84 3 0 0 25 0 19 0 869445274 8747020288 35365 33554432000 1073741824 1073778376 140737224962192 18446744073709551615 46912505548469 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13847/tid=13849] ppid=13845 vsize=8542012 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13849/stat : 13849 (java) S 13845 13847 13847 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869445275 8747020288 35366 33554432000 1073741824 1073778376 140737224962192 18446744073709551615 237290695577 0 4 0 16800975 18446604458849872896 0 0 -1 7 0 0 0
[pid=13847/tid=13850] ppid=13845 vsize=8542012 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13850/stat : 13850 (java) S 13845 13847 13847 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869445275 8747020288 35366 33554432000 1073741824 1073778376 140737224962192 18446744073709551615 237290695577 0 4 0 16800975 18446604458849872896 0 0 -1 7 0 0 0
[pid=13847/tid=13851] ppid=13845 vsize=8542012 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13851/stat : 13851 (java) S 13845 13847 13847 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869445275 8747020288 35366 33554432000 1073741824 1073778376 140737224962192 18446744073709551615 237290695577 0 4 0 16800975 18446604458849872896 0 0 -1 7 0 0 0
[pid=13847/tid=13852] ppid=13845 vsize=8542012 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13852/stat : 13852 (java) S 13845 13847 13847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869445275 8747020288 35366 33554432000 1073741824 1073778376 140737224962192 18446744073709551615 237290695577 0 4 0 16800975 18446604458849872896 0 0 -1 7 0 0 0
[pid=13847/tid=13853] ppid=13845 vsize=8542012 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13853/stat : 13853 (java) S 13845 13847 13847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869445275 8747020288 35367 33554432000 1073741824 1073778376 140737224962192 18446744073709551615 237290695577 0 4 0 16800975 18446604458849872896 0 0 -1 7 0 0 0
[pid=13847/tid=13854] ppid=13845 vsize=8542012 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13854/stat : 13854 (java) S 13845 13847 13847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869445275 8747020288 35367 33554432000 1073741824 1073778376 140737224962192 18446744073709551615 237290695577 0 4 0 16800975 18446604458849872896 0 0 -1 3 0 0 0
[pid=13847/tid=13855] ppid=13845 vsize=8542012 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13855/stat : 13855 (java) S 13845 13847 13847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869445275 8747020288 35367 33554432000 1073741824 1073778376 140737224962192 18446744073709551615 237290695577 0 4 0 16800975 18446604458849872896 0 0 -1 3 0 0 0
[pid=13847/tid=13856] ppid=13845 vsize=8542012 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13856/stat : 13856 (java) S 13845 13847 13847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869445275 8747020288 35368 33554432000 1073741824 1073778376 140737224962192 18446744073709551615 237290695577 0 4 0 16800975 18446604458849872896 0 0 -1 3 0 0 0
[pid=13847/tid=13857] ppid=13845 vsize=8542012 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13857/stat : 13857 (java) S 13845 13847 13847 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869445276 8747020288 35368 33554432000 1073741824 1073778376 140737224962192 18446744073709551615 237290696192 0 0 0 16800975 18446604458849872896 0 0 -1 7 0 0 0
[pid=13847/tid=13858] ppid=13845 vsize=8542012 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13858/stat : 13858 (java) S 13845 13847 13847 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869445276 8747020288 35368 33554432000 1073741824 1073778376 140737224962192 18446744073709551615 237290695577 0 4 0 16800975 18446604458849872896 0 0 -1 7 0 0 0
[pid=13847/tid=13859] ppid=13845 vsize=8542012 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13859/stat : 13859 (java) S 13845 13847 13847 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 869445276 8747020288 35369 33554432000 1073741824 1073778376 140737224962192 18446744073709551615 237290695577 0 4 0 16800975 18446604458849872896 0 0 -1 3 0 0 0
[pid=13847/tid=13860] ppid=13845 vsize=8542012 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13860/stat : 13860 (java) S 13845 13847 13847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869445278 8747020288 35369 33554432000 1073741824 1073778376 140737224962192 18446744073709551615 237290703281 0 4 0 16800975 18446604458849872896 0 0 -1 7 0 0 0
[pid=13847/tid=13861] ppid=13845 vsize=8542012 CPUtime=0.53 cores=1,3,5,7
/proc/13847/task/13861/stat : 13861 (java) S 13845 13847 13847 0 -1 4202560 3440 0 0 0 53 0 0 0 25 0 19 0 869445278 8747020288 35369 33554432000 1073741824 1073778376 140737224962192 18446744073709551615 237290695577 0 4 0 16800975 18446604458849872896 0 0 -1 1 0 0 0
[pid=13847/tid=13862] ppid=13845 vsize=8542012 CPUtime=0.55 cores=1,3,5,7
/proc/13847/task/13862/stat : 13862 (java) S 13845 13847 13847 0 -1 4202560 6121 0 0 0 55 0 0 0 25 0 19 0 869445278 8747020288 35370 33554432000 1073741824 1073778376 140737224962192 18446744073709551615 237290695577 0 4 0 16800975 18446604458849872896 0 0 -1 1 0 0 0
[pid=13847/tid=13863] ppid=13845 vsize=8542012 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13863/stat : 13863 (java) S 13845 13847 13847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869445278 8747020288 35370 33554432000 1073741824 1073778376 140737224962192 18446744073709551615 237290695577 0 4 0 16800975 18446604458849872896 0 0 -1 3 0 0 0
[pid=13847/tid=13864] ppid=13845 vsize=8542012 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13864/stat : 13864 (java) S 13845 13847 13847 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869445278 8747020288 35370 33554432000 1073741824 1073778376 140737224962192 18446744073709551615 237290696192 0 4 0 16800975 18446604458849872896 0 0 -1 1 0 0 0
[pid=13847/tid=13865] ppid=13845 vsize=8542012 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13865/stat : 13865 (java) S 13845 13847 13847 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869445348 8747020288 35370 33554432000 1073741824 1073778376 140737224962192 18446744073709551615 237290696192 0 4 0 16800975 18446604458849872896 0 0 -1 3 0 0 0
[pid=13659/tid=13667] ppid=13657 vsize=363316 CPUtime=0.38 cores=1,3,5,7
/proc/13659/task/13667/stat : 13667 (python) S 13657 13659 11000 0 -1 4202560 34 1580 0 0 0 0 31 7 18 0 7 0 869384117 372035584 11880 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554434 18446604456835897152 0 0 -1 5 0 0 0
[pid=13659/tid=13677] ppid=13657 vsize=363316 CPUtime=0.38 cores=1,3,5,7
/proc/13659/task/13677/stat : 13677 (python) S 13657 13659 11000 0 -1 4202560 33 1580 0 0 0 0 31 7 20 0 7 0 869389050 372035584 11880 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554434 18446604456835897152 0 0 -1 5 0 0 0
[pid=13659/tid=13686] ppid=13657 vsize=363316 CPUtime=0.38 cores=1,3,5,7
/proc/13659/task/13686/stat : 13686 (python) S 13657 13659 11000 0 -1 4202560 27 1580 0 0 0 0 31 7 20 0 7 0 869394115 372035584 11880 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554434 18446604456835897152 0 0 -1 7 0 0 0
[pid=13659/tid=13732] ppid=13657 vsize=363316 CPUtime=0.38 cores=1,3,5,7
/proc/13659/task/13732/stat : 13732 (python) S 13657 13659 11000 0 -1 4202560 28 1580 0 0 0 0 31 7 20 0 7 0 869398836 372035584 11880 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554434 18446604456835897152 0 0 -1 3 0 0 0
[pid=13659/tid=13744] ppid=13657 vsize=363316 CPUtime=0.38 cores=1,3,5,7
/proc/13659/task/13744/stat : 13744 (python) S 13657 13659 11000 0 -1 4202560 31 1580 0 0 0 0 31 7 20 0 7 0 869412741 372035584 11880 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554434 18446604456835897152 0 0 -1 7 0 0 0
[pid=13659/tid=13846] ppid=13657 vsize=363316 CPUtime=0.38 cores=1,3,5,7
/proc/13659/task/13846/stat : 13846 (python) S 13657 13659 11000 0 -1 4202560 27 1580 0 0 0 0 31 7 20 0 7 0 869445273 372035584 11880 33554432000 4194304 5683644 140736840588768 18446744073709551615 237290703281 0 0 16781312 33554434 18446604456835897152 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 620.76
Current children cumulated vsize (KiB) 20681160
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 13659 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=308649
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=367944
# CPU time returned by wait4() is 2.67659
# while last known CPU time is 620.76
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 614.886
CPU time (s): 620.76
CPU user time (s): 612
CPU system time (s): 8.76
CPU usage (%): 100.955
Max. virtual memory (cumulated for all children) (KiB): 20681160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.30865
system time used= 0.367944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26866
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= 16607
involuntary context switches= 48
runsolver used 4.30734 second user time and 9.35658 second system time
The end