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-3458847-1307155231/watcher-3458847-1307155231 -o /tmp/evaluation-result-3458847-1307155231/solver-3458847-1307155231 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458847-1307155231.opb
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.11 2.06 2.01 1/570 31212
/proc/meminfo: memFree=31852184/32950928 swapFree=43925852/67111528
[pid=31212] ppid=31210 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/31212/stat : 31212 (java) S 31210 31212 24211 0 -1 4202496 9581 0 1 0 0 0 0 0 25 0 2 0 827121888 13850947584 9282 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/31212/statm: 3381579 9296 917 9 0 3372735 0
[pid=31212/tid=31213] ppid=31210 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31213/stat : 31213 (java) R 31210 31212 24211 0 -1 4202560 8776 0 1 0 0 0 0 0 25 0 2 0 827121889 13850947584 9593 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.101125 s]
/proc/loadavg: 2.11 2.06 2.01 1/570 31212
/proc/meminfo: memFree=31852184/32950928 swapFree=43925852/67111528
[pid=31212] ppid=31210 vsize=13622320 CPUtime=0.1 cores=0,2,4,6
/proc/31212/stat : 31212 (java) S 31210 31212 24211 0 -1 4202496 15522 0 1 0 9 1 0 0 25 0 18 0 827121888 13949255680 15218 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31212/statm: 3405580 15220 2093 9 0 3396314 0
[pid=31212/tid=31213] ppid=31210 vsize=13622320 CPUtime=0.08 cores=0,2,4,6
/proc/31212/task/31213/stat : 31213 (java) R 31210 31212 24211 0 -1 4202560 13619 0 1 0 7 1 0 0 25 0 18 0 827121889 13949255680 15222 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622320
[startup+0.201843 s]
/proc/loadavg: 2.11 2.06 2.01 1/570 31212
/proc/meminfo: memFree=31852184/32950928 swapFree=43925852/67111528
[pid=31212] ppid=31210 vsize=13622804 CPUtime=0.25 cores=0,2,4,6
/proc/31212/stat : 31212 (java) S 31210 31212 24211 0 -1 4202496 16483 0 1 0 24 1 0 0 25 0 18 0 827121888 13949751296 16179 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31212/statm: 3405701 16180 2181 9 0 3396435 0
[pid=31212/tid=31213] ppid=31210 vsize=13622804 CPUtime=0.17 cores=0,2,4,6
/proc/31212/task/31213/stat : 31213 (java) R 31210 31212 24211 0 -1 4202560 14335 0 1 0 16 1 0 0 25 0 18 0 827121889 13949751296 16180 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 47805106046600 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13622804
[startup+0.301089 s]
/proc/loadavg: 2.11 2.06 2.01 1/570 31212
/proc/meminfo: memFree=31852184/32950928 swapFree=43925852/67111528
[pid=31212] ppid=31210 vsize=13624508 CPUtime=0.48 cores=0,2,4,6
/proc/31212/stat : 31212 (java) S 31210 31212 24211 0 -1 4202496 18515 0 1 0 46 2 0 0 25 0 18 0 827121888 13951496192 17894 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31212/statm: 3406127 17895 2202 9 0 3396861 0
[pid=31212/tid=31213] ppid=31210 vsize=13624508 CPUtime=0.27 cores=0,2,4,6
/proc/31212/task/31213/stat : 31213 (java) R 31210 31212 24211 0 -1 4202560 15565 0 1 0 26 1 0 0 25 0 18 0 827121889 13951496192 17895 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13624508
[startup+0.722062 s]
/proc/loadavg: 2.11 2.06 2.01 1/570 31212
/proc/meminfo: memFree=31852184/32950928 swapFree=43925852/67111528
[pid=31212] ppid=31210 vsize=13629024 CPUtime=1.43 cores=0,2,4,6
/proc/31212/stat : 31212 (java) S 31210 31212 24211 0 -1 4202496 37395 0 1 0 139 4 0 0 25 0 19 0 827121888 13956120576 34219 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31212/statm: 3407256 34219 2234 9 0 3397990 0
[pid=31212/tid=31213] ppid=31210 vsize=13629024 CPUtime=0.68 cores=0,2,4,6
/proc/31212/task/31213/stat : 31213 (java) R 31210 31212 24211 0 -1 4202560 30241 0 1 0 65 3 0 0 19 0 19 0 827121889 13956120576 34219 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 46912505757175 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 13629024
[startup+1.50094 s]
/proc/loadavg: 2.18 2.07 2.01 3/588 31237
/proc/meminfo: memFree=31724132/32950928 swapFree=43925852/67111528
[pid=31212] ppid=31210 vsize=13629024 CPUtime=2.3 cores=0,2,4,6
/proc/31212/stat : 31212 (java) S 31210 31212 24211 0 -1 4202496 38446 0 1 0 226 4 0 0 25 0 19 0 827121888 13956120576 34887 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31212/statm: 3407256 34887 2237 9 0 3397990 0
[pid=31212/tid=31213] ppid=31210 vsize=13629024 CPUtime=1.45 cores=0,2,4,6
/proc/31212/task/31213/stat : 31213 (java) R 31210 31212 24211 0 -1 4202560 30891 0 1 0 142 3 0 0 20 0 19 0 827121889 13956120576 34887 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 46912505783679 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31212/tid=31215] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31215/stat : 31215 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 34887 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31216] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31216/stat : 31216 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 34887 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31217] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31217/stat : 31217 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 34887 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31218] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31218/stat : 31218 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 34887 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31219] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31219/stat : 31219 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 34887 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31220] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31220/stat : 31220 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 34887 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31221] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31221/stat : 31221 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 34887 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31222] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31222/stat : 31222 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 34887 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31223] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31223/stat : 31223 (java) S 31210 31212 24211 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 827121892 13956120576 34887 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284505600 0 0 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31224] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31224/stat : 31224 (java) S 31210 31212 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827121892 13956120576 34887 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31225] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31225/stat : 31225 (java) S 31210 31212 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827121892 13956120576 34887 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31226] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31226/stat : 31226 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121894 13956120576 34887 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284512689 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31227] ppid=31210 vsize=13629024 CPUtime=0.42 cores=0,2,4,6
/proc/31212/task/31227/stat : 31227 (java) S 31210 31212 24211 0 -1 4202560 3816 0 0 0 42 0 0 0 15 0 19 0 827121894 13956120576 34887 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31228] ppid=31210 vsize=13629024 CPUtime=0.4 cores=0,2,4,6
/proc/31212/task/31228/stat : 31228 (java) S 31210 31212 24211 0 -1 4202560 2578 0 0 0 40 0 0 0 15 0 19 0 827121894 13956120576 34887 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 0 0 0 0
[pid=31212/tid=31229] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31229/stat : 31229 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121894 13956120576 34887 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31230] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31230/stat : 31230 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827121894 13956120576 34887 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284505600 0 4 0 16800975 18446604443403813824 0 0 -1 0 0 0 0
[pid=31212/tid=31234] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31234/stat : 31234 (java) S 31210 31212 24211 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827121948 13956120576 34887 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284505600 0 4 0 16800975 18446604443403813824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 13629024
[startup+3.10059 s]
/proc/loadavg: 2.18 2.07 2.01 3/588 31281
/proc/meminfo: memFree=31724952/32950928 swapFree=43925852/67111528
[pid=31212] ppid=31210 vsize=13629024 CPUtime=3.94 cores=0,2,4,6
/proc/31212/stat : 31212 (java) S 31210 31212 24211 0 -1 4202496 39466 0 1 0 389 5 0 0 25 0 19 0 827121888 13956120576 35785 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31212/statm: 3407256 35785 2237 9 0 3397990 0
[pid=31212/tid=31213] ppid=31210 vsize=13629024 CPUtime=3.05 cores=0,2,4,6
/proc/31212/task/31213/stat : 31213 (java) R 31210 31212 24211 0 -1 4202560 31785 0 1 0 302 3 0 0 25 0 19 0 827121889 13956120576 35785 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 46912505756981 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31212/tid=31215] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31215/stat : 31215 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 35786 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31216] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31216/stat : 31216 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 35786 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31217] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31217/stat : 31217 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 35786 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31218] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31218/stat : 31218 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 35786 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31219] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31219/stat : 31219 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 35786 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31220] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31220/stat : 31220 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 35786 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31221] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31221/stat : 31221 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 35786 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31222] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31222/stat : 31222 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 35786 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31223] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31223/stat : 31223 (java) S 31210 31212 24211 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 827121892 13956120576 35786 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284505600 0 0 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31224] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31224/stat : 31224 (java) S 31210 31212 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827121892 13956120576 35786 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31225] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31225/stat : 31225 (java) S 31210 31212 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827121892 13956120576 35786 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31226] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31226/stat : 31226 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121894 13956120576 35786 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284512689 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31227] ppid=31210 vsize=13629024 CPUtime=0.45 cores=0,2,4,6
/proc/31212/task/31227/stat : 31227 (java) S 31210 31212 24211 0 -1 4202560 3941 0 0 0 45 0 0 0 15 0 19 0 827121894 13956120576 35786 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31228] ppid=31210 vsize=13629024 CPUtime=0.4 cores=0,2,4,6
/proc/31212/task/31228/stat : 31228 (java) S 31210 31212 24211 0 -1 4202560 2578 0 0 0 40 0 0 0 15 0 19 0 827121894 13956120576 35786 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 0 0 0 0
[pid=31212/tid=31229] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31229/stat : 31229 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121894 13956120576 35786 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31230] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31230/stat : 31230 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827121894 13956120576 35786 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284505600 0 4 0 16800975 18446604443403813824 0 0 -1 0 0 0 0
[pid=31212/tid=31234] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31234/stat : 31234 (java) S 31210 31212 24211 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827121948 13956120576 35786 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284505600 0 4 0 16800975 18446604443403813824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 13629024
[startup+6.30101 s]
/proc/loadavg: 2.09 2.06 2.01 3/588 31345
/proc/meminfo: memFree=31703312/32950928 swapFree=43925852/67111528
[pid=31212] ppid=31210 vsize=13629024 CPUtime=7.17 cores=0,2,4,6
/proc/31212/stat : 31212 (java) S 31210 31212 24211 0 -1 4202496 43232 0 1 0 712 5 0 0 25 0 19 0 827121888 13956120576 38947 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31212/statm: 3407256 38947 2237 9 0 3397990 0
[pid=31212/tid=31213] ppid=31210 vsize=13629024 CPUtime=6.25 cores=0,2,4,6
/proc/31212/task/31213/stat : 31213 (java) R 31210 31212 24211 0 -1 4202560 34959 0 1 0 621 4 0 0 25 0 19 0 827121889 13956120576 38947 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 46912505909838 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31212/tid=31215] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31215/stat : 31215 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 38947 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31216] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31216/stat : 31216 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 38947 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31217] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31217/stat : 31217 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 38947 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31218] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31218/stat : 31218 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 38947 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31219] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31219/stat : 31219 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 38947 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31220] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31220/stat : 31220 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 38947 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31221] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31221/stat : 31221 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 38947 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31222] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31222/stat : 31222 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121891 13956120576 38947 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31223] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31223/stat : 31223 (java) S 31210 31212 24211 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827121892 13956120576 38947 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284505600 0 0 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31224] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31224/stat : 31224 (java) S 31210 31212 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827121892 13956120576 38947 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31225] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31225/stat : 31225 (java) S 31210 31212 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827121892 13956120576 38947 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31226] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31226/stat : 31226 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121894 13956120576 38947 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284512689 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31227] ppid=31210 vsize=13629024 CPUtime=0.49 cores=0,2,4,6
/proc/31212/task/31227/stat : 31227 (java) S 31210 31212 24211 0 -1 4202560 4533 0 0 0 49 0 0 0 15 0 19 0 827121894 13956120576 38947 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31228] ppid=31210 vsize=13629024 CPUtime=0.41 cores=0,2,4,6
/proc/31212/task/31228/stat : 31228 (java) S 31210 31212 24211 0 -1 4202560 2578 0 0 0 41 0 0 0 15 0 19 0 827121894 13956120576 38950 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=31212/tid=31220] ppid=31210 vsize=13629024 CPUtime=0.06 cores=0,2,4,6
/proc/31212/task/31220/stat : 31220 (java) S 31210 31212 24211 0 -1 4202560 11460 0 0 0 5 1 0 0 15 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31221] ppid=31210 vsize=13629024 CPUtime=0.12 cores=0,2,4,6
/proc/31212/task/31221/stat : 31221 (java) S 31210 31212 24211 0 -1 4202560 18290 0 0 0 10 2 0 0 15 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 4 0 0 0
[pid=31212/tid=31222] ppid=31210 vsize=13629024 CPUtime=0.14 cores=0,2,4,6
/proc/31212/task/31222/stat : 31222 (java) S 31210 31212 24211 0 -1 4202560 22892 0 0 0 11 3 0 0 16 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31223] ppid=31210 vsize=13629024 CPUtime=0.39 cores=0,2,4,6
/proc/31212/task/31223/stat : 31223 (java) S 31210 31212 24211 0 -1 4202560 23984 0 0 0 37 2 0 0 15 0 19 0 827121892 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284505600 0 0 0 16800975 18446604443403813824 0 0 -1 0 0 0 0
[pid=31212/tid=31224] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31224/stat : 31224 (java) S 31210 31212 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827121892 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31225] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31225/stat : 31225 (java) S 31210 31212 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827121892 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31226] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31226/stat : 31226 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284512689 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31227] ppid=31210 vsize=13629024 CPUtime=0.6 cores=0,2,4,6
/proc/31212/task/31227/stat : 31227 (java) S 31210 31212 24211 0 -1 4202560 4877 0 0 0 60 0 0 0 15 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31228] ppid=31210 vsize=13629024 CPUtime=0.52 cores=0,2,4,6
/proc/31212/task/31228/stat : 31228 (java) S 31210 31212 24211 0 -1 4202560 2592 0 0 0 52 0 0 0 15 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31229] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31229/stat : 31229 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31230] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31230/stat : 31230 (java) S 31210 31212 24211 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284505600 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31234] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31234/stat : 31234 (java) S 31210 31212 24211 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827121948 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284505600 0 4 0 16800975 18446604443403813824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1723.77
Current children cumulated vsize (KiB) 13629024
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/609 31429
/proc/meminfo: memFree=28307200/32950928 swapFree=43925852/67111528
[pid=31212] ppid=31210 vsize=13629024 CPUtime=1783.77 cores=0,2,4,6
/proc/31212/stat : 31212 (java) S 31210 31212 24211 0 -1 4202496 388086 0 1 0 178324 53 0 0 25 0 19 0 827121888 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31212/statm: 3407256 382460 2265 9 0 3397990 0
[pid=31212/tid=31213] ppid=31210 vsize=13629024 CPUtime=1781.6 cores=0,2,4,6
/proc/31212/task/31213/stat : 31213 (java) R 31210 31212 24211 0 -1 4202560 262767 0 1 0 178124 36 0 0 25 0 19 0 827121889 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 46912505783691 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31212/tid=31215] ppid=31210 vsize=13629024 CPUtime=0.07 cores=0,2,4,6
/proc/31212/task/31215/stat : 31215 (java) S 31210 31212 24211 0 -1 4202560 10180 0 0 0 6 1 0 0 16 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 4 0 0 0
[pid=31212/tid=31216] ppid=31210 vsize=13629024 CPUtime=0.01 cores=0,2,4,6
/proc/31212/task/31216/stat : 31216 (java) S 31210 31212 24211 0 -1 4202560 6126 0 0 0 1 0 0 0 15 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31217] ppid=31210 vsize=13629024 CPUtime=0.01 cores=0,2,4,6
/proc/31212/task/31217/stat : 31217 (java) S 31210 31212 24211 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31218] ppid=31210 vsize=13629024 CPUtime=0.11 cores=0,2,4,6
/proc/31212/task/31218/stat : 31218 (java) S 31210 31212 24211 0 -1 4202560 19382 0 0 0 9 2 0 0 16 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31219] ppid=31210 vsize=13629024 CPUtime=0.02 cores=0,2,4,6
/proc/31212/task/31219/stat : 31219 (java) S 31210 31212 24211 0 -1 4202560 4273 0 0 0 2 0 0 0 16 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31220] ppid=31210 vsize=13629024 CPUtime=0.06 cores=0,2,4,6
/proc/31212/task/31220/stat : 31220 (java) S 31210 31212 24211 0 -1 4202560 11460 0 0 0 5 1 0 0 15 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31221] ppid=31210 vsize=13629024 CPUtime=0.12 cores=0,2,4,6
/proc/31212/task/31221/stat : 31221 (java) S 31210 31212 24211 0 -1 4202560 18290 0 0 0 10 2 0 0 15 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 4 0 0 0
[pid=31212/tid=31222] ppid=31210 vsize=13629024 CPUtime=0.14 cores=0,2,4,6
/proc/31212/task/31222/stat : 31222 (java) S 31210 31212 24211 0 -1 4202560 22892 0 0 0 11 3 0 0 16 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31223] ppid=31210 vsize=13629024 CPUtime=0.39 cores=0,2,4,6
/proc/31212/task/31223/stat : 31223 (java) S 31210 31212 24211 0 -1 4202560 23984 0 0 0 37 2 0 0 15 0 19 0 827121892 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284505600 0 0 0 16800975 18446604443403813824 0 0 -1 0 0 0 0
[pid=31212/tid=31224] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31224/stat : 31224 (java) S 31210 31212 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827121892 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31225] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31225/stat : 31225 (java) S 31210 31212 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827121892 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31226] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31226/stat : 31226 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284512689 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31227] ppid=31210 vsize=13629024 CPUtime=0.6 cores=0,2,4,6
/proc/31212/task/31227/stat : 31227 (java) S 31210 31212 24211 0 -1 4202560 4877 0 0 0 60 0 0 0 15 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31228] ppid=31210 vsize=13629024 CPUtime=0.52 cores=0,2,4,6
/proc/31212/task/31228/stat : 31228 (java) S 31210 31212 24211 0 -1 4202560 2592 0 0 0 52 0 0 0 15 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31229] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31229/stat : 31229 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31230] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31230/stat : 31230 (java) S 31210 31212 24211 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284505600 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31234] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31234/stat : 31234 (java) S 31210 31212 24211 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827121948 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284505600 0 4 0 16800975 18446604443403813824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1783.77
Current children cumulated vsize (KiB) 13629024
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.62 s]
/proc/loadavg: 2.03 2.04 2.00 3/609 31429
/proc/meminfo: memFree=28294788/32950928 swapFree=43925852/67111528
[pid=31212] ppid=31210 vsize=13629024 CPUtime=1800.11 cores=0,2,4,6
/proc/31212/stat : 31212 (java) S 31210 31212 24211 0 -1 4202496 388088 0 1 0 179958 53 0 0 25 0 19 0 827121888 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31212/statm: 3407256 382460 2265 9 0 3397990 0
[pid=31212/tid=31213] ppid=31210 vsize=13629024 CPUtime=1797.94 cores=0,2,4,6
/proc/31212/task/31213/stat : 31213 (java) R 31210 31212 24211 0 -1 4202560 262767 0 1 0 179758 36 0 0 25 0 19 0 827121889 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 46912505963086 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31212/tid=31215] ppid=31210 vsize=13629024 CPUtime=0.07 cores=0,2,4,6
/proc/31212/task/31215/stat : 31215 (java) S 31210 31212 24211 0 -1 4202560 10180 0 0 0 6 1 0 0 16 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 4 0 0 0
[pid=31212/tid=31216] ppid=31210 vsize=13629024 CPUtime=0.01 cores=0,2,4,6
/proc/31212/task/31216/stat : 31216 (java) S 31210 31212 24211 0 -1 4202560 6126 0 0 0 1 0 0 0 15 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31217] ppid=31210 vsize=13629024 CPUtime=0.01 cores=0,2,4,6
/proc/31212/task/31217/stat : 31217 (java) S 31210 31212 24211 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31218] ppid=31210 vsize=13629024 CPUtime=0.11 cores=0,2,4,6
/proc/31212/task/31218/stat : 31218 (java) S 31210 31212 24211 0 -1 4202560 19382 0 0 0 9 2 0 0 16 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31219] ppid=31210 vsize=13629024 CPUtime=0.02 cores=0,2,4,6
/proc/31212/task/31219/stat : 31219 (java) S 31210 31212 24211 0 -1 4202560 4273 0 0 0 2 0 0 0 16 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31220] ppid=31210 vsize=13629024 CPUtime=0.06 cores=0,2,4,6
/proc/31212/task/31220/stat : 31220 (java) S 31210 31212 24211 0 -1 4202560 11460 0 0 0 5 1 0 0 15 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31221] ppid=31210 vsize=13629024 CPUtime=0.12 cores=0,2,4,6
/proc/31212/task/31221/stat : 31221 (java) S 31210 31212 24211 0 -1 4202560 18290 0 0 0 10 2 0 0 15 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 4 0 0 0
[pid=31212/tid=31222] ppid=31210 vsize=13629024 CPUtime=0.14 cores=0,2,4,6
/proc/31212/task/31222/stat : 31222 (java) S 31210 31212 24211 0 -1 4202560 22892 0 0 0 11 3 0 0 16 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31223] ppid=31210 vsize=13629024 CPUtime=0.39 cores=0,2,4,6
/proc/31212/task/31223/stat : 31223 (java) S 31210 31212 24211 0 -1 4202560 23984 0 0 0 37 2 0 0 15 0 19 0 827121892 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284505600 0 0 0 16800975 18446604443403813824 0 0 -1 0 0 0 0
[pid=31212/tid=31224] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31224/stat : 31224 (java) S 31210 31212 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827121892 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31225] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31225/stat : 31225 (java) S 31210 31212 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827121892 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31226] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31226/stat : 31226 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284512689 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31227] ppid=31210 vsize=13629024 CPUtime=0.6 cores=0,2,4,6
/proc/31212/task/31227/stat : 31227 (java) S 31210 31212 24211 0 -1 4202560 4877 0 0 0 60 0 0 0 15 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31228] ppid=31210 vsize=13629024 CPUtime=0.52 cores=0,2,4,6
/proc/31212/task/31228/stat : 31228 (java) S 31210 31212 24211 0 -1 4202560 2592 0 0 0 52 0 0 0 15 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31229] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31229/stat : 31229 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31230] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31230/stat : 31230 (java) S 31210 31212 24211 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284505600 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31234] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31234/stat : 31234 (java) S 31210 31212 24211 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827121948 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284505600 0 4 0 16800975 18446604443403813824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 13629024
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.62 s]
/proc/loadavg: 2.03 2.04 2.00 3/609 31429
/proc/meminfo: memFree=28294788/32950928 swapFree=43925852/67111528
[pid=31212] ppid=31210 vsize=13629024 CPUtime=1800.11 cores=0,2,4,6
/proc/31212/stat : 31212 (java) S 31210 31212 24211 0 -1 4202496 388088 0 1 0 179958 53 0 0 25 0 19 0 827121888 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31212/statm: 3407256 382460 2265 9 0 3397990 0
[pid=31212/tid=31213] ppid=31210 vsize=13629024 CPUtime=1797.94 cores=0,2,4,6
/proc/31212/task/31213/stat : 31213 (java) R 31210 31212 24211 0 -1 4202560 262767 0 1 0 179758 36 0 0 25 0 19 0 827121889 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 46912505963086 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31212/tid=31215] ppid=31210 vsize=13629024 CPUtime=0.07 cores=0,2,4,6
/proc/31212/task/31215/stat : 31215 (java) S 31210 31212 24211 0 -1 4202560 10180 0 0 0 6 1 0 0 16 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 4 0 0 0
[pid=31212/tid=31216] ppid=31210 vsize=13629024 CPUtime=0.01 cores=0,2,4,6
/proc/31212/task/31216/stat : 31216 (java) S 31210 31212 24211 0 -1 4202560 6126 0 0 0 1 0 0 0 15 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31217] ppid=31210 vsize=13629024 CPUtime=0.01 cores=0,2,4,6
/proc/31212/task/31217/stat : 31217 (java) S 31210 31212 24211 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31218] ppid=31210 vsize=13629024 CPUtime=0.11 cores=0,2,4,6
/proc/31212/task/31218/stat : 31218 (java) S 31210 31212 24211 0 -1 4202560 19382 0 0 0 9 2 0 0 16 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31219] ppid=31210 vsize=13629024 CPUtime=0.02 cores=0,2,4,6
/proc/31212/task/31219/stat : 31219 (java) S 31210 31212 24211 0 -1 4202560 4273 0 0 0 2 0 0 0 16 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31220] ppid=31210 vsize=13629024 CPUtime=0.06 cores=0,2,4,6
/proc/31212/task/31220/stat : 31220 (java) S 31210 31212 24211 0 -1 4202560 11460 0 0 0 5 1 0 0 15 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31221] ppid=31210 vsize=13629024 CPUtime=0.12 cores=0,2,4,6
/proc/31212/task/31221/stat : 31221 (java) S 31210 31212 24211 0 -1 4202560 18290 0 0 0 10 2 0 0 15 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 4 0 0 0
[pid=31212/tid=31222] ppid=31210 vsize=13629024 CPUtime=0.14 cores=0,2,4,6
/proc/31212/task/31222/stat : 31222 (java) S 31210 31212 24211 0 -1 4202560 22892 0 0 0 11 3 0 0 16 0 19 0 827121891 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31223] ppid=31210 vsize=13629024 CPUtime=0.39 cores=0,2,4,6
/proc/31212/task/31223/stat : 31223 (java) S 31210 31212 24211 0 -1 4202560 23984 0 0 0 37 2 0 0 15 0 19 0 827121892 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284505600 0 0 0 16800975 18446604443403813824 0 0 -1 0 0 0 0
[pid=31212/tid=31224] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31224/stat : 31224 (java) S 31210 31212 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827121892 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31225] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31225/stat : 31225 (java) S 31210 31212 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827121892 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31226] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31226/stat : 31226 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284512689 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31227] ppid=31210 vsize=13629024 CPUtime=0.6 cores=0,2,4,6
/proc/31212/task/31227/stat : 31227 (java) S 31210 31212 24211 0 -1 4202560 4877 0 0 0 60 0 0 0 15 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31228] ppid=31210 vsize=13629024 CPUtime=0.52 cores=0,2,4,6
/proc/31212/task/31228/stat : 31228 (java) S 31210 31212 24211 0 -1 4202560 2592 0 0 0 52 0 0 0 15 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 6 0 0 0
[pid=31212/tid=31229] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31229/stat : 31229 (java) S 31210 31212 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284504985 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31230] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31230/stat : 31230 (java) S 31210 31212 24211 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 827121894 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284505600 0 4 0 16800975 18446604443403813824 0 0 -1 2 0 0 0
[pid=31212/tid=31234] ppid=31210 vsize=13629024 CPUtime=0 cores=0,2,4,6
/proc/31212/task/31234/stat : 31234 (java) S 31210 31212 24211 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827121948 13956120576 382460 33554432000 1073741824 1073778376 140734327510656 18446744073709551615 268284505600 0 4 0 16800975 18446604443403813824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 13629024
Child status: 143
Real time (s): 1798.72
CPU time (s): 1800.23
CPU user time (s): 1799.63
CPU system time (s): 0.594909
CPU usage (%): 100.084
Max. virtual memory (cumulated for all children) (KiB): 13629024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.594909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388119
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= 36976
involuntary context switches= 15359
runsolver used 11.1183 second user time and 23.1905 second system time
The end