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-3482234-1307578728/watcher-3482234-1307578728 -o /tmp/evaluation-result-3482234-1307578728/solver-3482234-1307578728 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482234-1307578728.opb -seed 1028587990 -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.10 2.12 1.94 2/924 9056
/proc/meminfo: memFree=17763280/32951124 swapFree=33333036/67111528
[pid=9056] ppid=9054 vsize=15764 CPUtime=0 cores=1,3,5,7
/proc/9056/stat : 9056 (python) S 9054 9056 7156 0 -1 4202496 844 0 0 0 0 0 0 0 19 0 1 0 948103579 16142336 727 33554432000 4194304 5683644 140733418825344 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/9056/statm: 3941 727 334 364 0 428 0
[startup+0.099367 s]
/proc/loadavg: 2.10 2.12 1.94 2/924 9056
/proc/meminfo: memFree=17763280/32951124 swapFree=33333036/67111528
[pid=9056] ppid=9054 vsize=85624 CPUtime=0.06 cores=1,3,5,7
/proc/9056/stat : 9056 (python) R 9054 9056 7156 0 -1 4202496 2662 0 0 0 5 1 0 0 17 0 1 0 948103579 87678976 2382 33554432000 4194304 5683644 140733418825344 18446744073709551615 5212578 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/9056/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.100381 s]
/proc/loadavg: 2.10 2.12 1.94 2/924 9056
/proc/meminfo: memFree=17763280/32951124 swapFree=33333036/67111528
[pid=9056] ppid=9054 vsize=85624 CPUtime=0.06 cores=1,3,5,7
/proc/9056/stat : 9056 (python) R 9054 9056 7156 0 -1 4202496 2663 0 0 0 5 1 0 0 17 0 1 0 948103579 87678976 2382 33554432000 4194304 5683644 140733418825344 18446744073709551615 224284923904 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/9056/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.300311 s]
/proc/loadavg: 2.10 2.12 1.94 2/924 9056
/proc/meminfo: memFree=17763280/32951124 swapFree=33333036/67111528
[pid=9056] ppid=9054 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/9056/stat : 9056 (python) R 9054 9056 7156 0 -1 4202496 5356 929 1 0 12 5 0 0 16 0 1 0 948103579 126713856 3744 33554432000 4194304 5683644 140733418825344 18446744073709551615 224284921861 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/9056/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.727262 s]
/proc/loadavg: 2.10 2.12 1.94 2/924 9056
/proc/meminfo: memFree=17763280/32951124 swapFree=33333036/67111528
[pid=9056] ppid=9054 vsize=291544 CPUtime=0.46 cores=1,3,5,7
/proc/9056/stat : 9056 (python) R 9054 9056 7156 0 -1 4202496 11333 929 1 0 33 13 0 0 15 0 1 0 948103579 298541056 9196 33554432000 4194304 5683644 140733418825344 18446744073709551615 47251234108444 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/9056/statm: 72886 9196 1781 364 0 7779 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 291544
[startup+1.5001 s]
/proc/loadavg: 2.10 2.12 1.94 3/925 9061
/proc/meminfo: memFree=17722600/32951124 swapFree=33333036/67111528
[pid=9056] ppid=9054 vsize=316064 CPUtime=1.23 cores=1,3,5,7
/proc/9056/stat : 9056 (python) R 9054 9056 7156 0 -1 4202496 17312 929 1 0 108 15 0 0 16 0 1 0 948103579 323649536 15175 33554432000 4194304 5683644 140733418825344 18446744073709551615 224284612448 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/9056/statm: 79016 15175 1781 364 0 13909 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 316064
[startup+3.10084 s]
/proc/loadavg: 2.10 2.12 1.94 3/925 9061
/proc/meminfo: memFree=17699908/32951124 swapFree=33333036/67111528
[pid=9056] ppid=9054 vsize=333452 CPUtime=2.83 cores=1,3,5,7
/proc/9056/stat : 9056 (python) R 9054 9056 7156 0 -1 4202496 30605 929 1 0 267 16 0 0 18 0 1 0 948103579 341454848 19709 33554432000 4194304 5683644 140733418825344 18446744073709551615 4423450 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/9056/statm: 83363 19709 1815 364 0 18256 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 333452
[startup+6.30031 s]
/proc/loadavg: 2.09 2.11 1.94 3/928 9064
/proc/meminfo: memFree=17631868/32951124 swapFree=33333036/67111528
[pid=9056] ppid=9054 vsize=349728 CPUtime=4.25 cores=1,3,5,7
/proc/9056/stat : 9056 (python) S 9054 9056 7156 0 -1 4202496 32396 929 1 0 409 16 0 0 19 0 2 0 948103579 358121472 21270 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/9056/statm: 87432 21270 1870 364 0 22319 0
[pid=9062] ppid=9056 vsize=339484 CPUtime=0 cores=1,3,5,7
/proc/9062/stat : 9062 (python) S 9056 9056 7156 0 -1 4202560 740 0 0 0 0 0 0 0 15 0 1 0 948104031 347631616 19747 33554432000 4194304 5683644 140733418825344 18446744073709551615 224284945935 0 0 16781312 33554946 17964539612827189511 0 0 17 5 0 0 0
/proc/9062/statm: 84871 19747 351 364 0 19758 0
[pid=9064] ppid=9062 vsize=54700 CPUtime=1.76 cores=1,3,5,7
/proc/9064/stat : 9064 (wbo1.4a) R 9062 9064 9064 0 -1 4202496 22888 0 0 0 173 3 0 0 19 0 1 0 948104032 56012800 12795 33554432000 134512640 135751879 4294779568 18446744073709551615 134616866 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/9064/statm: 13675 12795 143 303 0 13370 0
[pid=9056/tid=9063] ppid=9054 vsize=349728 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9063/stat : 9063 (python) S 9054 9056 7156 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 948104032 358121472 21270 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816499648 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 743912
[startup+12.7013 s]
/proc/loadavg: 2.09 2.11 1.94 3/928 9064
/proc/meminfo: memFree=17622844/32951124 swapFree=33333036/67111528
[pid=9056] ppid=9054 vsize=349728 CPUtime=4.25 cores=1,3,5,7
/proc/9056/stat : 9056 (python) S 9054 9056 7156 0 -1 4202496 32396 929 1 0 409 16 0 0 19 0 2 0 948103579 358121472 21270 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/9056/statm: 87432 21270 1870 364 0 22319 0
[pid=9062] ppid=9056 vsize=339484 CPUtime=0.06 cores=1,3,5,7
/proc/9062/stat : 9062 (python) S 9056 9056 7156 0 -1 4202560 933 0 0 0 3 3 0 0 16 0 1 0 948104031 347631616 19771 33554432000 4194304 5683644 140733418825344 18446744073709551615 224284945935 0 0 16781312 33554946 4294934790 0 0 17 5 0 0 0
/proc/9062/statm: 84871 19771 375 364 0 19758 0
[pid=9064] ppid=9062 vsize=68028 CPUtime=8.15 cores=1,3,5,7
/proc/9064/stat : 9064 (wbo1.4a) R 9062 9064 9064 0 -1 4202496 50783 0 0 0 806 9 0 0 25 0 1 0 948104032 69660672 15532 33554432000 134512640 135751879 4294779568 18446744073709551615 135201609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/9064/statm: 17007 15532 146 303 0 16702 0
[pid=9056/tid=9063] ppid=9054 vsize=349728 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9063/stat : 9063 (python) S 9054 9056 7156 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 948104032 358121472 21270 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816499648 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 757240
[startup+25.5011 s]
/proc/loadavg: 2.15 2.12 1.94 3/928 9064
/proc/meminfo: memFree=17614624/32951124 swapFree=33333036/67111528
[pid=9056] ppid=9054 vsize=349728 CPUtime=4.25 cores=1,3,5,7
/proc/9056/stat : 9056 (python) S 9054 9056 7156 0 -1 4202496 32396 929 1 0 409 16 0 0 19 0 2 0 948103579 358121472 21270 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/9056/statm: 87432 21270 1870 364 0 22319 0
[pid=9062] ppid=9056 vsize=339484 CPUtime=0.14 cores=1,3,5,7
/proc/9062/stat : 9062 (python) S 9056 9056 7156 0 -1 4202560 947 0 0 0 7 7 0 0 15 0 1 0 948104031 347631616 19771 33554432000 4194304 5683644 140733418825344 18446744073709551615 224284945935 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/9062/statm: 84871 19771 375 364 0 19758 0
[pid=9064] ppid=9062 vsize=65948 CPUtime=20.93 cores=1,3,5,7
/proc/9064/stat : 9064 (wbo1.4a) R 9062 9064 9064 0 -1 4202496 62954 0 0 0 2075 18 0 0 25 0 1 0 948104032 67530752 15350 33554432000 134512640 135751879 4294779568 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9064/statm: 16487 15350 146 303 0 16182 0
[pid=9056/tid=9063] ppid=9054 vsize=349728 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9063/stat : 9063 (python) S 9054 9056 7156 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 948104032 358121472 21270 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816499648 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 755160
[startup+51.1008 s]
/proc/loadavg: 2.29 2.16 1.96 3/928 9066
/proc/meminfo: memFree=17612248/32951124 swapFree=33333036/67111528
[pid=9056] ppid=9054 vsize=349728 CPUtime=4.25 cores=1,3,5,7
/proc/9056/stat : 9056 (python) S 9054 9056 7156 0 -1 4202496 32396 929 1 0 409 16 0 0 19 0 2 0 948103579 358121472 21270 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/9056/statm: 87432 21270 1870 364 0 22319 0
[pid=9062] ppid=9056 vsize=339484 CPUtime=0.3 cores=1,3,5,7
/proc/9062/stat : 9062 (python) S 9056 9056 7156 0 -1 4202560 959 0 0 0 13 17 0 0 15 0 1 0 948104031 347631616 19771 33554432000 4194304 5683644 140733418825344 18446744073709551615 224284945935 0 0 16781312 33554946 5623753486446373625 0 0 17 7 0 0 0
/proc/9062/statm: 84871 19771 375 364 0 19758 0
[pid=9064] ppid=9062 vsize=72176 CPUtime=46.53 cores=1,3,5,7
/proc/9064/stat : 9064 (wbo1.4a) R 9062 9064 9064 0 -1 4202496 70008 0 0 0 4622 31 0 0 25 0 1 0 948104032 73908224 16937 33554432000 134512640 135751879 4294779568 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9064/statm: 18044 16937 146 303 0 17739 0
[pid=9056/tid=9063] ppid=9054 vsize=349728 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9063/stat : 9063 (python) S 9054 9056 7156 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 948104032 358121472 21270 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816499648 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 761388
[startup+102.324 s]
/proc/loadavg: 2.30 2.18 1.97 3/933 9071
/proc/meminfo: memFree=16609500/32951124 swapFree=33333036/67111528
[pid=9056] ppid=9054 vsize=359984 CPUtime=4.28 cores=1,3,5,7
/proc/9056/stat : 9056 (python) S 9054 9056 7156 0 -1 4202496 33279 929 1 0 411 17 0 0 19 0 3 0 948103579 368623616 21277 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/9056/statm: 89996 21277 1873 364 0 24880 0
[pid=9062] ppid=9056 vsize=349728 CPUtime=0.33 cores=1,3,5,7
/proc/9062/stat : 9062 (python) S 9056 9056 7156 0 -1 4202560 1120 0 0 0 15 18 0 0 16 0 2 0 948104031 358121472 19807 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9062/statm: 87432 19807 406 364 0 22319 0
[pid=9064] ppid=9062 vsize=76880 CPUtime=49.81 cores=1,3,5,7
/proc/9064/stat : 9064 (wbo1.4a) T 9062 9064 9064 0 -1 4202496 72529 0 0 0 4949 32 0 0 25 0 1 0 948104032 78725120 18085 33554432000 134512640 135751879 4294779568 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/9064/statm: 19220 18085 146 303 0 18915 0
[pid=9062/tid=9068] ppid=9056 vsize=349728 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9068/stat : 9068 (python) S 9056 9056 7156 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948109018 358121472 19807 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554946 18446604468087952384 0 0 -1 7 0 0 0
[pid=9069] ppid=9056 vsize=349740 CPUtime=0.25 cores=1,3,5,7
/proc/9069/stat : 9069 (python) S 9056 9056 7156 0 -1 4202560 952 0 0 0 12 13 0 0 16 0 1 0 948109021 358133760 19772 33554432000 4194304 5683644 140733418825344 18446744073709551615 224284945990 0 0 16781312 33554946 5623753486446373625 0 0 17 7 0 0 0
/proc/9069/statm: 87435 19772 372 364 0 22319 0
[pid=9071] ppid=9069 vsize=1022068 CPUtime=47.89 cores=1,3,5,7
/proc/9071/stat : 9071 (scip-2.0.1.linu) R 9069 9071 9071 0 -1 4202496 256422 0 0 0 4572 217 0 0 25 0 1 0 948109021 1046597632 248507 33554432000 4194304 13684479 140735928441232 18446744073709551615 4880950 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/9071/statm: 255517 248507 676 2317 0 253195 0
[pid=9056/tid=9063] ppid=9054 vsize=359984 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9063/stat : 9063 (python) S 9054 9056 7156 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 3 0 948104032 368623616 21277 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816499648 0 0 -1 7 0 0 0
[pid=9056/tid=9070] ppid=9054 vsize=359984 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9070/stat : 9070 (python) S 9054 9056 7156 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 3 0 948109021 368623616 21277 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816499648 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.56
Current children cumulated vsize (KiB) 2158400
[startup+162.301 s]
/proc/loadavg: 2.25 2.19 1.99 3/959 9101
/proc/meminfo: memFree=13742344/32951124 swapFree=33333036/67111528
[pid=9056] ppid=9054 vsize=380496 CPUtime=4.34 cores=1,3,5,7
/proc/9056/stat : 9056 (python) S 9054 9056 7156 0 -1 4202496 34998 929 1 0 416 18 0 0 19 0 5 0 948103579 389627904 21289 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/9056/statm: 95124 21289 1877 364 0 30002 0
[pid=9062] ppid=9056 vsize=349728 CPUtime=0.33 cores=1,3,5,7
/proc/9062/stat : 9062 (python) S 9056 9056 7156 0 -1 4202560 1120 0 0 0 15 18 0 0 16 0 2 0 948104031 358121472 19807 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9062/statm: 87432 19807 406 364 0 22319 0
[pid=9064] ppid=9062 vsize=76880 CPUtime=49.81 cores=1,3,5,7
/proc/9064/stat : 9064 (wbo1.4a) T 9062 9064 9064 0 -1 4202496 72529 0 0 0 4949 32 0 0 25 0 1 0 948104032 78725120 18085 33554432000 134512640 135751879 4294779568 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/9064/statm: 19220 18085 146 303 0 18915 0
[pid=9062/tid=9068] ppid=9056 vsize=349728 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9068/stat : 9068 (python) S 9056 9056 7156 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948109018 358121472 19807 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554946 18446604468087952384 0 0 -1 7 0 0 0
[pid=9069] ppid=9056 vsize=349740 CPUtime=0.29 cores=1,3,5,7
/proc/9069/stat : 9069 (python) S 9056 9056 7156 0 -1 4202560 1116 0 0 0 14 15 0 0 16 0 2 0 948109021 358133760 19797 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9069/statm: 87435 19797 396 364 0 22319 0
[pid=9071] ppid=9069 vsize=1028848 CPUtime=52.24 cores=1,3,5,7
/proc/9071/stat : 9071 (scip-2.0.1.linu) T 9069 9071 9071 0 -1 4202496 258449 0 0 0 5006 218 0 0 25 0 1 0 948109021 1053540352 250534 33554432000 4194304 13684479 140735928441232 18446744073709551615 5688870 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/9071/statm: 257212 250534 676 2317 0 254890 0
[pid=9069/tid=9072] ppid=9056 vsize=349740 CPUtime=0 cores=1,3,5,7
/proc/9069/task/9072/stat : 9072 (python) S 9056 9056 7156 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 948114246 358133760 19797 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554946 18446604467674767552 0 0 -1 7 0 0 0
[pid=9073] ppid=9056 vsize=359996 CPUtime=0.26 cores=1,3,5,7
################
# More data... #
################
[pid=9075/tid=9095] ppid=9073 vsize=8542908 CPUtime=0 cores=1,3,5,7
/proc/9075/task/9095/stat : 9095 (java) T 9073 9075 9075 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948114408 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9073/tid=9098] ppid=9056 vsize=359996 CPUtime=0 cores=1,3,5,7
/proc/9073/task/9098/stat : 9098 (python) S 9056 9056 7156 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 948118687 368635904 19801 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554946 18446604470803223872 0 0 -1 7 0 0 0
[pid=9099] ppid=9056 vsize=370252 CPUtime=0.38 cores=1,3,5,7
/proc/9099/stat : 9099 (python) S 9056 9056 7156 0 -1 4202560 988 0 0 0 20 18 0 0 15 0 1 0 948118690 379138048 19780 33554432000 4194304 5683644 140733418825344 18446744073709551615 224284945990 0 0 16781312 33554946 5623753486446373625 0 0 17 7 0 0 0
/proc/9099/statm: 92563 19780 372 364 0 27441 0
[pid=9101] ppid=9099 vsize=44112 CPUtime=71.18 cores=1,3,5,7
/proc/9101/stat : 9101 (clasp-1.3.7-x86) R 9099 9101 9101 0 -1 4202496 13393 0 0 0 7117 1 0 0 25 0 1 0 948118690 45170688 10767 33554432000 134512640 136139019 4294131296 18446744073709551615 134882965 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9101/statm: 11028 10767 190 398 0 10628 0
[pid=9056/tid=9063] ppid=9054 vsize=380496 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9063/stat : 9063 (python) S 9054 9056 7156 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 5 0 948104032 389627904 21289 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816499648 0 0 -1 7 0 0 0
[pid=9056/tid=9070] ppid=9054 vsize=380496 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9070/stat : 9070 (python) S 9054 9056 7156 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 5 0 948109021 389627904 21289 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816499648 0 0 -1 1 0 0 0
[pid=9056/tid=9074] ppid=9054 vsize=380496 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9074/stat : 9074 (python) S 9054 9056 7156 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 5 0 948114249 389627904 21289 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816499648 0 0 -1 3 0 0 0
[pid=9056/tid=9100] ppid=9054 vsize=380496 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9100/stat : 9100 (python) S 9054 9056 7156 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 5 0 948118690 389627904 21289 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816499648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 225.95
Current children cumulated vsize (KiB) 11502960
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+245.201 s]
/proc/loadavg: 2.18 2.18 2.00 4/980 9126
/proc/meminfo: memFree=13621760/32951124 swapFree=33333036/67111528
[pid=9056] ppid=9054 vsize=390752 CPUtime=4.36 cores=1,3,5,7
/proc/9056/stat : 9056 (python) S 9054 9056 7156 0 -1 4202496 35884 929 1 0 418 18 0 0 19 0 6 0 948103579 400130048 21295 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/9056/statm: 97688 21295 1879 364 0 32563 0
[pid=9062] ppid=9056 vsize=349728 CPUtime=0.33 cores=1,3,5,7
/proc/9062/stat : 9062 (python) S 9056 9056 7156 0 -1 4202560 1120 0 0 0 15 18 0 0 16 0 2 0 948104031 358121472 19807 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9062/statm: 87432 19807 406 364 0 22319 0
[pid=9064] ppid=9062 vsize=76880 CPUtime=49.81 cores=1,3,5,7
/proc/9064/stat : 9064 (wbo1.4a) T 9062 9064 9064 0 -1 4202496 72529 0 0 0 4949 32 0 0 25 0 1 0 948104032 78725120 18085 33554432000 134512640 135751879 4294779568 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/9064/statm: 19220 18085 146 303 0 18915 0
[pid=9062/tid=9068] ppid=9056 vsize=349728 CPUtime=0 cores=1,3,5,7
/proc/9062/task/9068/stat : 9068 (python) S 9056 9056 7156 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948109018 358121472 19807 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554946 18446604468087952384 0 0 -1 7 0 0 0
[pid=9069] ppid=9056 vsize=349740 CPUtime=0.29 cores=1,3,5,7
/proc/9069/stat : 9069 (python) S 9056 9056 7156 0 -1 4202560 1116 0 0 0 14 15 0 0 16 0 2 0 948109021 358133760 19797 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9069/statm: 87435 19797 396 364 0 22319 0
[pid=9071] ppid=9069 vsize=1028848 CPUtime=52.24 cores=1,3,5,7
/proc/9071/stat : 9071 (scip-2.0.1.linu) T 9069 9071 9071 0 -1 4202496 258449 0 0 0 5006 218 0 0 25 0 1 0 948109021 1053540352 250534 33554432000 4194304 13684479 140735928441232 18446744073709551615 5688870 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/9071/statm: 257212 250534 676 2317 0 254890 0
[pid=9069/tid=9072] ppid=9056 vsize=349740 CPUtime=0 cores=1,3,5,7
/proc/9069/task/9072/stat : 9072 (python) S 9056 9056 7156 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 948114246 358133760 19797 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554946 18446604467674767552 0 0 -1 7 0 0 0
[pid=9073] ppid=9056 vsize=359996 CPUtime=0.26 cores=1,3,5,7
/proc/9073/stat : 9073 (python) S 9056 9056 7156 0 -1 4202560 1113 0 0 0 12 14 0 0 16 0 2 0 948114249 368635904 19801 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9073/statm: 89999 19801 396 364 0 24880 0
[pid=9075] ppid=9073 vsize=8542908 CPUtime=47.12 cores=1,3,5,7
/proc/9075/stat : 9075 (java) T 9073 9075 9075 0 -1 4202496 716782 0 1 0 4628 84 0 0 18 0 19 0 948114249 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9075/statm: 2135727 706722 2260 9 0 2126468 0
[pid=9075/tid=9076] ppid=9073 vsize=8542908 CPUtime=43.84 cores=1,3,5,7
/proc/9075/task/9076/stat : 9076 (java) T 9073 9075 9075 0 -1 4202560 632057 0 1 0 4313 71 0 0 25 0 19 0 948114250 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 46912506053200 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9075/tid=9077] ppid=9073 vsize=8542908 CPUtime=0.1 cores=1,3,5,7
/proc/9075/task/9077/stat : 9077 (java) T 9073 9075 9075 0 -1 4202560 6909 0 0 0 10 0 0 0 15 0 19 0 948114251 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=9075/tid=9078] ppid=9073 vsize=8542908 CPUtime=0.14 cores=1,3,5,7
/proc/9075/task/9078/stat : 9078 (java) T 9073 9075 9075 0 -1 4202560 10351 0 0 0 13 1 0 0 15 0 19 0 948114251 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=9075/tid=9079] ppid=9073 vsize=8542908 CPUtime=0.17 cores=1,3,5,7
/proc/9075/task/9079/stat : 9079 (java) T 9073 9075 9075 0 -1 4202560 11193 0 0 0 16 1 0 0 15 0 19 0 948114251 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9075/tid=9080] ppid=9073 vsize=8542908 CPUtime=0.09 cores=1,3,5,7
/proc/9075/task/9080/stat : 9080 (java) T 9073 9075 9075 0 -1 4202560 7010 0 0 0 9 0 0 0 15 0 19 0 948114251 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9075/tid=9081] ppid=9073 vsize=8542908 CPUtime=0.09 cores=1,3,5,7
/proc/9075/task/9081/stat : 9081 (java) T 9073 9075 9075 0 -1 4202560 7322 0 0 0 8 1 0 0 15 0 19 0 948114251 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9075/tid=9082] ppid=9073 vsize=8542908 CPUtime=0.12 cores=1,3,5,7
/proc/9075/task/9082/stat : 9082 (java) T 9073 9075 9075 0 -1 4202560 9039 0 0 0 11 1 0 0 15 0 19 0 948114251 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9075/tid=9083] ppid=9073 vsize=8542908 CPUtime=0.12 cores=1,3,5,7
/proc/9075/task/9083/stat : 9083 (java) T 9073 9075 9075 0 -1 4202560 7485 0 0 0 11 1 0 0 15 0 19 0 948114251 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9075/tid=9084] ppid=9073 vsize=8542908 CPUtime=0.16 cores=1,3,5,7
/proc/9075/task/9084/stat : 9084 (java) T 9073 9075 9075 0 -1 4202560 10974 0 0 0 15 1 0 0 15 0 19 0 948114251 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=9075/tid=9086] ppid=9073 vsize=8542908 CPUtime=0.19 cores=1,3,5,7
/proc/9075/task/9086/stat : 9086 (java) T 9073 9075 9075 0 -1 4202560 2886 0 0 0 19 0 0 0 15 0 19 0 948114252 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 224296742400 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9075/tid=9087] ppid=9073 vsize=8542908 CPUtime=0 cores=1,3,5,7
/proc/9075/task/9087/stat : 9087 (java) T 9073 9075 9075 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 19 0 948114252 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9075/tid=9088] ppid=9073 vsize=8542908 CPUtime=0 cores=1,3,5,7
/proc/9075/task/9088/stat : 9088 (java) T 9073 9075 9075 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 948114252 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9075/tid=9089] ppid=9073 vsize=8542908 CPUtime=0 cores=1,3,5,7
/proc/9075/task/9089/stat : 9089 (java) T 9073 9075 9075 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948114254 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 224296749489 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9075/tid=9090] ppid=9073 vsize=8542908 CPUtime=0.87 cores=1,3,5,7
/proc/9075/task/9090/stat : 9090 (java) T 9073 9075 9075 0 -1 4202560 3454 0 0 0 87 0 0 0 15 0 19 0 948114254 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9075/tid=9091] ppid=9073 vsize=8542908 CPUtime=1.1 cores=1,3,5,7
/proc/9075/task/9091/stat : 9091 (java) T 9073 9075 9075 0 -1 4202560 6702 0 0 0 109 1 0 0 15 0 19 0 948114254 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9075/tid=9092] ppid=9073 vsize=8542908 CPUtime=0 cores=1,3,5,7
/proc/9075/task/9092/stat : 9092 (java) T 9073 9075 9075 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948114254 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9075/tid=9094] ppid=9073 vsize=8542908 CPUtime=0 cores=1,3,5,7
/proc/9075/task/9094/stat : 9094 (java) T 9073 9075 9075 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 948114254 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9075/tid=9095] ppid=9073 vsize=8542908 CPUtime=0 cores=1,3,5,7
/proc/9075/task/9095/stat : 9095 (java) T 9073 9075 9075 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948114408 8747937792 706722 33554432000 1073741824 1073778376 140736213632736 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9073/tid=9098] ppid=9056 vsize=359996 CPUtime=0 cores=1,3,5,7
/proc/9073/task/9098/stat : 9098 (python) S 9056 9056 7156 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 948118687 368635904 19801 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554946 18446604470803223872 0 0 -1 7 0 0 0
[pid=9099] ppid=9056 vsize=370252 CPUtime=0.51 cores=1,3,5,7
/proc/9099/stat : 9099 (python) S 9056 9056 7156 0 -1 4202560 1160 0 0 0 26 25 0 0 16 0 2 0 948118690 379138048 19805 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9099/statm: 92563 19805 396 364 0 27441 0
[pid=9101] ppid=9099 vsize=44112 CPUtime=93.56 cores=1,3,5,7
/proc/9101/stat : 9101 (clasp-1.3.7-x86) T 9099 9101 9101 0 -1 4202496 13393 0 0 0 9355 1 0 0 25 0 1 0 948118690 45170688 10767 33554432000 134512640 136139019 4294131296 18446744073709551615 134613379 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/9101/statm: 11028 10767 190 398 0 10628 0
[pid=9099/tid=9104] ppid=9056 vsize=370252 CPUtime=0 cores=1,3,5,7
/proc/9099/task/9104/stat : 9104 (python) S 9056 9056 7156 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 948128047 379138048 19805 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554946 18446604454510227584 0 0 -1 7 0 0 0
[pid=9105] ppid=9056 vsize=380508 CPUtime=0 cores=1,3,5,7
/proc/9105/stat : 9105 (python) S 9056 9056 7156 0 -1 4202560 819 0 0 0 0 0 0 0 17 0 1 0 948128049 389640192 19760 33554432000 4194304 5683644 140733418825344 18446744073709551615 224284945990 0 0 16781312 33554946 10742767540162756870 0 0 17 1 0 0 0
/proc/9105/statm: 95127 19760 348 364 0 30002 0
[pid=9107] ppid=9105 vsize=8538560 CPUtime=0.93 cores=1,3,5,7
/proc/9107/stat : 9107 (java) S 9105 9107 9107 0 -1 4202496 28718 0 1 0 89 4 0 0 17 0 18 0 948128050 8743485440 26399 33554432000 1073741824 1073778376 140734003199392 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/9107/statm: 2134640 26400 2214 9 0 2125381 0
[pid=9107/tid=9108] ppid=9105 vsize=8538772 CPUtime=0.49 cores=1,3,5,7
/proc/9107/task/9108/stat : 9108 (java) R 9105 9107 9107 0 -1 4202560 23008 0 1 0 47 2 0 0 23 0 18 0 948128051 8743702528 26893 33554432000 1073741824 1073778376 140734003199392 18446744073709551615 46912505505668 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9107/tid=9110] ppid=9105 vsize=8538772 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9110/stat : 9110 (java) S 9105 9107 9107 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948128051 8743702528 26893 33554432000 1073741824 1073778376 140734003199392 18446744073709551615 224296741785 0 4 0 16800975 18446604468411744640 0 0 -1 7 0 0 0
[pid=9107/tid=9111] ppid=9105 vsize=8538772 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9111/stat : 9111 (java) S 9105 9107 9107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948128051 8743702528 26893 33554432000 1073741824 1073778376 140734003199392 18446744073709551615 224296741785 0 4 0 16800975 18446604468411744640 0 0 -1 1 0 0 0
[pid=9107/tid=9113] ppid=9105 vsize=8538772 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9113/stat : 9113 (java) S 9105 9107 9107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948128051 8743702528 26893 33554432000 1073741824 1073778376 140734003199392 18446744073709551615 224296741785 0 4 0 16800975 18446604468411744640 0 0 -1 1 0 0 0
[pid=9107/tid=9114] ppid=9105 vsize=8538772 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9114/stat : 9114 (java) S 9105 9107 9107 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 948128051 8743702528 26893 33554432000 1073741824 1073778376 140734003199392 18446744073709551615 224296741785 0 4 0 16800975 18446604468411744640 0 0 -1 1 0 0 0
[pid=9107/tid=9115] ppid=9105 vsize=8538772 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9115/stat : 9115 (java) S 9105 9107 9107 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 948128051 8743702528 26893 33554432000 1073741824 1073778376 140734003199392 18446744073709551615 224296741785 0 4 0 16800975 18446604468411744640 0 0 -1 1 0 0 0
[pid=9107/tid=9116] ppid=9105 vsize=8538772 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9116/stat : 9116 (java) S 9105 9107 9107 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 948128051 8743702528 26893 33554432000 1073741824 1073778376 140734003199392 18446744073709551615 224296741785 0 4 0 16800975 18446604468411744640 0 0 -1 1 0 0 0
[pid=9107/tid=9117] ppid=9105 vsize=8538772 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9117/stat : 9117 (java) S 9105 9107 9107 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 948128052 8743702528 26893 33554432000 1073741824 1073778376 140734003199392 18446744073709551615 224296741785 0 4 0 16800975 18446604468411744640 0 0 -1 1 0 0 0
[pid=9107/tid=9118] ppid=9105 vsize=8538772 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9118/stat : 9118 (java) S 9105 9107 9107 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 948128052 8743702528 26893 33554432000 1073741824 1073778376 140734003199392 18446744073709551615 224296741785 0 4 0 16800975 18446604468411744640 0 0 -1 1 0 0 0
[pid=9107/tid=9119] ppid=9105 vsize=8538772 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9119/stat : 9119 (java) S 9105 9107 9107 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 948128052 8743702528 26893 33554432000 1073741824 1073778376 140734003199392 18446744073709551615 224296742400 0 0 0 16800975 18446604468411744640 0 0 -1 1 0 0 0
[pid=9107/tid=9120] ppid=9105 vsize=8538772 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9120/stat : 9120 (java) S 9105 9107 9107 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 948128053 8743702528 26893 33554432000 1073741824 1073778376 140734003199392 18446744073709551615 224296741785 0 4 0 16800975 18446604468411744640 0 0 -1 7 0 0 0
[pid=9107/tid=9121] ppid=9105 vsize=8538772 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9121/stat : 9121 (java) S 9105 9107 9107 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 18 0 948128053 8743702528 26893 33554432000 1073741824 1073778376 140734003199392 18446744073709551615 224296741785 0 4 0 16800975 18446604468411744640 0 0 -1 1 0 0 0
[pid=9107/tid=9122] ppid=9105 vsize=8538772 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9122/stat : 9122 (java) S 9105 9107 9107 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948128055 8743702528 26893 33554432000 1073741824 1073778376 140734003199392 18446744073709551615 224296749489 0 4 0 16800975 18446604468411744640 0 0 -1 7 0 0 0
[pid=9107/tid=9123] ppid=9105 vsize=8538772 CPUtime=0.19 cores=1,3,5,7
/proc/9107/task/9123/stat : 9123 (java) R 9105 9107 9107 0 -1 4202560 2533 0 0 0 19 0 0 0 18 0 18 0 948128055 8743702528 26893 33554432000 1073741824 1073778376 140734003199392 18446744073709551615 47621963188642 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9107/tid=9124] ppid=9105 vsize=8538772 CPUtime=0.24 cores=1,3,5,7
/proc/9107/task/9124/stat : 9124 (java) R 9105 9107 9107 0 -1 4202560 2285 0 0 0 24 0 0 0 19 0 18 0 948128055 8743702528 26893 33554432000 1073741824 1073778376 140734003199392 18446744073709551615 47621958536272 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9107/tid=9125] ppid=9105 vsize=8538772 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9125/stat : 9125 (java) S 9105 9107 9107 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 948128055 8743702528 26893 33554432000 1073741824 1073778376 140734003199392 18446744073709551615 224296741785 0 4 0 16800975 18446604468411744640 0 0 -1 7 0 0 0
[pid=9107/tid=9126] ppid=9105 vsize=8538772 CPUtime=0 cores=1,3,5,7
/proc/9107/task/9126/stat : 9126 (java) R 9105 9107 9107 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 948128055 8743702528 26893 33554432000 1073741824 1073778376 140734003199392 18446744073709551615 224296742476 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9056/tid=9063] ppid=9054 vsize=390752 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9063/stat : 9063 (python) S 9054 9056 7156 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 6 0 948104032 400130048 21295 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816499648 0 0 -1 7 0 0 0
[pid=9056/tid=9070] ppid=9054 vsize=390752 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9070/stat : 9070 (python) S 9054 9056 7156 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 6 0 948109021 400130048 21295 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816499648 0 0 -1 1 0 0 0
[pid=9056/tid=9074] ppid=9054 vsize=390752 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9074/stat : 9074 (python) S 9054 9056 7156 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 6 0 948114249 400130048 21295 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816499648 0 0 -1 3 0 0 0
[pid=9056/tid=9100] ppid=9054 vsize=390752 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9100/stat : 9100 (python) S 9054 9056 7156 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 6 0 948118690 400130048 21295 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816499648 0 0 -1 3 0 0 0
[pid=9056/tid=9106] ppid=9054 vsize=390752 CPUtime=0 cores=1,3,5,7
/proc/9056/task/9106/stat : 9106 (python) S 9054 9056 7156 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 6 0 948128050 400130048 21295 33554432000 4194304 5683644 140733418825344 18446744073709551615 224296749489 0 0 16781312 33554434 18446604455816499648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 249.41
Current children cumulated vsize (KiB) 20432284
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 9056 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=188363
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=185971
# CPU time returned by wait4() is 4.37433
# while last known CPU time is 249.41
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 245.295
CPU time (s): 249.41
CPU user time (s): 245.12
CPU system time (s): 4.29
CPU usage (%): 101.678
Max. virtual memory (cumulated for all children) (KiB): 20432284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.18836
system time used= 0.185971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36815
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= 2865
involuntary context switches= 26
runsolver used 1.9507 second user time and 4.12537 second system time
The end