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-3481466-1307577856/watcher-3481466-1307577856 -o /tmp/evaluation-result-3481466-1307577856/solver-3481466-1307577856 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481466-1307577856.opb -seed 271738601 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.07 1.60 3/635 1943
/proc/meminfo: memFree=21840792/32951124 swapFree=36471928/67111528
[pid=1943] ppid=1941 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/1943/stat : 1943 (python) R 1941 1943 32706 0 -1 4202496 892 0 0 0 0 0 0 0 22 0 1 0 869386114 16154624 773 33554432000 4194304 5683644 140736556879040 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/1943/statm: 3944 773 343 364 0 431 0
[startup+0.108206 s]
/proc/loadavg: 2.10 2.07 1.60 3/635 1943
/proc/meminfo: memFree=21840792/32951124 swapFree=36471928/67111528
[pid=1943] ppid=1941 vsize=96128 CPUtime=0.08 cores=0,2,4,6
/proc/1943/stat : 1943 (python) R 1941 1943 32706 0 -1 4202496 3168 930 1 0 6 2 0 0 18 0 1 0 869386114 98435072 2483 33554432000 4194304 5683644 140736556879040 18446744073709551615 5169834 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/1943/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.201179 s]
/proc/loadavg: 2.10 2.07 1.60 3/635 1943
/proc/meminfo: memFree=21840792/32951124 swapFree=36471928/67111528
[pid=1943] ppid=1941 vsize=123744 CPUtime=0.15 cores=0,2,4,6
/proc/1943/stat : 1943 (python) R 1941 1943 32706 0 -1 4202496 5357 930 1 0 11 4 0 0 17 0 1 0 869386114 126713856 3744 33554432000 4194304 5683644 140736556879040 18446744073709551615 230809161733 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/1943/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123744
[startup+0.301152 s]
/proc/loadavg: 2.10 2.07 1.60 3/635 1943
/proc/meminfo: memFree=21840792/32951124 swapFree=36471928/67111528
[pid=1943] ppid=1941 vsize=203000 CPUtime=0.22 cores=0,2,4,6
/proc/1943/stat : 1943 (python) R 1941 1943 32706 0 -1 4202496 6701 930 1 0 16 6 0 0 17 0 1 0 869386114 207872000 4982 33554432000 4194304 5683644 140736556879040 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/1943/statm: 50750 4987 1472 364 0 3712 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 203000
[startup+0.701128 s]
/proc/loadavg: 2.10 2.07 1.60 3/635 1943
/proc/meminfo: memFree=21840792/32951124 swapFree=36471928/67111528
[pid=1943] ppid=1941 vsize=285052 CPUtime=0.38 cores=0,2,4,6
/proc/1943/stat : 1943 (python) S 1941 1943 32706 0 -1 4202496 9838 930 1 0 29 9 0 0 18 0 1 0 869386114 291893248 7569 33554432000 4194304 5683644 140736556879040 18446744073709551615 230809185807 0 0 16781312 2 3838752060182888448 0 0 17 4 0 0 0
/proc/1943/statm: 71263 7569 1777 364 0 6156 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 285052
[startup+1.50099 s]
/proc/loadavg: 2.10 2.07 1.60 3/636 1949
/proc/meminfo: memFree=21801988/32951124 swapFree=36471928/67111528
[pid=1943] ppid=1941 vsize=298364 CPUtime=1.39 cores=0,2,4,6
/proc/1943/stat : 1943 (python) R 1941 1943 32706 0 -1 4202496 18382 1552 1 0 92 10 30 7 18 0 1 0 869386114 305524736 10938 33554432000 4194304 5683644 140736556879040 18446744073709551615 47267637974390 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/1943/statm: 74591 10938 1816 364 0 9484 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 298364
[startup+3.10065 s]
/proc/loadavg: 2.10 2.07 1.60 3/639 1953
/proc/meminfo: memFree=21774808/32951124 swapFree=36471928/67111528
[pid=1943] ppid=1941 vsize=309888 CPUtime=2.05 cores=0,2,4,6
/proc/1943/stat : 1943 (python) S 1941 1943 32706 0 -1 4202496 19354 1552 1 0 157 11 30 7 21 0 2 0 869386114 317325312 11311 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/1943/statm: 77472 11311 1871 364 0 12359 0
[pid=1951] ppid=1943 vsize=299644 CPUtime=0 cores=0,2,4,6
/proc/1951/stat : 1951 (python) S 1943 1943 32706 0 -1 4202560 709 0 0 0 0 0 0 0 18 0 1 0 869386329 306835456 9754 33554432000 4194304 5683644 140736556879040 18446744073709551615 230809185807 0 0 16781312 33554946 9247926575339372801 0 0 17 4 0 0 0
/proc/1951/statm: 74911 9754 318 364 0 9798 0
[pid=1953] ppid=1951 vsize=169356 CPUtime=0.94 cores=0,2,4,6
/proc/1953/stat : 1953 (scip-2.0.1.linu) R 1951 1953 1953 0 -1 4202496 39846 0 0 0 89 5 0 0 25 0 1 0 869386329 173420544 39161 33554432000 4194304 13684479 140734557859296 18446744073709551615 6733904 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/1953/statm: 42339 39178 586 2317 0 40017 0
[pid=1943/tid=1952] ppid=1941 vsize=309888 CPUtime=0.37 cores=0,2,4,6
/proc/1943/task/1952/stat : 1952 (python) S 1941 1943 32706 0 -1 4202560 28 1552 0 0 0 0 30 7 21 0 2 0 869386329 317325312 11311 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026781504 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 778888
[startup+6.3011 s]
/proc/loadavg: 2.10 2.07 1.60 3/639 1953
/proc/meminfo: memFree=21465048/32951124 swapFree=36471928/67111528
[pid=1943] ppid=1941 vsize=309888 CPUtime=2.05 cores=0,2,4,6
/proc/1943/stat : 1943 (python) S 1941 1943 32706 0 -1 4202496 19354 1552 1 0 157 11 30 7 21 0 2 0 869386114 317325312 11311 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/1943/statm: 77472 11311 1871 364 0 12359 0
[pid=1951] ppid=1943 vsize=299644 CPUtime=0.01 cores=0,2,4,6
/proc/1951/stat : 1951 (python) S 1943 1943 32706 0 -1 4202560 880 0 0 0 1 0 0 0 15 0 1 0 869386329 306835456 9778 33554432000 4194304 5683644 140736556879040 18446744073709551615 230809185807 0 0 16781312 33554946 4294934787 0 0 17 4 0 0 0
/proc/1951/statm: 74911 9778 342 364 0 9798 0
[pid=1953] ppid=1951 vsize=344988 CPUtime=4.13 cores=0,2,4,6
/proc/1953/stat : 1953 (scip-2.0.1.linu) R 1951 1953 1953 0 -1 4202496 87486 0 0 0 394 19 0 0 25 0 1 0 869386329 353267712 83114 33554432000 4194304 13684479 140734557859296 18446744073709551615 4940998 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/1953/statm: 86247 83114 763 2317 0 83925 0
[pid=1943/tid=1952] ppid=1941 vsize=309888 CPUtime=0.37 cores=0,2,4,6
/proc/1943/task/1952/stat : 1952 (python) S 1941 1943 32706 0 -1 4202560 28 1552 0 0 0 0 30 7 21 0 2 0 869386329 317325312 11311 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026781504 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 954520
[startup+12.7009 s]
/proc/loadavg: 2.08 2.07 1.60 3/639 1953
/proc/meminfo: memFree=21321444/32951124 swapFree=36471928/67111528
[pid=1943] ppid=1941 vsize=309888 CPUtime=2.05 cores=0,2,4,6
/proc/1943/stat : 1943 (python) S 1941 1943 32706 0 -1 4202496 19354 1552 1 0 157 11 30 7 21 0 2 0 869386114 317325312 11311 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/1943/statm: 77472 11311 1871 364 0 12359 0
[pid=1951] ppid=1943 vsize=299644 CPUtime=0.03 cores=0,2,4,6
/proc/1951/stat : 1951 (python) S 1943 1943 32706 0 -1 4202560 887 0 0 0 2 1 0 0 15 0 1 0 869386329 306835456 9778 33554432000 4194304 5683644 140736556879040 18446744073709551615 230809185807 0 0 16781312 33554946 2494638819379249152 0 0 17 4 0 0 0
/proc/1951/statm: 74911 9778 342 364 0 9798 0
[pid=1953] ppid=1951 vsize=492196 CPUtime=10.52 cores=0,2,4,6
/proc/1953/stat : 1953 (scip-2.0.1.linu) R 1951 1953 1953 0 -1 4202496 123299 0 0 0 1028 24 0 0 25 0 1 0 869386329 504008704 118903 33554432000 4194304 13684479 140734557859296 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/1953/statm: 123049 118903 773 2317 0 120727 0
[pid=1943/tid=1952] ppid=1941 vsize=309888 CPUtime=0.37 cores=0,2,4,6
/proc/1943/task/1952/stat : 1952 (python) S 1941 1943 32706 0 -1 4202560 28 1552 0 0 0 0 30 7 21 0 2 0 869386329 317325312 11311 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026781504 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 1101728
[startup+25.5006 s]
/proc/loadavg: 2.07 2.06 1.61 3/639 1953
/proc/meminfo: memFree=21448284/32951124 swapFree=36471928/67111528
[pid=1943] ppid=1941 vsize=309888 CPUtime=2.05 cores=0,2,4,6
/proc/1943/stat : 1943 (python) S 1941 1943 32706 0 -1 4202496 19354 1552 1 0 157 11 30 7 21 0 2 0 869386114 317325312 11311 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/1943/statm: 77472 11311 1871 364 0 12359 0
[pid=1951] ppid=1943 vsize=299644 CPUtime=0.09 cores=0,2,4,6
/proc/1951/stat : 1951 (python) S 1943 1943 32706 0 -1 4202560 896 0 0 0 5 4 0 0 15 0 1 0 869386329 306835456 9778 33554432000 4194304 5683644 140736556879040 18446744073709551615 230809185807 0 0 16781312 33554946 72409437758827261 0 0 17 4 0 0 0
/proc/1951/statm: 74911 9778 342 364 0 9798 0
[pid=1953] ppid=1951 vsize=358928 CPUtime=23.32 cores=0,2,4,6
/proc/1953/stat : 1953 (scip-2.0.1.linu) R 1951 1953 1953 0 -1 4202496 123555 0 0 0 2302 30 0 0 25 0 1 0 869386329 367542272 86590 33554432000 4194304 13684479 140734557859296 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1953/statm: 89732 86590 793 2317 0 87410 0
[pid=1943/tid=1952] ppid=1941 vsize=309888 CPUtime=0.37 cores=0,2,4,6
/proc/1943/task/1952/stat : 1952 (python) S 1941 1943 32706 0 -1 4202560 28 1552 0 0 0 0 30 7 21 0 2 0 869386329 317325312 11311 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026781504 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 968460
[startup+51.1009 s]
/proc/loadavg: 2.04 2.06 1.62 3/643 1958
/proc/meminfo: memFree=21249960/32951124 swapFree=36471928/67111528
[pid=1943] ppid=1941 vsize=309888 CPUtime=2.05 cores=0,2,4,6
/proc/1943/stat : 1943 (python) S 1941 1943 32706 0 -1 4202496 19354 1552 1 0 157 11 30 7 21 0 2 0 869386114 317325312 11311 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/1943/statm: 77472 11311 1871 364 0 12359 0
[pid=1951] ppid=1943 vsize=299644 CPUtime=0.17 cores=0,2,4,6
/proc/1951/stat : 1951 (python) S 1943 1943 32706 0 -1 4202560 909 0 0 0 8 9 0 0 15 0 1 0 869386329 306835456 9778 33554432000 4194304 5683644 140736556879040 18446744073709551615 230809185807 0 0 16781312 33554946 72409437758827261 0 0 17 4 0 0 0
/proc/1951/statm: 74911 9778 342 364 0 9798 0
[pid=1953] ppid=1951 vsize=358928 CPUtime=48.92 cores=0,2,4,6
/proc/1953/stat : 1953 (scip-2.0.1.linu) R 1951 1953 1953 0 -1 4202496 123561 0 0 0 4858 34 0 0 25 0 1 0 869386329 367542272 86596 33554432000 4194304 13684479 140734557859296 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1953/statm: 89732 86596 798 2317 0 87410 0
[pid=1943/tid=1952] ppid=1941 vsize=309888 CPUtime=0.37 cores=0,2,4,6
/proc/1943/task/1952/stat : 1952 (python) S 1941 1943 32706 0 -1 4202560 28 1552 0 0 0 0 30 7 21 0 2 0 869386329 317325312 11311 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026781504 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 968460
[startup+102.302 s]
/proc/loadavg: 2.18 2.08 1.65 3/691 2007
/proc/meminfo: memFree=19242296/32951124 swapFree=36471928/67111528
[pid=1943] ppid=1941 vsize=330400 CPUtime=2.11 cores=0,2,4,6
/proc/1943/stat : 1943 (python) S 1941 1943 32706 0 -1 4202496 21144 1552 1 0 163 11 30 7 20 0 4 0 869386114 338329600 11324 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/1943/statm: 82600 11324 1876 364 0 17481 0
[pid=1951] ppid=1943 vsize=309888 CPUtime=0.19 cores=0,2,4,6
/proc/1951/stat : 1951 (python) S 1943 1943 32706 0 -1 4202560 1111 0 0 0 9 10 0 0 16 0 2 0 869386329 317325312 9846 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/1951/statm: 77472 9846 405 364 0 12359 0
[pid=1953] ppid=1951 vsize=358928 CPUtime=50.53 cores=0,2,4,6
/proc/1953/stat : 1953 (scip-2.0.1.linu) T 1951 1953 1953 0 -1 4202496 123561 0 0 0 5019 34 0 0 25 0 1 0 869386329 367542272 86596 33554432000 4194304 13684479 140734557859296 18446744073709551615 5325453 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/1953/statm: 89732 86596 798 2317 0 87410 0
[pid=1951/tid=1959] ppid=1943 vsize=309888 CPUtime=0 cores=0,2,4,6
/proc/1951/task/1959/stat : 1959 (python) S 1943 1943 32706 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869391385 317325312 9846 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554946 18446604443927582592 0 0 -1 4 0 0 0
[pid=1960] ppid=1943 vsize=309900 CPUtime=0.18 cores=0,2,4,6
/proc/1960/stat : 1960 (python) S 1943 1943 32706 0 -1 4202560 1103 0 0 0 10 8 0 0 16 0 2 0 869391388 317337600 9831 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1960/statm: 77475 9831 390 364 0 12359 0
[pid=1962] ppid=1960 vsize=50272 CPUtime=48.61 cores=0,2,4,6
/proc/1962/stat : 1962 (wbo1.4a) T 1960 1962 1962 0 -1 4202496 18145 0 0 0 4854 7 0 0 25 0 1 0 869391388 51478528 11967 33554432000 134512640 135751879 4289221360 18446744073709551615 134518784 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/1962/statm: 12568 11967 146 303 0 12263 0
[pid=1960/tid=1986] ppid=1943 vsize=309900 CPUtime=0 cores=0,2,4,6
/proc/1960/task/1986/stat : 1986 (python) S 1943 1943 32706 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869396250 317337600 9831 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554946 18446604446267340928 0 0 -1 6 0 0 0
[pid=1987] ppid=1943 vsize=320156 CPUtime=0 cores=0,2,4,6
/proc/1987/stat : 1987 (python) S 1943 1943 32706 0 -1 4202560 781 0 0 0 0 0 0 0 15 0 1 0 869396253 327839744 9763 33554432000 4194304 5683644 140736556879040 18446744073709551615 230809185862 0 0 16781312 33554946 1955243531761090560 0 0 17 0 0 0 0
/proc/1987/statm: 80039 9763 319 364 0 14920 0
[pid=1989] ppid=1987 vsize=8547964 CPUtime=2.02 cores=0,2,4,6
/proc/1989/stat : 1989 (java) S 1987 1989 1989 0 -1 4202496 36809 0 1 0 197 5 0 0 20 0 19 0 869396253 8753115136 33475 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1989/statm: 2136991 33475 2225 9 0 2127732 0
[pid=1989/tid=1990] ppid=1987 vsize=8547964 CPUtime=0.9 cores=0,2,4,6
/proc/1989/task/1990/stat : 1990 (java) R 1987 1989 1989 0 -1 4202560 25740 0 1 0 87 3 0 0 19 0 19 0 869396254 8753115136 33573 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 46912505880950 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1989/tid=1991] ppid=1987 vsize=8547964 CPUtime=0 cores=0,2,4,6
/proc/1989/task/1991/stat : 1991 (java) S 1987 1989 1989 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869396254 8753115136 33573 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820981657 0 4 0 16800975 18446604453887477824 0 0 -1 4 0 0 0
[pid=1989/tid=1992] ppid=1987 vsize=8547964 CPUtime=0 cores=0,2,4,6
/proc/1989/task/1992/stat : 1992 (java) S 1987 1989 1989 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869396254 8753115136 33573 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820981657 0 4 0 16800975 18446604453887477824 0 0 -1 4 0 0 0
[pid=1989/tid=1993] ppid=1987 vsize=8547964 CPUtime=0 cores=0,2,4,6
/proc/1989/task/1993/stat : 1993 (java) S 1987 1989 1989 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869396254 8753115136 33574 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820981657 0 4 0 16800975 18446604453887477824 0 0 -1 4 0 0 0
[pid=1989/tid=1994] ppid=1987 vsize=8547964 CPUtime=0 cores=0,2,4,6
/proc/1989/task/1994/stat : 1994 (java) S 1987 1989 1989 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869396254 8753115136 33574 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820981657 0 4 0 16800975 18446604453887477824 0 0 -1 2 0 0 0
[pid=1989/tid=1995] ppid=1987 vsize=8547964 CPUtime=0 cores=0,2,4,6
/proc/1989/task/1995/stat : 1995 (java) S 1987 1989 1989 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869396254 8753115136 33575 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820981657 0 4 0 16800975 18446604453887477824 0 0 -1 2 0 0 0
[pid=1989/tid=1996] ppid=1987 vsize=8547964 CPUtime=0 cores=0,2,4,6
/proc/1989/task/1996/stat : 1996 (java) S 1987 1989 1989 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869396254 8753115136 33575 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820981657 0 4 0 16800975 18446604453887477824 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=1943/tid=1952] ppid=1941 vsize=361168 CPUtime=0.37 cores=0,2,4,6
/proc/1943/task/1952/stat : 1952 (python) S 1941 1943 32706 0 -1 4202560 34 1552 0 0 0 0 30 7 18 0 7 0 869386329 369836032 11342 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026781504 0 0 -1 6 0 0 0
[pid=1943/tid=1961] ppid=1941 vsize=361168 CPUtime=0.37 cores=0,2,4,6
/proc/1943/task/1961/stat : 1961 (python) S 1941 1943 32706 0 -1 4202560 28 1552 0 0 0 0 30 7 20 0 7 0 869391388 369836032 11342 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026781504 0 0 -1 0 0 0 0
[pid=1943/tid=1988] ppid=1941 vsize=361168 CPUtime=0.37 cores=0,2,4,6
/proc/1943/task/1988/stat : 1988 (python) S 1941 1943 32706 0 -1 4202560 27 1552 0 0 0 0 30 7 20 0 7 0 869396253 369836032 11342 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026781504 0 0 -1 2 0 0 0
[pid=1943/tid=2015] ppid=1941 vsize=361168 CPUtime=0.37 cores=0,2,4,6
/proc/1943/task/2015/stat : 2015 (python) S 1941 1943 32706 0 -1 4202560 30 1552 0 0 0 0 30 7 20 0 7 0 869400965 369836032 11342 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026781504 0 0 -1 2 0 0 0
[pid=1943/tid=2023] ppid=1941 vsize=361168 CPUtime=0.37 cores=0,2,4,6
/proc/1943/task/2023/stat : 2023 (python) S 1941 1943 32706 0 -1 4202560 32 1552 0 0 0 0 30 7 20 0 7 0 869410331 369836032 11342 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026781504 0 0 -1 2 0 0 0
[pid=1943/tid=2032] ppid=1941 vsize=361168 CPUtime=0.37 cores=0,2,4,6
/proc/1943/task/2032/stat : 2032 (python) S 1941 1943 32706 0 -1 4202560 29 1552 0 0 0 0 30 7 20 0 7 0 869419265 369836032 11342 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026781504 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 336.69
Current children cumulated vsize (KiB) 20215368
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+332.202 s]
/proc/loadavg: 2.32 2.13 1.75 4/728 2050
/proc/meminfo: memFree=15123824/32951124 swapFree=36471928/67111528
[pid=1943] ppid=1941 vsize=361168 CPUtime=2.21 cores=0,2,4,6
/proc/1943/stat : 1943 (python) S 1941 1943 32706 0 -1 4202496 23976 1552 1 0 172 12 30 7 20 0 7 0 869386114 369836032 11342 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/1943/statm: 90292 11342 1882 364 0 25164 0
[pid=1951] ppid=1943 vsize=309888 CPUtime=0.34 cores=0,2,4,6
/proc/1951/stat : 1951 (python) S 1943 1943 32706 0 -1 4202560 1131 0 0 0 17 17 0 0 15 0 2 0 869386329 317325312 9847 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1951/statm: 77472 9847 406 364 0 12359 0
[pid=1953] ppid=1951 vsize=360220 CPUtime=91.67 cores=0,2,4,6
/proc/1953/stat : 1953 (scip-2.0.1.linu) T 1951 1953 1953 0 -1 4202496 123855 0 0 0 9127 40 0 0 25 0 1 0 869386329 368865280 86890 33554432000 4194304 13684479 140734557859296 18446744073709551615 4617744 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/1953/statm: 90055 86890 799 2317 0 87733 0
[pid=1951/tid=1959] ppid=1943 vsize=309888 CPUtime=0 cores=0,2,4,6
/proc/1951/task/1959/stat : 1959 (python) S 1943 1943 32706 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 869391385 317325312 9847 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554946 18446604443927582592 0 0 -1 4 0 0 0
[pid=1960] ppid=1943 vsize=309900 CPUtime=0.18 cores=0,2,4,6
/proc/1960/stat : 1960 (python) S 1943 1943 32706 0 -1 4202560 1103 0 0 0 10 8 0 0 16 0 2 0 869391388 317337600 9831 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1960/statm: 77475 9831 390 364 0 12359 0
[pid=1962] ppid=1960 vsize=50272 CPUtime=48.61 cores=0,2,4,6
/proc/1962/stat : 1962 (wbo1.4a) T 1960 1962 1962 0 -1 4202496 18145 0 0 0 4854 7 0 0 25 0 1 0 869391388 51478528 11967 33554432000 134512640 135751879 4289221360 18446744073709551615 134518784 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/1962/statm: 12568 11967 146 303 0 12263 0
[pid=1960/tid=1986] ppid=1943 vsize=309900 CPUtime=0 cores=0,2,4,6
/proc/1960/task/1986/stat : 1986 (python) S 1943 1943 32706 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869396250 317337600 9831 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554946 18446604446267340928 0 0 -1 6 0 0 0
[pid=1987] ppid=1943 vsize=320156 CPUtime=0.16 cores=0,2,4,6
/proc/1987/stat : 1987 (python) S 1943 1943 32706 0 -1 4202560 1133 0 0 0 8 8 0 0 16 0 2 0 869396253 327839744 9835 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1987/statm: 80039 9835 390 364 0 14920 0
[pid=1989] ppid=1987 vsize=8546140 CPUtime=49.79 cores=0,2,4,6
/proc/1989/stat : 1989 (java) T 1987 1989 1989 0 -1 4202496 709705 0 1 0 4903 76 0 0 18 0 19 0 869396253 8751247360 702478 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1989/statm: 2136535 702478 2249 9 0 2127276 0
[pid=1989/tid=1990] ppid=1987 vsize=8546140 CPUtime=46.73 cores=0,2,4,6
/proc/1989/task/1990/stat : 1990 (java) T 1987 1989 1989 0 -1 4202560 633489 0 1 0 4608 65 0 0 25 0 19 0 869396254 8751247360 702478 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 46912506153462 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1989/tid=1991] ppid=1987 vsize=8546140 CPUtime=0.16 cores=0,2,4,6
/proc/1989/task/1991/stat : 1991 (java) T 1987 1989 1989 0 -1 4202560 11485 0 0 0 15 1 0 0 15 0 19 0 869396254 8751247360 702478 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=1989/tid=1992] ppid=1987 vsize=8546140 CPUtime=0.13 cores=0,2,4,6
/proc/1989/task/1992/stat : 1992 (java) T 1987 1989 1989 0 -1 4202560 9563 0 0 0 12 1 0 0 15 0 19 0 869396254 8751247360 702478 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1989/tid=1993] ppid=1987 vsize=8546140 CPUtime=0.16 cores=0,2,4,6
/proc/1989/task/1993/stat : 1993 (java) T 1987 1989 1989 0 -1 4202560 9609 0 0 0 16 0 0 0 15 0 19 0 869396254 8751247360 702478 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1989/tid=1994] ppid=1987 vsize=8546140 CPUtime=0.1 cores=0,2,4,6
/proc/1989/task/1994/stat : 1994 (java) T 1987 1989 1989 0 -1 4202560 8057 0 0 0 10 0 0 0 15 0 19 0 869396254 8751247360 702478 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1989/tid=1995] ppid=1987 vsize=8546140 CPUtime=0.07 cores=0,2,4,6
/proc/1989/task/1995/stat : 1995 (java) T 1987 1989 1989 0 -1 4202560 5880 0 0 0 7 0 0 0 15 0 19 0 869396254 8751247360 702478 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1989/tid=1996] ppid=1987 vsize=8546140 CPUtime=0.1 cores=0,2,4,6
/proc/1989/task/1996/stat : 1996 (java) T 1987 1989 1989 0 -1 4202560 7336 0 0 0 10 0 0 0 15 0 19 0 869396254 8751247360 702478 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1989/tid=1997] ppid=1987 vsize=8546140 CPUtime=0.09 cores=0,2,4,6
/proc/1989/task/1997/stat : 1997 (java) T 1987 1989 1989 0 -1 4202560 6721 0 0 0 8 1 0 0 15 0 19 0 869396254 8751247360 702478 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=1989/tid=1998] ppid=1987 vsize=8546140 CPUtime=0.07 cores=0,2,4,6
/proc/1989/task/1998/stat : 1998 (java) T 1987 1989 1989 0 -1 4202560 4522 0 0 0 6 1 0 0 15 0 19 0 869396254 8751247360 702478 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=1989/tid=1999] ppid=1987 vsize=8546140 CPUtime=0 cores=0,2,4,6
/proc/1989/task/1999/stat : 1999 (java) T 1987 1989 1989 0 -1 4202560 1270 0 0 0 0 0 0 0 15 0 19 0 869396255 8751247360 702478 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820982272 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1989/tid=2000] ppid=1987 vsize=8546140 CPUtime=0 cores=0,2,4,6
/proc/1989/task/2000/stat : 2000 (java) T 1987 1989 1989 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869396256 8751247360 702478 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1989/tid=2001] ppid=1987 vsize=8546140 CPUtime=0 cores=0,2,4,6
/proc/1989/task/2001/stat : 2001 (java) T 1987 1989 1989 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869396256 8751247360 702478 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1989/tid=2002] ppid=1987 vsize=8546140 CPUtime=0 cores=0,2,4,6
/proc/1989/task/2002/stat : 2002 (java) T 1987 1989 1989 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869396258 8751247360 702478 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820989361 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1989/tid=2003] ppid=1987 vsize=8546140 CPUtime=1 cores=0,2,4,6
/proc/1989/task/2003/stat : 2003 (java) T 1987 1989 1989 0 -1 4202560 5382 0 0 0 100 0 0 0 15 0 19 0 869396258 8751247360 702478 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=1989/tid=2004] ppid=1987 vsize=8546140 CPUtime=1.06 cores=0,2,4,6
/proc/1989/task/2004/stat : 2004 (java) T 1987 1989 1989 0 -1 4202560 5000 0 0 0 105 1 0 0 15 0 19 0 869396258 8751247360 702478 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1989/tid=2005] ppid=1987 vsize=8546140 CPUtime=0 cores=0,2,4,6
/proc/1989/task/2005/stat : 2005 (java) T 1987 1989 1989 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869396258 8751247360 702478 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1989/tid=2006] ppid=1987 vsize=8546140 CPUtime=0 cores=0,2,4,6
/proc/1989/task/2006/stat : 2006 (java) T 1987 1989 1989 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869396258 8751247360 702478 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1989/tid=2007] ppid=1987 vsize=8546140 CPUtime=0 cores=0,2,4,6
/proc/1989/task/2007/stat : 2007 (java) T 1987 1989 1989 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869396327 8751247360 702478 33554432000 1073741824 1073778376 140736410794816 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1987/tid=2013] ppid=1943 vsize=320156 CPUtime=0 cores=0,2,4,6
/proc/1987/task/2013/stat : 2013 (python) S 1943 1943 32706 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869400963 327839744 9835 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554946 18446604450026780608 0 0 -1 6 0 0 0
[pid=2014] ppid=1943 vsize=330412 CPUtime=0.34 cores=0,2,4,6
/proc/2014/stat : 2014 (python) S 1943 1943 32706 0 -1 4202560 1181 0 0 0 17 17 0 0 17 0 2 0 869400965 338341888 9839 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/2014/statm: 82603 9839 390 364 0 17481 0
[pid=2016] ppid=2014 vsize=28380 CPUtime=93.51 cores=0,2,4,6
/proc/2016/stat : 2016 (clasp-1.3.7-x86) T 2014 2016 2016 0 -1 4202496 7702 0 0 0 9351 0 0 0 25 0 1 0 869400966 29061120 6828 33554432000 134512640 136139019 4294213216 18446744073709551615 134599785 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/2016/statm: 7095 6828 187 398 0 6695 0
[pid=2014/tid=2021] ppid=1943 vsize=330412 CPUtime=0 cores=0,2,4,6
/proc/2014/task/2021/stat : 2021 (python) S 1943 1943 32706 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 869410329 338341888 9839 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554946 18446604453856203968 0 0 -1 0 0 0 0
[pid=2022] ppid=1943 vsize=340668 CPUtime=0.17 cores=0,2,4,6
/proc/2022/stat : 2022 (python) S 1943 1943 32706 0 -1 4202560 1228 0 0 0 9 8 0 0 16 0 2 0 869410331 348844032 9849 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2022/statm: 85167 9849 396 364 0 20042 0
[pid=2024] ppid=2022 vsize=359764 CPUtime=48.07 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.0.1.linu) T 2022 2024 2024 0 -1 4202496 137649 0 0 0 4775 32 0 0 25 0 1 0 869410332 368398336 86515 33554432000 4194304 15243407 140733282040048 18446744073709551615 4231457 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/2024/statm: 89941 86515 918 2698 0 87236 0
[pid=2022/tid=2029] ppid=1943 vsize=340668 CPUtime=0 cores=0,2,4,6
/proc/2022/task/2029/stat : 2029 (python) S 1943 1943 32706 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869415145 348844032 9849 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554946 18446604442273503296 0 0 -1 0 0 0 0
[pid=2031] ppid=1943 vsize=350924 CPUtime=0 cores=0,2,4,6
/proc/2031/stat : 2031 (python) S 1943 1943 32706 0 -1 4202560 813 0 0 0 0 0 0 0 16 0 1 0 869419265 359346176 9775 33554432000 4194304 5683644 140736556879040 18446744073709551615 230809185862 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/2031/statm: 87731 9775 319 364 0 22603 0
[pid=2033] ppid=2031 vsize=8547476 CPUtime=1.64 cores=0,2,4,6
/proc/2033/stat : 2033 (java) S 2031 2033 2033 0 -1 4202496 33352 0 1 0 158 6 0 0 20 0 18 0 869419266 8752615424 29061 33554432000 1073741824 1073778376 140735600600240 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2033/statm: 2136869 29061 2220 9 0 2127610 0
[pid=2033/tid=2034] ppid=2031 vsize=8547476 CPUtime=0.69 cores=0,2,4,6
/proc/2033/task/2034/stat : 2034 (java) R 2031 2033 2033 0 -1 4202560 21991 0 1 0 66 3 0 0 18 0 18 0 869419267 8752615424 29124 33554432000 1073741824 1073778376 140735600600240 18446744073709551615 46912505228243 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2033/tid=2035] ppid=2031 vsize=8547476 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2035/stat : 2035 (java) S 2031 2033 2033 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869419267 8752615424 29124 33554432000 1073741824 1073778376 140735600600240 18446744073709551615 230820981657 0 4 0 16800975 18446604443731876032 0 0 -1 4 0 0 0
[pid=2033/tid=2036] ppid=2031 vsize=8547476 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2036/stat : 2036 (java) S 2031 2033 2033 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869419267 8752615424 29124 33554432000 1073741824 1073778376 140735600600240 18446744073709551615 230820981657 0 4 0 16800975 18446604443731876032 0 0 -1 4 0 0 0
[pid=2033/tid=2037] ppid=2031 vsize=8547476 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2037/stat : 2037 (java) S 2031 2033 2033 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869419267 8752615424 29124 33554432000 1073741824 1073778376 140735600600240 18446744073709551615 230820981657 0 4 0 16800975 18446604443731876032 0 0 -1 4 0 0 0
[pid=2033/tid=2038] ppid=2031 vsize=8547476 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2038/stat : 2038 (java) S 2031 2033 2033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869419267 8752615424 29124 33554432000 1073741824 1073778376 140735600600240 18446744073709551615 230820981657 0 4 0 16800975 18446604443731876032 0 0 -1 4 0 0 0
[pid=2033/tid=2039] ppid=2031 vsize=8547476 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2039/stat : 2039 (java) S 2031 2033 2033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869419267 8752615424 29124 33554432000 1073741824 1073778376 140735600600240 18446744073709551615 230820981657 0 4 0 16800975 18446604443731876032 0 0 -1 4 0 0 0
[pid=2033/tid=2040] ppid=2031 vsize=8547476 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2040/stat : 2040 (java) S 2031 2033 2033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869419267 8752615424 29124 33554432000 1073741824 1073778376 140735600600240 18446744073709551615 230820981657 0 4 0 16800975 18446604443731876032 0 0 -1 4 0 0 0
[pid=2033/tid=2041] ppid=2031 vsize=8547476 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2041/stat : 2041 (java) S 2031 2033 2033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869419267 8752615424 29124 33554432000 1073741824 1073778376 140735600600240 18446744073709551615 230820981657 0 4 0 16800975 18446604443731876032 0 0 -1 4 0 0 0
[pid=2033/tid=2042] ppid=2031 vsize=8547476 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2042/stat : 2042 (java) S 2031 2033 2033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869419267 8752615424 29124 33554432000 1073741824 1073778376 140735600600240 18446744073709551615 230820981657 0 4 0 16800975 18446604443731876032 0 0 -1 4 0 0 0
[pid=2033/tid=2043] ppid=2031 vsize=8547476 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2043/stat : 2043 (java) S 2031 2033 2033 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869419268 8752615424 29124 33554432000 1073741824 1073778376 140735600600240 18446744073709551615 230820982272 0 0 0 16800975 18446604443731876032 0 0 -1 4 0 0 0
[pid=2033/tid=2044] ppid=2031 vsize=8547476 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2044/stat : 2044 (java) S 2031 2033 2033 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869419269 8752615424 29124 33554432000 1073741824 1073778376 140735600600240 18446744073709551615 230820981657 0 4 0 16800975 18446604443731876032 0 0 -1 4 0 0 0
[pid=2033/tid=2045] ppid=2031 vsize=8547476 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2045/stat : 2045 (java) S 2031 2033 2033 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869419269 8752615424 29124 33554432000 1073741824 1073778376 140735600600240 18446744073709551615 230820981657 0 4 0 16800975 18446604443731876032 0 0 -1 4 0 0 0
[pid=2033/tid=2046] ppid=2031 vsize=8547476 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2046/stat : 2046 (java) S 2031 2033 2033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869419271 8752615424 29124 33554432000 1073741824 1073778376 140735600600240 18446744073709551615 230820989361 0 4 0 16800975 18446604443731876032 0 0 -1 4 0 0 0
[pid=2033/tid=2047] ppid=2031 vsize=8547476 CPUtime=0.47 cores=0,2,4,6
/proc/2033/task/2047/stat : 2047 (java) R 2031 2033 2033 0 -1 4202560 5362 0 0 0 46 1 0 0 18 0 18 0 869419271 8752615424 29124 33554432000 1073741824 1073778376 140735600600240 18446744073709551615 230820991669 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2033/tid=2048] ppid=2031 vsize=8547476 CPUtime=0.45 cores=0,2,4,6
/proc/2033/task/2048/stat : 2048 (java) S 2031 2033 2033 0 -1 4202560 4667 0 0 0 45 0 0 0 17 0 18 0 869419271 8752615424 29124 33554432000 1073741824 1073778376 140735600600240 18446744073709551615 230820981657 0 4 0 16800975 18446604443731876032 0 0 -1 0 0 0 0
[pid=2033/tid=2049] ppid=2031 vsize=8547476 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2049/stat : 2049 (java) S 2031 2033 2033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869419271 8752615424 29124 33554432000 1073741824 1073778376 140735600600240 18446744073709551615 230820981657 0 4 0 16800975 18446604443731876032 0 0 -1 4 0 0 0
[pid=2033/tid=2050] ppid=2031 vsize=8547476 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2050/stat : 2050 (java) S 2031 2033 2033 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869419271 8752615424 29124 33554432000 1073741824 1073778376 140735600600240 18446744073709551615 230820982272 0 4 0 16800975 18446604443731876032 0 0 -1 2 0 0 0
[pid=1943/tid=1952] ppid=1941 vsize=361168 CPUtime=0.37 cores=0,2,4,6
/proc/1943/task/1952/stat : 1952 (python) S 1941 1943 32706 0 -1 4202560 34 1552 0 0 0 0 30 7 18 0 7 0 869386329 369836032 11342 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026781504 0 0 -1 6 0 0 0
[pid=1943/tid=1961] ppid=1941 vsize=361168 CPUtime=0.37 cores=0,2,4,6
/proc/1943/task/1961/stat : 1961 (python) S 1941 1943 32706 0 -1 4202560 28 1552 0 0 0 0 30 7 20 0 7 0 869391388 369836032 11342 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026781504 0 0 -1 0 0 0 0
[pid=1943/tid=1988] ppid=1941 vsize=361168 CPUtime=0.37 cores=0,2,4,6
/proc/1943/task/1988/stat : 1988 (python) S 1941 1943 32706 0 -1 4202560 27 1552 0 0 0 0 30 7 20 0 7 0 869396253 369836032 11342 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026781504 0 0 -1 2 0 0 0
[pid=1943/tid=2015] ppid=1941 vsize=361168 CPUtime=0.37 cores=0,2,4,6
/proc/1943/task/2015/stat : 2015 (python) S 1941 1943 32706 0 -1 4202560 30 1552 0 0 0 0 30 7 20 0 7 0 869400965 369836032 11342 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026781504 0 0 -1 2 0 0 0
[pid=1943/tid=2023] ppid=1941 vsize=361168 CPUtime=0.37 cores=0,2,4,6
/proc/1943/task/2023/stat : 2023 (python) S 1941 1943 32706 0 -1 4202560 32 1552 0 0 0 0 30 7 20 0 7 0 869410331 369836032 11342 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026781504 0 0 -1 2 0 0 0
[pid=1943/tid=2032] ppid=1941 vsize=361168 CPUtime=0.37 cores=0,2,4,6
/proc/1943/task/2032/stat : 2032 (python) S 1941 1943 32706 0 -1 4202560 29 1552 0 0 0 0 30 7 20 0 7 0 869419265 369836032 11342 33554432000 4194304 5683644 140736556879040 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026781504 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 336.69
Current children cumulated vsize (KiB) 20215368
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1943 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=35690
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=198969
# CPU time returned by wait4() is 2.23466
# while last known CPU time is 336.69
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 332.284
CPU time (s): 336.69
CPU user time (s): 334.31
CPU system time (s): 2.38
CPU usage (%): 101.326
Max. virtual memory (cumulated for all children) (KiB): 20215368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.03569
system time used= 0.198969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25531
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= 24711
involuntary context switches= 30
runsolver used 2.35664 second user time and 4.20436 second system time
The end