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-3481911-1307577391/watcher-3481911-1307577391 -o /tmp/evaluation-result-3481911-1307577391/solver-3481911-1307577391 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481911-1307577391.opb -seed 2144739014 -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.32 2.08 1.40 2/576 15576
/proc/meminfo: memFree=22510108/32951124 swapFree=57654872/67111528
[pid=15576] ppid=15574 vsize=15388 CPUtime=0 cores=1,3,5,7
/proc/15576/stat : 15576 (python) R 15574 15576 14938 0 -1 4202496 812 0 0 0 0 0 0 0 19 0 1 0 869337320 15757312 698 33554432000 4194304 5683644 140733895022144 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15576/statm: 3847 698 334 364 0 334 0
[startup+0.0267909 s]
/proc/loadavg: 2.32 2.08 1.40 2/576 15576
/proc/meminfo: memFree=22510108/32951124 swapFree=57654872/67111528
[pid=15576] ppid=15574 vsize=16400 CPUtime=0.01 cores=1,3,5,7
/proc/15576/stat : 15576 (python) R 15574 15576 14938 0 -1 4202496 1117 0 0 0 1 0 0 0 19 0 1 0 869337320 16793600 985 33554432000 4194304 5683644 140733895022144 18446744073709551615 232335888229 0 2147483391 16781312 2 0 0 0 17 3 0 0 0
/proc/15576/statm: 4100 985 409 364 0 587 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16400
[startup+0.100794 s]
/proc/loadavg: 2.32 2.08 1.40 2/576 15576
/proc/meminfo: memFree=22510108/32951124 swapFree=57654872/67111528
[pid=15576] ppid=15574 vsize=85624 CPUtime=0.06 cores=1,3,5,7
/proc/15576/stat : 15576 (python) R 15574 15576 14938 0 -1 4202496 2664 0 0 0 5 1 0 0 17 0 1 0 869337320 87678976 2382 33554432000 4194304 5683644 140733895022144 18446744073709551615 232335890432 0 2147483391 16781312 2 0 0 0 17 3 0 0 0
/proc/15576/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.300808 s]
/proc/loadavg: 2.32 2.08 1.40 2/576 15576
/proc/meminfo: memFree=22510108/32951124 swapFree=57654872/67111528
[pid=15576] ppid=15574 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/15576/stat : 15576 (python) R 15574 15576 14938 0 -1 4202496 5357 931 1 0 13 4 0 0 16 0 1 0 869337320 126713856 3744 33554432000 4194304 5683644 140733895022144 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15576/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700705 s]
/proc/loadavg: 2.32 2.08 1.40 2/576 15576
/proc/meminfo: memFree=22510108/32951124 swapFree=57654872/67111528
[pid=15576] ppid=15574 vsize=282828 CPUtime=0.42 cores=1,3,5,7
/proc/15576/stat : 15576 (python) R 15574 15576 14938 0 -1 4202496 9369 931 1 0 32 10 0 0 16 0 1 0 869337320 289615872 7090 33554432000 4194304 5683644 140733895022144 18446744073709551615 232339301041 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/15576/statm: 70707 7090 1855 364 0 5597 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282828
[startup+1.50055 s]
/proc/loadavg: 2.32 2.08 1.40 3/580 15584
/proc/meminfo: memFree=22469520/32951124 swapFree=57654872/67111528
[pid=15576] ppid=15574 vsize=293084 CPUtime=0.44 cores=1,3,5,7
/proc/15576/stat : 15576 (python) S 15574 15576 14938 0 -1 4202496 9692 931 1 0 34 10 0 0 18 0 2 0 869337320 300118016 7140 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/15576/statm: 73271 7140 1870 364 0 8158 0
[pid=15582] ppid=15576 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/15582/stat : 15582 (python) S 15576 15576 14938 0 -1 4202560 825 0 0 0 0 0 0 0 15 0 1 0 869337392 289628160 5624 33554432000 4194304 5683644 140733895022144 18446744073709551615 232335912463 0 0 16781312 33554946 2590896247732699136 0 0 17 7 0 0 0
/proc/15582/statm: 70710 5624 358 364 0 5597 0
[pid=15584] ppid=15582 vsize=26680 CPUtime=0.77 cores=1,3,5,7
/proc/15584/stat : 15584 (scip-2.0.1.linu) R 15582 15584 15584 0 -1 4202496 6012 0 0 0 63 14 0 0 18 0 1 0 869337392 27320320 4431 33554432000 4194304 13684479 140737142518160 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15584/statm: 6670 4431 805 2317 0 4348 0
[pid=15576/tid=15583] ppid=15574 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/15576/task/15583/stat : 15583 (python) S 15574 15576 14938 0 -1 4202560 23 931 0 0 0 0 0 0 18 0 2 0 869337392 300118016 7140 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554434 18446604455948256448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 602604
[startup+3.34622 s]
/proc/loadavg: 2.32 2.08 1.40 3/580 15584
/proc/meminfo: memFree=22469520/32951124 swapFree=57654872/67111528
[pid=15576] ppid=15574 vsize=293084 CPUtime=0.44 cores=1,3,5,7
/proc/15576/stat : 15576 (python) S 15574 15576 14938 0 -1 4202496 9692 931 1 0 34 10 0 0 18 0 2 0 869337320 300118016 7140 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/15576/statm: 73271 7140 1870 364 0 8158 0
[pid=15582] ppid=15576 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/15582/stat : 15582 (python) S 15576 15576 14938 0 -1 4202560 836 0 0 0 0 0 0 0 15 0 1 0 869337392 289628160 5624 33554432000 4194304 5683644 140733895022144 18446744073709551615 232335912463 0 0 16781312 33554946 1790644970340745216 0 0 17 7 0 0 0
/proc/15582/statm: 70710 5624 358 364 0 5597 0
[pid=15584] ppid=15582 vsize=34140 CPUtime=2.61 cores=1,3,5,7
/proc/15584/stat : 15584 (scip-2.0.1.linu) R 15582 15584 15584 0 -1 4202496 14146 0 0 0 212 49 0 0 18 0 1 0 869337392 34959360 5854 33554432000 4194304 13684479 140737142518160 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15584/statm: 8535 5854 809 2317 0 6213 0
[pid=15576/tid=15583] ppid=15574 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/15576/task/15583/stat : 15583 (python) S 15574 15576 14938 0 -1 4202560 23 931 0 0 0 0 0 0 18 0 2 0 869337392 300118016 7140 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554434 18446604455948256448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 610064
[startup+6.3007 s]
/proc/loadavg: 2.29 2.07 1.40 3/580 15584
/proc/meminfo: memFree=22454700/32951124 swapFree=57654872/67111528
[pid=15576] ppid=15574 vsize=293084 CPUtime=0.44 cores=1,3,5,7
/proc/15576/stat : 15576 (python) S 15574 15576 14938 0 -1 4202496 9692 931 1 0 34 10 0 0 18 0 2 0 869337320 300118016 7140 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/15576/statm: 73271 7140 1870 364 0 8158 0
[pid=15582] ppid=15576 vsize=282972 CPUtime=0.04 cores=1,3,5,7
/proc/15582/stat : 15582 (python) S 15576 15576 14938 0 -1 4202560 975 0 0 0 3 1 0 0 15 0 1 0 869337392 289763328 5652 33554432000 4194304 5683644 140733895022144 18446744073709551615 232335912463 0 0 16781312 33554946 1719643302602473472 0 0 17 7 0 0 0
/proc/15582/statm: 70743 5652 384 364 0 5630 0
[pid=15584] ppid=15582 vsize=34140 CPUtime=5.56 cores=1,3,5,7
/proc/15584/stat : 15584 (scip-2.0.1.linu) R 15582 15584 15584 0 -1 4202496 14496 0 0 0 457 99 0 0 18 0 1 0 869337392 34959360 6204 33554432000 4194304 13684479 140737142518160 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15584/statm: 8535 6204 809 2317 0 6213 0
[pid=15576/tid=15583] ppid=15574 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/15576/task/15583/stat : 15583 (python) S 15574 15576 14938 0 -1 4202560 23 931 0 0 0 0 0 0 18 0 2 0 869337392 300118016 7140 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554434 18446604455948256448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 610196
[startup+12.7186 s]
/proc/loadavg: 2.27 2.07 1.41 3/580 15585
/proc/meminfo: memFree=22434272/32951124 swapFree=57654872/67111528
[pid=15576] ppid=15574 vsize=293084 CPUtime=0.44 cores=1,3,5,7
/proc/15576/stat : 15576 (python) S 15574 15576 14938 0 -1 4202496 9692 931 1 0 34 10 0 0 18 0 2 0 869337320 300118016 7140 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/15576/statm: 73271 7140 1870 364 0 8158 0
[pid=15582] ppid=15576 vsize=282972 CPUtime=0.09 cores=1,3,5,7
/proc/15582/stat : 15582 (python) S 15576 15576 14938 0 -1 4202560 996 0 0 0 6 3 0 0 15 0 1 0 869337392 289763328 5669 33554432000 4194304 5683644 140733895022144 18446744073709551615 232335912463 0 0 16781312 33554946 3535796298462527488 0 0 17 3 0 0 0
/proc/15582/statm: 70743 5669 384 364 0 5630 0
[pid=15584] ppid=15582 vsize=44104 CPUtime=11.99 cores=1,3,5,7
/proc/15584/stat : 15584 (scip-2.0.1.linu) R 15582 15584 15584 0 -1 4202496 17891 0 0 0 986 213 0 0 18 0 1 0 869337392 45162496 8661 33554432000 4194304 13684479 140737142518160 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15584/statm: 11026 8661 809 2317 0 8704 0
[pid=15576/tid=15583] ppid=15574 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/15576/task/15583/stat : 15583 (python) S 15574 15576 14938 0 -1 4202560 23 931 0 0 0 0 0 0 18 0 2 0 869337392 300118016 7140 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554434 18446604455948256448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 620160
[startup+25.5003 s]
/proc/loadavg: 2.23 2.07 1.41 3/580 15585
/proc/meminfo: memFree=22412008/32951124 swapFree=57654872/67111528
[pid=15576] ppid=15574 vsize=293084 CPUtime=0.44 cores=1,3,5,7
/proc/15576/stat : 15576 (python) S 15574 15576 14938 0 -1 4202496 9692 931 1 0 34 10 0 0 18 0 2 0 869337320 300118016 7140 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/15576/statm: 73271 7140 1870 364 0 8158 0
[pid=15582] ppid=15576 vsize=283224 CPUtime=0.2 cores=1,3,5,7
/proc/15582/stat : 15582 (python) S 15576 15576 14938 0 -1 4202560 1025 0 0 0 13 7 0 0 15 0 1 0 869337392 290021376 5692 33554432000 4194304 5683644 140733895022144 18446744073709551615 232335912463 0 0 16781312 33554946 2576835027316768768 0 0 17 3 0 0 0
/proc/15582/statm: 70806 5692 384 364 0 5693 0
[pid=15584] ppid=15582 vsize=52804 CPUtime=24.77 cores=1,3,5,7
/proc/15584/stat : 15584 (scip-2.0.1.linu) R 15582 15584 15584 0 -1 4202496 20868 0 0 0 2031 446 0 0 18 0 1 0 869337392 54071296 10702 33554432000 4194304 13684479 140737142518160 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15584/statm: 13201 10702 809 2317 0 10879 0
[pid=15576/tid=15583] ppid=15574 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/15576/task/15583/stat : 15583 (python) S 15574 15576 14938 0 -1 4202560 23 931 0 0 0 0 0 0 18 0 2 0 869337392 300118016 7140 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554434 18446604455948256448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 629112
[startup+51.1007 s]
/proc/loadavg: 2.19 2.08 1.43 3/580 15586
/proc/meminfo: memFree=22369028/32951124 swapFree=57654872/67111528
[pid=15576] ppid=15574 vsize=293084 CPUtime=0.44 cores=1,3,5,7
/proc/15576/stat : 15576 (python) S 15574 15576 14938 0 -1 4202496 9692 931 1 0 34 10 0 0 18 0 2 0 869337320 300118016 7140 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/15576/statm: 73271 7140 1870 364 0 8158 0
[pid=15582] ppid=15576 vsize=283224 CPUtime=0.44 cores=1,3,5,7
/proc/15582/stat : 15582 (python) S 15576 15576 14938 0 -1 4202560 1082 0 0 0 31 13 0 0 15 0 1 0 869337392 290021376 5740 33554432000 4194304 5683644 140733895022144 18446744073709551615 232335912463 0 0 16781312 33554946 882211017315057664 0 0 17 3 0 0 0
/proc/15582/statm: 70806 5740 384 364 0 5693 0
[pid=15584] ppid=15582 vsize=62632 CPUtime=50.37 cores=1,3,5,7
/proc/15584/stat : 15584 (scip-2.0.1.linu) R 15582 15584 15584 0 -1 4202496 32394 0 0 0 4100 937 0 0 18 0 1 0 869337392 64135168 13208 33554432000 4194304 13684479 140737142518160 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15584/statm: 15658 13208 809 2317 0 13336 0
[pid=15576/tid=15583] ppid=15574 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/15576/task/15583/stat : 15583 (python) S 15574 15576 14938 0 -1 4202560 23 931 0 0 0 0 0 0 18 0 2 0 869337392 300118016 7140 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554434 18446604455948256448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.25
Current children cumulated vsize (KiB) 638940
[startup+102.301 s]
/proc/loadavg: 2.08 2.06 1.46 3/584 15591
/proc/meminfo: memFree=22192804/32951124 swapFree=57654872/67111528
[pid=15576] ppid=15574 vsize=303872 CPUtime=0.46 cores=1,3,5,7
/proc/15576/stat : 15576 (python) S 15574 15576 14938 0 -1 4202496 10488 931 1 0 36 10 0 0 19 0 3 0 869337320 311164928 7265 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/15576/statm: 75968 7265 1873 364 0 10852 0
[pid=15582] ppid=15576 vsize=293972 CPUtime=0.54 cores=1,3,5,7
/proc/15582/stat : 15582 (python) S 15576 15576 14938 0 -1 4202560 1263 0 0 0 38 16 0 0 17 0 2 0 869337392 301027328 5793 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15582/statm: 73493 5793 414 364 0 8380 0
[pid=15584] ppid=15582 vsize=62632 CPUtime=59.43 cores=1,3,5,7
/proc/15584/stat : 15584 (scip-2.0.1.linu) T 15582 15584 15584 0 -1 4202496 32422 0 0 0 4832 1111 0 0 18 0 1 0 869337392 64135168 13236 33554432000 4194304 13684479 140737142518160 18446744073709551615 5206147 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/15584/statm: 15658 13236 809 2317 0 13336 0
[pid=15582/tid=15587] ppid=15576 vsize=293972 CPUtime=0 cores=1,3,5,7
/proc/15582/task/15587/stat : 15587 (python) S 15576 15576 14938 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869343336 301027328 5793 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554946 18446604465098299456 0 0 -1 7 0 0 0
[pid=15588] ppid=15576 vsize=293628 CPUtime=0.18 cores=1,3,5,7
/proc/15588/stat : 15588 (python) S 15576 15576 14938 0 -1 4202560 949 0 0 0 9 9 0 0 15 0 1 0 869343339 300675072 5761 33554432000 4194304 5683644 140733895022144 18446744073709551615 232335912518 0 0 16781312 33554946 5623753486446373613 0 0 17 7 0 0 0
/proc/15588/statm: 73407 5761 373 364 0 8291 0
[pid=15590] ppid=15588 vsize=112572 CPUtime=42.1 cores=1,3,5,7
/proc/15590/stat : 15590 (wbo1.4a) R 15588 15590 15590 0 -1 4202496 27938 0 0 0 4166 44 0 0 25 0 1 0 869343339 115273728 27674 33554432000 134512640 135751879 4287042400 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/15590/statm: 28143 27674 143 303 0 27838 0
[pid=15576/tid=15583] ppid=15574 vsize=303872 CPUtime=0 cores=1,3,5,7
/proc/15576/task/15583/stat : 15583 (python) S 15574 15576 14938 0 -1 4202560 23 931 0 0 0 0 0 0 18 0 3 0 869337392 311164928 7265 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554434 18446604455948256448 0 0 -1 3 0 0 0
[pid=15576/tid=15589] ppid=15574 vsize=303872 CPUtime=0 cores=1,3,5,7
/proc/15576/task/15589/stat : 15589 (python) S 15574 15576 14938 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 3 0 869343339 311164928 7265 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554434 18446604455948256448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.71
Current children cumulated vsize (KiB) 1066676
[startup+162.317 s]
/proc/loadavg: 2.22 2.11 1.51 3/562 15632
/proc/meminfo: memFree=25579212/32951124 swapFree=57654872/67111528
[pid=15576] ppid=15574 vsize=313900 CPUtime=0.49 cores=1,3,5,7
/proc/15576/stat : 15576 (python) S 15574 15576 14938 0 -1 4202496 11398 931 1 0 39 10 0 0 20 0 4 0 869337320 321433600 7220 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15576/statm: 78475 7220 1875 364 0 13356 0
[pid=15582] ppid=15576 vsize=293972 CPUtime=0.54 cores=1,3,5,7
################
# More data... #
################
[pid=15576/tid=15594] ppid=15574 vsize=334816 CPUtime=0 cores=1,3,5,7
/proc/15576/task/15594/stat : 15594 (python) S 15574 15576 14938 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 869347998 342851584 7331 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554434 18446604455948256448 0 0 -1 5 0 0 0
[pid=15576/tid=15640] ppid=15574 vsize=334816 CPUtime=0 cores=1,3,5,7
/proc/15576/task/15640/stat : 15640 (python) S 15574 15576 14938 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 6 0 869357599 342851584 7331 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554434 18446604455948256448 0 0 -1 5 0 0 0
[pid=15576/tid=15754] ppid=15574 vsize=334816 CPUtime=0 cores=1,3,5,7
/proc/15576/task/15754/stat : 15754 (python) S 15574 15576 14938 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 869366750 342851584 7331 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554434 18446604455948256448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 344.56
Current children cumulated vsize (KiB) 10646336
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+350.302 s]
/proc/loadavg: 2.15 2.13 1.63 6/653 15801
/proc/meminfo: memFree=24524064/32951124 swapFree=57654872/67111528
[pid=15576] ppid=15574 vsize=345236 CPUtime=0.56 cores=1,3,5,7
/proc/15576/stat : 15576 (python) S 15574 15576 14938 0 -1 4202496 13939 931 1 0 45 11 0 0 20 0 7 0 869337320 353521664 7358 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15576/statm: 86309 7358 1881 364 0 21181 0
[pid=15582] ppid=15576 vsize=293972 CPUtime=0.54 cores=1,3,5,7
/proc/15582/stat : 15582 (python) S 15576 15576 14938 0 -1 4202560 1263 0 0 0 38 16 0 0 17 0 2 0 869337392 301027328 5793 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15582/statm: 73493 5793 414 364 0 8380 0
[pid=15584] ppid=15582 vsize=62632 CPUtime=59.43 cores=1,3,5,7
/proc/15584/stat : 15584 (scip-2.0.1.linu) T 15582 15584 15584 0 -1 4202496 32422 0 0 0 4832 1111 0 0 18 0 1 0 869337392 64135168 13236 33554432000 4194304 13684479 140737142518160 18446744073709551615 5206147 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/15584/statm: 15658 13236 809 2317 0 13336 0
[pid=15582/tid=15587] ppid=15576 vsize=293972 CPUtime=0 cores=1,3,5,7
/proc/15582/task/15587/stat : 15587 (python) S 15576 15576 14938 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869343336 301027328 5793 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554946 18446604465098299456 0 0 -1 7 0 0 0
[pid=15588] ppid=15576 vsize=293628 CPUtime=0.2 cores=1,3,5,7
/proc/15588/stat : 15588 (python) S 15576 15576 14938 0 -1 4202560 1114 0 0 0 10 10 0 0 17 0 2 0 869343339 300675072 5786 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15588/statm: 73407 5786 397 364 0 8291 0
[pid=15590] ppid=15588 vsize=122300 CPUtime=46.55 cores=1,3,5,7
/proc/15590/stat : 15590 (wbo1.4a) T 15588 15590 15590 0 -1 4202496 30372 0 0 0 4606 49 0 0 25 0 1 0 869343339 125235200 30108 33554432000 134512640 135751879 4287042400 18446744073709551615 134517428 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/15590/statm: 30575 30108 143 303 0 30270 0
[pid=15588/tid=15592] ppid=15576 vsize=293628 CPUtime=0 cores=1,3,5,7
/proc/15588/task/15592/stat : 15592 (python) S 15576 15576 14938 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869347996 300675072 5786 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554946 18446604458553255168 0 0 -1 7 0 0 0
[pid=15593] ppid=15576 vsize=303656 CPUtime=0.38 cores=1,3,5,7
/proc/15593/stat : 15593 (python) S 15576 15576 14938 0 -1 4202560 1122 0 0 0 19 19 0 0 16 0 2 0 869347998 310943744 5739 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15593/statm: 75914 5739 397 364 0 10795 0
[pid=15595] ppid=15593 vsize=1860 CPUtime=95.98 cores=1,3,5,7
/proc/15595/stat : 15595 (clasp-1.3.7-x86) T 15593 15595 15595 0 -1 4202496 488 0 0 0 9598 0 0 0 25 0 1 0 869347998 1904640 223 33554432000 134512640 136139019 4290474560 18446744073709551615 134876493 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/15595/statm: 465 223 184 398 0 65 0
[pid=15593/tid=15638] ppid=15576 vsize=303656 CPUtime=0 cores=1,3,5,7
/proc/15593/task/15638/stat : 15638 (python) S 15576 15576 14938 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869357596 310943744 5739 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554946 18446604462349862976 0 0 -1 7 0 0 0
[pid=15639] ppid=15576 vsize=314316 CPUtime=0.43 cores=1,3,5,7
/proc/15639/stat : 15639 (python) S 15576 15576 14938 0 -1 4202560 1170 0 0 0 20 23 0 0 17 0 2 0 869357599 321859584 5822 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15639/statm: 78579 5822 397 364 0 13457 0
[pid=15641] ppid=15639 vsize=8537308 CPUtime=92.16 cores=1,3,5,7
/proc/15641/stat : 15641 (java) T 15639 15641 15641 0 -1 4202496 35848 0 1 0 9209 7 0 0 15 0 19 0 869357599 8742203392 33144 33554432000 1073741824 1073778376 140737265948784 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15641/statm: 2134327 33144 2241 9 0 2125068 0
[pid=15641/tid=15642] ppid=15639 vsize=8537308 CPUtime=89.85 cores=1,3,5,7
/proc/15641/task/15642/stat : 15642 (java) T 15639 15641 15641 0 -1 4202560 27867 0 1 0 8982 3 0 0 25 0 19 0 869357600 8742203392 33144 33554432000 1073741824 1073778376 140737265948784 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15641/tid=15643] ppid=15639 vsize=8537308 CPUtime=0.07 cores=1,3,5,7
/proc/15641/task/15643/stat : 15643 (java) T 15639 15641 15641 0 -1 4202560 281 0 0 0 7 0 0 0 15 0 19 0 869357601 8742203392 33144 33554432000 1073741824 1073778376 140737265948784 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15641/tid=15644] ppid=15639 vsize=8537308 CPUtime=0.09 cores=1,3,5,7
/proc/15641/task/15644/stat : 15644 (java) T 15639 15641 15641 0 -1 4202560 147 0 0 0 9 0 0 0 15 0 19 0 869357601 8742203392 33144 33554432000 1073741824 1073778376 140737265948784 18446744073709551615 232335845687 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15641/tid=15645] ppid=15639 vsize=8537308 CPUtime=0.09 cores=1,3,5,7
/proc/15641/task/15645/stat : 15645 (java) T 15639 15641 15641 0 -1 4202560 199 0 0 0 9 0 0 0 15 0 19 0 869357601 8742203392 33144 33554432000 1073741824 1073778376 140737265948784 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15641/tid=15646] ppid=15639 vsize=8537308 CPUtime=0.08 cores=1,3,5,7
/proc/15641/task/15646/stat : 15646 (java) T 15639 15641 15641 0 -1 4202560 37 0 0 0 8 0 0 0 15 0 19 0 869357601 8742203392 33144 33554432000 1073741824 1073778376 140737265948784 18446744073709551615 232335845687 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15641/tid=15647] ppid=15639 vsize=8537308 CPUtime=0.07 cores=1,3,5,7
/proc/15641/task/15647/stat : 15647 (java) T 15639 15641 15641 0 -1 4202560 39 0 0 0 7 0 0 0 15 0 19 0 869357601 8742203392 33144 33554432000 1073741824 1073778376 140737265948784 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15641/tid=15648] ppid=15639 vsize=8537308 CPUtime=0.08 cores=1,3,5,7
/proc/15641/task/15648/stat : 15648 (java) T 15639 15641 15641 0 -1 4202560 213 0 0 0 8 0 0 0 15 0 19 0 869357601 8742203392 33144 33554432000 1073741824 1073778376 140737265948784 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15641/tid=15649] ppid=15639 vsize=8537308 CPUtime=0.12 cores=1,3,5,7
/proc/15641/task/15649/stat : 15649 (java) T 15639 15641 15641 0 -1 4202560 65 0 0 0 12 0 0 0 15 0 19 0 869357601 8742203392 33144 33554432000 1073741824 1073778376 140737265948784 18446744073709551615 47628562027682 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15641/tid=15650] ppid=15639 vsize=8537308 CPUtime=0.08 cores=1,3,5,7
/proc/15641/task/15650/stat : 15650 (java) T 15639 15641 15641 0 -1 4202560 18 0 0 0 8 0 0 0 15 0 19 0 869357601 8742203392 33144 33554432000 1073741824 1073778376 140737265948784 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15641/tid=15651] ppid=15639 vsize=8537308 CPUtime=1.08 cores=1,3,5,7
/proc/15641/task/15651/stat : 15651 (java) T 15639 15641 15641 0 -1 4202560 1336 0 0 0 107 1 0 0 15 0 19 0 869357602 8742203392 33144 33554432000 1073741824 1073778376 140737265948784 18446744073709551615 232347708313 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15641/tid=15652] ppid=15639 vsize=8537308 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15652/stat : 15652 (java) T 15639 15641 15641 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869357602 8742203392 33144 33554432000 1073741824 1073778376 140737265948784 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15641/tid=15653] ppid=15639 vsize=8537308 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15653/stat : 15653 (java) T 15639 15641 15641 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 869357602 8742203392 33144 33554432000 1073741824 1073778376 140737265948784 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15641/tid=15654] ppid=15639 vsize=8537308 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15654/stat : 15654 (java) T 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869357605 8742203392 33144 33554432000 1073741824 1073778376 140737265948784 18446744073709551615 232347716017 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15641/tid=15655] ppid=15639 vsize=8537308 CPUtime=0.25 cores=1,3,5,7
/proc/15641/task/15655/stat : 15655 (java) T 15639 15641 15641 0 -1 4202560 2980 0 0 0 25 0 0 0 15 0 19 0 869357605 8742203392 33144 33554432000 1073741824 1073778376 140737265948784 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15641/tid=15656] ppid=15639 vsize=8537308 CPUtime=0.21 cores=1,3,5,7
/proc/15641/task/15656/stat : 15656 (java) T 15639 15641 15641 0 -1 4202560 1269 0 0 0 21 0 0 0 15 0 19 0 869357605 8742203392 33144 33554432000 1073741824 1073778376 140737265948784 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15641/tid=15657] ppid=15639 vsize=8537308 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15657/stat : 15657 (java) T 15639 15641 15641 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869357605 8742203392 33144 33554432000 1073741824 1073778376 140737265948784 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15641/tid=15658] ppid=15639 vsize=8537308 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15658/stat : 15658 (java) T 15639 15641 15641 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869357605 8742203392 33144 33554432000 1073741824 1073778376 140737265948784 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15641/tid=15659] ppid=15639 vsize=8537308 CPUtime=0 cores=1,3,5,7
/proc/15641/task/15659/stat : 15659 (java) T 15639 15641 15641 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869357614 8742203392 33144 33554432000 1073741824 1073778376 140737265948784 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15639/tid=15752] ppid=15576 vsize=314316 CPUtime=0 cores=1,3,5,7
/proc/15639/task/15752/stat : 15752 (python) S 15576 15576 14938 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869366748 321859584 5822 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554946 18446604465098297664 0 0 -1 7 0 0 0
[pid=15753] ppid=15576 vsize=324572 CPUtime=0.66 cores=1,3,5,7
/proc/15753/stat : 15753 (python) S 15576 15576 14938 0 -1 4202560 1256 0 0 0 49 17 0 0 17 0 2 0 869366750 332361728 5847 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/15753/statm: 81143 5847 398 364 0 16018 0
[pid=15755] ppid=15753 vsize=61016 CPUtime=55.25 cores=1,3,5,7
/proc/15755/stat : 15755 (scip-2.0.1.linu) T 15753 15755 15755 0 -1 4202496 53350 0 0 0 4906 619 0 0 18 0 1 0 869366751 62480384 12538 33554432000 4194304 15243407 140737012683680 18446744073709551615 4693810 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/15755/statm: 15254 12538 931 2698 0 12549 0
[pid=15753/tid=15780] ppid=15576 vsize=324572 CPUtime=0 cores=1,3,5,7
/proc/15753/task/15780/stat : 15780 (python) S 15576 15576 14938 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869372300 332361728 5847 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554946 18446604457982489536 0 0 -1 3 0 0 0
[pid=15781] ppid=15576 vsize=334992 CPUtime=0 cores=1,3,5,7
/proc/15781/stat : 15781 (python) S 15576 15576 14938 0 -1 4202560 825 0 0 0 0 0 0 0 17 0 1 0 869372302 343031808 5822 33554432000 4194304 5683644 140733895022144 18446744073709551615 232335912518 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/15781/statm: 83748 5822 349 364 0 18620 0
[pid=15783] ppid=15781 vsize=8544000 CPUtime=1.14 cores=1,3,5,7
/proc/15783/stat : 15783 (java) S 15781 15783 15783 0 -1 4202496 21267 0 1 0 111 3 0 0 19 0 19 0 869372303 8749056000 16955 33554432000 1073741824 1073778376 140736007861216 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15783/statm: 2136000 16955 2209 9 0 2126741 0
[pid=15783/tid=15784] ppid=15781 vsize=8544000 CPUtime=0.49 cores=1,3,5,7
/proc/15783/task/15784/stat : 15784 (java) R 15781 15783 15783 0 -1 4202560 10585 0 1 0 48 1 0 0 25 0 19 0 869372304 8749056000 17411 33554432000 1073741824 1073778376 140736007861216 18446744073709551615 47688823311156 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15783/tid=15785] ppid=15781 vsize=8544000 CPUtime=0 cores=1,3,5,7
/proc/15783/task/15785/stat : 15785 (java) S 15781 15783 15783 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869372304 8749056000 17411 33554432000 1073741824 1073778376 140736007861216 18446744073709551615 232347708313 0 4 0 16800975 18446604458585881664 0 0 -1 1 0 0 0
[pid=15783/tid=15786] ppid=15781 vsize=8544000 CPUtime=0 cores=1,3,5,7
/proc/15783/task/15786/stat : 15786 (java) S 15781 15783 15783 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869372304 8749056000 17412 33554432000 1073741824 1073778376 140736007861216 18446744073709551615 232347708313 0 4 0 16800975 18446604458585881664 0 0 -1 1 0 0 0
[pid=15783/tid=15787] ppid=15781 vsize=8544000 CPUtime=0 cores=1,3,5,7
/proc/15783/task/15787/stat : 15787 (java) S 15781 15783 15783 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869372304 8749056000 17412 33554432000 1073741824 1073778376 140736007861216 18446744073709551615 232347708313 0 4 0 16800975 18446604458585881664 0 0 -1 1 0 0 0
[pid=15783/tid=15788] ppid=15781 vsize=8544000 CPUtime=0 cores=1,3,5,7
/proc/15783/task/15788/stat : 15788 (java) S 15781 15783 15783 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869372304 8749056000 17412 33554432000 1073741824 1073778376 140736007861216 18446744073709551615 232347708313 0 4 0 16800975 18446604458585881664 0 0 -1 1 0 0 0
[pid=15783/tid=15789] ppid=15781 vsize=8544000 CPUtime=0 cores=1,3,5,7
/proc/15783/task/15789/stat : 15789 (java) S 15781 15783 15783 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869372304 8749056000 17413 33554432000 1073741824 1073778376 140736007861216 18446744073709551615 232347708313 0 4 0 16800975 18446604458585881664 0 0 -1 7 0 0 0
[pid=15783/tid=15790] ppid=15781 vsize=8544000 CPUtime=0 cores=1,3,5,7
/proc/15783/task/15790/stat : 15790 (java) S 15781 15783 15783 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869372304 8749056000 17413 33554432000 1073741824 1073778376 140736007861216 18446744073709551615 232347708313 0 4 0 16800975 18446604458585881664 0 0 -1 7 0 0 0
[pid=15783/tid=15791] ppid=15781 vsize=8544000 CPUtime=0 cores=1,3,5,7
/proc/15783/task/15791/stat : 15791 (java) S 15781 15783 15783 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869372304 8749056000 17414 33554432000 1073741824 1073778376 140736007861216 18446744073709551615 232347708313 0 4 0 16800975 18446604458585881664 0 0 -1 3 0 0 0
[pid=15783/tid=15792] ppid=15781 vsize=8544000 CPUtime=0 cores=1,3,5,7
/proc/15783/task/15792/stat : 15792 (java) S 15781 15783 15783 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869372304 8749056000 17414 33554432000 1073741824 1073778376 140736007861216 18446744073709551615 232347708313 0 4 0 16800975 18446604458585881664 0 0 -1 7 0 0 0
[pid=15783/tid=15793] ppid=15781 vsize=8544000 CPUtime=0 cores=1,3,5,7
/proc/15783/task/15793/stat : 15793 (java) S 15781 15783 15783 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 869372305 8749056000 17417 33554432000 1073741824 1073778376 140736007861216 18446744073709551615 232347708928 0 0 0 16800975 18446604458585881664 0 0 -1 1 0 0 0
[pid=15783/tid=15794] ppid=15781 vsize=8544000 CPUtime=0 cores=1,3,5,7
/proc/15783/task/15794/stat : 15794 (java) S 15781 15783 15783 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 869372306 8749056000 17418 33554432000 1073741824 1073778376 140736007861216 18446744073709551615 232347708313 0 4 0 16800975 18446604458585881664 0 0 -1 1 0 0 0
[pid=15783/tid=15795] ppid=15781 vsize=8544000 CPUtime=0 cores=1,3,5,7
/proc/15783/task/15795/stat : 15795 (java) S 15781 15783 15783 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 869372306 8749056000 17419 33554432000 1073741824 1073778376 140736007861216 18446744073709551615 232347708313 0 4 0 16800975 18446604458585881664 0 0 -1 1 0 0 0
[pid=15783/tid=15796] ppid=15781 vsize=8544000 CPUtime=0 cores=1,3,5,7
/proc/15783/task/15796/stat : 15796 (java) S 15781 15783 15783 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869372308 8749056000 17420 33554432000 1073741824 1073778376 140736007861216 18446744073709551615 232347716017 0 4 0 16800975 18446604458585881664 0 0 -1 1 0 0 0
[pid=15783/tid=15797] ppid=15781 vsize=8544000 CPUtime=0.36 cores=1,3,5,7
/proc/15783/task/15797/stat : 15797 (java) R 15781 15783 15783 0 -1 4202560 5339 0 0 0 36 0 0 0 24 0 19 0 869372308 8749056000 17420 33554432000 1073741824 1073778376 140736007861216 18446744073709551615 47688822533014 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15783/tid=15798] ppid=15781 vsize=8544000 CPUtime=0.28 cores=1,3,5,7
/proc/15783/task/15798/stat : 15798 (java) R 15781 15783 15783 0 -1 4202560 4395 0 0 0 28 0 0 0 23 0 19 0 869372308 8749056000 17423 33554432000 1073741824 1073778376 140736007861216 18446744073709551615 47688822521149 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15783/tid=15799] ppid=15781 vsize=8544000 CPUtime=0 cores=1,3,5,7
/proc/15783/task/15799/stat : 15799 (java) S 15781 15783 15783 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869372308 8749056000 17426 33554432000 1073741824 1073778376 140736007861216 18446744073709551615 232347708313 0 4 0 16800975 18446604458585881664 0 0 -1 1 0 0 0
[pid=15783/tid=15800] ppid=15781 vsize=8544000 CPUtime=0 cores=1,3,5,7
/proc/15783/task/15800/stat : 15800 (java) S 15781 15783 15783 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869372308 8749056000 17429 33554432000 1073741824 1073778376 140736007861216 18446744073709551615 232347708928 0 4 0 16800975 18446604458585881664 0 0 -1 5 0 0 0
[pid=15783/tid=15801] ppid=15781 vsize=8544000 CPUtime=0 cores=1,3,5,7
/proc/15783/task/15801/stat : 15801 (java) S 15781 15783 15783 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869372318 8749056000 17431 33554432000 1073741824 1073778376 140736007861216 18446744073709551615 232347708928 0 4 0 16800975 18446604458585881664 0 0 -1 3 0 0 0
[pid=15576/tid=15583] ppid=15574 vsize=345236 CPUtime=0 cores=1,3,5,7
/proc/15576/task/15583/stat : 15583 (python) S 15574 15576 14938 0 -1 4202560 23 931 0 0 0 0 0 0 18 0 7 0 869337392 353521664 7358 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554434 18446604455948256448 0 0 -1 3 0 0 0
[pid=15576/tid=15589] ppid=15574 vsize=345236 CPUtime=0 cores=1,3,5,7
/proc/15576/task/15589/stat : 15589 (python) S 15574 15576 14938 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 7 0 869343339 353521664 7358 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554434 18446604455948256448 0 0 -1 3 0 0 0
[pid=15576/tid=15594] ppid=15574 vsize=345236 CPUtime=0 cores=1,3,5,7
/proc/15576/task/15594/stat : 15594 (python) S 15574 15576 14938 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 7 0 869347998 353521664 7358 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554434 18446604455948256448 0 0 -1 5 0 0 0
[pid=15576/tid=15640] ppid=15574 vsize=345236 CPUtime=0 cores=1,3,5,7
/proc/15576/task/15640/stat : 15640 (python) S 15574 15576 14938 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 7 0 869357599 353521664 7358 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554434 18446604455948256448 0 0 -1 5 0 0 0
[pid=15576/tid=15754] ppid=15574 vsize=345236 CPUtime=0 cores=1,3,5,7
/proc/15576/task/15754/stat : 15754 (python) S 15574 15576 14938 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 7 0 869366750 353521664 7358 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554434 18446604455948256448 0 0 -1 5 0 0 0
[pid=15576/tid=15782] ppid=15574 vsize=345236 CPUtime=0 cores=1,3,5,7
/proc/15576/task/15782/stat : 15782 (python) S 15574 15576 14938 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 7 0 869372302 353521664 7358 33554432000 4194304 5683644 140733895022144 18446744073709551615 232347716017 0 0 16781312 33554434 18446604455948256448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 353.28
Current children cumulated vsize (KiB) 19539488
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 15576 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=457930
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=114982
# CPU time returned by wait4() is 0.572912
# while last known CPU time is 353.28
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 350.389
CPU time (s): 353.28
CPU user time (s): 334.43
CPU system time (s): 18.85
CPU usage (%): 100.825
Max. virtual memory (cumulated for all children) (KiB): 19539488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.45793
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14874
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= 2870
involuntary context switches= 17
runsolver used 2.13567 second user time and 4.72828 second system time
The end