runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4244552-1500687293/watcher-4244552-1500687293 -o /tmp/evaluation-result-4244552-1500687293/solver-4244552-1500687293 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500682518-14756 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 341324693 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244552-1500687293.xml
pid=15280
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.44 1.59 1.71 3/239 15283
/proc/meminfo: memFree=31754216/32770624 swapFree=5864/242824
[pid=15283] ppid=15280 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/stat : 15283 (java) S 15280 15283 14040 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 3998393 369864704 1413 33554432000 4194304 4196468 140720963327760 140720963310304 139631641157367 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
/proc/15283/statm: 90299 1413 1072 1 0 79210 0
[pid=15283/tid=15285] ppid=15280 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15285/stat : 15285 (java) S 15280 15283 14040 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 3998393 369864704 1413 33554432000 4194304 4196468 140720963327760 139631645399456 139631641168514 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[startup+0.100148 s]
/proc/loadavg: 1.44 1.59 1.71 3/239 15283
/proc/meminfo: memFree=31754216/32770624 swapFree=5864/242824
[pid=15283] ppid=15280 vsize=13263912 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15283/stat : 15283 (java) S 15280 15283 14040 0 -1 1077944320 6904 0 0 0 10 1 0 0 20 0 20 0 3998393 13582245888 7107 33554432000 4194304 4196468 140720963327760 140720963310304 139631641157367 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
/proc/15283/statm: 3315978 7173 3407 1 0 3303698 0
[pid=15283/tid=15285] ppid=15280 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15285/stat : 15285 (java) R 15280 15283 14040 0 -1 4202560 4885 0 0 0 8 0 0 0 20 0 20 0 3998393 13582245888 7173 33554432000 4194304 4196468 140720963327760 139631645372104 139631625237854 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13263912
[startup+0.200443 s]
/proc/loadavg: 1.44 1.59 1.71 3/239 15283
/proc/meminfo: memFree=31754216/32770624 swapFree=5864/242824
[pid=15283] ppid=15280 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/15283/stat : 15283 (java) S 15280 15283 14040 0 -1 1077944320 9161 0 0 0 26 1 0 0 20 0 20 0 3998393 13582245888 9526 33554432000 4194304 4196468 140720963327760 140720963310304 139631641157367 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
/proc/15283/statm: 3315978 9526 3516 1 0 3303698 0
[pid=15283/tid=15285] ppid=15280 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15285/stat : 15285 (java) R 15280 15283 14040 0 -1 4202560 6833 0 0 0 17 1 0 0 20 0 20 0 3998393 13582245888 9526 33554432000 4194304 4196468 140720963327760 139631645376208 139631625237854 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13263912
[startup+0.300394 s]
/proc/loadavg: 1.44 1.59 1.71 3/239 15283
/proc/meminfo: memFree=31754216/32770624 swapFree=5864/242824
[pid=15283] ppid=15280 vsize=13263932 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/15283/stat : 15283 (java) S 15280 15283 14040 0 -1 1077944320 10483 0 0 0 45 2 0 0 20 0 20 0 3998393 13582266368 12241 33554432000 4194304 4196468 140720963327760 140720963310304 139631641157367 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
/proc/15283/statm: 3315983 12241 3702 1 0 3303698 0
[pid=15283/tid=15285] ppid=15280 vsize=13263932 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15285/stat : 15285 (java) R 15280 15283 14040 0 -1 4202560 7535 0 0 0 26 1 0 0 20 0 20 0 3998393 13582266368 12241 33554432000 4194304 4196468 140720963327760 139631645365456 139631641179293 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13263932
[startup+0.70029 s]
/proc/loadavg: 1.44 1.59 1.71 3/239 15283
/proc/meminfo: memFree=31754216/32770624 swapFree=5864/242824
[pid=15283] ppid=15280 vsize=13265980 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/15283/stat : 15283 (java) S 15280 15283 14040 0 -1 1077944320 12628 0 0 0 128 3 0 0 20 0 20 0 3998393 13584363520 18512 33554432000 4194304 4196468 140720963327760 140720963310304 139631641157367 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
/proc/15283/statm: 3316495 18512 3766 1 0 3304210 0
[pid=15283/tid=15285] ppid=15280 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15285/stat : 15285 (java) R 15280 15283 14040 0 -1 4202560 8788 0 0 0 65 2 0 0 20 0 20 0 3998393 13584363520 18512 33554432000 4194304 4196468 140720963327760 139631645363088 139631625237854 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 13265980
[startup+1.50112 s]
/proc/loadavg: 1.44 1.59 1.71 5/256 15350
/proc/meminfo: memFree=31690076/32770624 swapFree=5864/242840
[pid=15283] ppid=15280 vsize=13270076 CPUtime=4.17 cores=1,3,5,7,9,11,13,15
/proc/15283/stat : 15283 (java) S 15280 15283 14040 0 -1 1077944320 28849 0 0 0 410 7 0 0 20 0 20 0 3998393 13588557824 34794 33554432000 4194304 4196468 140720963327760 140720963310304 139631641157367 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
/proc/15283/statm: 3317519 34794 3781 1 0 3305234 0
[pid=15283/tid=15285] ppid=15280 vsize=13270076 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15285/stat : 15285 (java) R 15280 15283 14040 0 -1 4202560 11194 0 0 0 143 3 0 0 20 0 20 0 3998393 13588557824 34794 33554432000 4194304 4196468 140720963327760 139631645392000 139631285033572 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15290] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15290/stat : 15290 (java) S 15280 15283 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 34794 33554432000 4194304 4196468 140720963327760 139631240133392 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15291] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15291/stat : 15291 (java) S 15280 15283 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 34794 33554432000 4194304 4196468 140720963327760 139631239080848 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15292] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15292/stat : 15292 (java) S 15280 15283 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 34794 33554432000 4194304 4196468 140720963327760 139631238028304 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15293] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15293/stat : 15293 (java) S 15280 15283 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 34794 33554432000 4194304 4196468 140720963327760 139631236975760 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15294] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15294/stat : 15294 (java) S 15280 15283 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 34794 33554432000 4194304 4196468 140720963327760 139631235922192 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15295] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15295/stat : 15295 (java) S 15280 15283 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 34794 33554432000 4194304 4196468 140720963327760 139631234869648 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15296] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15296/stat : 15296 (java) S 15280 15283 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 34794 33554432000 4194304 4196468 140720963327760 139631233817104 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15297] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15297/stat : 15297 (java) S 15280 15283 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 34794 33554432000 4194304 4196468 140720963327760 139631232764560 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15303] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15303/stat : 15303 (java) S 15280 15283 14040 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3998395 13588557824 34794 33554432000 4194304 4196468 140720963327760 139631104248304 139631641168514 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15304] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15304/stat : 15304 (java) S 15280 15283 14040 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3998396 13588557824 34794 33554432000 4194304 4196468 140720963327760 139631103194528 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15306] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15306/stat : 15306 (java) S 15280 15283 14040 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3998396 13588557824 34794 33554432000 4194304 4196468 140720963327760 139631102141936 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15317] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15317/stat : 15317 (java) S 15280 15283 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3998399 13588557824 34794 33554432000 4194304 4196468 140720963327760 139631101090512 139631641175963 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15318] ppid=15280 vsize=13270076 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15318/stat : 15318 (java) R 15280 15283 14040 0 -1 4202560 3396 0 0 0 70 0 0 0 20 0 20 0 3998399 13588557824 34794 33554432000 4194304 4196468 140720963327760 139631100018120 139631625556902 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15319] ppid=15280 vsize=13270076 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15319/stat : 15319 (java) R 15280 15283 14040 0 -1 4202560 2970 0 0 0 68 0 0 0 20 0 20 0 3998399 13588557824 34794 33554432000 4194304 4196468 140720963327760 139631098970584 139631620851472 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15320] ppid=15280 vsize=13270076 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15320/stat : 15320 (java) R 15280 15283 14040 0 -1 4202560 2234 0 0 0 65 0 0 0 20 0 20 0 3998399 13588557824 34794 33554432000 4194304 4196468 140720963327760 139631097918112 139631626079149 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15321] ppid=15280 vsize=13270076 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15321/stat : 15321 (java) S 15280 15283 14040 0 -1 1077944384 7660 0 0 0 61 1 0 0 20 0 20 0 3998399 13588557824 34794 33554432000 4194304 4196468 140720963327760 139631096879472 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15322] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15322/stat : 15322 (java) S 15280 15283 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3998399 13588557824 34794 33554432000 4194304 4196468 140720963327760 139631095827168 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15323] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15323/stat : 15323 (java) S 15280 15283 14040 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 3998399 13588557824 34794 33554432000 4194304 4196468 140720963327760 139631094774704 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 13270076
[startup+3.10068 s]
/proc/loadavg: 1.44 1.59 1.71 6/281 15384
/proc/meminfo: memFree=31541444/32770624 swapFree=5864/242896
[pid=15283] ppid=15280 vsize=13270076 CPUtime=6.78 cores=1,3,5,7,9,11,13,15
/proc/15283/stat : 15283 (java) S 15280 15283 14040 0 -1 1077944320 32472 0 0 0 669 9 0 0 20 0 20 0 3998393 13588557824 44783 33554432000 4194304 4196468 140720963327760 140720963310304 139631641157367 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
/proc/15283/statm: 3317519 44783 3789 1 0 3305234 0
[pid=15283/tid=15285] ppid=15280 vsize=13270076 CPUtime=3.06 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15285/stat : 15285 (java) R 15280 15283 14040 0 -1 4202560 11587 0 0 0 302 4 0 0 20 0 20 0 3998393 13588557824 44783 33554432000 4194304 4196468 140720963327760 139631645392400 139631286028330 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15290] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15290/stat : 15290 (java) S 15280 15283 14040 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 44783 33554432000 4194304 4196468 140720963327760 139631240133392 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15291] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15291/stat : 15291 (java) S 15280 15283 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 44783 33554432000 4194304 4196468 140720963327760 139631239080848 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15292] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15292/stat : 15292 (java) S 15280 15283 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 44783 33554432000 4194304 4196468 140720963327760 139631238028304 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15293] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15293/stat : 15293 (java) S 15280 15283 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 44783 33554432000 4194304 4196468 140720963327760 139631236975760 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15294] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15294/stat : 15294 (java) S 15280 15283 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 44783 33554432000 4194304 4196468 140720963327760 139631235922192 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15295] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15295/stat : 15295 (java) S 15280 15283 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 44783 33554432000 4194304 4196468 140720963327760 139631234869648 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15296] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15296/stat : 15296 (java) S 15280 15283 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 44783 33554432000 4194304 4196468 140720963327760 139631233817104 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15297] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15297/stat : 15297 (java) S 15280 15283 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 44783 33554432000 4194304 4196468 140720963327760 139631232764560 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15303] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15303/stat : 15303 (java) S 15280 15283 14040 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 3998395 13588557824 44783 33554432000 4194304 4196468 140720963327760 139631104248304 139631641168514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15304] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15304/stat : 15304 (java) S 15280 15283 14040 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3998396 13588557824 44783 33554432000 4194304 4196468 140720963327760 139631103194528 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15306] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15306/stat : 15306 (java) S 15280 15283 14040 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3998396 13588557824 44783 33554432000 4194304 4196468 140720963327760 139631102141936 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15317] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15317/stat : 15317 (java) S 15280 15283 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3998399 13588557824 44783 33554432000 4194304 4196468 140720963327760 139631101090512 139631641175963 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15318] ppid=15280 vsize=13270076 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15318/stat : 15318 (java) S 15280 15283 14040 0 -1 1077944384 4573 0 0 0 111 0 0 0 20 0 20 0 3998399 13588557824 44783 33554432000 4194304 4196468 140720963327760 139631100037104 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15319] ppid=15280 vsize=13270076 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15319/stat : 15319 (java) S 15280 15283 14040 0 -1 1077944384 4533 0 0 0 102 1 0 0 20 0 20 0 3998399 13588557824 44783 33554432000 4194304 4196468 140720963327760 139631098984560 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15320] ppid=15280 vsize=13270076 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15320/stat : 15320 (java) S 15280 15283 14040 0 -1 1077944384 2507 0 0 0 88 0 0 0 20 0 20 0 3998399 13588557824 44783 33554432000 4194304 4196468 140720963327760 139631097932016 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15321] ppid=15280 vsize=13270076 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15321/stat : 15321 (java) S 15280 15283 14040 0 -1 1077944384 7838 0 0 0 64 1 0 0 20 0 20 0 3998399 13588557824 44783 33554432000 4194304 4196468 140720963327760 139631096879472 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15322] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15322/stat : 15322 (java) S 15280 15283 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3998399 13588557824 44783 33554432000 4194304 4196468 140720963327760 139631095827168 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15323] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15323/stat : 15323 (java) S 15280 15283 14040 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 3998399 13588557824 44783 33554432000 4194304 4196468 140720963327760 139631094774704 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
Current children cumulated CPU time (s) 6.78
Current children cumulated vsize (KiB) 13270076
[startup+6.30074 s]
/proc/loadavg: 1.48 1.60 1.71 3/281 15384
/proc/meminfo: memFree=31349204/32770624 swapFree=5864/242896
[pid=15283] ppid=15280 vsize=13270076 CPUtime=10.34 cores=1,3,5,7,9,11,13,15
/proc/15283/stat : 15283 (java) S 15280 15283 14040 0 -1 1077944320 39055 0 0 0 1022 12 0 0 20 0 20 0 3998393 13588557824 57609 33554432000 4194304 4196468 140720963327760 140720963310304 139631641157367 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
/proc/15283/statm: 3317519 57609 3806 1 0 3305234 0
[pid=15283/tid=15285] ppid=15280 vsize=13270076 CPUtime=6.25 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15285/stat : 15285 (java) R 15280 15283 14040 0 -1 4202560 11928 0 0 0 620 5 0 0 20 0 20 0 3998393 13588557824 57609 33554432000 4194304 4196468 140720963327760 139631645392496 139631285390512 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15290] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15290/stat : 15290 (java) S 15280 15283 14040 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 57609 33554432000 4194304 4196468 140720963327760 139631240133392 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15291] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15291/stat : 15291 (java) S 15280 15283 14040 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 57609 33554432000 4194304 4196468 140720963327760 139631239080848 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15292] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15292/stat : 15292 (java) S 15280 15283 14040 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 57609 33554432000 4194304 4196468 140720963327760 139631238028304 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15293] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15293/stat : 15293 (java) S 15280 15283 14040 0 -1 1077944384 702 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 57609 33554432000 4194304 4196468 140720963327760 139631236975760 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15294] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15294/stat : 15294 (java) S 15280 15283 14040 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 57609 33554432000 4194304 4196468 140720963327760 139631235922192 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15295] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15295/stat : 15295 (java) S 15280 15283 14040 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 57609 33554432000 4194304 4196468 140720963327760 139631234869648 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15296] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15296/stat : 15296 (java) S 15280 15283 14040 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 57609 33554432000 4194304 4196468 140720963327760 139631233817104 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15297] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15297/stat : 15297 (java) S 15280 15283 14040 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 20 0 3998394 13588557824 57609 33554432000 4194304 4196468 140720963327760 139631232764560 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15303] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15303/stat : 15303 (java) S 15280 15283 14040 0 -1 1077944384 646 0 0 0 0 0 0 0 20 0 20 0 3998395 13588557824 57609 33554432000 4194304 4196468 140720963327760 139631104248304 139631641168514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15304] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15304/stat : 15304 (java) S 15280 15283 14040 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 3998396 13588557824 57609 33554432000 4194304 4196468 140720963327760 139631103194592 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15306] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15306/stat : 15306 (java) S 15280 15283 14040 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 3998396 13588557824 57609 33554432000 4194304 4196468 140720963327760 139631102141952 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15317] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=15283/tid=15319] ppid=15280 vsize=13270076 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15319/stat : 15319 (java) S 15280 15283 14040 0 -1 1077944384 7177 0 0 0 122 1 0 0 20 0 20 0 3998399 13588557824 54899 33554432000 4194304 4196468 140720963327760 139631098984560 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15320] ppid=15280 vsize=13270076 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15320/stat : 15320 (java) S 15280 15283 14040 0 -1 1077944384 4704 0 0 0 106 1 0 0 20 0 20 0 3998399 13588557824 54899 33554432000 4194304 4196468 140720963327760 139631097932016 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15321] ppid=15280 vsize=13270076 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15321/stat : 15321 (java) S 15280 15283 14040 0 -1 1077944384 9735 0 0 0 68 2 0 0 20 0 20 0 3998399 13588557824 54899 33554432000 4194304 4196468 140720963327760 139631096879472 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15322] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15322/stat : 15322 (java) S 15280 15283 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3998399 13588557824 54899 33554432000 4194304 4196468 140720963327760 139631095827168 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15323] ppid=15280 vsize=13270076 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15323/stat : 15323 (java) S 15280 15283 14040 0 -1 1077944384 1363 0 0 0 20 29 0 0 20 0 20 0 3998399 13588557824 54899 33554432000 4194304 4196468 140720963327760 139631094774704 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
Current children cumulated CPU time (s) 2336.38
Current children cumulated vsize (KiB) 13270076
[startup+2382.3 s]
/proc/loadavg: 1.80 1.73 1.70 3/282 15500
/proc/meminfo: memFree=31354884/32770624 swapFree=5864/245140
[pid=15283] ppid=15280 vsize=13270076 CPUtime=2396.62 cores=1,3,5,7,9,11,13,15
/proc/15283/stat : 15283 (java) S 15280 15283 14040 0 -1 1077944320 73917 0 0 0 239564 98 0 0 20 0 20 0 3998393 13588557824 55411 33554432000 4194304 4196468 140720963327760 140720963310304 139631641157367 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
/proc/15283/statm: 3317519 55411 3820 1 0 3305234 0
[pid=15283/tid=15285] ppid=15280 vsize=13270076 CPUtime=2378.99 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15285/stat : 15285 (java) R 15280 15283 14040 0 -1 4202560 24943 0 0 0 237891 8 0 0 20 0 20 0 3998393 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631645395664 139631285149619 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15290] ppid=15280 vsize=13270076 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15290/stat : 15290 (java) S 15280 15283 14040 0 -1 1077944384 811 0 0 0 140 7 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631240133392 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15291] ppid=15280 vsize=13270076 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15291/stat : 15291 (java) S 15280 15283 14040 0 -1 1077944384 1078 0 0 0 139 7 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631239080848 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15292] ppid=15280 vsize=13270076 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15292/stat : 15292 (java) S 15280 15283 14040 0 -1 1077944384 1353 0 0 0 139 6 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631238028304 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15293] ppid=15280 vsize=13270076 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15293/stat : 15293 (java) S 15280 15283 14040 0 -1 1077944384 2450 0 0 0 141 6 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631236975760 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15294] ppid=15280 vsize=13270076 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15294/stat : 15294 (java) S 15280 15283 14040 0 -1 1077944384 2211 0 0 0 140 7 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631235922192 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15295] ppid=15280 vsize=13270076 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15295/stat : 15295 (java) S 15280 15283 14040 0 -1 1077944384 389 0 0 0 140 7 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631234869648 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15296] ppid=15280 vsize=13270076 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15296/stat : 15296 (java) S 15280 15283 14040 0 -1 1077944384 1832 0 0 0 142 7 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631233817104 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15297] ppid=15280 vsize=13270076 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15297/stat : 15297 (java) S 15280 15283 14040 0 -1 1077944384 2254 0 0 0 138 8 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631232764560 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15303] ppid=15280 vsize=13270076 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15303/stat : 15303 (java) S 15280 15283 14040 0 -1 1077944384 5527 0 0 0 89 8 0 0 20 0 20 0 3998395 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631104248304 139631641168514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15304] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15304/stat : 15304 (java) S 15280 15283 14040 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 3998396 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631103194592 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15306] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15306/stat : 15306 (java) S 15280 15283 14040 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 20 0 3998396 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631102141952 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15317] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15317/stat : 15317 (java) S 15280 15283 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631101090512 139631641175963 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15318] ppid=15280 vsize=13270076 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15318/stat : 15318 (java) S 15280 15283 14040 0 -1 1077944384 6626 0 0 0 126 1 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631100037104 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15319] ppid=15280 vsize=13270076 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15319/stat : 15319 (java) S 15280 15283 14040 0 -1 1077944384 7177 0 0 0 122 1 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631098984560 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15320] ppid=15280 vsize=13270076 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15320/stat : 15320 (java) S 15280 15283 14040 0 -1 1077944384 4704 0 0 0 106 1 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631097932016 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15321] ppid=15280 vsize=13270076 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15321/stat : 15321 (java) S 15280 15283 14040 0 -1 1077944384 9735 0 0 0 68 2 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631096879472 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15322] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15322/stat : 15322 (java) S 15280 15283 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631095827168 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15323] ppid=15280 vsize=13270076 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15323/stat : 15323 (java) S 15280 15283 14040 0 -1 1077944384 1367 0 0 0 21 29 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631094774704 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
Current children cumulated CPU time (s) 2396.62
Current children cumulated vsize (KiB) 13270076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2385.7 s]
/proc/loadavg: 1.82 1.73 1.70 3/258 15558
/proc/meminfo: memFree=31576200/32770624 swapFree=5864/252660
[pid=15283] ppid=15280 vsize=13270076 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/15283/stat : 15283 (java) S 15280 15283 14040 0 -1 1077944320 73920 0 0 0 239905 98 0 0 20 0 20 0 3998393 13588557824 55411 33554432000 4194304 4196468 140720963327760 140720963310304 139631641157367 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
/proc/15283/statm: 3317519 55411 3820 1 0 3305234 0
[pid=15283/tid=15285] ppid=15280 vsize=13270076 CPUtime=2382.38 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15285/stat : 15285 (java) R 15280 15283 14040 0 -1 4202560 24945 0 0 0 238230 8 0 0 20 0 20 0 3998393 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631645395680 139631285414434 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15290] ppid=15280 vsize=13270076 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15290/stat : 15290 (java) S 15280 15283 14040 0 -1 1077944384 811 0 0 0 140 7 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631240133392 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15291] ppid=15280 vsize=13270076 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15291/stat : 15291 (java) S 15280 15283 14040 0 -1 1077944384 1078 0 0 0 139 7 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631239080848 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15292] ppid=15280 vsize=13270076 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15292/stat : 15292 (java) S 15280 15283 14040 0 -1 1077944384 1353 0 0 0 139 6 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631238028304 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15293] ppid=15280 vsize=13270076 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15293/stat : 15293 (java) S 15280 15283 14040 0 -1 1077944384 2450 0 0 0 141 6 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631236975760 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15294] ppid=15280 vsize=13270076 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15294/stat : 15294 (java) S 15280 15283 14040 0 -1 1077944384 2211 0 0 0 141 7 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631235922192 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15295] ppid=15280 vsize=13270076 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15295/stat : 15295 (java) S 15280 15283 14040 0 -1 1077944384 389 0 0 0 140 7 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631234869648 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15296] ppid=15280 vsize=13270076 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15296/stat : 15296 (java) S 15280 15283 14040 0 -1 1077944384 1833 0 0 0 142 7 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631233817104 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15297] ppid=15280 vsize=13270076 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15297/stat : 15297 (java) S 15280 15283 14040 0 -1 1077944384 2254 0 0 0 138 8 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631232764560 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15303] ppid=15280 vsize=13270076 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15303/stat : 15303 (java) S 15280 15283 14040 0 -1 1077944384 5527 0 0 0 89 8 0 0 20 0 20 0 3998395 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631104248304 139631641168514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15304] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15304/stat : 15304 (java) S 15280 15283 14040 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 3998396 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631103194592 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15306] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15306/stat : 15306 (java) S 15280 15283 14040 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 20 0 3998396 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631102141952 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15317] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15317/stat : 15317 (java) S 15280 15283 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631101090512 139631641175963 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15318] ppid=15280 vsize=13270076 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15318/stat : 15318 (java) S 15280 15283 14040 0 -1 1077944384 6626 0 0 0 126 1 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631100037104 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15319] ppid=15280 vsize=13270076 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15319/stat : 15319 (java) S 15280 15283 14040 0 -1 1077944384 7177 0 0 0 122 1 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631098984560 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15320] ppid=15280 vsize=13270076 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15320/stat : 15320 (java) S 15280 15283 14040 0 -1 1077944384 4704 0 0 0 106 1 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631097932016 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15321] ppid=15280 vsize=13270076 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15321/stat : 15321 (java) S 15280 15283 14040 0 -1 1077944384 9735 0 0 0 68 2 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631096879472 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15322] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15322/stat : 15322 (java) S 15280 15283 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631095827168 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15323] ppid=15280 vsize=13270076 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15323/stat : 15323 (java) S 15280 15283 14040 0 -1 1077944384 1367 0 0 0 21 29 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631094774704 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 13270076
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15283 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2385.7 s]
/proc/loadavg: 1.82 1.73 1.70 3/258 15558
/proc/meminfo: memFree=31576200/32770624 swapFree=5864/252660
[pid=15283] ppid=15280 vsize=13270076 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/15283/stat : 15283 (java) S 15280 15283 14040 0 -1 1077944320 73920 0 0 0 239905 98 0 0 20 0 20 0 3998393 13588557824 55411 33554432000 4194304 4196468 140720963327760 140720963310304 139631641157367 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
/proc/15283/statm: 3317519 55411 3820 1 0 3305234 0
[pid=15283/tid=15285] ppid=15280 vsize=13270076 CPUtime=2382.38 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15285/stat : 15285 (java) R 15280 15283 14040 0 -1 4202560 24945 0 0 0 238230 8 0 0 20 0 20 0 3998393 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631645395680 139631285414434 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15290] ppid=15280 vsize=13270076 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15290/stat : 15290 (java) S 15280 15283 14040 0 -1 1077944384 811 0 0 0 140 7 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631240133392 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15291] ppid=15280 vsize=13270076 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15291/stat : 15291 (java) S 15280 15283 14040 0 -1 1077944384 1078 0 0 0 139 7 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631239080848 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15292] ppid=15280 vsize=13270076 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15292/stat : 15292 (java) S 15280 15283 14040 0 -1 1077944384 1353 0 0 0 139 6 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631238028304 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15293] ppid=15280 vsize=13270076 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15293/stat : 15293 (java) S 15280 15283 14040 0 -1 1077944384 2450 0 0 0 141 6 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631236975760 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15294] ppid=15280 vsize=13270076 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15294/stat : 15294 (java) S 15280 15283 14040 0 -1 1077944384 2211 0 0 0 141 7 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631235922192 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15295] ppid=15280 vsize=13270076 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15295/stat : 15295 (java) S 15280 15283 14040 0 -1 1077944384 389 0 0 0 140 7 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631234869648 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15296] ppid=15280 vsize=13270076 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15296/stat : 15296 (java) S 15280 15283 14040 0 -1 1077944384 1833 0 0 0 142 7 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631233817104 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15297] ppid=15280 vsize=13270076 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15297/stat : 15297 (java) S 15280 15283 14040 0 -1 1077944384 2254 0 0 0 138 8 0 0 20 0 20 0 3998394 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631232764560 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15303] ppid=15280 vsize=13270076 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15303/stat : 15303 (java) S 15280 15283 14040 0 -1 1077944384 5527 0 0 0 89 8 0 0 20 0 20 0 3998395 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631104248304 139631641168514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15304] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15304/stat : 15304 (java) S 15280 15283 14040 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 3998396 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631103194592 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15306] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15306/stat : 15306 (java) S 15280 15283 14040 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 20 0 3998396 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631102141952 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15317] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15317/stat : 15317 (java) S 15280 15283 14040 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631101090512 139631641175963 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15318] ppid=15280 vsize=13270076 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15318/stat : 15318 (java) S 15280 15283 14040 0 -1 1077944384 6626 0 0 0 126 1 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631100037104 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15319] ppid=15280 vsize=13270076 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15319/stat : 15319 (java) S 15280 15283 14040 0 -1 1077944384 7177 0 0 0 122 1 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631098984560 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15320] ppid=15280 vsize=13270076 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15320/stat : 15320 (java) S 15280 15283 14040 0 -1 1077944384 4704 0 0 0 106 1 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631097932016 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15321] ppid=15280 vsize=13270076 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15321/stat : 15321 (java) S 15280 15283 14040 0 -1 1077944384 9735 0 0 0 68 2 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631096879472 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15322] ppid=15280 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15322/stat : 15322 (java) S 15280 15283 14040 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631095827168 139631641167573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
[pid=15283/tid=15323] ppid=15280 vsize=13270076 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/15283/task/15323/stat : 15323 (java) S 15280 15283 14040 0 -1 1077944384 1367 0 0 0 21 29 0 0 20 0 20 0 3998399 13588557824 55411 33554432000 4194304 4196468 140720963327760 139631094774704 139631641168514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20656128 140720963331214 140720963331396 140720963331396 140720963334095 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 13270076
Child status: 143
Real time (s): 2385.71
CPU time (s): 2400.05
CPU user time (s): 2399.06
CPU system time (s): 0.994404
CPU usage (%): 100.601
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.06
system time used= 0.994404
maximum resident set size= 237180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74139
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97879
involuntary context switches= 127581
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4942 second user time and 17.3757 second system time
The end