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-3481446-1307577833/watcher-3481446-1307577833 -o /tmp/evaluation-result-3481446-1307577833/solver-3481446-1307577833 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481446-1307577833.opb -seed 560010683 -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.28 2.11 1.64 1/596 13607
/proc/meminfo: memFree=22266316/32950904 swapFree=56615552/67111528
[pid=13607] ppid=13605 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/13607/stat : 13607 (python) S 13605 13607 11000 0 -1 4202496 904 0 0 0 0 0 0 0 17 0 1 0 869383161 16154624 784 33554432000 4194304 5683644 140735331115632 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/13607/statm: 3944 784 346 364 0 431 0
[startup+0.0316391 s]
/proc/loadavg: 2.28 2.11 1.64 1/596 13607
/proc/meminfo: memFree=22266316/32950904 swapFree=56615552/67111528
[pid=13607] ppid=13605 vsize=18888 CPUtime=0.01 cores=0,2,4,6
/proc/13607/stat : 13607 (python) R 13605 13607 11000 0 -1 4202496 1277 0 0 0 1 0 0 0 17 0 1 0 869383161 19341312 1129 33554432000 4194304 5683644 140735331115632 18446744073709551615 4892132 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/13607/statm: 4722 1129 421 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18888
[startup+0.100577 s]
/proc/loadavg: 2.28 2.11 1.64 1/596 13607
/proc/meminfo: memFree=22266316/32950904 swapFree=56615552/67111528
[pid=13607] ppid=13605 vsize=96128 CPUtime=0.06 cores=0,2,4,6
/proc/13607/stat : 13607 (python) R 13605 13607 11000 0 -1 4202496 3170 930 1 0 5 1 0 0 18 0 1 0 869383161 98435072 2484 33554432000 4194304 5683644 140735331115632 18446744073709551615 5170208 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/13607/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.300642 s]
/proc/loadavg: 2.28 2.11 1.64 1/596 13607
/proc/meminfo: memFree=22266316/32950904 swapFree=56615552/67111528
[pid=13607] ppid=13605 vsize=202856 CPUtime=0.21 cores=0,2,4,6
/proc/13607/stat : 13607 (python) R 13605 13607 11000 0 -1 4202496 6654 930 1 0 17 4 0 0 17 0 1 0 869383161 207724544 4940 33554432000 4194304 5683644 140735331115632 18446744073709551615 237273916904 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/13607/statm: 50714 4944 1472 364 0 3676 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 202856
[startup+0.700542 s]
/proc/loadavg: 2.28 2.11 1.64 1/596 13607
/proc/meminfo: memFree=22266316/32950904 swapFree=56615552/67111528
[pid=13607] ppid=13605 vsize=286380 CPUtime=0.59 cores=0,2,4,6
/proc/13607/stat : 13607 (python) R 13605 13607 11000 0 -1 4202496 11100 1448 1 0 34 7 17 1 18 0 1 0 869383161 293253120 7907 33554432000 4194304 5683644 140735331115632 18446744073709551615 4602436 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/13607/statm: 71595 7907 1782 364 0 6488 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 286380
[startup+1.50033 s]
/proc/loadavg: 2.28 2.11 1.64 3/601 13623
/proc/meminfo: memFree=22116480/32950904 swapFree=56615552/67111528
[pid=13607] ppid=13605 vsize=300916 CPUtime=1.2 cores=0,2,4,6
/proc/13607/stat : 13607 (python) S 13605 13607 11000 0 -1 4202496 14558 1448 1 0 94 8 17 1 20 0 2 0 869383161 308137984 9069 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/13607/statm: 75229 9069 1871 364 0 10116 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 300916
[startup+3.10105 s]
/proc/loadavg: 2.28 2.11 1.64 3/607 13631
/proc/meminfo: memFree=21996880/32950904 swapFree=56615552/67111528
[pid=13607] ppid=13605 vsize=300916 CPUtime=1.2 cores=0,2,4,6
/proc/13607/stat : 13607 (python) S 13605 13607 11000 0 -1 4202496 14558 1448 1 0 94 8 17 1 20 0 2 0 869383161 308137984 9069 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/13607/statm: 75229 9069 1871 364 0 10116 0
[pid=13627] ppid=13607 vsize=290672 CPUtime=0 cores=0,2,4,6
/proc/13627/stat : 13627 (python) S 13607 13607 11000 0 -1 4202560 740 0 0 0 0 0 0 0 15 0 1 0 869383293 297648128 7512 33554432000 4194304 5683644 140735331115632 18446744073709551615 237278899727 0 0 16781312 33554946 629996969892249600 0 0 17 4 0 0 0
/proc/13627/statm: 72668 7512 318 364 0 7555 0
[pid=13629] ppid=13627 vsize=188436 CPUtime=1.76 cores=0,2,4,6
/proc/13629/stat : 13629 (scip-2.0.1.linu) R 13627 13629 13629 0 -1 4202496 46502 0 0 0 159 17 0 0 25 0 1 0 869383293 192958464 44379 33554432000 4194304 13684479 140733260547456 18446744073709551615 4306512 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/13629/statm: 47109 44379 762 2317 0 44787 0
[pid=13607/tid=13628] ppid=13605 vsize=300916 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13628/stat : 13628 (python) S 13605 13607 11000 0 -1 4202560 27 1448 0 0 0 0 17 1 20 0 2 0 869383293 308137984 9069 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 780024
[startup+6.30047 s]
/proc/loadavg: 2.50 2.16 1.66 2/600 13648
/proc/meminfo: memFree=21996444/32950904 swapFree=56615552/67111528
[pid=13607] ppid=13605 vsize=300916 CPUtime=1.2 cores=0,2,4,6
/proc/13607/stat : 13607 (python) S 13605 13607 11000 0 -1 4202496 14558 1448 1 0 94 8 17 1 20 0 2 0 869383161 308137984 9069 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/13607/statm: 75229 9069 1871 364 0 10116 0
[pid=13627] ppid=13607 vsize=290672 CPUtime=0.01 cores=0,2,4,6
/proc/13627/stat : 13627 (python) S 13607 13607 11000 0 -1 4202560 878 0 0 0 0 1 0 0 15 0 1 0 869383293 297648128 7536 33554432000 4194304 5683644 140735331115632 18446744073709551615 237278899727 0 0 16781312 33554946 1452953596189474816 0 0 17 6 0 0 0
/proc/13627/statm: 72668 7536 342 364 0 7555 0
[pid=13629] ppid=13627 vsize=188436 CPUtime=4.95 cores=0,2,4,6
/proc/13629/stat : 13629 (scip-2.0.1.linu) R 13627 13629 13629 0 -1 4202496 46933 0 0 0 466 29 0 0 25 0 1 0 869383293 192958464 44672 33554432000 4194304 13684479 140733260547456 18446744073709551615 4372408 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/13629/statm: 47109 44672 814 2317 0 44787 0
[pid=13607/tid=13628] ppid=13605 vsize=300916 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13628/stat : 13628 (python) S 13605 13607 11000 0 -1 4202560 27 1448 0 0 0 0 17 1 20 0 2 0 869383293 308137984 9069 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 780024
[startup+12.7004 s]
/proc/loadavg: 2.54 2.17 1.66 3/607 13668
/proc/meminfo: memFree=21585496/32950904 swapFree=56615552/67111528
[pid=13607] ppid=13605 vsize=300916 CPUtime=1.2 cores=0,2,4,6
/proc/13607/stat : 13607 (python) S 13605 13607 11000 0 -1 4202496 14558 1448 1 0 94 8 17 1 20 0 2 0 869383161 308137984 9069 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/13607/statm: 75229 9069 1871 364 0 10116 0
[pid=13627] ppid=13607 vsize=290672 CPUtime=0.03 cores=0,2,4,6
/proc/13627/stat : 13627 (python) S 13607 13607 11000 0 -1 4202560 882 0 0 0 1 2 0 0 15 0 1 0 869383293 297648128 7536 33554432000 4194304 5683644 140735331115632 18446744073709551615 237278899727 0 0 16781312 33554946 4294934787 0 0 17 4 0 0 0
/proc/13627/statm: 72668 7536 342 364 0 7555 0
[pid=13629] ppid=13627 vsize=198964 CPUtime=11.36 cores=0,2,4,6
/proc/13629/stat : 13629 (scip-2.0.1.linu) R 13627 13629 13629 0 -1 4202496 49453 0 0 0 1103 33 0 0 25 0 1 0 869383293 203739136 47156 33554432000 4194304 13684479 140733260547456 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/13629/statm: 49741 47156 780 2317 0 47419 0
[pid=13607/tid=13628] ppid=13605 vsize=300916 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13628/stat : 13628 (python) S 13605 13607 11000 0 -1 4202560 27 1448 0 0 0 0 17 1 20 0 2 0 869383293 308137984 9069 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 790552
[startup+25.5012 s]
/proc/loadavg: 2.42 2.16 1.67 3/607 13669
/proc/meminfo: memFree=21372280/32950904 swapFree=56615552/67111528
[pid=13607] ppid=13605 vsize=300916 CPUtime=1.2 cores=0,2,4,6
/proc/13607/stat : 13607 (python) S 13605 13607 11000 0 -1 4202496 14558 1448 1 0 94 8 17 1 20 0 2 0 869383161 308137984 9069 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/13607/statm: 75229 9069 1871 364 0 10116 0
[pid=13627] ppid=13607 vsize=290672 CPUtime=0.09 cores=0,2,4,6
/proc/13627/stat : 13627 (python) S 13607 13607 11000 0 -1 4202560 888 0 0 0 4 5 0 0 15 0 1 0 869383293 297648128 7536 33554432000 4194304 5683644 140735331115632 18446744073709551615 237278899727 0 0 16781312 33554946 72409437758827230 0 0 17 4 0 0 0
/proc/13627/statm: 72668 7536 342 364 0 7555 0
[pid=13629] ppid=13627 vsize=200168 CPUtime=24.15 cores=0,2,4,6
/proc/13629/stat : 13629 (scip-2.0.1.linu) R 13627 13629 13629 0 -1 4202496 66909 0 0 0 2373 42 0 0 25 0 1 0 869383293 204972032 47610 33554432000 4194304 13684479 140733260547456 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/13629/statm: 50042 47610 805 2317 0 47720 0
[pid=13607/tid=13628] ppid=13605 vsize=300916 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13628/stat : 13628 (python) S 13605 13607 11000 0 -1 4202560 27 1448 0 0 0 0 17 1 20 0 2 0 869383293 308137984 9069 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 791756
[startup+51.1006 s]
/proc/loadavg: 2.34 2.17 1.68 3/611 13674
/proc/meminfo: memFree=21203752/32950904 swapFree=56615552/67111528
[pid=13607] ppid=13605 vsize=311172 CPUtime=1.23 cores=0,2,4,6
/proc/13607/stat : 13607 (python) S 13605 13607 11000 0 -1 4202496 15433 1448 1 0 97 8 17 1 20 0 3 0 869383161 318640128 9076 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/13607/statm: 77793 9076 1874 364 0 12677 0
[pid=13627] ppid=13607 vsize=300916 CPUtime=0.18 cores=0,2,4,6
/proc/13627/stat : 13627 (python) S 13607 13607 11000 0 -1 4202560 1094 0 0 0 8 10 0 0 16 0 2 0 869383293 308137984 7604 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/13627/statm: 75229 7604 405 364 0 10116 0
[pid=13629] ppid=13627 vsize=200420 CPUtime=47.46 cores=0,2,4,6
/proc/13629/stat : 13629 (scip-2.0.1.linu) T 13627 13629 13629 0 -1 4202496 66969 0 0 0 4698 48 0 0 25 0 1 0 869383293 205230080 47670 33554432000 4194304 13684479 140733260547456 18446744073709551615 7415496 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/13629/statm: 50105 47670 811 2317 0 47783 0
[pid=13627/tid=13671] ppid=13607 vsize=300916 CPUtime=0 cores=0,2,4,6
/proc/13627/task/13671/stat : 13671 (python) S 13607 13607 11000 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869388041 308137984 7604 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554946 18446604440919178240 0 0 -1 4 0 0 0
[pid=13672] ppid=13607 vsize=300928 CPUtime=0 cores=0,2,4,6
/proc/13672/stat : 13672 (python) S 13607 13607 11000 0 -1 4202560 756 0 0 0 0 0 0 0 15 0 1 0 869388044 308150272 7517 33554432000 4194304 5683644 140735331115632 18446744073709551615 237278899782 0 0 16781312 33554946 2741138382749958144 0 0 17 6 0 0 0
/proc/13672/statm: 75232 7517 319 364 0 10116 0
[pid=13674] ppid=13672 vsize=187796 CPUtime=2.26 cores=0,2,4,6
/proc/13674/stat : 13674 (scip-2.0.1.linu) R 13672 13674 13674 0 -1 4202496 46949 0 0 0 213 13 0 0 25 0 1 0 869388044 192303104 41388 33554432000 4194304 15243407 140735401035296 18446744073709551615 6457242 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/13674/statm: 46949 41388 862 2698 0 44244 0
[pid=13607/tid=13628] ppid=13605 vsize=311172 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13628/stat : 13628 (python) S 13605 13607 11000 0 -1 4202560 27 1448 0 0 0 0 17 1 20 0 3 0 869383293 318640128 9076 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 4 0 0 0
[pid=13607/tid=13673] ppid=13605 vsize=311172 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13673/stat : 13673 (python) S 13605 13607 11000 0 -1 4202560 26 1448 0 0 0 0 17 1 20 0 3 0 869388044 318640128 9076 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 1301232
[startup+102.301 s]
/proc/loadavg: 2.15 2.14 1.69 3/619 13683
/proc/meminfo: memFree=21077820/32950904 swapFree=56615552/67111528
[pid=13607] ppid=13605 vsize=386964 CPUtime=1.25 cores=0,2,4,6
/proc/13607/stat : 13607 (python) S 13605 13607 11000 0 -1 4202496 16344 1448 1 0 99 8 17 1 19 0 4 0 869383161 396251136 9083 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/13607/statm: 96741 9083 1876 364 0 31622 0
[pid=13627] ppid=13607 vsize=300916 CPUtime=0.18 cores=0,2,4,6
/proc/13627/stat : 13627 (python) S 13607 13607 11000 0 -1 4202560 1094 0 0 0 8 10 0 0 16 0 2 0 869383293 308137984 7604 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/13627/statm: 75229 7604 405 364 0 10116 0
[pid=13629] ppid=13627 vsize=200420 CPUtime=47.46 cores=0,2,4,6
/proc/13629/stat : 13629 (scip-2.0.1.linu) T 13627 13629 13629 0 -1 4202496 66969 0 0 0 4698 48 0 0 25 0 1 0 869383293 205230080 47670 33554432000 4194304 13684479 140733260547456 18446744073709551615 7415496 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/13629/statm: 50105 47670 811 2317 0 47783 0
[pid=13627/tid=13671] ppid=13607 vsize=300916 CPUtime=0 cores=0,2,4,6
/proc/13627/task/13671/stat : 13671 (python) S 13607 13607 11000 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869388041 308137984 7604 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554946 18446604440919178240 0 0 -1 4 0 0 0
[pid=13672] ppid=13607 vsize=300928 CPUtime=0.17 cores=0,2,4,6
/proc/13672/stat : 13672 (python) S 13607 13607 11000 0 -1 4202560 1182 0 0 0 9 8 0 0 16 0 2 0 869388044 308150272 7595 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/13672/statm: 75232 7595 396 364 0 10116 0
[pid=13674] ppid=13672 vsize=205040 CPUtime=47.95 cores=0,2,4,6
/proc/13674/stat : 13674 (scip-2.0.1.linu) T 13672 13674 13674 0 -1 4202496 75622 0 0 0 4756 39 0 0 25 0 1 0 869388044 209960960 47574 33554432000 4194304 15243407 140735401035296 18446744073709551615 4520300 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/13674/statm: 51260 47574 931 2698 0 48555 0
[pid=13672/tid=13680] ppid=13607 vsize=300928 CPUtime=0 cores=0,2,4,6
/proc/13672/task/13680/stat : 13680 (python) S 13607 13607 11000 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869392839 308150272 7595 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554946 18446604441203346368 0 0 -1 6 0 0 0
[pid=13681] ppid=13607 vsize=311184 CPUtime=0.01 cores=0,2,4,6
/proc/13681/stat : 13681 (python) S 13607 13607 11000 0 -1 4202560 1013 0 0 0 0 1 0 0 15 0 1 0 869392842 318652416 7550 33554432000 4194304 5683644 140735331115632 18446744073709551615 237278899782 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/13681/statm: 77796 7550 348 364 0 12677 0
[pid=13683] ppid=13681 vsize=23952 CPUtime=5.48 cores=0,2,4,6
/proc/13683/stat : 13683 (wbo1.4a) R 13681 13683 13683 0 -1 4202496 6550 0 0 0 546 2 0 0 25 0 1 0 869392842 24526848 5510 33554432000 134512640 135751879 4290173360 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/13683/statm: 5988 5510 146 303 0 5683 0
[pid=13607/tid=13628] ppid=13605 vsize=386964 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13628/stat : 13628 (python) S 13605 13607 11000 0 -1 4202560 27 1448 0 0 0 0 17 1 20 0 4 0 869383293 396251136 9083 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 4 0 0 0
[pid=13607/tid=13673] ppid=13605 vsize=386964 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13673/stat : 13673 (python) S 13605 13607 11000 0 -1 4202560 26 1448 0 0 0 0 17 1 20 0 4 0 869388044 396251136 9083 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=13607/tid=13628] ppid=13605 vsize=417732 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13628/stat : 13628 (python) S 13605 13607 11000 0 -1 4202560 32 1448 0 0 0 0 17 1 18 0 7 0 869383293 427757568 9181 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 4 0 0 0
[pid=13607/tid=13673] ppid=13605 vsize=417732 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13673/stat : 13673 (python) S 13605 13607 11000 0 -1 4202560 30 1448 0 0 0 0 17 1 18 0 7 0 869388044 427757568 9181 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 0 0 0 0
[pid=13607/tid=13682] ppid=13605 vsize=417732 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13682/stat : 13682 (python) S 13605 13607 11000 0 -1 4202560 31 1448 0 0 0 0 17 1 18 0 7 0 869392842 427757568 9181 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 6 0 0 0
[pid=13607/tid=13709] ppid=13605 vsize=417732 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13709/stat : 13709 (python) S 13605 13607 11000 0 -1 4202560 28 1448 0 0 0 0 17 1 20 0 7 0 869397747 427757568 9181 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 0 0 0 0
[pid=13607/tid=13736] ppid=13605 vsize=417732 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13736/stat : 13736 (python) S 13605 13607 11000 0 -1 4202560 30 1448 0 0 0 0 17 1 20 0 7 0 869402463 427757568 9181 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 2 0 0 0
[pid=13607/tid=13749] ppid=13605 vsize=417732 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13749/stat : 13749 (python) S 13605 13607 11000 0 -1 4202560 29 1448 0 0 0 0 17 1 20 0 7 0 869421252 427757568 9181 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 385.1
Current children cumulated vsize (KiB) 20106956
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+381.202 s]
/proc/loadavg: 2.00 2.05 1.76 7/696 13768
/proc/meminfo: memFree=15322084/32950904 swapFree=56615552/67111528
[pid=13607] ppid=13605 vsize=417732 CPUtime=1.38 cores=0,2,4,6
/proc/13607/stat : 13607 (python) S 13605 13607 11000 0 -1 4202496 19018 1448 1 0 111 9 17 1 20 0 7 0 869383161 427757568 9181 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/13607/statm: 104433 9181 1882 364 0 39305 0
[pid=13627] ppid=13607 vsize=300916 CPUtime=0.36 cores=0,2,4,6
/proc/13627/stat : 13627 (python) S 13607 13607 11000 0 -1 4202560 1119 0 0 0 17 19 0 0 15 0 2 0 869383293 308137984 7605 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/13627/statm: 75229 7605 406 364 0 10116 0
[pid=13629] ppid=13627 vsize=208948 CPUtime=93.63 cores=0,2,4,6
/proc/13629/stat : 13629 (scip-2.0.1.linu) T 13627 13629 13629 0 -1 4202496 68957 0 0 0 9303 60 0 0 25 0 1 0 869383293 213962752 49643 33554432000 4194304 13684479 140733260547456 18446744073709551615 7420183 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/13629/statm: 52237 49643 814 2317 0 49915 0
[pid=13627/tid=13671] ppid=13607 vsize=300916 CPUtime=0 cores=0,2,4,6
/proc/13627/task/13671/stat : 13671 (python) S 13607 13607 11000 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 869388041 308137984 7605 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554946 18446604440919178240 0 0 -1 4 0 0 0
[pid=13672] ppid=13607 vsize=300928 CPUtime=0.36 cores=0,2,4,6
/proc/13672/stat : 13672 (python) S 13607 13607 11000 0 -1 4202560 1216 0 0 0 18 18 0 0 16 0 2 0 869388044 308150272 7595 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/13672/statm: 75232 7595 396 364 0 10116 0
[pid=13674] ppid=13672 vsize=215812 CPUtime=94.14 cores=0,2,4,6
/proc/13674/stat : 13674 (scip-2.0.1.linu) T 13672 13674 13674 0 -1 4202496 79247 0 0 0 9367 47 0 0 25 0 1 0 869388044 220991488 48400 33554432000 4194304 15243407 140735401035296 18446744073709551615 8149401 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/13674/statm: 53953 48400 939 2698 0 51248 0
[pid=13672/tid=13680] ppid=13607 vsize=300928 CPUtime=0 cores=0,2,4,6
/proc/13672/task/13680/stat : 13680 (python) S 13607 13607 11000 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 869392839 308150272 7595 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554946 18446604441203346368 0 0 -1 6 0 0 0
[pid=13681] ppid=13607 vsize=311184 CPUtime=0.2 cores=0,2,4,6
/proc/13681/stat : 13681 (python) S 13607 13607 11000 0 -1 4202560 1197 0 0 0 10 10 0 0 16 0 2 0 869392842 318652416 7599 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/13681/statm: 77796 7599 396 364 0 12677 0
[pid=13683] ppid=13681 vsize=62376 CPUtime=49.01 cores=0,2,4,6
/proc/13683/stat : 13683 (wbo1.4a) T 13681 13683 13683 0 -1 4202496 16157 0 0 0 4889 12 0 0 25 0 1 0 869392842 63873024 15117 33554432000 134512640 135751879 4290173360 18446744073709551615 134518784 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/13683/statm: 15594 15117 146 303 0 15289 0
[pid=13681/tid=13707] ppid=13607 vsize=311184 CPUtime=0 cores=0,2,4,6
/proc/13681/task/13707/stat : 13707 (python) S 13607 13607 11000 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869397744 318652416 7599 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554946 18446604445629646784 0 0 -1 6 0 0 0
[pid=13708] ppid=13607 vsize=386976 CPUtime=0.17 cores=0,2,4,6
/proc/13708/stat : 13708 (python) S 13607 13607 11000 0 -1 4202560 1172 0 0 0 8 9 0 0 17 0 2 0 869397747 396263424 7759 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/13708/statm: 96744 7759 390 364 0 31622 0
[pid=13710] ppid=13708 vsize=8548820 CPUtime=49.65 cores=0,2,4,6
/proc/13710/stat : 13710 (java) T 13708 13710 13710 0 -1 4202496 561814 0 1 0 4900 65 0 0 18 0 19 0 869397747 8753991680 552770 33554432000 1073741824 1073778376 140736131518208 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/13710/statm: 2137205 552770 2250 9 0 2127946 0
[pid=13710/tid=13711] ppid=13708 vsize=8548820 CPUtime=46.86 cores=0,2,4,6
/proc/13710/task/13711/stat : 13711 (java) T 13708 13710 13710 0 -1 4202560 484554 0 1 0 4633 53 0 0 25 0 19 0 869397748 8753991680 552770 33554432000 1073741824 1073778376 140736131518208 18446744073709551615 46912505965376 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=13710/tid=13712] ppid=13708 vsize=8548820 CPUtime=0.1 cores=0,2,4,6
/proc/13710/task/13712/stat : 13712 (java) T 13708 13710 13710 0 -1 4202560 8634 0 0 0 9 1 0 0 15 0 19 0 869397748 8753991680 552770 33554432000 1073741824 1073778376 140736131518208 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=13710/tid=13713] ppid=13708 vsize=8548820 CPUtime=0.09 cores=0,2,4,6
/proc/13710/task/13713/stat : 13713 (java) T 13708 13710 13710 0 -1 4202560 7259 0 0 0 8 1 0 0 15 0 19 0 869397748 8753991680 552770 33554432000 1073741824 1073778376 140736131518208 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=13710/tid=13714] ppid=13708 vsize=8548820 CPUtime=0.1 cores=0,2,4,6
/proc/13710/task/13714/stat : 13714 (java) T 13708 13710 13710 0 -1 4202560 9589 0 0 0 9 1 0 0 15 0 19 0 869397748 8753991680 552770 33554432000 1073741824 1073778376 140736131518208 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=13710/tid=13715] ppid=13708 vsize=8548820 CPUtime=0.09 cores=0,2,4,6
/proc/13710/task/13715/stat : 13715 (java) T 13708 13710 13710 0 -1 4202560 8016 0 0 0 9 0 0 0 15 0 19 0 869397748 8753991680 552770 33554432000 1073741824 1073778376 140736131518208 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=13710/tid=13716] ppid=13708 vsize=8548820 CPUtime=0.05 cores=0,2,4,6
/proc/13710/task/13716/stat : 13716 (java) T 13708 13710 13710 0 -1 4202560 4721 0 0 0 5 0 0 0 15 0 19 0 869397748 8753991680 552770 33554432000 1073741824 1073778376 140736131518208 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=13710/tid=13717] ppid=13708 vsize=8548820 CPUtime=0.13 cores=0,2,4,6
/proc/13710/task/13717/stat : 13717 (java) T 13708 13710 13710 0 -1 4202560 10311 0 0 0 12 1 0 0 15 0 19 0 869397748 8753991680 552770 33554432000 1073741824 1073778376 140736131518208 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=13710/tid=13718] ppid=13708 vsize=8548820 CPUtime=0.08 cores=0,2,4,6
/proc/13710/task/13718/stat : 13718 (java) T 13708 13710 13710 0 -1 4202560 7327 0 0 0 7 1 0 0 15 0 19 0 869397748 8753991680 552770 33554432000 1073741824 1073778376 140736131518208 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=13710/tid=13719] ppid=13708 vsize=8548820 CPUtime=0.1 cores=0,2,4,6
/proc/13710/task/13719/stat : 13719 (java) T 13708 13710 13710 0 -1 4202560 8158 0 0 0 10 0 0 0 15 0 19 0 869397748 8753991680 552770 33554432000 1073741824 1073778376 140736131518208 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=13710/tid=13720] ppid=13708 vsize=8548820 CPUtime=0 cores=0,2,4,6
/proc/13710/task/13720/stat : 13720 (java) T 13708 13710 13710 0 -1 4202560 1271 0 0 0 0 0 0 0 15 0 19 0 869397750 8753991680 552770 33554432000 1073741824 1073778376 140736131518208 18446744073709551615 237290696192 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=13710/tid=13721] ppid=13708 vsize=8548820 CPUtime=0 cores=0,2,4,6
/proc/13710/task/13721/stat : 13721 (java) T 13708 13710 13710 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869397750 8753991680 552770 33554432000 1073741824 1073778376 140736131518208 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=13710/tid=13722] ppid=13708 vsize=8548820 CPUtime=0 cores=0,2,4,6
/proc/13710/task/13722/stat : 13722 (java) T 13708 13710 13710 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869397750 8753991680 552770 33554432000 1073741824 1073778376 140736131518208 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=13710/tid=13723] ppid=13708 vsize=8548820 CPUtime=0 cores=0,2,4,6
/proc/13710/task/13723/stat : 13723 (java) T 13708 13710 13710 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869397752 8753991680 552770 33554432000 1073741824 1073778376 140736131518208 18446744073709551615 237290703281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=13710/tid=13724] ppid=13708 vsize=8548820 CPUtime=0.97 cores=0,2,4,6
/proc/13710/task/13724/stat : 13724 (java) T 13708 13710 13710 0 -1 4202560 4544 0 0 0 97 0 0 0 15 0 19 0 869397752 8753991680 552770 33554432000 1073741824 1073778376 140736131518208 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=13710/tid=13725] ppid=13708 vsize=8548820 CPUtime=0.96 cores=0,2,4,6
/proc/13710/task/13725/stat : 13725 (java) T 13708 13710 13710 0 -1 4202560 6030 0 0 0 96 0 0 0 15 0 19 0 869397752 8753991680 552770 33554432000 1073741824 1073778376 140736131518208 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=13710/tid=13726] ppid=13708 vsize=8548820 CPUtime=0 cores=0,2,4,6
/proc/13710/task/13726/stat : 13726 (java) T 13708 13710 13710 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869397752 8753991680 552770 33554432000 1073741824 1073778376 140736131518208 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=13710/tid=13727] ppid=13708 vsize=8548820 CPUtime=0 cores=0,2,4,6
/proc/13710/task/13727/stat : 13727 (java) T 13708 13710 13710 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869397752 8753991680 552770 33554432000 1073741824 1073778376 140736131518208 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=13710/tid=13728] ppid=13708 vsize=8548820 CPUtime=0 cores=0,2,4,6
/proc/13710/task/13728/stat : 13728 (java) T 13708 13710 13710 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869397813 8753991680 552770 33554432000 1073741824 1073778376 140736131518208 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=13708/tid=13734] ppid=13607 vsize=386976 CPUtime=0 cores=0,2,4,6
/proc/13708/task/13734/stat : 13734 (python) S 13607 13607 11000 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869402460 396263424 7759 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554946 18446604441501636800 0 0 -1 6 0 0 0
[pid=13735] ppid=13607 vsize=397232 CPUtime=0.35 cores=0,2,4,6
/proc/13735/stat : 13735 (python) S 13607 13607 11000 0 -1 4202560 1020 0 0 0 18 17 0 0 19 0 2 0 869402463 406765568 7659 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/13735/statm: 99308 7659 390 364 0 34183 0
[pid=13737] ppid=13735 vsize=13472 CPUtime=95.44 cores=0,2,4,6
/proc/13737/stat : 13737 (clasp-1.3.7-x86) T 13735 13737 13737 0 -1 4202496 3613 0 0 0 9544 0 0 0 25 0 1 0 869402463 13795328 3104 33554432000 134512640 136139019 4294604656 18446744073709551615 134865653 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/13737/statm: 3368 3104 187 398 0 2968 0
[pid=13735/tid=13742] ppid=13607 vsize=397232 CPUtime=0 cores=0,2,4,6
/proc/13735/task/13742/stat : 13742 (python) S 13607 13607 11000 0 -1 4202560 60 0 0 0 0 0 0 0 19 0 2 0 869412008 406765568 7659 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554946 18446604444325568704 0 0 -1 6 0 0 0
[pid=13748] ppid=13607 vsize=407488 CPUtime=0 cores=0,2,4,6
/proc/13748/stat : 13748 (python) S 13607 13607 11000 0 -1 4202560 801 0 0 0 0 0 0 0 17 0 1 0 869421252 417267712 7614 33554432000 4194304 5683644 140735331115632 18446744073709551615 237278899782 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/13748/statm: 101872 7614 319 364 0 36744 0
[pid=13750] ppid=13748 vsize=8535072 CPUtime=0.41 cores=0,2,4,6
/proc/13750/stat : 13750 (java) S 13748 13750 13750 0 -1 4202496 8100 0 1 0 40 1 0 0 20 0 18 0 869421252 8739913728 7051 33554432000 1073741824 1073778376 140737191735904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/13750/statm: 2133768 7051 2184 9 0 2124509 0
[pid=13750/tid=13751] ppid=13748 vsize=8535072 CPUtime=0.29 cores=0,2,4,6
/proc/13750/task/13751/stat : 13751 (java) R 13748 13750 13750 0 -1 4202560 4681 0 1 0 28 1 0 0 25 0 18 0 869421253 8739913728 7100 33554432000 1073741824 1073778376 140737191735904 18446744073709551615 47495064890164 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13750/tid=13752] ppid=13748 vsize=8535072 CPUtime=0 cores=0,2,4,6
/proc/13750/task/13752/stat : 13752 (java) S 13748 13750 13750 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869421254 8739913728 7101 33554432000 1073741824 1073778376 140737191735904 18446744073709551615 237290695577 0 4 0 16800975 18446604446523416768 0 0 -1 6 0 0 0
[pid=13750/tid=13753] ppid=13748 vsize=8535072 CPUtime=0 cores=0,2,4,6
/proc/13750/task/13753/stat : 13753 (java) S 13748 13750 13750 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869421254 8739913728 7101 33554432000 1073741824 1073778376 140737191735904 18446744073709551615 237290695577 0 4 0 16800975 18446604446523416768 0 0 -1 6 0 0 0
[pid=13750/tid=13754] ppid=13748 vsize=8535072 CPUtime=0 cores=0,2,4,6
/proc/13750/task/13754/stat : 13754 (java) S 13748 13750 13750 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869421254 8739913728 7101 33554432000 1073741824 1073778376 140737191735904 18446744073709551615 237290695577 0 4 0 16800975 18446604446523416768 0 0 -1 6 0 0 0
[pid=13750/tid=13755] ppid=13748 vsize=8535072 CPUtime=0 cores=0,2,4,6
/proc/13750/task/13755/stat : 13755 (java) S 13748 13750 13750 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869421254 8739913728 7101 33554432000 1073741824 1073778376 140737191735904 18446744073709551615 237290695577 0 4 0 16800975 18446604446523416768 0 0 -1 6 0 0 0
[pid=13750/tid=13756] ppid=13748 vsize=8535072 CPUtime=0 cores=0,2,4,6
/proc/13750/task/13756/stat : 13756 (java) S 13748 13750 13750 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869421254 8739913728 7102 33554432000 1073741824 1073778376 140737191735904 18446744073709551615 237290695577 0 4 0 16800975 18446604446523416768 0 0 -1 6 0 0 0
[pid=13750/tid=13757] ppid=13748 vsize=8535072 CPUtime=0 cores=0,2,4,6
/proc/13750/task/13757/stat : 13757 (java) S 13748 13750 13750 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869421254 8739913728 7102 33554432000 1073741824 1073778376 140737191735904 18446744073709551615 237290695577 0 4 0 16800975 18446604446523416768 0 0 -1 6 0 0 0
[pid=13750/tid=13758] ppid=13748 vsize=8535072 CPUtime=0 cores=0,2,4,6
/proc/13750/task/13758/stat : 13758 (java) S 13748 13750 13750 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869421254 8739913728 7102 33554432000 1073741824 1073778376 140737191735904 18446744073709551615 237290695577 0 4 0 16800975 18446604446523416768 0 0 -1 6 0 0 0
[pid=13750/tid=13759] ppid=13748 vsize=8535072 CPUtime=0 cores=0,2,4,6
/proc/13750/task/13759/stat : 13759 (java) S 13748 13750 13750 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869421254 8739913728 7102 33554432000 1073741824 1073778376 140737191735904 18446744073709551615 237290695577 0 4 0 16800975 18446604446523416768 0 0 -1 6 0 0 0
[pid=13750/tid=13760] ppid=13748 vsize=8535072 CPUtime=0 cores=0,2,4,6
/proc/13750/task/13760/stat : 13760 (java) S 13748 13750 13750 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869421255 8739913728 7102 33554432000 1073741824 1073778376 140737191735904 18446744073709551615 237290696192 0 0 0 16800975 18446604446523416768 0 0 -1 6 0 0 0
[pid=13750/tid=13761] ppid=13748 vsize=8535072 CPUtime=0 cores=0,2,4,6
/proc/13750/task/13761/stat : 13761 (java) S 13748 13750 13750 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869421255 8739913728 7102 33554432000 1073741824 1073778376 140737191735904 18446744073709551615 237290695577 0 4 0 16800975 18446604446523416768 0 0 -1 6 0 0 0
[pid=13750/tid=13762] ppid=13748 vsize=8535072 CPUtime=0 cores=0,2,4,6
/proc/13750/task/13762/stat : 13762 (java) S 13748 13750 13750 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869421255 8739913728 7102 33554432000 1073741824 1073778376 140737191735904 18446744073709551615 237290695577 0 4 0 16800975 18446604446523416768 0 0 -1 6 0 0 0
[pid=13750/tid=13763] ppid=13748 vsize=8535072 CPUtime=0 cores=0,2,4,6
/proc/13750/task/13763/stat : 13763 (java) S 13748 13750 13750 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869421258 8739913728 7102 33554432000 1073741824 1073778376 140737191735904 18446744073709551615 237290703281 0 4 0 16800975 18446604446523416768 0 0 -1 6 0 0 0
[pid=13750/tid=13764] ppid=13748 vsize=8535072 CPUtime=0.07 cores=0,2,4,6
/proc/13750/task/13764/stat : 13764 (java) R 13748 13750 13750 0 -1 4202560 1381 0 0 0 7 0 0 0 16 0 18 0 869421258 8739913728 7102 33554432000 1073741824 1073778376 140737191735904 18446744073709551615 47495064544323 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13750/tid=13765] ppid=13748 vsize=8535072 CPUtime=0.04 cores=0,2,4,6
/proc/13750/task/13765/stat : 13765 (java) R 13748 13750 13750 0 -1 4202560 692 0 0 0 4 0 0 0 25 0 18 0 869421258 8739913728 7103 33554432000 1073741824 1073778376 140737191735904 18446744073709551615 237290698497 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13750/tid=13766] ppid=13748 vsize=8535072 CPUtime=0 cores=0,2,4,6
/proc/13750/task/13766/stat : 13766 (java) S 13748 13750 13750 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869421258 8739913728 7103 33554432000 1073741824 1073778376 140737191735904 18446744073709551615 237290695577 0 4 0 16800975 18446604446523416768 0 0 -1 6 0 0 0
[pid=13750/tid=13767] ppid=13748 vsize=8535072 CPUtime=0 cores=0,2,4,6
/proc/13750/task/13767/stat : 13767 (java) R 13748 13750 13750 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869421258 8739913728 7103 33554432000 1073741824 1073778376 140737191735904 18446744073709551615 237290696192 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13607/tid=13628] ppid=13605 vsize=417732 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13628/stat : 13628 (python) S 13605 13607 11000 0 -1 4202560 32 1448 0 0 0 0 17 1 18 0 7 0 869383293 427757568 9181 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 4 0 0 0
[pid=13607/tid=13673] ppid=13605 vsize=417732 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13673/stat : 13673 (python) S 13605 13607 11000 0 -1 4202560 30 1448 0 0 0 0 17 1 18 0 7 0 869388044 427757568 9181 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 0 0 0 0
[pid=13607/tid=13682] ppid=13605 vsize=417732 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13682/stat : 13682 (python) S 13605 13607 11000 0 -1 4202560 31 1448 0 0 0 0 17 1 18 0 7 0 869392842 427757568 9181 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 6 0 0 0
[pid=13607/tid=13709] ppid=13605 vsize=417732 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13709/stat : 13709 (python) S 13605 13607 11000 0 -1 4202560 28 1448 0 0 0 0 17 1 20 0 7 0 869397747 427757568 9181 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 0 0 0 0
[pid=13607/tid=13736] ppid=13605 vsize=417732 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13736/stat : 13736 (python) S 13605 13607 11000 0 -1 4202560 30 1448 0 0 0 0 17 1 20 0 7 0 869402463 427757568 9181 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 2 0 0 0
[pid=13607/tid=13749] ppid=13605 vsize=417732 CPUtime=0.18 cores=0,2,4,6
/proc/13607/task/13749/stat : 13749 (python) S 13605 13607 11000 0 -1 4202560 29 1448 0 0 0 0 17 1 20 0 7 0 869421252 427757568 9181 33554432000 4194304 5683644 140735331115632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445629644992 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 385.1
Current children cumulated vsize (KiB) 20106956
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13607 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=291803
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=107983
# CPU time returned by wait4() is 1.39979
# while last known CPU time is 385.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 381.305
CPU time (s): 385.1
CPU user time (s): 382.42
CPU system time (s): 2.68
CPU usage (%): 100.995
Max. virtual memory (cumulated for all children) (KiB): 20106956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.2918
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20469
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= 14795
involuntary context switches= 30
runsolver used 2.46263 second user time and 5.45117 second system time
The end