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-3482144-1307578723/watcher-3482144-1307578723 -o /tmp/evaluation-result-3482144-1307578723/solver-3482144-1307578723 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482144-1307578723.opb -seed 1428405189 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.14 2.10 1.90 2/861 30253
/proc/meminfo: memFree=10667124/32951124 swapFree=60476376/67111528
[pid=30253] ppid=30251 vsize=16248 CPUtime=0.01 cores=1,3,5,7
/proc/30253/stat : 30253 (python) R 30251 30253 27243 0 -1 4202496 1064 0 0 0 1 0 0 0 17 0 1 0 850288245 16637952 935 33554432000 4194304 5683644 140733924292816 18446744073709551615 220816236288 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/30253/statm: 4062 935 381 364 0 549 0
[startup+0.0462019 s]
/proc/loadavg: 2.14 2.10 1.90 2/861 30253
/proc/meminfo: memFree=10667124/32951124 swapFree=60476376/67111528
[pid=30253] ppid=30251 vsize=29792 CPUtime=0.02 cores=1,3,5,7
/proc/30253/stat : 30253 (python) R 30251 30253 27243 0 -1 4202496 1394 0 0 0 2 0 0 0 17 0 1 0 850288245 30507008 1237 33554432000 4194304 5683644 140733924292816 18446744073709551615 220815896897 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/30253/statm: 7448 1237 443 364 0 818 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29792
[startup+0.100153 s]
/proc/loadavg: 2.14 2.10 1.90 2/861 30253
/proc/meminfo: memFree=10667124/32951124 swapFree=60476376/67111528
[pid=30253] ppid=30251 vsize=96128 CPUtime=0.06 cores=1,3,5,7
/proc/30253/stat : 30253 (python) R 30251 30253 27243 0 -1 4202496 3170 929 1 0 5 1 0 0 18 0 1 0 850288245 98435072 2483 33554432000 4194304 5683644 140733924292816 18446744073709551615 5177567 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/30253/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.30015 s]
/proc/loadavg: 2.14 2.10 1.90 2/861 30253
/proc/meminfo: memFree=10667124/32951124 swapFree=60476376/67111528
[pid=30253] ppid=30251 vsize=171052 CPUtime=0.21 cores=1,3,5,7
/proc/30253/stat : 30253 (python) R 30251 30253 27243 0 -1 4202496 6156 929 1 0 17 4 0 0 17 0 1 0 850288245 175157248 4472 33554432000 4194304 5683644 140733924292816 18446744073709551615 220816236288 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/30253/statm: 42763 4474 1226 364 0 3462 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 171052
[startup+0.70108 s]
/proc/loadavg: 2.14 2.10 1.90 2/861 30253
/proc/meminfo: memFree=10667124/32951124 swapFree=60476376/67111528
[pid=30253] ppid=30251 vsize=284704 CPUtime=0.58 cores=1,3,5,7
/proc/30253/stat : 30253 (python) R 30251 30253 27243 0 -1 4202496 10661 1417 1 0 44 10 3 1 17 0 1 0 850288245 291536896 7524 33554432000 4194304 5683644 140733924292816 18446744073709551615 4531975 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/30253/statm: 71176 7524 1817 364 0 6069 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 284704
[startup+1.50093 s]
/proc/loadavg: 2.14 2.10 1.90 3/865 30262
/proc/meminfo: memFree=10603216/32951124 swapFree=60476376/67111528
[pid=30253] ppid=30251 vsize=294972 CPUtime=0.61 cores=1,3,5,7
/proc/30253/stat : 30253 (python) S 30251 30253 27243 0 -1 4202496 11322 1417 1 0 47 10 3 1 20 0 2 0 850288245 302051328 7582 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30253/statm: 73743 7582 1871 364 0 8630 0
[pid=30260] ppid=30253 vsize=284728 CPUtime=0 cores=1,3,5,7
/proc/30260/stat : 30260 (python) S 30253 30253 27243 0 -1 4202560 707 0 0 0 0 0 0 0 15 0 1 0 850288318 291561472 6026 33554432000 4194304 5683644 140733924292816 18446744073709551615 220816256527 0 0 16781312 33554946 16975490077138321668 0 0 17 7 0 0 0
/proc/30260/statm: 71182 6026 319 364 0 6069 0
[pid=30262] ppid=30260 vsize=49400 CPUtime=0.75 cores=1,3,5,7
/proc/30262/stat : 30262 (scip-2.0.1.linu) R 30260 30262 30262 0 -1 4202496 10532 0 0 0 50 25 0 0 18 0 1 0 850288319 50585600 9911 33554432000 4194304 13684479 140734983067152 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30262/statm: 12350 9911 649 2317 0 10028 0
[pid=30253/tid=30261] ppid=30251 vsize=294972 CPUtime=0.04 cores=1,3,5,7
/proc/30253/task/30261/stat : 30261 (python) S 30251 30253 27243 0 -1 4202560 28 1417 0 0 0 0 3 1 20 0 2 0 850288319 302051328 7582 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466421625088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 629100
[startup+3.10064 s]
/proc/loadavg: 2.14 2.10 1.90 3/865 30262
/proc/meminfo: memFree=10584244/32951124 swapFree=60476376/67111528
[pid=30253] ppid=30251 vsize=294972 CPUtime=0.61 cores=1,3,5,7
/proc/30253/stat : 30253 (python) S 30251 30253 27243 0 -1 4202496 11322 1417 1 0 47 10 3 1 20 0 2 0 850288245 302051328 7582 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30253/statm: 73743 7582 1871 364 0 8630 0
[pid=30260] ppid=30253 vsize=284728 CPUtime=0 cores=1,3,5,7
/proc/30260/stat : 30260 (python) S 30253 30253 27243 0 -1 4202560 723 0 0 0 0 0 0 0 16 0 1 0 850288318 291561472 6026 33554432000 4194304 5683644 140733924292816 18446744073709551615 220816256527 0 0 16781312 33554946 16975490077138321668 0 0 17 7 0 0 0
/proc/30260/statm: 71182 6026 319 364 0 6069 0
[pid=30262] ppid=30260 vsize=67496 CPUtime=2.35 cores=1,3,5,7
/proc/30262/stat : 30262 (scip-2.0.1.linu) R 30260 30262 30262 0 -1 4202496 16064 0 0 0 198 37 0 0 19 0 1 0 850288319 69115904 14524 33554432000 4194304 13684479 140734983067152 18446744073709551615 11824728 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30262/statm: 16874 14536 768 2317 0 14552 0
[pid=30253/tid=30261] ppid=30251 vsize=294972 CPUtime=0.04 cores=1,3,5,7
/proc/30253/task/30261/stat : 30261 (python) S 30251 30253 27243 0 -1 4202560 28 1417 0 0 0 0 3 1 20 0 2 0 850288319 302051328 7582 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466421625088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 647196
[startup+6.30105 s]
/proc/loadavg: 2.13 2.10 1.90 3/865 30262
/proc/meminfo: memFree=10562960/32951124 swapFree=60476376/67111528
[pid=30253] ppid=30251 vsize=294972 CPUtime=0.61 cores=1,3,5,7
/proc/30253/stat : 30253 (python) S 30251 30253 27243 0 -1 4202496 11322 1417 1 0 47 10 3 1 20 0 2 0 850288245 302051328 7582 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30253/statm: 73743 7582 1871 364 0 8630 0
[pid=30260] ppid=30253 vsize=284728 CPUtime=0.02 cores=1,3,5,7
/proc/30260/stat : 30260 (python) S 30253 30253 27243 0 -1 4202560 869 0 0 0 1 1 0 0 15 0 1 0 850288318 291561472 6049 33554432000 4194304 5683644 140733924292816 18446744073709551615 220816256527 0 0 16781312 33554946 2628622699294883840 0 0 17 1 0 0 0
/proc/30260/statm: 71182 6049 342 364 0 6069 0
[pid=30262] ppid=30260 vsize=90168 CPUtime=5.55 cores=1,3,5,7
/proc/30262/stat : 30262 (scip-2.0.1.linu) R 30260 30262 30262 0 -1 4202496 23188 0 0 0 503 52 0 0 25 0 1 0 850288319 92332032 20221 33554432000 4194304 13684479 140734983067152 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30262/statm: 22542 20221 817 2317 0 20220 0
[pid=30253/tid=30261] ppid=30251 vsize=294972 CPUtime=0.04 cores=1,3,5,7
/proc/30253/task/30261/stat : 30261 (python) S 30251 30253 27243 0 -1 4202560 28 1417 0 0 0 0 3 1 20 0 2 0 850288319 302051328 7582 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466421625088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 669868
[startup+12.7009 s]
/proc/loadavg: 2.12 2.10 1.90 3/865 30262
/proc/meminfo: memFree=10552336/32951124 swapFree=60476376/67111528
[pid=30253] ppid=30251 vsize=294972 CPUtime=0.61 cores=1,3,5,7
/proc/30253/stat : 30253 (python) S 30251 30253 27243 0 -1 4202496 11322 1417 1 0 47 10 3 1 20 0 2 0 850288245 302051328 7582 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30253/statm: 73743 7582 1871 364 0 8630 0
[pid=30260] ppid=30253 vsize=284728 CPUtime=0.05 cores=1,3,5,7
/proc/30260/stat : 30260 (python) S 30253 30253 27243 0 -1 4202560 878 0 0 0 2 3 0 0 15 0 1 0 850288318 291561472 6050 33554432000 4194304 5683644 140733924292816 18446744073709551615 220816256527 0 0 16781312 33554946 5623753486446373635 0 0 17 7 0 0 0
/proc/30260/statm: 71182 6050 343 364 0 6069 0
[pid=30262] ppid=30260 vsize=100964 CPUtime=11.95 cores=1,3,5,7
/proc/30262/stat : 30262 (scip-2.0.1.linu) R 30260 30262 30262 0 -1 4202496 30673 0 0 0 1129 66 0 0 25 0 1 0 850288319 103387136 22910 33554432000 4194304 13684479 140734983067152 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30262/statm: 25241 22910 913 2317 0 22919 0
[pid=30253/tid=30261] ppid=30251 vsize=294972 CPUtime=0.04 cores=1,3,5,7
/proc/30253/task/30261/stat : 30261 (python) S 30251 30253 27243 0 -1 4202560 28 1417 0 0 0 0 3 1 20 0 2 0 850288319 302051328 7582 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466421625088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 680664
[startup+25.5005 s]
/proc/loadavg: 2.09 2.09 1.90 3/865 30263
/proc/meminfo: memFree=10556928/32951124 swapFree=60476376/67111528
[pid=30253] ppid=30251 vsize=294972 CPUtime=0.61 cores=1,3,5,7
/proc/30253/stat : 30253 (python) S 30251 30253 27243 0 -1 4202496 11322 1417 1 0 47 10 3 1 20 0 2 0 850288245 302051328 7582 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30253/statm: 73743 7582 1871 364 0 8630 0
[pid=30260] ppid=30253 vsize=284728 CPUtime=0.1 cores=1,3,5,7
/proc/30260/stat : 30260 (python) S 30253 30253 27243 0 -1 4202560 884 0 0 0 4 6 0 0 15 0 1 0 850288318 291561472 6050 33554432000 4194304 5683644 140733924292816 18446744073709551615 220816256527 0 0 16781312 33554946 5623753486446373635 0 0 17 7 0 0 0
/proc/30260/statm: 71182 6050 343 364 0 6069 0
[pid=30262] ppid=30260 vsize=98268 CPUtime=24.75 cores=1,3,5,7
/proc/30262/stat : 30262 (scip-2.0.1.linu) R 30260 30262 30262 0 -1 4202496 30677 0 0 0 2374 101 0 0 25 0 1 0 850288319 100626432 22088 33554432000 4194304 13684479 140734983067152 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30262/statm: 24567 22088 830 2317 0 22245 0
[pid=30253/tid=30261] ppid=30251 vsize=294972 CPUtime=0.04 cores=1,3,5,7
/proc/30253/task/30261/stat : 30261 (python) S 30251 30253 27243 0 -1 4202560 28 1417 0 0 0 0 3 1 20 0 2 0 850288319 302051328 7582 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466421625088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 677968
[startup+51.1008 s]
/proc/loadavg: 2.06 2.08 1.90 3/865 30263
/proc/meminfo: memFree=10552740/32951124 swapFree=60476376/67111528
[pid=30253] ppid=30251 vsize=294972 CPUtime=0.61 cores=1,3,5,7
/proc/30253/stat : 30253 (python) S 30251 30253 27243 0 -1 4202496 11322 1417 1 0 47 10 3 1 20 0 2 0 850288245 302051328 7582 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30253/statm: 73743 7582 1871 364 0 8630 0
[pid=30260] ppid=30253 vsize=284728 CPUtime=0.21 cores=1,3,5,7
/proc/30260/stat : 30260 (python) S 30253 30253 27243 0 -1 4202560 900 0 0 0 10 11 0 0 15 0 1 0 850288318 291561472 6050 33554432000 4194304 5683644 140733924292816 18446744073709551615 220816256527 0 0 16781312 33554946 5623753486446373635 0 0 17 7 0 0 0
/proc/30260/statm: 71182 6050 343 364 0 6069 0
[pid=30262] ppid=30260 vsize=98268 CPUtime=50.35 cores=1,3,5,7
/proc/30262/stat : 30262 (scip-2.0.1.linu) R 30260 30262 30262 0 -1 4202496 30688 0 0 0 4866 169 0 0 25 0 1 0 850288319 100626432 22099 33554432000 4194304 13684479 140734983067152 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30262/statm: 24567 22099 832 2317 0 22245 0
[pid=30253/tid=30261] ppid=30251 vsize=294972 CPUtime=0.04 cores=1,3,5,7
/proc/30253/task/30261/stat : 30261 (python) S 30251 30253 27243 0 -1 4202560 28 1417 0 0 0 0 3 1 20 0 2 0 850288319 302051328 7582 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466421625088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 677968
[startup+102.321 s]
/proc/loadavg: 2.02 2.07 1.91 3/891 30291
/proc/meminfo: memFree=10217820/32951124 swapFree=60476376/67111528
[pid=30253] ppid=30251 vsize=315988 CPUtime=0.67 cores=1,3,5,7
/proc/30253/stat : 30253 (python) S 30251 30253 27243 0 -1 4202496 13119 1417 1 0 52 11 3 1 20 0 4 0 850288245 323571712 7721 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/30253/statm: 78997 7721 1876 364 0 13878 0
[pid=30260] ppid=30253 vsize=294972 CPUtime=0.22 cores=1,3,5,7
/proc/30260/stat : 30260 (python) S 30253 30253 27243 0 -1 4202560 1103 0 0 0 10 12 0 0 17 0 2 0 850288318 302051328 6118 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30260/statm: 73743 6118 406 364 0 8630 0
[pid=30262] ppid=30260 vsize=98268 CPUtime=51.17 cores=1,3,5,7
/proc/30262/stat : 30262 (scip-2.0.1.linu) T 30260 30262 30262 0 -1 4202496 30688 0 0 0 4947 170 0 0 25 0 1 0 850288319 100626432 22099 33554432000 4194304 13684479 140734983067152 18446744073709551615 7159312 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/30262/statm: 24567 22099 832 2317 0 22245 0
[pid=30260/tid=30264] ppid=30253 vsize=294972 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30264/stat : 30264 (python) S 30253 30253 27243 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 850293437 302051328 6118 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554946 18446604456733111488 0 0 -1 7 0 0 0
[pid=30265] ppid=30253 vsize=294984 CPUtime=0.24 cores=1,3,5,7
/proc/30265/stat : 30265 (python) S 30253 30253 27243 0 -1 4202560 1116 0 0 0 11 13 0 0 17 0 2 0 850293439 302063616 6103 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/30265/statm: 73746 6103 391 364 0 8630 0
[pid=30267] ppid=30265 vsize=8549376 CPUtime=49.06 cores=1,3,5,7
/proc/30267/stat : 30267 (java) T 30265 30267 30267 0 -1 4202496 80916 0 1 0 4892 14 0 0 18 0 19 0 850293440 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/30267/statm: 2137344 61785 2259 9 0 2128085 0
[pid=30267/tid=30268] ppid=30265 vsize=8549376 CPUtime=45.61 cores=1,3,5,7
/proc/30267/task/30268/stat : 30268 (java) T 30265 30267 30267 0 -1 4202560 54737 0 1 0 4553 8 0 0 25 0 19 0 850293441 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 46912505761475 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30267/tid=30269] ppid=30265 vsize=8549376 CPUtime=0.12 cores=1,3,5,7
/proc/30267/task/30269/stat : 30269 (java) T 30265 30267 30267 0 -1 4202560 921 0 0 0 12 0 0 0 15 0 19 0 850293441 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30267/tid=30270] ppid=30265 vsize=8549376 CPUtime=0.12 cores=1,3,5,7
/proc/30267/task/30270/stat : 30270 (java) T 30265 30267 30267 0 -1 4202560 912 0 0 0 12 0 0 0 15 0 19 0 850293441 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30267/tid=30271] ppid=30265 vsize=8549376 CPUtime=0.07 cores=1,3,5,7
/proc/30267/task/30271/stat : 30271 (java) T 30265 30267 30267 0 -1 4202560 973 0 0 0 7 0 0 0 15 0 19 0 850293441 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30267/tid=30272] ppid=30265 vsize=8549376 CPUtime=0.08 cores=1,3,5,7
/proc/30267/task/30272/stat : 30272 (java) T 30265 30267 30267 0 -1 4202560 498 0 0 0 8 0 0 0 15 0 19 0 850293441 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30267/tid=30273] ppid=30265 vsize=8549376 CPUtime=0.08 cores=1,3,5,7
/proc/30267/task/30273/stat : 30273 (java) T 30265 30267 30267 0 -1 4202560 729 0 0 0 8 0 0 0 15 0 19 0 850293441 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30267/tid=30274] ppid=30265 vsize=8549376 CPUtime=0.07 cores=1,3,5,7
/proc/30267/task/30274/stat : 30274 (java) T 30265 30267 30267 0 -1 4202560 697 0 0 0 7 0 0 0 15 0 19 0 850293441 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=30552/tid=30566] ppid=30550 vsize=8546704 CPUtime=0.62 cores=1,3,5,7
/proc/30552/task/30566/stat : 30566 (java) R 30550 30552 30552 0 -1 4202560 7538 0 0 0 61 1 0 0 25 0 19 0 850308172 8751824896 27427 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 47574804058176 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30552/tid=30567] ppid=30550 vsize=8546704 CPUtime=0.58 cores=1,3,5,7
/proc/30552/task/30567/stat : 30567 (java) R 30550 30552 30552 0 -1 4202560 5021 0 0 0 58 0 0 0 16 0 19 0 850308172 8751824896 27429 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 47574808004636 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30552/tid=30568] ppid=30550 vsize=8546704 CPUtime=0 cores=1,3,5,7
/proc/30552/task/30568/stat : 30568 (java) S 30550 30552 30552 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850308172 8751824896 27430 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 220828052377 0 4 0 16800975 18446604457247924544 0 0 -1 5 0 0 0
[pid=30552/tid=30569] ppid=30550 vsize=8546704 CPUtime=0 cores=1,3,5,7
/proc/30552/task/30569/stat : 30569 (java) S 30550 30552 30552 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 850308172 8751824896 27432 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 220828052992 0 4 0 16800975 18446604457247924544 0 0 -1 3 0 0 0
[pid=30552/tid=30570] ppid=30550 vsize=8546704 CPUtime=0 cores=1,3,5,7
/proc/30552/task/30570/stat : 30570 (java) S 30550 30552 30552 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850308211 8751824896 27434 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 220828052992 0 4 0 16800975 18446604457247924544 0 0 -1 5 0 0 0
[pid=30253/tid=30261] ppid=30251 vsize=336500 CPUtime=0.04 cores=1,3,5,7
/proc/30253/task/30261/stat : 30261 (python) S 30251 30253 27243 0 -1 4202560 28 1417 0 0 0 0 3 1 20 0 6 0 850288319 344576000 7733 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466421625088 0 0 -1 7 0 0 0
[pid=30253/tid=30266] ppid=30251 vsize=336500 CPUtime=0.04 cores=1,3,5,7
/proc/30253/task/30266/stat : 30266 (python) S 30251 30253 27243 0 -1 4202560 28 1417 0 0 0 0 3 1 20 0 6 0 850293439 344576000 7733 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466421625088 0 0 -1 3 0 0 0
[pid=30253/tid=30290] ppid=30251 vsize=336500 CPUtime=0.04 cores=1,3,5,7
/proc/30253/task/30290/stat : 30290 (python) S 30251 30253 27243 0 -1 4202560 27 1417 0 0 0 0 3 1 20 0 6 0 850298143 344576000 7733 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466421625088 0 0 -1 1 0 0 0
[pid=30253/tid=30384] ppid=30251 vsize=336500 CPUtime=0.04 cores=1,3,5,7
/proc/30253/task/30384/stat : 30384 (python) S 30251 30253 27243 0 -1 4202560 26 1417 0 0 0 0 3 1 20 0 6 0 850303209 344576000 7733 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466421625088 0 0 -1 7 0 0 0
[pid=30253/tid=30551] ppid=30251 vsize=336500 CPUtime=0.04 cores=1,3,5,7
/proc/30253/task/30551/stat : 30551 (python) S 30251 30253 27243 0 -1 4202560 31 1417 0 0 0 0 3 1 20 0 6 0 850308166 344576000 7733 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466421625088 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.17
Current children cumulated vsize (KiB) 19249504
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+200.101 s]
/proc/loadavg: 2.08 2.07 1.92 6/905 30570
/proc/meminfo: memFree=9898368/32951124 swapFree=60476376/67111528
[pid=30253] ppid=30251 vsize=336500 CPUtime=0.72 cores=1,3,5,7
/proc/30253/stat : 30253 (python) S 30251 30253 27243 0 -1 4202496 14960 1417 1 0 57 11 3 1 19 0 6 0 850288245 344576000 7733 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/30253/statm: 84125 7733 1880 364 0 19000 0
[pid=30260] ppid=30253 vsize=294972 CPUtime=0.22 cores=1,3,5,7
/proc/30260/stat : 30260 (python) S 30253 30253 27243 0 -1 4202560 1103 0 0 0 10 12 0 0 17 0 2 0 850288318 302051328 6118 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30260/statm: 73743 6118 406 364 0 8630 0
[pid=30262] ppid=30260 vsize=98268 CPUtime=51.17 cores=1,3,5,7
/proc/30262/stat : 30262 (scip-2.0.1.linu) T 30260 30262 30262 0 -1 4202496 30688 0 0 0 4947 170 0 0 25 0 1 0 850288319 100626432 22099 33554432000 4194304 13684479 140734983067152 18446744073709551615 7159312 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/30262/statm: 24567 22099 832 2317 0 22245 0
[pid=30260/tid=30264] ppid=30253 vsize=294972 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30264/stat : 30264 (python) S 30253 30253 27243 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 850293437 302051328 6118 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554946 18446604456733111488 0 0 -1 7 0 0 0
[pid=30265] ppid=30253 vsize=294984 CPUtime=0.24 cores=1,3,5,7
/proc/30265/stat : 30265 (python) S 30253 30253 27243 0 -1 4202560 1116 0 0 0 11 13 0 0 17 0 2 0 850293439 302063616 6103 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/30265/statm: 73746 6103 391 364 0 8630 0
[pid=30267] ppid=30265 vsize=8549376 CPUtime=49.06 cores=1,3,5,7
/proc/30267/stat : 30267 (java) T 30265 30267 30267 0 -1 4202496 80916 0 1 0 4892 14 0 0 18 0 19 0 850293440 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/30267/statm: 2137344 61785 2259 9 0 2128085 0
[pid=30267/tid=30268] ppid=30265 vsize=8549376 CPUtime=45.61 cores=1,3,5,7
/proc/30267/task/30268/stat : 30268 (java) T 30265 30267 30267 0 -1 4202560 54737 0 1 0 4553 8 0 0 25 0 19 0 850293441 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 46912505761475 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30267/tid=30269] ppid=30265 vsize=8549376 CPUtime=0.12 cores=1,3,5,7
/proc/30267/task/30269/stat : 30269 (java) T 30265 30267 30267 0 -1 4202560 921 0 0 0 12 0 0 0 15 0 19 0 850293441 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30267/tid=30270] ppid=30265 vsize=8549376 CPUtime=0.12 cores=1,3,5,7
/proc/30267/task/30270/stat : 30270 (java) T 30265 30267 30267 0 -1 4202560 912 0 0 0 12 0 0 0 15 0 19 0 850293441 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30267/tid=30271] ppid=30265 vsize=8549376 CPUtime=0.07 cores=1,3,5,7
/proc/30267/task/30271/stat : 30271 (java) T 30265 30267 30267 0 -1 4202560 973 0 0 0 7 0 0 0 15 0 19 0 850293441 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30267/tid=30272] ppid=30265 vsize=8549376 CPUtime=0.08 cores=1,3,5,7
/proc/30267/task/30272/stat : 30272 (java) T 30265 30267 30267 0 -1 4202560 498 0 0 0 8 0 0 0 15 0 19 0 850293441 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30267/tid=30273] ppid=30265 vsize=8549376 CPUtime=0.08 cores=1,3,5,7
/proc/30267/task/30273/stat : 30273 (java) T 30265 30267 30267 0 -1 4202560 729 0 0 0 8 0 0 0 15 0 19 0 850293441 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30267/tid=30274] ppid=30265 vsize=8549376 CPUtime=0.07 cores=1,3,5,7
/proc/30267/task/30274/stat : 30274 (java) T 30265 30267 30267 0 -1 4202560 697 0 0 0 7 0 0 0 15 0 19 0 850293441 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30267/tid=30275] ppid=30265 vsize=8549376 CPUtime=0.05 cores=1,3,5,7
/proc/30267/task/30275/stat : 30275 (java) T 30265 30267 30267 0 -1 4202560 329 0 0 0 5 0 0 0 15 0 19 0 850293441 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30267/tid=30276] ppid=30265 vsize=8549376 CPUtime=0.07 cores=1,3,5,7
/proc/30267/task/30276/stat : 30276 (java) T 30265 30267 30267 0 -1 4202560 804 0 0 0 7 0 0 0 15 0 19 0 850293441 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30267/tid=30277] ppid=30265 vsize=8549376 CPUtime=1 cores=1,3,5,7
/proc/30267/task/30277/stat : 30277 (java) T 30265 30267 30267 0 -1 4202560 3219 0 0 0 99 1 0 0 15 0 19 0 850293442 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052992 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30267/tid=30278] ppid=30265 vsize=8549376 CPUtime=0 cores=1,3,5,7
/proc/30267/task/30278/stat : 30278 (java) T 30265 30267 30267 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850293443 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30267/tid=30279] ppid=30265 vsize=8549376 CPUtime=0 cores=1,3,5,7
/proc/30267/task/30279/stat : 30279 (java) T 30265 30267 30267 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850293443 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30267/tid=30280] ppid=30265 vsize=8549376 CPUtime=0 cores=1,3,5,7
/proc/30267/task/30280/stat : 30280 (java) T 30265 30267 30267 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850293445 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828060081 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30267/tid=30281] ppid=30265 vsize=8549376 CPUtime=0.75 cores=1,3,5,7
/proc/30267/task/30281/stat : 30281 (java) T 30265 30267 30267 0 -1 4202560 9388 0 0 0 74 1 0 0 15 0 19 0 850293445 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30267/tid=30282] ppid=30265 vsize=8549376 CPUtime=0.93 cores=1,3,5,7
/proc/30267/task/30282/stat : 30282 (java) T 30265 30267 30267 0 -1 4202560 6315 0 0 0 93 0 0 0 15 0 19 0 850293445 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30267/tid=30283] ppid=30265 vsize=8549376 CPUtime=0 cores=1,3,5,7
/proc/30267/task/30283/stat : 30283 (java) T 30265 30267 30267 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850293445 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30267/tid=30284] ppid=30265 vsize=8549376 CPUtime=0 cores=1,3,5,7
/proc/30267/task/30284/stat : 30284 (java) T 30265 30267 30267 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850293445 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30267/tid=30285] ppid=30265 vsize=8549376 CPUtime=0 cores=1,3,5,7
/proc/30267/task/30285/stat : 30285 (java) T 30265 30267 30267 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850293485 8754561024 61785 33554432000 1073741824 1073778376 140736631010528 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30265/tid=30288] ppid=30253 vsize=294984 CPUtime=0 cores=1,3,5,7
/proc/30265/task/30288/stat : 30288 (python) S 30253 30253 27243 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850298140 302063616 6103 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554946 18446604469418467648 0 0 -1 5 0 0 0
[pid=30289] ppid=30253 vsize=305744 CPUtime=0.23 cores=1,3,5,7
/proc/30289/stat : 30289 (python) S 30253 30253 27243 0 -1 4202560 1121 0 0 0 11 12 0 0 17 0 2 0 850298143 313081856 6233 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30289/statm: 76436 6233 391 364 0 11317 0
[pid=30291] ppid=30289 vsize=107040 CPUtime=50.63 cores=1,3,5,7
/proc/30291/stat : 30291 (scip-2.0.1.linu) T 30289 30291 30291 0 -1 4202496 67684 0 0 0 5000 63 0 0 25 0 1 0 850298143 109608960 23302 33554432000 4194304 15243407 140733703043456 18446744073709551615 8113862 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/30291/statm: 26760 23302 947 2698 0 24055 0
[pid=30289/tid=30382] ppid=30253 vsize=305744 CPUtime=0 cores=1,3,5,7
/proc/30289/task/30382/stat : 30382 (python) S 30253 30253 27243 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850303207 313081856 6233 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554946 18446604470463259968 0 0 -1 7 0 0 0
[pid=30383] ppid=30253 vsize=316000 CPUtime=0.23 cores=1,3,5,7
/proc/30383/stat : 30383 (python) S 30253 30253 27243 0 -1 4202560 1135 0 0 0 11 12 0 0 17 0 2 0 850303209 323584000 6237 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30383/statm: 79000 6237 391 364 0 13878 0
[pid=30385] ppid=30383 vsize=73660 CPUtime=49.53 cores=1,3,5,7
/proc/30385/stat : 30385 (wbo1.4a) T 30383 30385 30385 0 -1 4202496 18253 0 0 0 4882 71 0 0 25 0 1 0 850303209 75427840 17913 33554432000 134512640 135751879 4294130656 18446744073709551615 134616371 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/30385/statm: 18415 17913 146 303 0 18110 0
[pid=30383/tid=30549] ppid=30253 vsize=316000 CPUtime=0 cores=1,3,5,7
/proc/30383/task/30549/stat : 30549 (python) S 30253 30253 27243 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 850308163 323584000 6237 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554946 18446604466240579648 0 0 -1 7 0 0 0
[pid=30550] ppid=30253 vsize=326256 CPUtime=0 cores=1,3,5,7
/proc/30550/stat : 30550 (python) S 30253 30253 27243 0 -1 4202560 781 0 0 0 0 0 0 0 15 0 1 0 850308166 334086144 6169 33554432000 4194304 5683644 140733924292816 18446744073709551615 220816256582 0 0 16781312 33554946 6888805355812258054 0 0 17 1 0 0 0
/proc/30550/statm: 81564 6169 320 364 0 16439 0
[pid=30552] ppid=30550 vsize=8546704 CPUtime=2.14 cores=1,3,5,7
/proc/30552/stat : 30552 (java) S 30550 30552 30552 0 -1 4202496 32827 0 1 0 208 6 0 0 18 0 19 0 850308166 8751824896 27360 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30552/statm: 2136676 27361 2227 9 0 2127417 0
[pid=30552/tid=30553] ppid=30550 vsize=8546704 CPUtime=0.9 cores=1,3,5,7
/proc/30552/task/30553/stat : 30553 (java) R 30550 30552 30552 0 -1 4202560 18912 0 1 0 87 3 0 0 19 0 19 0 850308167 8751824896 27402 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 46912505783081 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30552/tid=30554] ppid=30550 vsize=8546704 CPUtime=0 cores=1,3,5,7
/proc/30552/task/30554/stat : 30554 (java) S 30550 30552 30552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850308168 8751824896 27404 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 220828052377 0 4 0 16800975 18446604457247924544 0 0 -1 5 0 0 0
[pid=30552/tid=30555] ppid=30550 vsize=8546704 CPUtime=0 cores=1,3,5,7
/proc/30552/task/30555/stat : 30555 (java) S 30550 30552 30552 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850308168 8751824896 27406 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 220828052377 0 4 0 16800975 18446604457247924544 0 0 -1 5 0 0 0
[pid=30552/tid=30556] ppid=30550 vsize=8546704 CPUtime=0 cores=1,3,5,7
/proc/30552/task/30556/stat : 30556 (java) S 30550 30552 30552 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850308168 8751824896 27409 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 220828052377 0 4 0 16800975 18446604457247924544 0 0 -1 5 0 0 0
[pid=30552/tid=30557] ppid=30550 vsize=8546704 CPUtime=0 cores=1,3,5,7
/proc/30552/task/30557/stat : 30557 (java) S 30550 30552 30552 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850308168 8751824896 27411 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 220828052377 0 4 0 16800975 18446604457247924544 0 0 -1 5 0 0 0
[pid=30552/tid=30558] ppid=30550 vsize=8546704 CPUtime=0 cores=1,3,5,7
/proc/30552/task/30558/stat : 30558 (java) S 30550 30552 30552 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850308168 8751824896 27412 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 220828052377 0 4 0 16800975 18446604457247924544 0 0 -1 5 0 0 0
[pid=30552/tid=30559] ppid=30550 vsize=8546704 CPUtime=0 cores=1,3,5,7
/proc/30552/task/30559/stat : 30559 (java) S 30550 30552 30552 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850308168 8751824896 27414 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 220828052377 0 4 0 16800975 18446604457247924544 0 0 -1 5 0 0 0
[pid=30552/tid=30560] ppid=30550 vsize=8546704 CPUtime=0 cores=1,3,5,7
/proc/30552/task/30560/stat : 30560 (java) S 30550 30552 30552 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850308168 8751824896 27416 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 220828052377 0 4 0 16800975 18446604457247924544 0 0 -1 5 0 0 0
[pid=30552/tid=30561] ppid=30550 vsize=8546704 CPUtime=0 cores=1,3,5,7
/proc/30552/task/30561/stat : 30561 (java) S 30550 30552 30552 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850308168 8751824896 27417 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 220828052377 0 4 0 16800975 18446604457247924544 0 0 -1 3 0 0 0
[pid=30552/tid=30562] ppid=30550 vsize=8546704 CPUtime=0 cores=1,3,5,7
/proc/30552/task/30562/stat : 30562 (java) S 30550 30552 30552 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850308169 8751824896 27419 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 220828052992 0 0 0 16800975 18446604457247924544 0 0 -1 5 0 0 0
[pid=30552/tid=30563] ppid=30550 vsize=8546704 CPUtime=0 cores=1,3,5,7
/proc/30552/task/30563/stat : 30563 (java) S 30550 30552 30552 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850308169 8751824896 27421 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 220828052377 0 4 0 16800975 18446604457247924544 0 0 -1 5 0 0 0
[pid=30552/tid=30564] ppid=30550 vsize=8546704 CPUtime=0 cores=1,3,5,7
/proc/30552/task/30564/stat : 30564 (java) S 30550 30552 30552 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850308169 8751824896 27423 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 220828052377 0 4 0 16800975 18446604457247924544 0 0 -1 7 0 0 0
[pid=30552/tid=30565] ppid=30550 vsize=8546704 CPUtime=0 cores=1,3,5,7
/proc/30552/task/30565/stat : 30565 (java) S 30550 30552 30552 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850308172 8751824896 27426 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 220828060081 0 4 0 16800975 18446604457247924544 0 0 -1 5 0 0 0
[pid=30552/tid=30566] ppid=30550 vsize=8546704 CPUtime=0.62 cores=1,3,5,7
/proc/30552/task/30566/stat : 30566 (java) R 30550 30552 30552 0 -1 4202560 7538 0 0 0 61 1 0 0 25 0 19 0 850308172 8751824896 27427 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 47574804058176 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30552/tid=30567] ppid=30550 vsize=8546704 CPUtime=0.58 cores=1,3,5,7
/proc/30552/task/30567/stat : 30567 (java) R 30550 30552 30552 0 -1 4202560 5021 0 0 0 58 0 0 0 16 0 19 0 850308172 8751824896 27429 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 47574808004636 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30552/tid=30568] ppid=30550 vsize=8546704 CPUtime=0 cores=1,3,5,7
/proc/30552/task/30568/stat : 30568 (java) S 30550 30552 30552 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850308172 8751824896 27430 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 220828052377 0 4 0 16800975 18446604457247924544 0 0 -1 5 0 0 0
[pid=30552/tid=30569] ppid=30550 vsize=8546704 CPUtime=0 cores=1,3,5,7
/proc/30552/task/30569/stat : 30569 (java) S 30550 30552 30552 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 850308172 8751824896 27432 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 220828052992 0 4 0 16800975 18446604457247924544 0 0 -1 3 0 0 0
[pid=30552/tid=30570] ppid=30550 vsize=8546704 CPUtime=0 cores=1,3,5,7
/proc/30552/task/30570/stat : 30570 (java) S 30550 30552 30552 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850308211 8751824896 27434 33554432000 1073741824 1073778376 140737248985024 18446744073709551615 220828052992 0 4 0 16800975 18446604457247924544 0 0 -1 5 0 0 0
[pid=30253/tid=30261] ppid=30251 vsize=336500 CPUtime=0.04 cores=1,3,5,7
/proc/30253/task/30261/stat : 30261 (python) S 30251 30253 27243 0 -1 4202560 28 1417 0 0 0 0 3 1 20 0 6 0 850288319 344576000 7733 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466421625088 0 0 -1 7 0 0 0
[pid=30253/tid=30266] ppid=30251 vsize=336500 CPUtime=0.04 cores=1,3,5,7
/proc/30253/task/30266/stat : 30266 (python) S 30251 30253 27243 0 -1 4202560 28 1417 0 0 0 0 3 1 20 0 6 0 850293439 344576000 7733 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466421625088 0 0 -1 3 0 0 0
[pid=30253/tid=30290] ppid=30251 vsize=336500 CPUtime=0.04 cores=1,3,5,7
/proc/30253/task/30290/stat : 30290 (python) S 30251 30253 27243 0 -1 4202560 27 1417 0 0 0 0 3 1 20 0 6 0 850298143 344576000 7733 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466421625088 0 0 -1 1 0 0 0
[pid=30253/tid=30384] ppid=30251 vsize=336500 CPUtime=0.04 cores=1,3,5,7
/proc/30253/task/30384/stat : 30384 (python) S 30251 30253 27243 0 -1 4202560 26 1417 0 0 0 0 3 1 20 0 6 0 850303209 344576000 7733 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466421625088 0 0 -1 7 0 0 0
[pid=30253/tid=30551] ppid=30251 vsize=336500 CPUtime=0.04 cores=1,3,5,7
/proc/30253/task/30551/stat : 30551 (python) S 30251 30253 27243 0 -1 4202560 31 1417 0 0 0 0 3 1 20 0 6 0 850308166 344576000 7733 33554432000 4194304 5683644 140733924292816 18446744073709551615 220828060081 0 0 16781312 33554434 18446604466421625088 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.17
Current children cumulated vsize (KiB) 19249504
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30253 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=607907
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=131979
# CPU time returned by wait4() is 0.739886
# while last known CPU time is 204.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 200.186
CPU time (s): 204.17
CPU user time (s): 200.32
CPU system time (s): 3.85
CPU usage (%): 101.99
Max. virtual memory (cumulated for all children) (KiB): 19249504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.607907
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16380
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= 3998
involuntary context switches= 23
runsolver used 1.16282 second user time and 2.6056 second system time
The end