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-3481668-1307577687/watcher-3481668-1307577687 -o /tmp/evaluation-result-3481668-1307577687/solver-3481668-1307577687 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481668-1307577687.opb -seed 1596716047 -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.05 2.02 1.54 3/733 19053
/proc/meminfo: memFree=19295084/32950928 swapFree=38525204/67111528
[pid=19053] ppid=19051 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/19053/stat : 19053 (python) R 19051 19053 17436 0 -1 4202496 997 0 0 0 0 0 0 0 17 0 1 0 869368469 16629760 870 33554432000 4194304 5683644 140735774320144 18446744073709551615 208079893189 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/19053/statm: 4060 870 368 364 0 547 0
[startup+0.0734571 s]
/proc/loadavg: 2.05 2.02 1.54 3/733 19053
/proc/meminfo: memFree=19295084/32950928 swapFree=38525204/67111528
[pid=19053] ppid=19051 vsize=38904 CPUtime=0.04 cores=1,3,5,7
/proc/19053/stat : 19053 (python) S 19051 19053 17436 0 -1 4202496 1658 0 0 0 3 1 0 0 17 0 1 0 869368469 39837696 1486 33554432000 4194304 5683644 140735774320144 18446744073709551615 208080230400 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/19053/statm: 9726 1486 455 364 0 1026 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 38904
[startup+0.100451 s]
/proc/loadavg: 2.05 2.02 1.54 3/733 19053
/proc/meminfo: memFree=19295084/32950928 swapFree=38525204/67111528
[pid=19053] ppid=19051 vsize=85620 CPUtime=0.07 cores=1,3,5,7
/proc/19053/stat : 19053 (python) R 19051 19053 17436 0 -1 4202496 2665 0 0 0 4 3 0 0 17 0 1 0 869368469 87674880 2382 33554432000 4194304 5683644 140735774320144 18446744073709551615 208080228197 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/19053/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85620
[startup+0.300413 s]
/proc/loadavg: 2.05 2.02 1.54 3/733 19053
/proc/meminfo: memFree=19295084/32950928 swapFree=38525204/67111528
[pid=19053] ppid=19051 vsize=123740 CPUtime=0.2 cores=1,3,5,7
/proc/19053/stat : 19053 (python) R 19051 19053 17436 0 -1 4202496 5359 930 1 0 11 9 0 0 16 0 1 0 869368469 126709760 3746 33554432000 4194304 5683644 140735774320144 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/19053/statm: 30935 3746 987 364 0 2767 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 123740
[startup+0.700336 s]
/proc/loadavg: 2.05 2.02 1.54 3/733 19053
/proc/meminfo: memFree=19295084/32950928 swapFree=38525204/67111528
[pid=19053] ppid=19051 vsize=285092 CPUtime=0.51 cores=1,3,5,7
/proc/19053/stat : 19053 (python) R 19051 19053 17436 0 -1 4202496 9725 930 1 0 33 18 0 0 15 0 1 0 869368469 291934208 7587 33554432000 4194304 5683644 140735774320144 18446744073709551615 4302983 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/19053/statm: 71273 7587 1781 364 0 6166 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 285092
[startup+1.50125 s]
/proc/loadavg: 2.05 2.02 1.54 3/737 19061
/proc/meminfo: memFree=19245764/32950928 swapFree=38525204/67111528
[pid=19053] ppid=19051 vsize=295940 CPUtime=0.7 cores=1,3,5,7
/proc/19053/stat : 19053 (python) S 19051 19053 17436 0 -1 4202496 10674 930 1 0 52 18 0 0 18 0 2 0 869368469 303042560 7846 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/19053/statm: 73985 7846 1862 364 0 8872 0
[pid=19059] ppid=19053 vsize=285696 CPUtime=0 cores=1,3,5,7
/proc/19059/stat : 19059 (python) S 19053 19053 17436 0 -1 4202560 739 0 0 0 0 0 0 0 15 0 1 0 869368558 292552704 6332 33554432000 4194304 5683644 140735774320144 18446744073709551615 208080252431 0 0 16781312 33554946 7310502149924815108 0 0 17 5 0 0 0
/proc/19059/statm: 71424 6332 352 364 0 6311 0
[pid=19061] ppid=19059 vsize=82120 CPUtime=0.59 cores=1,3,5,7
/proc/19061/stat : 19061 (scip-2.0.1.linu) R 19059 19061 19061 0 -1 4202496 18627 0 0 0 50 9 0 0 20 0 1 0 869368558 84090880 17632 33554432000 4194304 13684479 140733356015712 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/19061/statm: 20530 17632 784 2317 0 18208 0
[pid=19053/tid=19060] ppid=19051 vsize=295940 CPUtime=0 cores=1,3,5,7
/proc/19053/task/19060/stat : 19060 (python) S 19051 19053 17436 0 -1 4202560 28 930 0 0 0 0 0 0 18 0 2 0 869368558 303042560 7846 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469840537792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 663756
[startup+3.10096 s]
/proc/loadavg: 2.05 2.02 1.54 3/737 19061
/proc/meminfo: memFree=19195296/32950928 swapFree=38525204/67111528
[pid=19053] ppid=19051 vsize=295940 CPUtime=0.7 cores=1,3,5,7
/proc/19053/stat : 19053 (python) S 19051 19053 17436 0 -1 4202496 10674 930 1 0 52 18 0 0 18 0 2 0 869368469 303042560 7846 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/19053/statm: 73985 7846 1862 364 0 8872 0
[pid=19059] ppid=19053 vsize=285696 CPUtime=0 cores=1,3,5,7
/proc/19059/stat : 19059 (python) S 19053 19053 17436 0 -1 4202560 740 0 0 0 0 0 0 0 15 0 1 0 869368558 292552704 6332 33554432000 4194304 5683644 140735774320144 18446744073709551615 208080252431 0 0 16781312 33554946 7310502149924815108 0 0 17 5 0 0 0
/proc/19059/statm: 71424 6332 352 364 0 6311 0
[pid=19061] ppid=19059 vsize=84712 CPUtime=2.19 cores=1,3,5,7
/proc/19061/stat : 19061 (scip-2.0.1.linu) R 19059 19061 19061 0 -1 4202496 19664 0 0 0 207 12 0 0 25 0 1 0 869368558 86745088 18610 33554432000 4194304 13684479 140733356015712 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/19061/statm: 21178 18610 759 2317 0 18856 0
[pid=19053/tid=19060] ppid=19051 vsize=295940 CPUtime=0 cores=1,3,5,7
/proc/19053/task/19060/stat : 19060 (python) S 19051 19053 17436 0 -1 4202560 28 930 0 0 0 0 0 0 18 0 2 0 869368558 303042560 7846 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469840537792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 666348
[startup+6.30033 s]
/proc/loadavg: 2.05 2.02 1.54 3/737 19061
/proc/meminfo: memFree=19193620/32950928 swapFree=38525204/67111528
[pid=19053] ppid=19051 vsize=295940 CPUtime=0.7 cores=1,3,5,7
/proc/19053/stat : 19053 (python) S 19051 19053 17436 0 -1 4202496 10674 930 1 0 52 18 0 0 18 0 2 0 869368469 303042560 7846 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/19053/statm: 73985 7846 1862 364 0 8872 0
[pid=19059] ppid=19053 vsize=285696 CPUtime=0.02 cores=1,3,5,7
/proc/19059/stat : 19059 (python) S 19053 19053 17436 0 -1 4202560 899 0 0 0 1 1 0 0 15 0 1 0 869368558 292552704 6356 33554432000 4194304 5683644 140735774320144 18446744073709551615 208080252431 0 0 16781312 33554946 785907654286344452 0 0 17 5 0 0 0
/proc/19059/statm: 71424 6356 376 364 0 6311 0
[pid=19061] ppid=19059 vsize=83324 CPUtime=5.39 cores=1,3,5,7
/proc/19061/stat : 19061 (scip-2.0.1.linu) R 19059 19061 19061 0 -1 4202496 20626 0 0 0 525 14 0 0 25 0 1 0 869368558 85323776 18447 33554432000 4194304 13684479 140733356015712 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/19061/statm: 20831 18447 824 2317 0 18509 0
[pid=19053/tid=19060] ppid=19051 vsize=295940 CPUtime=0 cores=1,3,5,7
/proc/19053/task/19060/stat : 19060 (python) S 19051 19053 17436 0 -1 4202560 28 930 0 0 0 0 0 0 18 0 2 0 869368558 303042560 7846 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469840537792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 664960
[startup+12.7011 s]
/proc/loadavg: 2.04 2.02 1.55 3/737 19062
/proc/meminfo: memFree=19195552/32950928 swapFree=38525204/67111528
[pid=19053] ppid=19051 vsize=295940 CPUtime=0.7 cores=1,3,5,7
/proc/19053/stat : 19053 (python) S 19051 19053 17436 0 -1 4202496 10674 930 1 0 52 18 0 0 18 0 2 0 869368469 303042560 7846 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/19053/statm: 73985 7846 1862 364 0 8872 0
[pid=19059] ppid=19053 vsize=285696 CPUtime=0.03 cores=1,3,5,7
/proc/19059/stat : 19059 (python) S 19053 19053 17436 0 -1 4202560 902 0 0 0 2 1 0 0 15 0 1 0 869368558 292552704 6356 33554432000 4194304 5683644 140735774320144 18446744073709551615 208080252431 0 0 16781312 33554946 5623606151888251712 0 0 17 5 0 0 0
/proc/19059/statm: 71424 6356 376 364 0 6311 0
[pid=19061] ppid=19059 vsize=83324 CPUtime=11.79 cores=1,3,5,7
/proc/19061/stat : 19061 (scip-2.0.1.linu) R 19059 19061 19061 0 -1 4202496 20643 0 0 0 1160 19 0 0 25 0 1 0 869368558 85323776 18460 33554432000 4194304 13684479 140733356015712 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/19061/statm: 20831 18460 831 2317 0 18509 0
[pid=19053/tid=19060] ppid=19051 vsize=295940 CPUtime=0 cores=1,3,5,7
/proc/19053/task/19060/stat : 19060 (python) S 19051 19053 17436 0 -1 4202560 28 930 0 0 0 0 0 0 18 0 2 0 869368558 303042560 7846 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469840537792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 664960
[startup+25.5007 s]
/proc/loadavg: 2.03 2.02 1.55 3/737 19062
/proc/meminfo: memFree=19167212/32950928 swapFree=38525204/67111528
[pid=19053] ppid=19051 vsize=295940 CPUtime=0.7 cores=1,3,5,7
/proc/19053/stat : 19053 (python) S 19051 19053 17436 0 -1 4202496 10674 930 1 0 52 18 0 0 18 0 2 0 869368469 303042560 7846 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/19053/statm: 73985 7846 1862 364 0 8872 0
[pid=19059] ppid=19053 vsize=285696 CPUtime=0.1 cores=1,3,5,7
/proc/19059/stat : 19059 (python) S 19053 19053 17436 0 -1 4202560 911 0 0 0 6 4 0 0 15 0 1 0 869368558 292552704 6356 33554432000 4194304 5683644 140735774320144 18446744073709551615 208080252431 0 0 16781312 33554946 5623606151888251712 0 0 17 5 0 0 0
/proc/19059/statm: 71424 6356 376 364 0 6311 0
[pid=19061] ppid=19059 vsize=114676 CPUtime=24.59 cores=1,3,5,7
/proc/19061/stat : 19061 (scip-2.0.1.linu) R 19059 19061 19061 0 -1 4202496 28462 0 0 0 2415 44 0 0 25 0 1 0 869368558 117428224 26121 33554432000 4194304 13684479 140733356015712 18446744073709551615 7388639 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/19061/statm: 28669 26121 871 2317 0 26347 0
[pid=19053/tid=19060] ppid=19051 vsize=295940 CPUtime=0 cores=1,3,5,7
/proc/19053/task/19060/stat : 19060 (python) S 19051 19053 17436 0 -1 4202560 28 930 0 0 0 0 0 0 18 0 2 0 869368558 303042560 7846 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469840537792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 696312
[startup+51.1017 s]
/proc/loadavg: 2.02 2.02 1.56 3/759 19085
/proc/meminfo: memFree=19100920/32950928 swapFree=38525204/67111528
[pid=19053] ppid=19051 vsize=306820 CPUtime=0.73 cores=1,3,5,7
/proc/19053/stat : 19053 (python) S 19051 19053 17436 0 -1 4202496 11564 930 1 0 54 19 0 0 20 0 3 0 869368469 314183680 7987 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/19053/statm: 76705 7987 1873 364 0 11589 0
[pid=19059] ppid=19053 vsize=295940 CPUtime=0.21 cores=1,3,5,7
/proc/19059/stat : 19059 (python) S 19053 19053 17436 0 -1 4202560 1084 0 0 0 11 10 0 0 17 0 2 0 869368558 303042560 6392 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/19059/statm: 73985 6392 407 364 0 8872 0
[pid=19061] ppid=19059 vsize=114676 CPUtime=48.05 cores=1,3,5,7
/proc/19061/stat : 19061 (scip-2.0.1.linu) T 19059 19061 19061 0 -1 4202496 28463 0 0 0 4745 60 0 0 25 0 1 0 869368558 117428224 26122 33554432000 4194304 13684479 140733356015712 18446744073709551615 7361400 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/19061/statm: 28669 26122 871 2317 0 26347 0
[pid=19059/tid=19064] ppid=19053 vsize=295940 CPUtime=0 cores=1,3,5,7
/proc/19059/task/19064/stat : 19064 (python) S 19053 19053 17436 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869373365 303042560 6392 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554946 18446604455128111808 0 0 -1 7 0 0 0
[pid=19065] ppid=19053 vsize=296576 CPUtime=0 cores=1,3,5,7
/proc/19065/stat : 19065 (python) S 19053 19053 17436 0 -1 4202560 784 0 0 0 0 0 0 0 15 0 1 0 869373368 303693824 6459 33554432000 4194304 5683644 140735774320144 18446744073709551615 208080252486 0 0 16781312 33554946 13777643039843385605 0 0 17 7 0 0 0
/proc/19065/statm: 74144 6459 349 364 0 9028 0
[pid=19067] ppid=19065 vsize=8537832 CPUtime=2.98 cores=1,3,5,7
/proc/19067/stat : 19067 (java) S 19065 19067 19067 0 -1 4202496 21817 0 1 0 294 4 0 0 20 0 19 0 869373368 8742739968 18458 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19067/statm: 2134458 18458 2255 9 0 2125199 0
[pid=19067/tid=19068] ppid=19065 vsize=8537832 CPUtime=2.06 cores=1,3,5,7
/proc/19067/task/19068/stat : 19068 (java) R 19065 19067 19067 0 -1 4202560 11658 0 1 0 204 2 0 0 25 0 19 0 869373369 8742739968 18458 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 46912505839869 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19067/tid=19069] ppid=19065 vsize=8537832 CPUtime=0 cores=1,3,5,7
/proc/19067/task/19069/stat : 19069 (java) S 19065 19067 19067 0 -1 4202560 329 0 0 0 0 0 0 0 15 0 19 0 869373369 8742739968 18458 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446604457050415424 0 0 -1 3 0 0 0
[pid=19067/tid=19070] ppid=19065 vsize=8537832 CPUtime=0 cores=1,3,5,7
/proc/19067/task/19070/stat : 19070 (java) S 19065 19067 19067 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 19 0 869373369 8742739968 18458 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446604457050415424 0 0 -1 1 0 0 0
[pid=19067/tid=19071] ppid=19065 vsize=8537832 CPUtime=0 cores=1,3,5,7
/proc/19067/task/19071/stat : 19071 (java) S 19065 19067 19067 0 -1 4202560 211 0 0 0 0 0 0 0 15 0 19 0 869373369 8742739968 18458 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446604457050415424 0 0 -1 1 0 0 0
[pid=19067/tid=19072] ppid=19065 vsize=8537832 CPUtime=0 cores=1,3,5,7
/proc/19067/task/19072/stat : 19072 (java) S 19065 19067 19067 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869373369 8742739968 18458 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446604457050415424 0 0 -1 1 0 0 0
[pid=19067/tid=19073] ppid=19065 vsize=8537832 CPUtime=0 cores=1,3,5,7
/proc/19067/task/19073/stat : 19073 (java) S 19065 19067 19067 0 -1 4202560 432 0 0 0 0 0 0 0 16 0 19 0 869373369 8742739968 18458 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446604457050415424 0 0 -1 1 0 0 0
[pid=19067/tid=19074] ppid=19065 vsize=8537832 CPUtime=0 cores=1,3,5,7
/proc/19067/task/19074/stat : 19074 (java) S 19065 19067 19067 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869373369 8742739968 18458 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446604457050415424 0 0 -1 1 0 0 0
[pid=19067/tid=19075] ppid=19065 vsize=8537832 CPUtime=0 cores=1,3,5,7
/proc/19067/task/19075/stat : 19075 (java) S 19065 19067 19067 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869373369 8742739968 18458 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446604457050415424 0 0 -1 1 0 0 0
[pid=19067/tid=19076] ppid=19065 vsize=8537832 CPUtime=0 cores=1,3,5,7
/proc/19067/task/19076/stat : 19076 (java) S 19065 19067 19067 0 -1 4202560 246 0 0 0 0 0 0 0 16 0 19 0 869373369 8742739968 18458 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446604457050415424 0 0 -1 3 0 0 0
[pid=19067/tid=19077] ppid=19065 vsize=8537832 CPUtime=0.02 cores=1,3,5,7
/proc/19067/task/19077/stat : 19077 (java) S 19065 19067 19067 0 -1 4202560 922 0 0 0 2 0 0 0 15 0 19 0 869373370 8742739968 18458 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048896 0 0 0 16800975 18446604457050415424 0 0 -1 7 0 0 0
[pid=19067/tid=19078] ppid=19065 vsize=8537832 CPUtime=0 cores=1,3,5,7
/proc/19067/task/19078/stat : 19078 (java) S 19065 19067 19067 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869373371 8742739968 18458 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446604457050415424 0 0 -1 7 0 0 0
[pid=19067/tid=19079] ppid=19065 vsize=8537832 CPUtime=0 cores=1,3,5,7
/proc/19067/task/19079/stat : 19079 (java) S 19065 19067 19067 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869373371 8742739968 18458 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446604457050415424 0 0 -1 3 0 0 0
[pid=19067/tid=19080] ppid=19065 vsize=8537832 CPUtime=0 cores=1,3,5,7
/proc/19067/task/19080/stat : 19080 (java) S 19065 19067 19067 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869373373 8742739968 18458 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092055985 0 4 0 16800975 18446604457050415424 0 0 -1 3 0 0 0
[pid=19067/tid=19081] ppid=19065 vsize=8537832 CPUtime=0.44 cores=1,3,5,7
/proc/19067/task/19081/stat : 19081 (java) S 19065 19067 19067 0 -1 4202560 2197 0 0 0 44 0 0 0 15 0 19 0 869373373 8742739968 18458 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446604457050415424 0 0 -1 1 0 0 0
[pid=19067/tid=19082] ppid=19065 vsize=8537832 CPUtime=0.42 cores=1,3,5,7
/proc/19067/task/19082/stat : 19082 (java) S 19065 19067 19067 0 -1 4202560 4229 0 0 0 42 0 0 0 15 0 19 0 869373373 8742739968 18458 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446604457050415424 0 0 -1 7 0 0 0
[pid=19067/tid=19083] ppid=19065 vsize=8537832 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/19090/stat : 19090 (scip-2.0.1.linu) T 19088 19090 19090 0 -1 4202496 33344 0 0 0 4922 40 0 0 25 0 1 0 869377903 104333312 20105 33554432000 4194304 15243407 140735256996288 18446744073709551615 8108253 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/19090/statm: 25472 20105 935 2698 0 22767 0
[pid=19088/tid=19800] ppid=19053 vsize=306832 CPUtime=0 cores=1,3,5,7
/proc/19088/task/19800/stat : 19800 (python) S 19053 19053 17436 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 869382868 314195968 6518 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554946 18446604465987405824 0 0 -1 7 0 0 0
[pid=19801] ppid=19053 vsize=317088 CPUtime=0.08 cores=1,3,5,7
/proc/19801/stat : 19801 (python) S 19053 19053 17436 0 -1 4202560 1000 0 0 0 4 4 0 0 16 0 1 0 869382870 324698112 6497 33554432000 4194304 5683644 140735774320144 18446744073709551615 208080252486 0 0 16781312 33554946 5623753486446373696 0 0 17 7 0 0 0
/proc/19801/statm: 79272 6497 379 364 0 14150 0
[pid=19803] ppid=19801 vsize=95240 CPUtime=18.28 cores=1,3,5,7
/proc/19803/stat : 19803 (wbo1.4a) R 19801 19803 19803 0 -1 4202496 23908 0 0 0 1808 20 0 0 25 0 1 0 869382871 97525760 23361 33554432000 134512640 135751879 4294407920 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/19803/statm: 23810 23361 146 303 0 23505 0
[pid=19053/tid=19060] ppid=19051 vsize=327332 CPUtime=0 cores=1,3,5,7
/proc/19053/task/19060/stat : 19060 (python) S 19051 19053 17436 0 -1 4202560 28 930 0 0 0 0 0 0 18 0 5 0 869368558 335187968 7999 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469840537792 0 0 -1 7 0 0 0
[pid=19053/tid=19066] ppid=19051 vsize=327332 CPUtime=0 cores=1,3,5,7
/proc/19053/task/19066/stat : 19066 (python) S 19051 19053 17436 0 -1 4202560 23 930 0 0 0 0 0 0 20 0 5 0 869373368 335187968 7999 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469840537792 0 0 -1 3 0 0 0
[pid=19053/tid=19089] ppid=19051 vsize=327332 CPUtime=0 cores=1,3,5,7
/proc/19053/task/19089/stat : 19089 (python) S 19051 19053 17436 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 5 0 869377903 335187968 7999 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469840537792 0 0 -1 3 0 0 0
[pid=19053/tid=19802] ppid=19051 vsize=327332 CPUtime=0 cores=1,3,5,7
/proc/19053/task/19802/stat : 19802 (python) S 19051 19053 17436 0 -1 4202560 24 930 0 0 0 0 0 0 20 0 5 0 869382871 335187968 7999 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469840537792 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 163.75
Current children cumulated vsize (KiB) 10392596
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+194.601 s]
/proc/loadavg: 2.21 2.10 1.65 5/781 19869
/proc/meminfo: memFree=18234216/32950928 swapFree=38525204/67111528
[pid=19053] ppid=19051 vsize=337588 CPUtime=0.81 cores=1,3,5,7
/proc/19053/stat : 19053 (python) S 19051 19053 17436 0 -1 4202496 14358 930 1 0 61 20 0 0 20 0 6 0 869368469 345690112 8005 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/19053/statm: 84397 8005 1879 364 0 19272 0
[pid=19059] ppid=19053 vsize=295940 CPUtime=0.21 cores=1,3,5,7
/proc/19059/stat : 19059 (python) S 19053 19053 17436 0 -1 4202560 1084 0 0 0 11 10 0 0 17 0 2 0 869368558 303042560 6392 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/19059/statm: 73985 6392 407 364 0 8872 0
[pid=19061] ppid=19059 vsize=114676 CPUtime=48.05 cores=1,3,5,7
/proc/19061/stat : 19061 (scip-2.0.1.linu) T 19059 19061 19061 0 -1 4202496 28463 0 0 0 4745 60 0 0 25 0 1 0 869368558 117428224 26122 33554432000 4194304 13684479 140733356015712 18446744073709551615 7361400 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/19061/statm: 28669 26122 871 2317 0 26347 0
[pid=19059/tid=19064] ppid=19053 vsize=295940 CPUtime=0 cores=1,3,5,7
/proc/19059/task/19064/stat : 19064 (python) S 19053 19053 17436 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869373365 303042560 6392 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554946 18446604455128111808 0 0 -1 7 0 0 0
[pid=19065] ppid=19053 vsize=296576 CPUtime=0.21 cores=1,3,5,7
/proc/19065/stat : 19065 (python) S 19053 19053 17436 0 -1 4202560 1102 0 0 0 11 10 0 0 17 0 2 0 869373368 303693824 6508 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/19065/statm: 74144 6508 397 364 0 9028 0
[pid=19067] ppid=19065 vsize=8537024 CPUtime=46.3 cores=1,3,5,7
/proc/19067/stat : 19067 (java) T 19065 19067 19067 0 -1 4202496 25142 0 1 0 4626 4 0 0 18 0 19 0 869373368 8741912576 21617 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19067/statm: 2134256 21617 2255 9 0 2124997 0
[pid=19067/tid=19068] ppid=19065 vsize=8537024 CPUtime=44.8 cores=1,3,5,7
/proc/19067/task/19068/stat : 19068 (java) T 19065 19067 19067 0 -1 4202560 11683 0 1 0 4478 2 0 0 25 0 19 0 869373369 8741912576 21617 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19067/tid=19069] ppid=19065 vsize=8537024 CPUtime=0.01 cores=1,3,5,7
/proc/19067/task/19069/stat : 19069 (java) T 19065 19067 19067 0 -1 4202560 517 0 0 0 1 0 0 0 15 0 19 0 869373369 8741912576 21617 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19067/tid=19070] ppid=19065 vsize=8537024 CPUtime=0.01 cores=1,3,5,7
/proc/19067/task/19070/stat : 19070 (java) T 19065 19067 19067 0 -1 4202560 390 0 0 0 1 0 0 0 15 0 19 0 869373369 8741912576 21617 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19067/tid=19071] ppid=19065 vsize=8537024 CPUtime=0.03 cores=1,3,5,7
/proc/19067/task/19071/stat : 19071 (java) T 19065 19067 19067 0 -1 4202560 497 0 0 0 3 0 0 0 15 0 19 0 869373369 8741912576 21617 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19067/tid=19072] ppid=19065 vsize=8537024 CPUtime=0.02 cores=1,3,5,7
/proc/19067/task/19072/stat : 19072 (java) T 19065 19067 19067 0 -1 4202560 195 0 0 0 2 0 0 0 15 0 19 0 869373369 8741912576 21617 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19067/tid=19073] ppid=19065 vsize=8537024 CPUtime=0.01 cores=1,3,5,7
/proc/19067/task/19073/stat : 19073 (java) T 19065 19067 19067 0 -1 4202560 581 0 0 0 1 0 0 0 15 0 19 0 869373369 8741912576 21617 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19067/tid=19074] ppid=19065 vsize=8537024 CPUtime=0.01 cores=1,3,5,7
/proc/19067/task/19074/stat : 19074 (java) T 19065 19067 19067 0 -1 4202560 335 0 0 0 1 0 0 0 15 0 19 0 869373369 8741912576 21617 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19067/tid=19075] ppid=19065 vsize=8537024 CPUtime=0.01 cores=1,3,5,7
/proc/19067/task/19075/stat : 19075 (java) T 19065 19067 19067 0 -1 4202560 92 0 0 0 1 0 0 0 15 0 19 0 869373369 8741912576 21617 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19067/tid=19076] ppid=19065 vsize=8537024 CPUtime=0.01 cores=1,3,5,7
/proc/19067/task/19076/stat : 19076 (java) T 19065 19067 19067 0 -1 4202560 987 0 0 0 1 0 0 0 15 0 19 0 869373369 8741912576 21617 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19067/tid=19077] ppid=19065 vsize=8537024 CPUtime=0.39 cores=1,3,5,7
/proc/19067/task/19077/stat : 19077 (java) T 19065 19067 19067 0 -1 4202560 2024 0 0 0 39 0 0 0 15 0 19 0 869373370 8741912576 21617 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 47892211445968 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19067/tid=19078] ppid=19065 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/19067/task/19078/stat : 19078 (java) T 19065 19067 19067 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869373371 8741912576 21617 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19067/tid=19079] ppid=19065 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/19067/task/19079/stat : 19079 (java) T 19065 19067 19067 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869373371 8741912576 21617 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19067/tid=19080] ppid=19065 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/19067/task/19080/stat : 19080 (java) T 19065 19067 19067 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869373373 8741912576 21617 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092055985 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19067/tid=19081] ppid=19065 vsize=8537024 CPUtime=0.45 cores=1,3,5,7
/proc/19067/task/19081/stat : 19081 (java) T 19065 19067 19067 0 -1 4202560 2197 0 0 0 45 0 0 0 15 0 19 0 869373373 8741912576 21617 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=19067/tid=19082] ppid=19065 vsize=8537024 CPUtime=0.47 cores=1,3,5,7
/proc/19067/task/19082/stat : 19082 (java) T 19065 19067 19067 0 -1 4202560 4246 0 0 0 47 0 0 0 15 0 19 0 869373373 8741912576 21617 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=19067/tid=19083] ppid=19065 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/19067/task/19083/stat : 19083 (java) T 19065 19067 19067 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869373373 8741912576 21617 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19067/tid=19084] ppid=19065 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/19067/task/19084/stat : 19084 (java) T 19065 19067 19067 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869373373 8741912576 21617 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19067/tid=19085] ppid=19065 vsize=8537024 CPUtime=0 cores=1,3,5,7
/proc/19067/task/19085/stat : 19085 (java) T 19065 19067 19067 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 869373410 8741912576 21617 33554432000 1073741824 1073778376 140736740583664 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=19065/tid=19087] ppid=19053 vsize=296576 CPUtime=0 cores=1,3,5,7
/proc/19065/task/19087/stat : 19087 (python) S 19053 19053 17436 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869377900 303693824 6508 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554946 18446604459719237888 0 0 -1 7 0 0 0
[pid=19088] ppid=19053 vsize=306832 CPUtime=0.23 cores=1,3,5,7
/proc/19088/stat : 19088 (python) S 19053 19053 17436 0 -1 4202560 1171 0 0 0 11 12 0 0 16 0 2 0 869377903 314195968 6518 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/19088/statm: 76708 6518 403 364 0 11589 0
[pid=19090] ppid=19088 vsize=101888 CPUtime=49.62 cores=1,3,5,7
/proc/19090/stat : 19090 (scip-2.0.1.linu) T 19088 19090 19090 0 -1 4202496 33344 0 0 0 4922 40 0 0 25 0 1 0 869377903 104333312 20105 33554432000 4194304 15243407 140735256996288 18446744073709551615 8108253 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/19090/statm: 25472 20105 935 2698 0 22767 0
[pid=19088/tid=19800] ppid=19053 vsize=306832 CPUtime=0 cores=1,3,5,7
/proc/19088/task/19800/stat : 19800 (python) S 19053 19053 17436 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 869382868 314195968 6518 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554946 18446604465987405824 0 0 -1 7 0 0 0
[pid=19801] ppid=19053 vsize=382624 CPUtime=0.23 cores=1,3,5,7
/proc/19801/stat : 19801 (python) S 19053 19053 17436 0 -1 4202560 1187 0 0 0 10 13 0 0 17 0 2 0 869382870 391806976 6523 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/19801/statm: 95656 6523 403 364 0 30534 0
[pid=19803] ppid=19801 vsize=286940 CPUtime=50.17 cores=1,3,5,7
/proc/19803/stat : 19803 (wbo1.4a) T 19801 19803 19803 0 -1 4202496 71814 0 0 0 4951 66 0 0 25 0 1 0 869382871 293826560 71267 33554432000 134512640 135751879 4294407920 18446744073709551615 134616505 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/19803/statm: 71735 71267 146 303 0 71430 0
[pid=19801/tid=19849] ppid=19053 vsize=382624 CPUtime=0 cores=1,3,5,7
/proc/19801/task/19849/stat : 19849 (python) S 19053 19053 17436 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869387892 391806976 6523 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554946 18446604456555603776 0 0 -1 3 0 0 0
[pid=19850] ppid=19053 vsize=327344 CPUtime=0 cores=1,3,5,7
/proc/19850/stat : 19850 (python) S 19053 19053 17436 0 -1 4202560 806 0 0 0 0 0 0 0 18 0 1 0 869387894 335200256 6471 33554432000 4194304 5683644 140735774320144 18446744073709551615 208080252486 0 0 16781312 33554946 3931427266768142336 0 0 17 1 0 0 0
/proc/19850/statm: 81836 6471 349 364 0 16711 0
[pid=19852] ppid=19850 vsize=8535748 CPUtime=0.64 cores=1,3,5,7
/proc/19852/stat : 19852 (java) S 19850 19852 19852 0 -1 4202496 12824 0 1 0 61 3 0 0 17 0 18 0 869387895 8740605952 11240 33554432000 1073741824 1073778376 140737238885280 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19852/statm: 2133937 11240 2205 9 0 2124678 0
[pid=19852/tid=19853] ppid=19850 vsize=8536392 CPUtime=0.33 cores=1,3,5,7
/proc/19852/task/19853/stat : 19853 (java) R 19850 19852 19852 0 -1 4202560 8120 0 1 0 31 2 0 0 22 0 18 0 869387896 8741265408 11394 33554432000 1073741824 1073778376 140737238885280 18446744073709551615 208092058293 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19852/tid=19854] ppid=19850 vsize=8536392 CPUtime=0 cores=1,3,5,7
/proc/19852/task/19854/stat : 19854 (java) S 19850 19852 19852 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869387896 8741265408 11394 33554432000 1073741824 1073778376 140737238885280 18446744073709551615 208092048281 0 4 0 16800975 18446604468767897792 0 0 -1 5 0 0 0
[pid=19852/tid=19855] ppid=19850 vsize=8536392 CPUtime=0 cores=1,3,5,7
/proc/19852/task/19855/stat : 19855 (java) S 19850 19852 19852 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869387896 8741265408 11394 33554432000 1073741824 1073778376 140737238885280 18446744073709551615 208092048281 0 4 0 16800975 18446604468767897792 0 0 -1 3 0 0 0
[pid=19852/tid=19856] ppid=19850 vsize=8536392 CPUtime=0 cores=1,3,5,7
/proc/19852/task/19856/stat : 19856 (java) S 19850 19852 19852 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869387896 8741265408 11394 33554432000 1073741824 1073778376 140737238885280 18446744073709551615 208092048281 0 4 0 16800975 18446604468767897792 0 0 -1 3 0 0 0
[pid=19852/tid=19857] ppid=19850 vsize=8536392 CPUtime=0 cores=1,3,5,7
/proc/19852/task/19857/stat : 19857 (java) S 19850 19852 19852 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869387896 8741265408 11394 33554432000 1073741824 1073778376 140737238885280 18446744073709551615 208092048281 0 4 0 16800975 18446604468767897792 0 0 -1 3 0 0 0
[pid=19852/tid=19858] ppid=19850 vsize=8536804 CPUtime=0 cores=1,3,5,7
/proc/19852/task/19858/stat : 19858 (java) S 19850 19852 19852 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869387896 8741687296 11396 33554432000 1073741824 1073778376 140737238885280 18446744073709551615 208092048281 0 4 0 16800975 18446604468767897792 0 0 -1 3 0 0 0
[pid=19852/tid=19859] ppid=19850 vsize=8536804 CPUtime=0 cores=1,3,5,7
/proc/19852/task/19859/stat : 19859 (java) S 19850 19852 19852 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869387896 8741687296 11396 33554432000 1073741824 1073778376 140737238885280 18446744073709551615 208092048281 0 4 0 16800975 18446604468767897792 0 0 -1 3 0 0 0
[pid=19852/tid=19860] ppid=19850 vsize=8536804 CPUtime=0 cores=1,3,5,7
/proc/19852/task/19860/stat : 19860 (java) S 19850 19852 19852 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869387896 8741687296 11396 33554432000 1073741824 1073778376 140737238885280 18446744073709551615 208092048281 0 4 0 16800975 18446604468767897792 0 0 -1 3 0 0 0
[pid=19852/tid=19861] ppid=19850 vsize=8536804 CPUtime=0 cores=1,3,5,7
/proc/19852/task/19861/stat : 19861 (java) S 19850 19852 19852 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869387896 8741687296 11396 33554432000 1073741824 1073778376 140737238885280 18446744073709551615 208092048281 0 4 0 16800975 18446604468767897792 0 0 -1 3 0 0 0
[pid=19852/tid=19862] ppid=19850 vsize=8536804 CPUtime=0 cores=1,3,5,7
/proc/19852/task/19862/stat : 19862 (java) S 19850 19852 19852 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 869387897 8741687296 11396 33554432000 1073741824 1073778376 140737238885280 18446744073709551615 208092048896 0 0 0 16800975 18446604468767897792 0 0 -1 3 0 0 0
[pid=19852/tid=19863] ppid=19850 vsize=8536804 CPUtime=0 cores=1,3,5,7
/proc/19852/task/19863/stat : 19863 (java) S 19850 19852 19852 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 869387898 8741687296 11396 33554432000 1073741824 1073778376 140737238885280 18446744073709551615 208092048281 0 4 0 16800975 18446604468767897792 0 0 -1 5 0 0 0
[pid=19852/tid=19864] ppid=19850 vsize=8536804 CPUtime=0 cores=1,3,5,7
/proc/19852/task/19864/stat : 19864 (java) S 19850 19852 19852 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 869387898 8741687296 11396 33554432000 1073741824 1073778376 140737238885280 18446744073709551615 208092048281 0 4 0 16800975 18446604468767897792 0 0 -1 5 0 0 0
[pid=19852/tid=19865] ppid=19850 vsize=8536804 CPUtime=0 cores=1,3,5,7
/proc/19852/task/19865/stat : 19865 (java) S 19850 19852 19852 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869387900 8741687296 11396 33554432000 1073741824 1073778376 140737238885280 18446744073709551615 208092055985 0 4 0 16800975 18446604468767897792 0 0 -1 5 0 0 0
[pid=19852/tid=19866] ppid=19850 vsize=8536804 CPUtime=0.11 cores=1,3,5,7
/proc/19852/task/19866/stat : 19866 (java) S 19850 19852 19852 0 -1 4202560 1335 0 0 0 11 0 0 0 19 0 18 0 869387900 8741687296 11396 33554432000 1073741824 1073778376 140737238885280 18446744073709551615 208092048281 0 4 0 16800975 18446604468767897792 0 0 -1 5 0 0 0
[pid=19852/tid=19867] ppid=19850 vsize=8536804 CPUtime=0.18 cores=1,3,5,7
/proc/19852/task/19867/stat : 19867 (java) R 19850 19852 19852 0 -1 4202560 2236 0 0 0 18 0 0 0 19 0 18 0 869387900 8741687296 11396 33554432000 1073741824 1073778376 140737238885280 18446744073709551615 47519671959959 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19852/tid=19868] ppid=19850 vsize=8536804 CPUtime=0 cores=1,3,5,7
/proc/19852/task/19868/stat : 19868 (java) S 19850 19852 19852 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869387900 8741687296 11396 33554432000 1073741824 1073778376 140737238885280 18446744073709551615 208092048281 0 4 0 16800975 18446604468767897792 0 0 -1 5 0 0 0
[pid=19852/tid=19869] ppid=19850 vsize=8536804 CPUtime=0 cores=1,3,5,7
/proc/19852/task/19869/stat : 19869 (java) R 19850 19852 19852 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869387900 8741687296 11396 33554432000 1073741824 1073778376 140737238885280 18446744073709551615 208092048896 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19053/tid=19060] ppid=19051 vsize=337588 CPUtime=0 cores=1,3,5,7
/proc/19053/task/19060/stat : 19060 (python) S 19051 19053 17436 0 -1 4202560 28 930 0 0 0 0 0 0 18 0 6 0 869368558 345690112 8005 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469840537792 0 0 -1 7 0 0 0
[pid=19053/tid=19066] ppid=19051 vsize=337588 CPUtime=0 cores=1,3,5,7
/proc/19053/task/19066/stat : 19066 (python) S 19051 19053 17436 0 -1 4202560 23 930 0 0 0 0 0 0 20 0 6 0 869373368 345690112 8005 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469840537792 0 0 -1 3 0 0 0
[pid=19053/tid=19089] ppid=19051 vsize=337588 CPUtime=0 cores=1,3,5,7
/proc/19053/task/19089/stat : 19089 (python) S 19051 19053 17436 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 6 0 869377903 345690112 8005 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469840537792 0 0 -1 3 0 0 0
[pid=19053/tid=19802] ppid=19051 vsize=337588 CPUtime=0 cores=1,3,5,7
/proc/19053/task/19802/stat : 19802 (python) S 19051 19053 17436 0 -1 4202560 24 930 0 0 0 0 0 0 20 0 6 0 869382871 345690112 8005 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469840537792 0 0 -1 1 0 0 0
[pid=19053/tid=19851] ppid=19051 vsize=337588 CPUtime=0 cores=1,3,5,7
/proc/19053/task/19851/stat : 19851 (python) S 19051 19053 17436 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 869387895 345690112 8005 33554432000 4194304 5683644 140735774320144 18446744073709551615 208092055985 0 0 16781312 33554434 18446604469840537792 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 196.47
Current children cumulated vsize (KiB) 19523180
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 19053 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=612906
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=205968
# CPU time returned by wait4() is 0.818874
# while last known CPU time is 196.47
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 194.686
CPU time (s): 196.47
CPU user time (s): 194.09
CPU system time (s): 2.38
CPU usage (%): 100.916
Max. virtual memory (cumulated for all children) (KiB): 19523180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.612906
system time used= 0.205968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15290
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= 2557
involuntary context switches= 18
runsolver used 1.23881 second user time and 2.73258 second system time
The end