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-3481518-1307577997/watcher-3481518-1307577997 -o /tmp/evaluation-result-3481518-1307577997/solver-3481518-1307577997 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481518-1307577997.opb -seed 1732088972 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.91 2.06 1.70 2/715 17174
/proc/meminfo: memFree=13165384/32950940 swapFree=67111360/67111528
[pid=17174] ppid=17172 vsize=15904 CPUtime=0 cores=1,3,5,7
/proc/17174/stat : 17174 (python) R 17172 17174 14716 0 -1 4202496 978 0 0 0 0 0 0 0 25 0 1 0 948030559 16285696 853 33554432000 4194304 5683644 140736518307104 18446744073709551615 215988592272 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17174/statm: 3976 855 362 364 0 463 0
[startup+0.104859 s]
/proc/loadavg: 1.91 2.06 1.70 2/715 17174
/proc/meminfo: memFree=13165384/32950940 swapFree=67111360/67111528
[pid=17174] ppid=17172 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/17174/stat : 17174 (python) R 17172 17174 14716 0 -1 4202496 3168 931 1 0 6 2 0 0 18 0 1 0 948030559 98430976 2483 33554432000 4194304 5683644 140736518307104 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17174/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.200809 s]
/proc/loadavg: 1.91 2.06 1.70 2/715 17174
/proc/meminfo: memFree=13165384/32950940 swapFree=67111360/67111528
[pid=17174] ppid=17172 vsize=123740 CPUtime=0.16 cores=1,3,5,7
/proc/17174/stat : 17174 (python) R 17172 17174 14716 0 -1 4202496 5356 931 1 0 11 5 0 0 17 0 1 0 948030559 126709760 3744 33554432000 4194304 5683644 140736518307104 18446744073709551615 215988588549 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17174/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.300731 s]
/proc/loadavg: 1.91 2.06 1.70 2/715 17174
/proc/meminfo: memFree=13165384/32950940 swapFree=67111360/67111528
[pid=17174] ppid=17172 vsize=202856 CPUtime=0.24 cores=1,3,5,7
/proc/17174/stat : 17174 (python) R 17172 17174 14716 0 -1 4202496 6656 931 1 0 17 7 0 0 17 0 1 0 948030559 207724544 4944 33554432000 4194304 5683644 140736518307104 18446744073709551615 215988590592 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17174/statm: 50714 4944 1472 364 0 3676 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 202856
[startup+0.70066 s]
/proc/loadavg: 1.91 2.06 1.70 2/715 17174
/proc/meminfo: memFree=13165384/32950940 swapFree=67111360/67111528
[pid=17174] ppid=17172 vsize=293724 CPUtime=0.49 cores=1,3,5,7
/proc/17174/stat : 17174 (python) S 17172 17174 14716 0 -1 4202496 10831 1347 1 0 37 11 1 0 20 0 2 0 948030559 300773376 7288 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17174/statm: 73431 7288 1871 364 0 8318 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 293724
[startup+1.50052 s]
/proc/loadavg: 1.91 2.06 1.70 3/719 17183
/proc/meminfo: memFree=13115768/32950940 swapFree=67111360/67111528
[pid=17174] ppid=17172 vsize=293724 CPUtime=0.49 cores=1,3,5,7
/proc/17174/stat : 17174 (python) S 17172 17174 14716 0 -1 4202496 10831 1347 1 0 37 11 1 0 20 0 2 0 948030559 300773376 7288 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17174/statm: 73431 7288 1871 364 0 8318 0
[pid=17181] ppid=17174 vsize=283480 CPUtime=0 cores=1,3,5,7
/proc/17181/stat : 17181 (python) S 17174 17174 14716 0 -1 4202560 749 0 0 0 0 0 0 0 15 0 1 0 948030617 290283520 5732 33554432000 4194304 5683644 140736518307104 18446744073709551615 215988612623 0 0 16781312 33554946 3714006178179579904 0 0 17 1 0 0 0
/proc/17181/statm: 70870 5732 319 364 0 5757 0
[pid=17183] ppid=17181 vsize=44520 CPUtime=0.91 cores=1,3,5,7
/proc/17183/stat : 17183 (scip-2.0.1.linu) R 17181 17183 17183 0 -1 4202496 9487 0 0 0 79 12 0 0 18 0 1 0 948030618 45588480 8813 33554432000 4194304 13684479 140736788809504 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/17183/statm: 11130 8813 762 2317 0 8808 0
[pid=17174/tid=17182] ppid=17172 vsize=293724 CPUtime=0.01 cores=1,3,5,7
/proc/17174/task/17182/stat : 17182 (python) S 17172 17174 14716 0 -1 4202560 32 1347 0 0 0 0 1 0 20 0 2 0 948030617 300773376 7288 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604464298960128 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 621724
[startup+3.10024 s]
/proc/loadavg: 1.91 2.06 1.70 3/719 17183
/proc/meminfo: memFree=13101632/32950940 swapFree=67111360/67111528
[pid=17174] ppid=17172 vsize=293724 CPUtime=0.49 cores=1,3,5,7
/proc/17174/stat : 17174 (python) S 17172 17174 14716 0 -1 4202496 10831 1347 1 0 37 11 1 0 20 0 2 0 948030559 300773376 7288 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17174/statm: 73431 7288 1871 364 0 8318 0
[pid=17181] ppid=17174 vsize=283480 CPUtime=0 cores=1,3,5,7
/proc/17181/stat : 17181 (python) S 17174 17174 14716 0 -1 4202560 753 0 0 0 0 0 0 0 16 0 1 0 948030617 290283520 5732 33554432000 4194304 5683644 140736518307104 18446744073709551615 215988612623 0 0 16781312 33554946 2923118285975191552 0 0 17 1 0 0 0
/proc/17181/statm: 70870 5732 319 364 0 5757 0
[pid=17183] ppid=17181 vsize=49176 CPUtime=2.51 cores=1,3,5,7
/proc/17183/stat : 17183 (scip-2.0.1.linu) R 17181 17183 17183 0 -1 4202496 11521 0 0 0 233 18 0 0 21 0 1 0 948030618 50356224 10088 33554432000 4194304 13684479 140736788809504 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/17183/statm: 12294 10088 779 2317 0 9972 0
[pid=17174/tid=17182] ppid=17172 vsize=293724 CPUtime=0.01 cores=1,3,5,7
/proc/17174/task/17182/stat : 17182 (python) S 17172 17174 14716 0 -1 4202560 32 1347 0 0 0 0 1 0 20 0 2 0 948030617 300773376 7288 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604464298960128 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 626380
[startup+6.30068 s]
/proc/loadavg: 1.92 2.06 1.71 3/719 17183
/proc/meminfo: memFree=13097720/32950940 swapFree=67111360/67111528
[pid=17174] ppid=17172 vsize=293724 CPUtime=0.49 cores=1,3,5,7
/proc/17174/stat : 17174 (python) S 17172 17174 14716 0 -1 4202496 10831 1347 1 0 37 11 1 0 20 0 2 0 948030559 300773376 7288 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17174/statm: 73431 7288 1871 364 0 8318 0
[pid=17181] ppid=17174 vsize=283480 CPUtime=0.02 cores=1,3,5,7
/proc/17181/stat : 17181 (python) S 17174 17174 14716 0 -1 4202560 892 0 0 0 1 1 0 0 15 0 1 0 948030617 290283520 5756 33554432000 4194304 5683644 140736518307104 18446744073709551615 215988612623 0 0 16781312 33554946 2417685774372700160 0 0 17 7 0 0 0
/proc/17181/statm: 70870 5756 343 364 0 5757 0
[pid=17183] ppid=17181 vsize=49176 CPUtime=5.71 cores=1,3,5,7
/proc/17183/stat : 17183 (scip-2.0.1.linu) R 17181 17183 17183 0 -1 4202496 13210 0 0 0 518 53 0 0 25 0 1 0 948030618 50356224 10129 33554432000 4194304 13684479 140736788809504 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/17183/statm: 12294 10129 816 2317 0 9972 0
[pid=17174/tid=17182] ppid=17172 vsize=293724 CPUtime=0.01 cores=1,3,5,7
/proc/17174/task/17182/stat : 17182 (python) S 17172 17174 14716 0 -1 4202560 32 1347 0 0 0 0 1 0 20 0 2 0 948030617 300773376 7288 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604464298960128 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 626380
[startup+12.7006 s]
/proc/loadavg: 1.92 2.06 1.71 3/719 17184
/proc/meminfo: memFree=13087004/32950940 swapFree=67111360/67111528
[pid=17174] ppid=17172 vsize=293724 CPUtime=0.49 cores=1,3,5,7
/proc/17174/stat : 17174 (python) S 17172 17174 14716 0 -1 4202496 10831 1347 1 0 37 11 1 0 20 0 2 0 948030559 300773376 7288 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17174/statm: 73431 7288 1871 364 0 8318 0
[pid=17181] ppid=17174 vsize=283480 CPUtime=0.07 cores=1,3,5,7
/proc/17181/stat : 17181 (python) S 17174 17174 14716 0 -1 4202560 905 0 0 0 4 3 0 0 15 0 1 0 948030617 290283520 5756 33554432000 4194304 5683644 140736518307104 18446744073709551615 215988612623 0 0 16781312 33554946 235252405527117824 0 0 17 7 0 0 0
/proc/17181/statm: 70870 5756 343 364 0 5757 0
[pid=17183] ppid=17181 vsize=60124 CPUtime=12.11 cores=1,3,5,7
/proc/17183/stat : 17183 (scip-2.0.1.linu) R 17181 17183 17183 0 -1 4202496 15885 0 0 0 1083 128 0 0 25 0 1 0 948030618 61566976 12804 33554432000 4194304 13684479 140736788809504 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/17183/statm: 15031 12804 816 2317 0 12709 0
[pid=17174/tid=17182] ppid=17172 vsize=293724 CPUtime=0.01 cores=1,3,5,7
/proc/17174/task/17182/stat : 17182 (python) S 17172 17174 14716 0 -1 4202560 32 1347 0 0 0 0 1 0 20 0 2 0 948030617 300773376 7288 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604464298960128 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 637328
[startup+25.5003 s]
/proc/loadavg: 1.94 2.06 1.71 3/723 17188
/proc/meminfo: memFree=12990888/32950940 swapFree=67111360/67111528
[pid=17174] ppid=17172 vsize=293724 CPUtime=0.49 cores=1,3,5,7
/proc/17174/stat : 17174 (python) S 17172 17174 14716 0 -1 4202496 10831 1347 1 0 37 11 1 0 20 0 2 0 948030559 300773376 7288 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17174/statm: 73431 7288 1871 364 0 8318 0
[pid=17181] ppid=17174 vsize=283480 CPUtime=0.15 cores=1,3,5,7
/proc/17181/stat : 17181 (python) S 17174 17174 14716 0 -1 4202560 933 0 0 0 8 7 0 0 15 0 1 0 948030617 290283520 5756 33554432000 4194304 5683644 140736518307104 18446744073709551615 215988612623 0 0 16781312 33554946 3086171466622828544 0 0 17 7 0 0 0
/proc/17181/statm: 70870 5756 343 364 0 5757 0
[pid=17183] ppid=17181 vsize=60456 CPUtime=24.9 cores=1,3,5,7
/proc/17183/stat : 17183 (scip-2.0.1.linu) R 17181 17183 17183 0 -1 4202496 17682 0 0 0 2209 281 0 0 25 0 1 0 948030618 61906944 12942 33554432000 4194304 13684479 140736788809504 18446744073709551615 10577712 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/17183/statm: 15114 12942 816 2317 0 12792 0
[pid=17174/tid=17182] ppid=17172 vsize=293724 CPUtime=0.01 cores=1,3,5,7
/proc/17174/task/17182/stat : 17182 (python) S 17172 17174 14716 0 -1 4202560 32 1347 0 0 0 0 1 0 20 0 2 0 948030617 300773376 7288 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604464298960128 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 637660
[startup+51.1008 s]
/proc/loadavg: 1.96 2.05 1.72 3/723 17189
/proc/meminfo: memFree=12606100/32950940 swapFree=67111360/67111528
[pid=17174] ppid=17172 vsize=293724 CPUtime=0.49 cores=1,3,5,7
/proc/17174/stat : 17174 (python) S 17172 17174 14716 0 -1 4202496 10831 1347 1 0 37 11 1 0 20 0 2 0 948030559 300773376 7288 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17174/statm: 73431 7288 1871 364 0 8318 0
[pid=17181] ppid=17174 vsize=283480 CPUtime=0.3 cores=1,3,5,7
/proc/17181/stat : 17181 (python) S 17174 17174 14716 0 -1 4202560 967 0 0 0 16 14 0 0 15 0 1 0 948030617 290283520 5758 33554432000 4194304 5683644 140736518307104 18446744073709551615 215988612623 0 0 16781312 33554946 2070352692563148800 0 0 17 7 0 0 0
/proc/17181/statm: 70870 5758 344 364 0 5757 0
[pid=17183] ppid=17181 vsize=74936 CPUtime=50.51 cores=1,3,5,7
/proc/17183/stat : 17183 (scip-2.0.1.linu) R 17181 17183 17183 0 -1 4202496 22176 0 0 0 4456 595 0 0 25 0 1 0 948030618 76734464 16571 33554432000 4194304 13684479 140736788809504 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/17183/statm: 18734 16571 816 2317 0 16412 0
[pid=17174/tid=17182] ppid=17172 vsize=293724 CPUtime=0.01 cores=1,3,5,7
/proc/17174/task/17182/stat : 17182 (python) S 17172 17174 14716 0 -1 4202560 32 1347 0 0 0 0 1 0 20 0 2 0 948030617 300773376 7288 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604464298960128 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.3
Current children cumulated vsize (KiB) 652140
[startup+102.302 s]
/proc/loadavg: 1.98 2.04 1.73 3/771 17238
/proc/meminfo: memFree=10920536/32950940 swapFree=67111360/67111528
[pid=17174] ppid=17172 vsize=314816 CPUtime=0.55 cores=1,3,5,7
/proc/17174/stat : 17174 (python) S 17172 17174 14716 0 -1 4202496 12570 1347 1 0 42 12 1 0 19 0 4 0 948030559 322371584 7429 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17174/statm: 78704 7429 1876 364 0 13585 0
[pid=17181] ppid=17174 vsize=293864 CPUtime=0.33 cores=1,3,5,7
/proc/17181/stat : 17181 (python) S 17174 17174 14716 0 -1 4202560 1166 0 0 0 18 15 0 0 17 0 2 0 948030617 300916736 5828 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17181/statm: 73466 5828 408 364 0 8353 0
[pid=17183] ppid=17181 vsize=75084 CPUtime=52.11 cores=1,3,5,7
/proc/17183/stat : 17183 (scip-2.0.1.linu) T 17181 17183 17183 0 -1 4202496 22245 0 0 0 4595 616 0 0 25 0 1 0 948030618 76886016 16640 33554432000 4194304 13684479 140736788809504 18446744073709551615 6705020 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/17183/statm: 18771 16640 816 2317 0 16449 0
[pid=17181/tid=17190] ppid=17174 vsize=293864 CPUtime=0 cores=1,3,5,7
/proc/17181/task/17190/stat : 17190 (python) S 17174 17174 14716 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 948035829 300916736 5828 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000416177 0 0 16781312 33554946 18446604458747671488 0 0 -1 7 0 0 0
[pid=17191] ppid=17174 vsize=294316 CPUtime=0.26 cores=1,3,5,7
/proc/17191/stat : 17191 (python) S 17174 17174 14716 0 -1 4202560 1111 0 0 0 12 14 0 0 16 0 2 0 948035832 301379584 5937 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17191/statm: 73579 5937 391 364 0 8463 0
[pid=17193] ppid=17191 vsize=8540572 CPUtime=47.76 cores=1,3,5,7
/proc/17193/stat : 17193 (java) T 17191 17193 17193 0 -1 4202496 35181 0 1 0 4770 6 0 0 18 0 19 0 948035832 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17193/statm: 2135143 32653 2254 9 0 2125884 0
[pid=17193/tid=17194] ppid=17191 vsize=8540572 CPUtime=45.36 cores=1,3,5,7
/proc/17193/task/17194/stat : 17194 (java) T 17191 17193 17193 0 -1 4202560 21692 0 1 0 4533 3 0 0 25 0 19 0 948035833 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17193/tid=17195] ppid=17191 vsize=8540572 CPUtime=0.07 cores=1,3,5,7
/proc/17193/task/17195/stat : 17195 (java) T 17191 17193 17193 0 -1 4202560 566 0 0 0 7 0 0 0 15 0 19 0 948035833 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17193/tid=17196] ppid=17191 vsize=8540572 CPUtime=0.06 cores=1,3,5,7
/proc/17193/task/17196/stat : 17196 (java) T 17191 17193 17193 0 -1 4202560 431 0 0 0 6 0 0 0 15 0 19 0 948035833 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17193/tid=17197] ppid=17191 vsize=8540572 CPUtime=0.09 cores=1,3,5,7
/proc/17193/task/17197/stat : 17197 (java) T 17191 17193 17193 0 -1 4202560 448 0 0 0 9 0 0 0 15 0 19 0 948035833 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17193/tid=17198] ppid=17191 vsize=8540572 CPUtime=0.08 cores=1,3,5,7
/proc/17193/task/17198/stat : 17198 (java) T 17191 17193 17193 0 -1 4202560 714 0 0 0 8 0 0 0 15 0 19 0 948035833 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17193/tid=17199] ppid=17191 vsize=8540572 CPUtime=0.06 cores=1,3,5,7
/proc/17193/task/17199/stat : 17199 (java) T 17191 17193 17193 0 -1 4202560 105 0 0 0 6 0 0 0 15 0 19 0 948035833 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17193/tid=17200] ppid=17191 vsize=8540572 CPUtime=0.07 cores=1,3,5,7
/proc/17193/task/17200/stat : 17200 (java) T 17191 17193 17193 0 -1 4202560 467 0 0 0 7 0 0 0 15 0 19 0 948035833 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=17193/tid=17206] ppid=17191 vsize=8540572 CPUtime=0 cores=1,3,5,7
/proc/17193/task/17206/stat : 17206 (java) T 17191 17193 17193 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948035837 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000416177 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17193/tid=17207] ppid=17191 vsize=8540572 CPUtime=0.36 cores=1,3,5,7
/proc/17193/task/17207/stat : 17207 (java) T 17191 17193 17193 0 -1 4202560 3105 0 0 0 36 0 0 0 15 0 19 0 948035837 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17193/tid=17208] ppid=17191 vsize=8540572 CPUtime=0.29 cores=1,3,5,7
/proc/17193/task/17208/stat : 17208 (java) T 17191 17193 17193 0 -1 4202560 2400 0 0 0 29 0 0 0 15 0 19 0 948035837 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17193/tid=17209] ppid=17191 vsize=8540572 CPUtime=0 cores=1,3,5,7
/proc/17193/task/17209/stat : 17209 (java) T 17191 17193 17193 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948035837 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17193/tid=17210] ppid=17191 vsize=8540572 CPUtime=0 cores=1,3,5,7
/proc/17193/task/17210/stat : 17210 (java) T 17191 17193 17193 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948035837 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17193/tid=17211] ppid=17191 vsize=8540572 CPUtime=0 cores=1,3,5,7
/proc/17193/task/17211/stat : 17211 (java) T 17191 17193 17193 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948035860 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17191/tid=17235] ppid=17174 vsize=294316 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17235/stat : 17235 (python) S 17174 17174 14716 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 948040517 301379584 5937 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000416177 0 0 16781312 33554946 18446604470149871488 0 0 -1 7 0 0 0
[pid=17236] ppid=17174 vsize=304572 CPUtime=0 cores=1,3,5,7
/proc/17236/stat : 17236 (python) S 17174 17174 14716 0 -1 4202560 780 0 0 0 0 0 0 0 15 0 1 0 948040519 311881728 5869 33554432000 4194304 5683644 140736518307104 18446744073709551615 215988612678 0 0 16781312 33554946 1774330210649374720 0 0 17 3 0 0 0
/proc/17236/statm: 76143 5869 320 364 0 11024 0
[pid=17238] ppid=17236 vsize=48676 CPUtime=2.7 cores=1,3,5,7
/proc/17238/stat : 17238 (scip-2.0.1.linu) R 17236 17238 17238 0 -1 4202496 10506 0 0 0 258 12 0 0 25 0 1 0 948040519 49844224 9077 33554432000 4194304 15243407 140734610101696 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17238/statm: 12169 9077 902 2698 0 9464 0
[pid=17174/tid=17182] ppid=17172 vsize=314816 CPUtime=0.01 cores=1,3,5,7
/proc/17174/task/17182/stat : 17182 (python) S 17172 17174 14716 0 -1 4202560 32 1347 0 0 0 0 1 0 20 0 4 0 948030617 322371584 7429 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604464298960128 0 0 -1 1 0 0 0
[pid=17174/tid=17192] ppid=17172 vsize=314816 CPUtime=0.01 cores=1,3,5,7
/proc/17174/task/17192/stat : 17192 (python) S 17172 17174 14716 0 -1 4202560 29 1347 0 0 0 0 1 0 20 0 4 0 948035832 322371584 7429 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604464298960128 0 0 -1 3 0 0 0
[pid=17174/tid=17237] ppid=17172 vsize=314816 CPUtime=0.01 cores=1,3,5,7
/proc/17174/task/17237/stat : 17237 (python) S 17172 17174 14716 0 -1 4202560 32 1347 0 0 0 0 1 0 20 0 4 0 948040519 322371584 7429 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604464298960128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 103.71
Current children cumulated vsize (KiB) 9871900
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+148.502 s]
/proc/loadavg: 2.23 2.09 1.76 6/797 17265
/proc/meminfo: memFree=10730320/32950940 swapFree=67111360/67111528
[pid=17174] ppid=17172 vsize=325072 CPUtime=0.57 cores=1,3,5,7
/proc/17174/stat : 17174 (python) S 17172 17174 14716 0 -1 4202496 13451 1347 1 0 44 12 1 0 20 0 5 0 948030559 332873728 7435 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/17174/statm: 81268 7435 1878 364 0 16146 0
[pid=17181] ppid=17174 vsize=293864 CPUtime=0.33 cores=1,3,5,7
/proc/17181/stat : 17181 (python) S 17174 17174 14716 0 -1 4202560 1166 0 0 0 18 15 0 0 17 0 2 0 948030617 300916736 5828 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17181/statm: 73466 5828 408 364 0 8353 0
[pid=17183] ppid=17181 vsize=75084 CPUtime=52.11 cores=1,3,5,7
/proc/17183/stat : 17183 (scip-2.0.1.linu) T 17181 17183 17183 0 -1 4202496 22245 0 0 0 4595 616 0 0 25 0 1 0 948030618 76886016 16640 33554432000 4194304 13684479 140736788809504 18446744073709551615 6705020 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/17183/statm: 18771 16640 816 2317 0 16449 0
[pid=17181/tid=17190] ppid=17174 vsize=293864 CPUtime=0 cores=1,3,5,7
/proc/17181/task/17190/stat : 17190 (python) S 17174 17174 14716 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 948035829 300916736 5828 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000416177 0 0 16781312 33554946 18446604458747671488 0 0 -1 7 0 0 0
[pid=17191] ppid=17174 vsize=294316 CPUtime=0.26 cores=1,3,5,7
/proc/17191/stat : 17191 (python) S 17174 17174 14716 0 -1 4202560 1111 0 0 0 12 14 0 0 16 0 2 0 948035832 301379584 5937 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17191/statm: 73579 5937 391 364 0 8463 0
[pid=17193] ppid=17191 vsize=8540572 CPUtime=47.76 cores=1,3,5,7
/proc/17193/stat : 17193 (java) T 17191 17193 17193 0 -1 4202496 35181 0 1 0 4770 6 0 0 18 0 19 0 948035832 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17193/statm: 2135143 32653 2254 9 0 2125884 0
[pid=17193/tid=17194] ppid=17191 vsize=8540572 CPUtime=45.36 cores=1,3,5,7
/proc/17193/task/17194/stat : 17194 (java) T 17191 17193 17193 0 -1 4202560 21692 0 1 0 4533 3 0 0 25 0 19 0 948035833 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17193/tid=17195] ppid=17191 vsize=8540572 CPUtime=0.07 cores=1,3,5,7
/proc/17193/task/17195/stat : 17195 (java) T 17191 17193 17193 0 -1 4202560 566 0 0 0 7 0 0 0 15 0 19 0 948035833 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17193/tid=17196] ppid=17191 vsize=8540572 CPUtime=0.06 cores=1,3,5,7
/proc/17193/task/17196/stat : 17196 (java) T 17191 17193 17193 0 -1 4202560 431 0 0 0 6 0 0 0 15 0 19 0 948035833 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17193/tid=17197] ppid=17191 vsize=8540572 CPUtime=0.09 cores=1,3,5,7
/proc/17193/task/17197/stat : 17197 (java) T 17191 17193 17193 0 -1 4202560 448 0 0 0 9 0 0 0 15 0 19 0 948035833 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17193/tid=17198] ppid=17191 vsize=8540572 CPUtime=0.08 cores=1,3,5,7
/proc/17193/task/17198/stat : 17198 (java) T 17191 17193 17193 0 -1 4202560 714 0 0 0 8 0 0 0 15 0 19 0 948035833 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17193/tid=17199] ppid=17191 vsize=8540572 CPUtime=0.06 cores=1,3,5,7
/proc/17193/task/17199/stat : 17199 (java) T 17191 17193 17193 0 -1 4202560 105 0 0 0 6 0 0 0 15 0 19 0 948035833 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17193/tid=17200] ppid=17191 vsize=8540572 CPUtime=0.07 cores=1,3,5,7
/proc/17193/task/17200/stat : 17200 (java) T 17191 17193 17193 0 -1 4202560 467 0 0 0 7 0 0 0 15 0 19 0 948035833 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17193/tid=17201] ppid=17191 vsize=8540572 CPUtime=0.08 cores=1,3,5,7
/proc/17193/task/17201/stat : 17201 (java) T 17191 17193 17193 0 -1 4202560 170 0 0 0 8 0 0 0 15 0 19 0 948035833 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17193/tid=17202] ppid=17191 vsize=8540572 CPUtime=0.07 cores=1,3,5,7
/proc/17193/task/17202/stat : 17202 (java) T 17191 17193 17193 0 -1 4202560 14 0 0 0 7 0 0 0 15 0 19 0 948035833 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17193/tid=17203] ppid=17191 vsize=8540572 CPUtime=1.07 cores=1,3,5,7
/proc/17193/task/17203/stat : 17203 (java) T 17191 17193 17193 0 -1 4202560 3677 0 0 0 107 0 0 0 15 0 19 0 948035834 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 47622981684143 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17193/tid=17204] ppid=17191 vsize=8540572 CPUtime=0 cores=1,3,5,7
/proc/17193/task/17204/stat : 17204 (java) T 17191 17193 17193 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948035835 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17193/tid=17205] ppid=17191 vsize=8540572 CPUtime=0 cores=1,3,5,7
/proc/17193/task/17205/stat : 17205 (java) T 17191 17193 17193 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 948035835 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17193/tid=17206] ppid=17191 vsize=8540572 CPUtime=0 cores=1,3,5,7
/proc/17193/task/17206/stat : 17206 (java) T 17191 17193 17193 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948035837 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000416177 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17193/tid=17207] ppid=17191 vsize=8540572 CPUtime=0.36 cores=1,3,5,7
/proc/17193/task/17207/stat : 17207 (java) T 17191 17193 17193 0 -1 4202560 3105 0 0 0 36 0 0 0 15 0 19 0 948035837 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17193/tid=17208] ppid=17191 vsize=8540572 CPUtime=0.29 cores=1,3,5,7
/proc/17193/task/17208/stat : 17208 (java) T 17191 17193 17193 0 -1 4202560 2400 0 0 0 29 0 0 0 15 0 19 0 948035837 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17193/tid=17209] ppid=17191 vsize=8540572 CPUtime=0 cores=1,3,5,7
/proc/17193/task/17209/stat : 17209 (java) T 17191 17193 17193 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948035837 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17193/tid=17210] ppid=17191 vsize=8540572 CPUtime=0 cores=1,3,5,7
/proc/17193/task/17210/stat : 17210 (java) T 17191 17193 17193 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948035837 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17193/tid=17211] ppid=17191 vsize=8540572 CPUtime=0 cores=1,3,5,7
/proc/17193/task/17211/stat : 17211 (java) T 17191 17193 17193 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948035860 8745545728 32653 33554432000 1073741824 1073778376 140737064679216 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17191/tid=17235] ppid=17174 vsize=294316 CPUtime=0 cores=1,3,5,7
/proc/17191/task/17235/stat : 17235 (python) S 17174 17174 14716 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 948040517 301379584 5937 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000416177 0 0 16781312 33554946 18446604470149871488 0 0 -1 7 0 0 0
[pid=17236] ppid=17174 vsize=304572 CPUtime=0.3 cores=1,3,5,7
/proc/17236/stat : 17236 (python) S 17174 17174 14716 0 -1 4202560 1166 0 0 0 15 15 0 0 17 0 2 0 948040519 311881728 5941 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17236/statm: 76143 5941 391 364 0 11024 0
[pid=17238] ppid=17236 vsize=72288 CPUtime=48.53 cores=1,3,5,7
/proc/17238/stat : 17238 (scip-2.0.1.linu) T 17236 17238 17238 0 -1 4202496 31968 0 0 0 4639 214 0 0 25 0 1 0 948040519 74022912 15312 33554432000 4194304 15243407 140734610101696 18446744073709551615 8045198 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/17238/statm: 18072 15312 935 2698 0 15367 0
[pid=17236/tid=17244] ppid=17174 vsize=304572 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17244/stat : 17244 (python) S 17174 17174 14716 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 948045373 311881728 5941 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000416177 0 0 16781312 33554946 18446604461232784384 0 0 -1 7 0 0 0
[pid=17245] ppid=17174 vsize=314828 CPUtime=0 cores=1,3,5,7
/proc/17245/stat : 17245 (python) S 17174 17174 14716 0 -1 4202560 776 0 0 0 0 0 0 0 16 0 1 0 948045376 322383872 5873 33554432000 4194304 5683644 140736518307104 18446744073709551615 215988612678 0 0 16781312 33554946 4294934790 0 0 17 3 0 0 0
/proc/17245/statm: 78707 5873 320 364 0 13585 0
[pid=17247] ppid=17245 vsize=8605808 CPUtime=0.59 cores=1,3,5,7
/proc/17247/stat : 17247 (java) S 17245 17247 17247 0 -1 4202496 10080 0 1 0 58 1 0 0 17 0 19 0 948045376 8812347392 8488 33554432000 1073741824 1073778376 140733296443296 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/17247/statm: 2151452 8488 2215 9 0 2142193 0
[pid=17247/tid=17248] ppid=17245 vsize=8605808 CPUtime=0.36 cores=1,3,5,7
/proc/17247/task/17248/stat : 17248 (java) R 17245 17247 17247 0 -1 4202560 5268 0 1 0 35 1 0 0 25 0 19 0 948045377 8812347392 8636 33554432000 1073741824 1073778376 140733296443296 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17247/tid=17249] ppid=17245 vsize=8605808 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17249/stat : 17249 (java) S 17245 17247 17247 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948045377 8812347392 8636 33554432000 1073741824 1073778376 140733296443296 18446744073709551615 216000408473 0 4 0 16800975 18446604468938079168 0 0 -1 7 0 0 0
[pid=17247/tid=17250] ppid=17245 vsize=8605808 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17250/stat : 17250 (java) S 17245 17247 17247 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 948045377 8812347392 8636 33554432000 1073741824 1073778376 140733296443296 18446744073709551615 216000408473 0 4 0 16800975 18446604468938079168 0 0 -1 5 0 0 0
[pid=17247/tid=17251] ppid=17245 vsize=8605808 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17251/stat : 17251 (java) S 17245 17247 17247 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 948045377 8812347392 8636 33554432000 1073741824 1073778376 140733296443296 18446744073709551615 216000408473 0 4 0 16800975 18446604468938079168 0 0 -1 5 0 0 0
[pid=17247/tid=17252] ppid=17245 vsize=8605808 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17252/stat : 17252 (java) S 17245 17247 17247 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 948045377 8812347392 8637 33554432000 1073741824 1073778376 140733296443296 18446744073709551615 216000408473 0 4 0 16800975 18446604468938079168 0 0 -1 5 0 0 0
[pid=17247/tid=17253] ppid=17245 vsize=8605808 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17253/stat : 17253 (java) S 17245 17247 17247 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 948045377 8812347392 8637 33554432000 1073741824 1073778376 140733296443296 18446744073709551615 216000408473 0 4 0 16800975 18446604468938079168 0 0 -1 5 0 0 0
[pid=17247/tid=17254] ppid=17245 vsize=8605808 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17254/stat : 17254 (java) S 17245 17247 17247 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 948045377 8812347392 8637 33554432000 1073741824 1073778376 140733296443296 18446744073709551615 216000408473 0 4 0 16800975 18446604468938079168 0 0 -1 5 0 0 0
[pid=17247/tid=17255] ppid=17245 vsize=8605808 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17255/stat : 17255 (java) S 17245 17247 17247 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 948045377 8812347392 8637 33554432000 1073741824 1073778376 140733296443296 18446744073709551615 216000408473 0 4 0 16800975 18446604468938079168 0 0 -1 5 0 0 0
[pid=17247/tid=17256] ppid=17245 vsize=8605808 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17256/stat : 17256 (java) S 17245 17247 17247 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 948045377 8812347392 8637 33554432000 1073741824 1073778376 140733296443296 18446744073709551615 216000408473 0 4 0 16800975 18446604468938079168 0 0 -1 5 0 0 0
[pid=17247/tid=17257] ppid=17245 vsize=8605808 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17257/stat : 17257 (java) S 17245 17247 17247 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 948045378 8812347392 8638 33554432000 1073741824 1073778376 140733296443296 18446744073709551615 216000409088 0 0 0 16800975 18446604468938079168 0 0 -1 5 0 0 0
[pid=17247/tid=17258] ppid=17245 vsize=8605808 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17258/stat : 17258 (java) S 17245 17247 17247 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 948045379 8812347392 8638 33554432000 1073741824 1073778376 140733296443296 18446744073709551615 216000408473 0 4 0 16800975 18446604468938079168 0 0 -1 7 0 0 0
[pid=17247/tid=17259] ppid=17245 vsize=8605808 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17259/stat : 17259 (java) S 17245 17247 17247 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 948045379 8812347392 8638 33554432000 1073741824 1073778376 140733296443296 18446744073709551615 216000408473 0 4 0 16800975 18446604468938079168 0 0 -1 7 0 0 0
[pid=17247/tid=17260] ppid=17245 vsize=8605808 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17260/stat : 17260 (java) S 17245 17247 17247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948045381 8812347392 8638 33554432000 1073741824 1073778376 140733296443296 18446744073709551615 216000416177 0 4 0 16800975 18446604468938079168 0 0 -1 7 0 0 0
[pid=17247/tid=17261] ppid=17245 vsize=8605808 CPUtime=0.05 cores=1,3,5,7
/proc/17247/task/17261/stat : 17261 (java) R 17245 17247 17247 0 -1 4202560 485 0 0 0 5 0 0 0 24 0 19 0 948045381 8812347392 8639 33554432000 1073741824 1073778376 140733296443296 18446744073709551615 216000408473 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=17247/tid=17262] ppid=17245 vsize=8605808 CPUtime=0.19 cores=1,3,5,7
/proc/17247/task/17262/stat : 17262 (java) R 17245 17247 17247 0 -1 4202560 3075 0 0 0 19 0 0 0 25 0 19 0 948045381 8812347392 8639 33554432000 1073741824 1073778376 140733296443296 18446744073709551615 46937476337024 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17247/tid=17263] ppid=17245 vsize=8605808 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17263/stat : 17263 (java) S 17245 17247 17247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948045381 8812347392 8639 33554432000 1073741824 1073778376 140733296443296 18446744073709551615 216000408473 0 4 0 16800975 18446604468938079168 0 0 -1 7 0 0 0
[pid=17247/tid=17264] ppid=17245 vsize=8605808 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17264/stat : 17264 (java) R 17245 17247 17247 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 948045381 8812347392 8639 33554432000 1073741824 1073778376 140733296443296 18446744073709551615 216000409088 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=17247/tid=17265] ppid=17245 vsize=8605808 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17265/stat : 17265 (java) S 17245 17247 17247 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 948045405 8812347392 8640 33554432000 1073741824 1073778376 140733296443296 18446744073709551615 216000409088 0 4 0 16800975 18446604468938079168 0 0 -1 7 0 0 0
[pid=17174/tid=17182] ppid=17172 vsize=325072 CPUtime=0.01 cores=1,3,5,7
/proc/17174/task/17182/stat : 17182 (python) S 17172 17174 14716 0 -1 4202560 32 1347 0 0 0 0 1 0 20 0 5 0 948030617 332873728 7435 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604464298960128 0 0 -1 1 0 0 0
[pid=17174/tid=17192] ppid=17172 vsize=325072 CPUtime=0.01 cores=1,3,5,7
/proc/17174/task/17192/stat : 17192 (python) S 17172 17174 14716 0 -1 4202560 29 1347 0 0 0 0 1 0 20 0 5 0 948035832 332873728 7435 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604464298960128 0 0 -1 3 0 0 0
[pid=17174/tid=17237] ppid=17172 vsize=325072 CPUtime=0.01 cores=1,3,5,7
/proc/17174/task/17237/stat : 17237 (python) S 17172 17174 14716 0 -1 4202560 32 1347 0 0 0 0 1 0 20 0 5 0 948040519 332873728 7435 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604464298960128 0 0 -1 3 0 0 0
[pid=17174/tid=17246] ppid=17172 vsize=325072 CPUtime=0.01 cores=1,3,5,7
/proc/17174/task/17246/stat : 17246 (python) S 17172 17174 14716 0 -1 4202560 26 1347 0 0 0 0 1 0 20 0 5 0 948045376 332873728 7435 33554432000 4194304 5683644 140736518307104 18446744073709551615 216000416177 0 0 16781312 33554434 18446604464298960128 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 150.45
Current children cumulated vsize (KiB) 18826404
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 17174 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=467928
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=128980
# CPU time returned by wait4() is 0.596908
# while last known CPU time is 150.45
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 148.582
CPU time (s): 150.45
CPU user time (s): 141.52
CPU system time (s): 8.93
CPU usage (%): 101.257
Max. virtual memory (cumulated for all children) (KiB): 18826404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.467928
system time used= 0.12898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14800
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= 2207
involuntary context switches= 20
runsolver used 0.868867 second user time and 1.9757 second system time
The end