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-3481745-1307576440/watcher-3481745-1307576440 -o /tmp/evaluation-result-3481745-1307576440/solver-3481745-1307576440 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481745-1307576440.opb -seed 1919133569 -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: 0.00 0.00 0.00 3/326 16114
/proc/meminfo: memFree=28497752/32951124 swapFree=67056304/67111528
[pid=16114] ppid=16109 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/16114/stat : 16114 (runsolver) D 16109 16114 16077 0 -1 4202560 46 0 0 0 0 0 0 0 22 0 1 0 947875058 12079104 53 33554432000 4194304 5432328 140736081782624 18446744073709551615 5055479 0 0 4096 24578 18446744071562234166 0 0 17 2 0 0 0
/proc/16114/statm: 2949 53 34 303 0 2643 0
[startup+0.019735 s]
/proc/loadavg: 0.00 0.00 0.00 3/326 16114
/proc/meminfo: memFree=28497752/32951124 swapFree=67056304/67111528
[pid=16114] ppid=16109 vsize=1964 CPUtime=0 cores=0,2,4,6
/proc/16114/stat : 16114 (python) D 16109 16114 16077 0 -1 4194304 76 0 1 0 0 0 0 0 22 0 1 0 947875058 2011136 29 33554432000 4194304 5683644 140734778958960 18446744073709551615 260015473680 0 0 4096 0 18446744071562234166 0 0 17 2 0 0 0
/proc/16114/statm: 491 29 21 364 0 37 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1964
[startup+0.100704 s]
/proc/loadavg: 0.00 0.00 0.00 3/326 16114
/proc/meminfo: memFree=28497752/32951124 swapFree=67056304/67111528
[pid=16114] ppid=16109 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/16114/stat : 16114 (python) R 16109 16114 16077 0 -1 4202496 644 0 6 0 0 0 0 0 17 0 1 0 947875058 15441920 545 33554432000 4194304 5683644 140734778958960 18446744073709551615 260020393984 0 0 16781312 2 0 0 0 17 2 0 0 2
/proc/16114/statm: 3770 545 312 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.300679 s]
/proc/loadavg: 0.00 0.00 0.00 3/326 16114
/proc/meminfo: memFree=28497752/32951124 swapFree=67056304/67111528
[pid=16114] ppid=16109 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/16114/stat : 16114 (python) S 16109 16114 16077 0 -1 4202496 806 0 6 0 0 0 0 0 16 0 1 0 947875058 15753216 697 33554432000 4194304 5683644 140734778958960 18446744073709551615 260020391860 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 5
/proc/16114/statm: 3846 697 334 364 0 333 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15384
[startup+0.700596 s]
/proc/loadavg: 0.00 0.00 0.00 3/326 16114
/proc/meminfo: memFree=28497752/32951124 swapFree=67056304/67111528
[pid=16114] ppid=16109 vsize=16540 CPUtime=0.02 cores=0,2,4,6
/proc/16114/stat : 16114 (python) S 16109 16114 16077 0 -1 4202496 1180 0 6 0 1 1 0 0 16 0 1 0 947875058 16936960 1047 33554432000 4194304 5683644 140734778958960 18446744073709551615 260020391860 0 2147483391 16781312 2 18446744071699945619 0 0 17 2 0 0 6
/proc/16114/statm: 4135 1047 417 364 0 622 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16540
[startup+1.50044 s]
/proc/loadavg: 0.00 0.00 0.00 2/328 16116
/proc/meminfo: memFree=28484988/32951124 swapFree=67056304/67111528
[pid=16114] ppid=16109 vsize=50304 CPUtime=0.09 cores=0,2,4,6
/proc/16114/stat : 16114 (python) D 16109 16114 16077 0 -1 4202496 1994 0 17 0 6 3 0 0 16 0 1 0 947875058 51511296 1770 33554432000 4194304 5683644 140734778958960 18446744073709551615 260020393984 0 0 16781312 2 0 0 0 17 2 0 0 11
/proc/16114/statm: 12576 1770 480 364 0 1276 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50304
[startup+3.10117 s]
/proc/loadavg: 0.00 0.00 0.00 2/328 16116
/proc/meminfo: memFree=28476592/32951124 swapFree=67056304/67111528
[pid=16114] ppid=16109 vsize=85624 CPUtime=0.11 cores=0,2,4,6
/proc/16114/stat : 16114 (python) S 16109 16114 16077 0 -1 4202496 2645 0 21 0 7 4 0 0 16 0 1 0 947875058 87678976 2383 33554432000 4194304 5683644 140734778958960 18446744073709551615 260020391860 0 2147483391 16781312 2 18446744071699945619 0 0 17 2 0 0 15
/proc/16114/statm: 21406 2383 715 364 0 1623 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 85624
heavy processes:
[startup+6.30063 s]
/proc/loadavg: 0.16 0.03 0.01 2/328 16124
/proc/meminfo: memFree=28474928/32951124 swapFree=67056304/67111528
[pid=16114] ppid=16109 vsize=106648 CPUtime=0.17 cores=0,2,4,6
/proc/16114/stat : 16114 (python) D 16109 16114 16077 0 -1 4202496 4257 920 33 9 12 5 0 0 16 0 1 0 947875058 109207552 2814 33554432000 4194304 5683644 140734778958960 18446744073709551615 260020393984 0 0 16781312 2 0 0 0 17 2 0 0 34
/proc/16114/statm: 26662 2814 871 364 0 1910 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 106648
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 0.47 0.10 0.03 4/334 16130
/proc/meminfo: memFree=28342488/32951124 swapFree=67056304/67111528
[pid=16114] ppid=16109 vsize=293792 CPUtime=0.66 cores=0,2,4,6
/proc/16114/stat : 16114 (python) S 16109 16114 16077 0 -1 4202496 9701 920 112 9 46 20 0 0 18 0 2 0 947875058 300843008 7316 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 136
/proc/16114/statm: 73448 7316 1870 364 0 8335 0
[pid=16125] ppid=16114 vsize=283548 CPUtime=0 cores=0,2,4,6
/proc/16125/stat : 16125 (python) S 16114 16114 16077 0 -1 4202560 763 0 0 0 0 0 0 0 15 0 1 0 947876118 290353152 5794 33554432000 4194304 5683644 140734778958960 18446744073709551615 260020416015 0 0 16781312 33554946 2600958969560170496 0 0 17 0 0 0 0
/proc/16125/statm: 70887 5794 352 364 0 5774 0
[pid=16130] ppid=16125 vsize=65256 CPUtime=2.08 cores=0,2,4,6
/proc/16130/stat : 16130 (scip-2.0.1.linu) R 16125 16130 16130 0 -1 4202496 14719 0 0 0 204 4 0 0 19 0 1 0 947876119 66822144 14011 33554432000 4194304 13684479 140734301918880 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16130/statm: 16314 14011 767 2317 0 13992 0
[pid=16114/tid=16127] ppid=16109 vsize=293792 CPUtime=0 cores=0,2,4,6
/proc/16114/task/16127/stat : 16127 (python) S 16109 16114 16077 0 -1 4202560 28 920 0 9 0 0 0 0 18 0 2 0 947876119 300843008 7316 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032219569 0 0 16781312 33554434 18446604452120545088 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 642596
heavy processes:
[startup+25.5011 s]
/proc/loadavg: 0.89 0.21 0.07 4/334 16130
/proc/meminfo: memFree=28181412/32951124 swapFree=67056304/67111528
[pid=16114] ppid=16109 vsize=293792 CPUtime=0.66 cores=0,2,4,6
/proc/16114/stat : 16114 (python) S 16109 16114 16077 0 -1 4202496 9701 920 112 9 46 20 0 0 18 0 2 0 947875058 300843008 7316 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 136
/proc/16114/statm: 73448 7316 1870 364 0 8335 0
[pid=16125] ppid=16114 vsize=283548 CPUtime=0.04 cores=0,2,4,6
/proc/16125/stat : 16125 (python) S 16114 16114 16077 0 -1 4202560 915 0 0 0 2 2 0 0 15 0 1 0 947876118 290353152 5818 33554432000 4194304 5683644 140734778958960 18446744073709551615 260020416015 0 0 16781312 33554946 1135021128889139200 0 0 17 0 0 0 0
/proc/16125/statm: 70887 5818 376 364 0 5774 0
[pid=16130] ppid=16125 vsize=115660 CPUtime=14.88 cores=0,2,4,6
/proc/16130/stat : 16130 (scip-2.0.1.linu) R 16125 16130 16130 0 -1 4202496 27983 0 0 0 1476 12 0 0 18 0 1 0 947876119 118435840 26534 33554432000 4194304 13684479 140734301918880 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16130/statm: 28915 26534 770 2317 0 26593 0
[pid=16114/tid=16127] ppid=16109 vsize=293792 CPUtime=0 cores=0,2,4,6
/proc/16114/task/16127/stat : 16127 (python) S 16109 16114 16077 0 -1 4202560 28 920 0 9 0 0 0 0 18 0 2 0 947876119 300843008 7316 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032219569 0 0 16781312 33554434 18446604452120545088 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 15.58
Current children cumulated vsize (KiB) 693000
heavy processes:
[startup+51.1004 s]
/proc/loadavg: 1.27 0.35 0.12 4/334 16131
/proc/meminfo: memFree=28179316/32951124 swapFree=67056304/67111528
[pid=16114] ppid=16109 vsize=293792 CPUtime=0.66 cores=0,2,4,6
/proc/16114/stat : 16114 (python) S 16109 16114 16077 0 -1 4202496 9701 920 112 9 46 20 0 0 18 0 2 0 947875058 300843008 7316 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 136
/proc/16114/statm: 73448 7316 1870 364 0 8335 0
[pid=16125] ppid=16114 vsize=283548 CPUtime=0.1 cores=0,2,4,6
/proc/16125/stat : 16125 (python) S 16114 16114 16077 0 -1 4202560 922 0 0 0 4 6 0 0 15 0 1 0 947876118 290353152 5818 33554432000 4194304 5683644 140734778958960 18446744073709551615 260020416015 0 0 16781312 33554946 2082362469094785024 0 0 17 6 0 0 0
/proc/16125/statm: 70887 5818 376 364 0 5774 0
[pid=16130] ppid=16125 vsize=117644 CPUtime=40.48 cores=0,2,4,6
/proc/16130/stat : 16130 (scip-2.0.1.linu) R 16125 16130 16130 0 -1 4202496 28536 0 0 0 4021 27 0 0 20 0 1 0 947876119 120467456 27085 33554432000 4194304 13684479 140734301918880 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16130/statm: 29411 27085 795 2317 0 27089 0
[pid=16114/tid=16127] ppid=16109 vsize=293792 CPUtime=0 cores=0,2,4,6
/proc/16114/task/16127/stat : 16127 (python) S 16109 16114 16077 0 -1 4202560 28 920 0 9 0 0 0 0 18 0 2 0 947876119 300843008 7316 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032219569 0 0 16781312 33554434 18446604452120545088 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 41.24
Current children cumulated vsize (KiB) 694984
[startup+102.313 s]
/proc/loadavg: 1.68 0.60 0.21 4/378 16177
/proc/meminfo: memFree=27780948/32951124 swapFree=67056304/67111528
[pid=16114] ppid=16109 vsize=304580 CPUtime=0.68 cores=0,2,4,6
/proc/16114/stat : 16114 (python) S 16109 16114 16077 0 -1 4202496 10548 920 112 9 48 20 0 0 20 0 3 0 947875058 311889920 7443 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 136
/proc/16114/statm: 76145 7443 1873 364 0 11029 0
[pid=16125] ppid=16114 vsize=293792 CPUtime=0.13 cores=0,2,4,6
/proc/16125/stat : 16125 (python) S 16114 16114 16077 0 -1 4202560 1089 0 0 0 6 7 0 0 16 0 2 0 947876118 300843008 5854 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16125/statm: 73448 5854 407 364 0 8335 0
[pid=16130] ppid=16125 vsize=117644 CPUtime=50.59 cores=0,2,4,6
/proc/16130/stat : 16130 (scip-2.0.1.linu) T 16125 16130 16130 0 -1 4202496 28536 0 0 0 5026 33 0 0 25 0 1 0 947876119 120467456 27085 33554432000 4194304 13684479 140734301918880 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/16130/statm: 29411 27085 795 2317 0 27089 0
[pid=16125/tid=16132] ppid=16114 vsize=293792 CPUtime=0 cores=0,2,4,6
/proc/16125/task/16132/stat : 16132 (python) S 16114 16114 16077 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 947881179 300843008 5854 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032219569 0 0 16781312 33554946 18446604441290357632 0 0 -1 6 0 0 0
[pid=16133] ppid=16114 vsize=294336 CPUtime=0.12 cores=0,2,4,6
/proc/16133/stat : 16133 (python) S 16114 16114 16077 0 -1 4202560 1036 0 0 0 6 6 0 0 15 0 1 0 947881182 301400064 5945 33554432000 4194304 5683644 140734778958960 18446744073709551615 260020416070 0 0 16781312 33554946 72114768642583465 0 0 17 0 0 0 0
/proc/16133/statm: 73584 5945 379 364 0 8468 0
[pid=16135] ppid=16133 vsize=8537644 CPUtime=41.76 cores=0,2,4,6
/proc/16135/stat : 16135 (java) S 16133 16135 16135 0 -1 4202496 57629 0 116 0 4165 11 0 0 19 0 19 0 947881182 8742547456 49448 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 9
/proc/16135/statm: 2134411 49448 2254 9 0 2125152 0
[pid=16135/tid=16136] ppid=16133 vsize=8537644 CPUtime=40.38 cores=0,2,4,6
/proc/16135/task/16136/stat : 16136 (java) R 16133 16135 16135 0 -1 4202560 14743 0 59 0 4035 3 0 0 25 0 19 0 947881194 8742547456 49448 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 46912505726199 0 4 0 16800975 0 0 0 -1 4 0 0 19
[pid=16135/tid=16137] ppid=16133 vsize=8537644 CPUtime=0.04 cores=0,2,4,6
/proc/16135/task/16137/stat : 16137 (java) S 16133 16135 16135 0 -1 4202560 5243 0 0 0 3 1 0 0 15 0 19 0 947881198 8742547456 49448 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446604446957025088 0 0 -1 6 0 0 0
[pid=16135/tid=16138] ppid=16133 vsize=8537644 CPUtime=0.04 cores=0,2,4,6
/proc/16135/task/16138/stat : 16138 (java) S 16133 16135 16135 0 -1 4202560 5802 0 0 0 3 1 0 0 15 0 19 0 947881198 8742547456 49448 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446604446957025088 0 0 -1 2 0 0 0
[pid=16135/tid=16139] ppid=16133 vsize=8537644 CPUtime=0.03 cores=0,2,4,6
/proc/16135/task/16139/stat : 16139 (java) S 16133 16135 16135 0 -1 4202560 1226 0 0 0 3 0 0 0 16 0 19 0 947881198 8742547456 49448 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446604446957025088 0 0 -1 2 0 0 0
[pid=16135/tid=16140] ppid=16133 vsize=8537644 CPUtime=0.02 cores=0,2,4,6
/proc/16135/task/16140/stat : 16140 (java) S 16133 16135 16135 0 -1 4202560 780 0 0 0 2 0 0 0 15 0 19 0 947881198 8742547456 49448 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446604446957025088 0 0 -1 0 0 0 0
[pid=16135/tid=16141] ppid=16133 vsize=8537644 CPUtime=0.02 cores=0,2,4,6
/proc/16135/task/16141/stat : 16141 (java) S 16133 16135 16135 0 -1 4202560 2156 0 0 0 2 0 0 0 15 0 19 0 947881198 8742547456 49448 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446604446957025088 0 0 -1 0 0 0 0
[pid=16135/tid=16142] ppid=16133 vsize=8537644 CPUtime=0.03 cores=0,2,4,6
/proc/16135/task/16142/stat : 16142 (java) S 16133 16135 16135 0 -1 4202560 3068 0 0 0 3 0 0 0 15 0 19 0 947881198 8742547456 49448 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446604446957025088 0 0 -1 6 0 0 0
[pid=16135/tid=16143] ppid=16133 vsize=8537644 CPUtime=0.04 cores=0,2,4,6
/proc/16135/task/16143/stat : 16143 (java) S 16133 16135 16135 0 -1 4202560 6563 0 0 0 3 1 0 0 15 0 19 0 947881198 8742547456 49448 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446604446957025088 0 0 -1 2 0 0 0
[pid=16135/tid=16144] ppid=16133 vsize=8537644 CPUtime=0.03 cores=0,2,4,6
/proc/16135/task/16144/stat : 16144 (java) S 16133 16135 16135 0 -1 4202560 4031 0 0 0 3 0 0 0 15 0 19 0 947881198 8742547456 49448 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446604446957025088 0 0 -1 0 0 0 0
[pid=16135/tid=16145] ppid=16133 vsize=8537644 CPUtime=0.23 cores=0,2,4,6
/proc/16135/task/16145/stat : 16145 (java) S 16133 16135 16135 0 -1 4202560 7790 0 0 0 23 0 0 0 15 0 19 0 947881201 8742547456 49448 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032212480 0 0 0 16800975 18446604446957025088 0 0 -1 4 0 0 0
[pid=16135/tid=16146] ppid=16133 vsize=8537644 CPUtime=0 cores=0,2,4,6
/proc/16135/task/16146/stat : 16146 (java) S 16133 16135 16135 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947881202 8742547456 49448 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446604446957025088 0 0 -1 6 0 0 0
[pid=16135/tid=16147] ppid=16133 vsize=8537644 CPUtime=0 cores=0,2,4,6
/proc/16135/task/16147/stat : 16147 (java) S 16133 16135 16135 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947881202 8742547456 49448 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446604446957025088 0 0 -1 6 0 0 0
[pid=16135/tid=16161] ppid=16133 vsize=8537644 CPUtime=0 cores=0,2,4,6
/proc/16135/task/16161/stat : 16161 (java) S 16133 16135 16135 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947881215 8742547456 49448 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032219569 0 4 0 16800975 18446604446957025088 0 0 -1 6 0 0 0
[pid=16135/tid=16162] ppid=16133 vsize=8537644 CPUtime=0.38 cores=0,2,4,6
/proc/16135/task/16162/stat : 16162 (java) S 16133 16135 16135 0 -1 4202560 2030 0 0 0 38 0 0 0 15 0 19 0 947881215 8742547456 49448 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446604446957025088 0 0 -1 2 0 0 0
[pid=16135/tid=16163] ppid=16133 vsize=8537644 CPUtime=0.4 cores=0,2,4,6
/proc/16135/task/16163/stat : 16163 (java) S 16133 16135 16135 0 -1 4202560 2856 0 1 0 40 0 0 0 15 0 19 0 947881215 8742547456 49448 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446604446957025088 0 0 -1 0 0 0 0
[pid=16135/tid=16164] ppid=16133 vsize=8537644 CPUtime=0 cores=0,2,4,6
/proc/16135/task/16164/stat : 16164 (java) S 16133 16135 16135 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947881215 8742547456 49448 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446604446957025088 0 0 -1 4 0 0 0
[pid=16135/tid=16165] ppid=16133 vsize=8537644 CPUtime=0 cores=0,2,4,6
/proc/16135/task/16165/stat : 16165 (java) S 16133 16135 16135 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947881215 8742547456 49448 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032212480 0 4 0 16800975 18446604446957025088 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=16265/tid=16273] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16273/stat : 16273 (java) S 16263 16265 16265 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947891070 8739135488 9839 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 0 0 0 0
[pid=16265/tid=16274] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16274/stat : 16274 (java) S 16263 16265 16265 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947891070 8739135488 9839 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 0 0 0 0
[pid=16265/tid=16277] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16277/stat : 16277 (java) S 16263 16265 16265 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947891071 8739135488 9839 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032212480 0 0 0 16800975 18446604448048866560 0 0 -1 6 0 0 0
[pid=16265/tid=16278] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16278/stat : 16278 (java) S 16263 16265 16265 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947891072 8739135488 9839 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 6 0 0 0
[pid=16265/tid=16279] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16279/stat : 16279 (java) S 16263 16265 16265 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947891072 8739135488 9840 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 6 0 0 0
[pid=16265/tid=16280] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16280/stat : 16280 (java) S 16263 16265 16265 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947891074 8739135488 9843 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032219569 0 4 0 16800975 18446604448048866560 0 0 -1 6 0 0 0
[pid=16265/tid=16281] ppid=16263 vsize=8534312 CPUtime=0.12 cores=0,2,4,6
/proc/16265/task/16281/stat : 16281 (java) R 16263 16265 16265 0 -1 4202560 1377 0 0 0 12 0 0 0 25 0 19 0 947891074 8739135488 9844 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 47011488231322 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16265/tid=16282] ppid=16263 vsize=8534312 CPUtime=0.15 cores=0,2,4,6
/proc/16265/task/16282/stat : 16282 (java) R 16263 16265 16265 0 -1 4202560 2200 0 0 0 15 0 0 0 16 0 19 0 947891074 8739135488 9844 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 47011485136199 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16265/tid=16283] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16283/stat : 16283 (java) S 16263 16265 16265 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947891074 8739135488 9845 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 6 0 0 0
[pid=16265/tid=16284] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16284/stat : 16284 (java) R 16263 16265 16265 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947891074 8739135488 9847 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032212480 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16265/tid=16288] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16288/stat : 16288 (java) S 16263 16265 16265 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947891105 8739135488 9848 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032212480 0 4 0 16800975 18446604448048866560 0 0 -1 2 0 0 0
[pid=16114/tid=16127] ppid=16109 vsize=325272 CPUtime=0 cores=0,2,4,6
/proc/16114/task/16127/stat : 16127 (python) S 16109 16114 16077 0 -1 4202560 28 920 0 9 0 0 0 0 18 0 5 0 947876119 333078528 7484 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032219569 0 0 16781312 33554434 18446604452120545088 0 0 -1 2 0 0 0
[pid=16114/tid=16134] ppid=16109 vsize=325272 CPUtime=0 cores=0,2,4,6
/proc/16114/task/16134/stat : 16134 (python) S 16109 16114 16077 0 -1 4202560 33 920 0 9 0 0 0 0 20 0 5 0 947881182 333078528 7484 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032219569 0 0 16781312 33554434 18446604452120545088 0 0 -1 2 0 0 0
[pid=16114/tid=16180] ppid=16109 vsize=325272 CPUtime=0 cores=0,2,4,6
/proc/16114/task/16180/stat : 16180 (python) S 16109 16114 16077 0 -1 4202560 24 920 0 9 0 0 0 0 20 0 5 0 947886024 333078528 7484 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032219569 0 0 16781312 33554434 18446604452120545088 0 0 -1 0 0 0 0
[pid=16114/tid=16264] ppid=16109 vsize=325272 CPUtime=0 cores=0,2,4,6
/proc/16114/task/16264/stat : 16264 (python) S 16109 16114 16077 0 -1 4202560 28 920 0 9 0 0 0 0 20 0 5 0 947891069 333078528 7484 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032219569 0 0 16781312 33554434 18446604452120545088 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 151.98
Current children cumulated vsize (KiB) 18864508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+160.501 s]
/proc/loadavg: 1.80 0.84 0.32 5/396 16288
/proc/meminfo: memFree=27499904/32951124 swapFree=67056304/67111528
[pid=16114] ppid=16109 vsize=325272 CPUtime=0.74 cores=0,2,4,6
/proc/16114/stat : 16114 (python) S 16109 16114 16077 0 -1 4202496 12380 920 112 9 53 21 0 0 20 0 5 0 947875058 333078528 7484 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 136
/proc/16114/statm: 81318 7484 1877 364 0 16196 0
[pid=16125] ppid=16114 vsize=293792 CPUtime=0.13 cores=0,2,4,6
/proc/16125/stat : 16125 (python) S 16114 16114 16077 0 -1 4202560 1089 0 0 0 6 7 0 0 16 0 2 0 947876118 300843008 5854 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16125/statm: 73448 5854 407 364 0 8335 0
[pid=16130] ppid=16125 vsize=117644 CPUtime=50.59 cores=0,2,4,6
/proc/16130/stat : 16130 (scip-2.0.1.linu) T 16125 16130 16130 0 -1 4202496 28536 0 0 0 5026 33 0 0 25 0 1 0 947876119 120467456 27085 33554432000 4194304 13684479 140734301918880 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/16130/statm: 29411 27085 795 2317 0 27089 0
[pid=16125/tid=16132] ppid=16114 vsize=293792 CPUtime=0 cores=0,2,4,6
/proc/16125/task/16132/stat : 16132 (python) S 16114 16114 16077 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 947881179 300843008 5854 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032219569 0 0 16781312 33554946 18446604441290357632 0 0 -1 6 0 0 0
[pid=16133] ppid=16114 vsize=294336 CPUtime=0.15 cores=0,2,4,6
/proc/16133/stat : 16133 (python) S 16114 16114 16077 0 -1 4202560 1168 0 0 0 8 7 0 0 16 0 2 0 947881182 301400064 5970 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/16133/statm: 73584 5970 403 364 0 8468 0
[pid=16135] ppid=16133 vsize=8537644 CPUtime=49.14 cores=0,2,4,6
/proc/16135/stat : 16135 (java) T 16133 16135 16135 0 -1 4202496 58819 0 116 0 4903 11 0 0 18 0 19 0 947881182 8742547456 50294 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 9
/proc/16135/statm: 2134411 50294 2254 9 0 2125152 0
[pid=16135/tid=16136] ppid=16133 vsize=8537644 CPUtime=47.63 cores=0,2,4,6
/proc/16135/task/16136/stat : 16136 (java) T 16133 16135 16135 0 -1 4202560 14746 0 59 0 4760 3 0 0 25 0 19 0 947881194 8742547456 50294 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 19
[pid=16135/tid=16137] ppid=16133 vsize=8537644 CPUtime=0.05 cores=0,2,4,6
/proc/16135/task/16137/stat : 16137 (java) T 16133 16135 16135 0 -1 4202560 5246 0 0 0 4 1 0 0 16 0 19 0 947881198 8742547456 50294 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16135/tid=16138] ppid=16133 vsize=8537644 CPUtime=0.04 cores=0,2,4,6
/proc/16135/task/16138/stat : 16138 (java) T 16133 16135 16135 0 -1 4202560 5804 0 0 0 3 1 0 0 15 0 19 0 947881198 8742547456 50294 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260020349239 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16135/tid=16139] ppid=16133 vsize=8537644 CPUtime=0.04 cores=0,2,4,6
/proc/16135/task/16139/stat : 16139 (java) T 16133 16135 16135 0 -1 4202560 1477 0 0 0 4 0 0 0 15 0 19 0 947881198 8742547456 50294 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 47048909370530 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16135/tid=16140] ppid=16133 vsize=8537644 CPUtime=0.03 cores=0,2,4,6
/proc/16135/task/16140/stat : 16140 (java) T 16133 16135 16135 0 -1 4202560 1062 0 0 0 3 0 0 0 15 0 19 0 947881198 8742547456 50294 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16135/tid=16141] ppid=16133 vsize=8537644 CPUtime=0.04 cores=0,2,4,6
/proc/16135/task/16141/stat : 16141 (java) T 16133 16135 16135 0 -1 4202560 2160 0 0 0 4 0 0 0 16 0 19 0 947881198 8742547456 50294 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16135/tid=16142] ppid=16133 vsize=8537644 CPUtime=0.04 cores=0,2,4,6
/proc/16135/task/16142/stat : 16142 (java) T 16133 16135 16135 0 -1 4202560 3068 0 0 0 4 0 0 0 15 0 19 0 947881198 8742547456 50294 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 47048908820720 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16135/tid=16143] ppid=16133 vsize=8537644 CPUtime=0.05 cores=0,2,4,6
/proc/16135/task/16143/stat : 16143 (java) T 16133 16135 16135 0 -1 4202560 6873 0 0 0 4 1 0 0 15 0 19 0 947881198 8742547456 50294 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16135/tid=16144] ppid=16133 vsize=8537644 CPUtime=0.05 cores=0,2,4,6
/proc/16135/task/16144/stat : 16144 (java) T 16133 16135 16135 0 -1 4202560 4362 0 0 0 4 1 0 0 15 0 19 0 947881198 8742547456 50294 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16135/tid=16145] ppid=16133 vsize=8537644 CPUtime=0.27 cores=0,2,4,6
/proc/16135/task/16145/stat : 16145 (java) T 16133 16135 16135 0 -1 4202560 7792 0 0 0 27 0 0 0 15 0 19 0 947881201 8742547456 50294 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16135/tid=16146] ppid=16133 vsize=8537644 CPUtime=0 cores=0,2,4,6
/proc/16135/task/16146/stat : 16146 (java) T 16133 16135 16135 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947881202 8742547456 50294 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16135/tid=16147] ppid=16133 vsize=8537644 CPUtime=0 cores=0,2,4,6
/proc/16135/task/16147/stat : 16147 (java) T 16133 16135 16135 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947881202 8742547456 50294 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16135/tid=16161] ppid=16133 vsize=8537644 CPUtime=0 cores=0,2,4,6
/proc/16135/task/16161/stat : 16161 (java) T 16133 16135 16135 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947881215 8742547456 50294 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032219569 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16135/tid=16162] ppid=16133 vsize=8537644 CPUtime=0.38 cores=0,2,4,6
/proc/16135/task/16162/stat : 16162 (java) T 16133 16135 16135 0 -1 4202560 2030 0 0 0 38 0 0 0 15 0 19 0 947881215 8742547456 50294 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16135/tid=16163] ppid=16133 vsize=8537644 CPUtime=0.4 cores=0,2,4,6
/proc/16135/task/16163/stat : 16163 (java) T 16133 16135 16135 0 -1 4202560 2856 0 1 0 40 0 0 0 15 0 19 0 947881215 8742547456 50294 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16135/tid=16164] ppid=16133 vsize=8537644 CPUtime=0 cores=0,2,4,6
/proc/16135/task/16164/stat : 16164 (java) T 16133 16135 16135 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947881215 8742547456 50294 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16135/tid=16165] ppid=16133 vsize=8537644 CPUtime=0 cores=0,2,4,6
/proc/16135/task/16165/stat : 16165 (java) T 16133 16135 16135 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 947881215 8742547456 50294 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16135/tid=16174] ppid=16133 vsize=8537644 CPUtime=0 cores=0,2,4,6
/proc/16135/task/16174/stat : 16174 (java) T 16133 16135 16135 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947881249 8742547456 50294 33554432000 1073741824 1073778376 140737077531776 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16133/tid=16178] ppid=16114 vsize=294336 CPUtime=0 cores=0,2,4,6
/proc/16133/task/16178/stat : 16178 (python) S 16114 16114 16077 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 947886022 301400064 5970 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032219569 0 0 16781312 33554946 18446604443138519168 0 0 -1 0 0 0 0
[pid=16179] ppid=16114 vsize=304328 CPUtime=0.15 cores=0,2,4,6
/proc/16179/stat : 16179 (python) S 16114 16114 16077 0 -1 4202560 1180 0 0 0 8 7 0 0 17 0 2 0 947886024 311631872 5902 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16179/statm: 76082 5902 412 364 0 10963 0
[pid=16181] ppid=16179 vsize=142152 CPUtime=50.41 cores=0,2,4,6
/proc/16181/stat : 16181 (scip-2.0.1.linu) T 16179 16181 16181 0 -1 4202496 35836 0 0 0 5028 13 0 0 25 0 1 0 947886024 145563648 31494 33554432000 4194304 15243407 140736996767456 18446744073709551615 8112832 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/16181/statm: 35538 31494 902 2698 0 32833 0
[pid=16179/tid=16261] ppid=16114 vsize=304328 CPUtime=0 cores=0,2,4,6
/proc/16179/task/16261/stat : 16261 (python) S 16114 16114 16077 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947891066 311631872 5902 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032219569 0 0 16781312 33554946 18446604453175371712 0 0 -1 6 0 0 0
[pid=16263] ppid=16114 vsize=315028 CPUtime=0 cores=0,2,4,6
/proc/16263/stat : 16263 (python) S 16114 16114 16077 0 -1 4202560 815 0 0 0 0 0 0 0 16 0 1 0 947891069 322588672 5952 33554432000 4194304 5683644 140734778958960 18446744073709551615 260020416070 0 0 16781312 33554946 717892483467411716 0 0 17 0 0 0 0
/proc/16263/statm: 78757 5952 349 364 0 13635 0
[pid=16265] ppid=16263 vsize=8534312 CPUtime=0.67 cores=0,2,4,6
/proc/16265/stat : 16265 (java) S 16263 16265 16265 0 -1 4202496 10998 0 1 0 64 3 0 0 20 0 19 0 947891069 8739135488 9710 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/16265/statm: 2133578 9710 2215 9 0 2124319 0
[pid=16265/tid=16266] ppid=16263 vsize=8534312 CPUtime=0.38 cores=0,2,4,6
/proc/16265/task/16266/stat : 16266 (java) R 16263 16265 16265 0 -1 4202560 6156 0 1 0 36 2 0 0 19 0 19 0 947891070 8739135488 9833 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 47011489852212 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16265/tid=16267] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16267/stat : 16267 (java) S 16263 16265 16265 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947891070 8739135488 9833 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 6 0 0 0
[pid=16265/tid=16268] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16268/stat : 16268 (java) S 16263 16265 16265 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947891070 8739135488 9835 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 6 0 0 0
[pid=16265/tid=16269] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16269/stat : 16269 (java) S 16263 16265 16265 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947891070 8739135488 9835 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 6 0 0 0
[pid=16265/tid=16270] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16270/stat : 16270 (java) S 16263 16265 16265 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947891070 8739135488 9835 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 0 0 0 0
[pid=16265/tid=16271] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16271/stat : 16271 (java) S 16263 16265 16265 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947891070 8739135488 9836 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 0 0 0 0
[pid=16265/tid=16272] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16272/stat : 16272 (java) S 16263 16265 16265 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947891070 8739135488 9837 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 0 0 0 0
[pid=16265/tid=16273] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16273/stat : 16273 (java) S 16263 16265 16265 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947891070 8739135488 9839 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 0 0 0 0
[pid=16265/tid=16274] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16274/stat : 16274 (java) S 16263 16265 16265 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947891070 8739135488 9839 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 0 0 0 0
[pid=16265/tid=16277] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16277/stat : 16277 (java) S 16263 16265 16265 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947891071 8739135488 9839 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032212480 0 0 0 16800975 18446604448048866560 0 0 -1 6 0 0 0
[pid=16265/tid=16278] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16278/stat : 16278 (java) S 16263 16265 16265 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947891072 8739135488 9839 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 6 0 0 0
[pid=16265/tid=16279] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16279/stat : 16279 (java) S 16263 16265 16265 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947891072 8739135488 9840 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 6 0 0 0
[pid=16265/tid=16280] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16280/stat : 16280 (java) S 16263 16265 16265 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947891074 8739135488 9843 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032219569 0 4 0 16800975 18446604448048866560 0 0 -1 6 0 0 0
[pid=16265/tid=16281] ppid=16263 vsize=8534312 CPUtime=0.12 cores=0,2,4,6
/proc/16265/task/16281/stat : 16281 (java) R 16263 16265 16265 0 -1 4202560 1377 0 0 0 12 0 0 0 25 0 19 0 947891074 8739135488 9844 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 47011488231322 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16265/tid=16282] ppid=16263 vsize=8534312 CPUtime=0.15 cores=0,2,4,6
/proc/16265/task/16282/stat : 16282 (java) R 16263 16265 16265 0 -1 4202560 2200 0 0 0 15 0 0 0 16 0 19 0 947891074 8739135488 9844 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 47011485136199 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16265/tid=16283] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16283/stat : 16283 (java) S 16263 16265 16265 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947891074 8739135488 9845 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 6 0 0 0
[pid=16265/tid=16284] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16284/stat : 16284 (java) R 16263 16265 16265 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947891074 8739135488 9847 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032212480 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16265/tid=16288] ppid=16263 vsize=8534312 CPUtime=0 cores=0,2,4,6
/proc/16265/task/16288/stat : 16288 (java) S 16263 16265 16265 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947891105 8739135488 9848 33554432000 1073741824 1073778376 140734406625808 18446744073709551615 260032212480 0 4 0 16800975 18446604448048866560 0 0 -1 2 0 0 0
[pid=16114/tid=16127] ppid=16109 vsize=325272 CPUtime=0 cores=0,2,4,6
/proc/16114/task/16127/stat : 16127 (python) S 16109 16114 16077 0 -1 4202560 28 920 0 9 0 0 0 0 18 0 5 0 947876119 333078528 7484 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032219569 0 0 16781312 33554434 18446604452120545088 0 0 -1 2 0 0 0
[pid=16114/tid=16134] ppid=16109 vsize=325272 CPUtime=0 cores=0,2,4,6
/proc/16114/task/16134/stat : 16134 (python) S 16109 16114 16077 0 -1 4202560 33 920 0 9 0 0 0 0 20 0 5 0 947881182 333078528 7484 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032219569 0 0 16781312 33554434 18446604452120545088 0 0 -1 2 0 0 0
[pid=16114/tid=16180] ppid=16109 vsize=325272 CPUtime=0 cores=0,2,4,6
/proc/16114/task/16180/stat : 16180 (python) S 16109 16114 16077 0 -1 4202560 24 920 0 9 0 0 0 0 20 0 5 0 947886024 333078528 7484 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032219569 0 0 16781312 33554434 18446604452120545088 0 0 -1 0 0 0 0
[pid=16114/tid=16264] ppid=16109 vsize=325272 CPUtime=0 cores=0,2,4,6
/proc/16114/task/16264/stat : 16264 (python) S 16109 16114 16077 0 -1 4202560 28 920 0 9 0 0 0 0 20 0 5 0 947891069 333078528 7484 33554432000 4194304 5683644 140734778958960 18446744073709551615 260032219569 0 0 16781312 33554434 18446604452120545088 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 151.98
Current children cumulated vsize (KiB) 18864508
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16114 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=534918
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=218966
# CPU time returned by wait4() is 0.753884
# while last known CPU time is 151.98
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 160.568
CPU time (s): 151.98
CPU user time (s): 150.96
CPU system time (s): 1.02
CPU usage (%): 94.6518
Max. virtual memory (cumulated for all children) (KiB): 18864508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.534918
system time used= 0.218966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13301
page faults= 121
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20713
involuntary context switches= 25
runsolver used 0.648901 second user time and 1.3358 second system time
The end