runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15287 MiB free)
memory of node 1: 16384 MiB (13469 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392216-1568322643/watcher-4392216-1568322643 -o /tmp/evaluation-result-4392216-1568322643/solver-4392216-1568322643 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568301421-20990 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=106092414 HOME/instance-4392216-1568322643.xml
running on 4 cores: 0,2,4,6
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28155, runsolver pid=28152
[startup+0.100592 s]*
/proc/loadavg: 1.44 1.39 1.38 3/224 28212
/proc/meminfo: memFree=29440312/32770624 swapFree=67003368/67108860
[pid=28155] ppid=28152 vsize=9972712 memory=17344 CPUtime=0.08 cores=0,2,4,6
/proc/28155/stat : 28155 (java) S 28152 28155 20959 0 -1 1077944320 4551 13120 0 0 1 0 4 3 20 0 6 0 408503962 10212057088 4336 33554432000 4194304 4196468 140734355671680 140734355654224 140310390640375 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
/proc/28155/statm: 2493178 4336 1958 1 0 2481616 0
[pid=28155/tid=28208] ppid=28152 vsize=9972712 memory=4279135703980212366 CPUtime=0.08 cores=0,2,4,6
/proc/28155/task/28208/stat : 28208 (java) R 28152 28155 20959 0 -1 4202560 2348 13120 0 0 1 0 4 3 20 0 6 0 408503971 10212057088 4336 33554432000 4194304 4196468 140734355671680 140310362477136 140310374720862 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28209] ppid=28152 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28209/stat : 28209 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 6 0 408503972 10212057088 4336 33554432000 4194304 4196468 140734355671680 140310394882832 140310390650581 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28210] ppid=28152 vsize=9972712 memory=140204477081216 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28210/stat : 28210 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 6 0 408503972 10212057088 4336 33554432000 4194304 4196468 140734355671680 140310283156368 140310390650581 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28211] ppid=28152 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28211/stat : 28211 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 6 0 408503972 10212057088 4336 33554432000 4194304 4196468 140734355671680 140310282103824 140310390650581 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28212] ppid=28152 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28212/stat : 28212 (java) S 28152 28155 20959 0 -1 1077944384 2 13120 0 0 0 0 4 3 20 0 6 0 408503972 10212057088 4336 33554432000 4194304 4196468 140734355671680 140310281051280 140310390650581 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17344 KiB
[startup+0.21051 s]*
/proc/loadavg: 1.44 1.39 1.38 3/233 28221
/proc/meminfo: memFree=29424692/32770624 swapFree=67003368/67108860
[pid=28155] ppid=28152 vsize=10818940 memory=36508 CPUtime=0.25 cores=0,2,4,6
/proc/28155/stat : 28155 (java) S 28152 28155 20959 0 -1 1077944320 7027 13120 0 0 17 1 4 3 20 0 15 0 408503962 11078594560 9127 33554432000 4194304 4196468 140734355671680 140734355654224 140310390640375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
/proc/28155/statm: 2704735 9127 2960 1 0 2667149 0
[pid=28155/tid=28208] ppid=28152 vsize=10818940 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/28155/task/28208/stat : 28208 (java) R 28152 28155 20959 0 -1 4202560 3532 13120 0 0 11 1 4 3 20 0 15 0 408503971 11078594560 9127 33554432000 4194304 4196468 140734355671680 140310362466528 140310374720862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28209] ppid=28152 vsize=10818940 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28209/stat : 28209 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503972 11078594560 9127 33554432000 4194304 4196468 140734355671680 140310394882832 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28210] ppid=28152 vsize=10818940 memory=140204477081216 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28210/stat : 28210 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503972 11078594560 9127 33554432000 4194304 4196468 140734355671680 140310283156368 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28211] ppid=28152 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28211/stat : 28211 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503972 11078594560 9127 33554432000 4194304 4196468 140734355671680 140310282103824 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28212] ppid=28152 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28212/stat : 28212 (java) S 28152 28155 20959 0 -1 1077944384 2 13120 0 0 0 0 4 3 20 0 15 0 408503972 11078594560 9127 33554432000 4194304 4196468 140734355671680 140310281051280 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28213] ppid=28152 vsize=10818940 memory=140204477081216 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28213/stat : 28213 (java) S 28152 28155 20959 0 -1 1077944384 2 13120 0 0 0 0 4 3 20 0 15 0 408503973 11078594560 9127 33554432000 4194304 4196468 140734355671680 140309393516528 140310390651522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28214] ppid=28152 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28214/stat : 28214 (java) S 28152 28155 20959 0 -1 1077944384 33 13120 0 0 0 0 4 3 20 0 15 0 408503973 11078594560 9127 33554432000 4194304 4196468 140734355671680 140309392462752 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28215] ppid=28152 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28215/stat : 28215 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503974 11078594560 9127 33554432000 4194304 4196468 140734355671680 140309266686960 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28216] ppid=28152 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28216/stat : 28216 (java) S 28152 28155 20959 0 -1 1077944384 3 13120 0 0 0 0 4 3 20 0 15 0 408503976 11078594560 9127 33554432000 4194304 4196468 140734355671680 140308959287504 140310390658971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28217] ppid=28152 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28155/task/28217/stat : 28217 (java) S 28152 28155 20959 0 -1 1077944384 570 13120 0 0 1 0 4 3 20 0 15 0 408503976 11078594560 9127 33554432000 4194304 4196468 140734355671680 140309358905840 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28218] ppid=28152 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28218/stat : 28218 (java) R 28152 28155 20959 0 -1 1077944384 65 13120 0 0 0 0 4 3 20 0 15 0 408503976 11078594560 9127 33554432000 4194304 4196468 140734355671680 140309357853296 140310390651522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28219] ppid=28152 vsize=10818940 memory=140204477081216 CPUtime=0.1 cores=0,2,4,6
/proc/28155/task/28219/stat : 28219 (java) R 28152 28155 20959 0 -1 4202560 612 13120 0 0 3 0 4 3 20 0 15 0 408503976 11078594560 9127 33554432000 4194304 4196468 140734355671680 140309356800752 140310369257814 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28220] ppid=28152 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28220/stat : 28220 (java) S 28152 28155 20959 0 -1 1077944384 3 13120 0 0 0 0 4 3 20 0 15 0 408503977 11078594560 9127 33554432000 4194304 4196468 140734355671680 140308925729888 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28221] ppid=28152 vsize=10818940 memory=140204477081216 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28221/stat : 28221 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503977 11078594560 9127 33554432000 4194304 4196468 140734355671680 140309355747632 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 36508 KiB
[startup+0.310603 s]*
/proc/loadavg: 1.44 1.39 1.38 4/233 28221
/proc/meminfo: memFree=29413028/32770624 swapFree=67003368/67108860
[pid=28155] ppid=28152 vsize=10820096 memory=47920 CPUtime=0.4 cores=0,2,4,6
/proc/28155/stat : 28155 (java) S 28152 28155 20959 0 -1 1077944320 10718 13120 0 0 30 3 4 3 20 0 15 0 408503962 11079778304 11980 33554432000 4194304 4196468 140734355671680 140734355654224 140310390640375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
/proc/28155/statm: 2705024 11980 3233 1 0 2667149 0
[pid=28155/tid=28208] ppid=28152 vsize=10820096 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/28155/task/28208/stat : 28208 (java) R 28152 28155 20959 0 -1 4202560 7207 13120 0 0 19 2 4 3 20 0 15 0 408503971 11079778304 11980 33554432000 4194304 4196468 140734355671680 140310362461776 140309954652879 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28209] ppid=28152 vsize=10820096 memory=7228928657774891088 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28209/stat : 28209 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503972 11079778304 11980 33554432000 4194304 4196468 140734355671680 140310394882832 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28210] ppid=28152 vsize=10820096 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28210/stat : 28210 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503972 11079778304 11980 33554432000 4194304 4196468 140734355671680 140310283156368 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28211] ppid=28152 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28211/stat : 28211 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503972 11079778304 11980 33554432000 4194304 4196468 140734355671680 140310282103824 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28212] ppid=28152 vsize=10820096 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28212/stat : 28212 (java) S 28152 28155 20959 0 -1 1077944384 2 13120 0 0 0 0 4 3 20 0 15 0 408503972 11079778304 11980 33554432000 4194304 4196468 140734355671680 140310281051280 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28213] ppid=28152 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28213/stat : 28213 (java) S 28152 28155 20959 0 -1 1077944384 2 13120 0 0 0 0 4 3 20 0 15 0 408503973 11079778304 11980 33554432000 4194304 4196468 140734355671680 140309393516528 140310390651522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28214] ppid=28152 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28214/stat : 28214 (java) S 28152 28155 20959 0 -1 1077944384 33 13120 0 0 0 0 4 3 20 0 15 0 408503973 11079778304 11980 33554432000 4194304 4196468 140734355671680 140309392462752 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28215] ppid=28152 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28215/stat : 28215 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503974 11079778304 11980 33554432000 4194304 4196468 140734355671680 140309266686960 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28216] ppid=28152 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28216/stat : 28216 (java) S 28152 28155 20959 0 -1 1077944384 3 13120 0 0 0 0 4 3 20 0 15 0 408503976 11079778304 11980 33554432000 4194304 4196468 140734355671680 140308959287504 140310390658971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28217] ppid=28152 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28155/task/28217/stat : 28217 (java) S 28152 28155 20959 0 -1 1077944384 570 13120 0 0 2 0 4 3 20 0 15 0 408503976 11079778304 11980 33554432000 4194304 4196468 140734355671680 140309358905840 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28218] ppid=28152 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28155/task/28218/stat : 28218 (java) S 28152 28155 20959 0 -1 1077944384 67 13120 0 0 1 0 4 3 20 0 15 0 408503976 11079778304 11980 33554432000 4194304 4196468 140734355671680 140309357853296 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28219] ppid=28152 vsize=10820096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/28155/task/28219/stat : 28219 (java) S 28152 28155 20959 0 -1 1077944384 621 13120 0 0 5 0 4 3 20 0 15 0 408503976 11079778304 11980 33554432000 4194304 4196468 140734355671680 140309356800752 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28220] ppid=28152 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28220/stat : 28220 (java) S 28152 28155 20959 0 -1 1077944384 3 13120 0 0 0 0 4 3 20 0 15 0 408503977 11079778304 11980 33554432000 4194304 4196468 140734355671680 140308925729888 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28221] ppid=28152 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28221/stat : 28221 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503977 11079778304 11980 33554432000 4194304 4196468 140734355671680 140309355747632 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 47920 KiB
[startup+0.700772 s]
/proc/loadavg: 1.44 1.39 1.38 7/233 28221
/proc/meminfo: memFree=29396960/32770624 swapFree=67003368/67108860
[pid=28155] ppid=28152 vsize=10824340 memory=78444 CPUtime=1.13 cores=0,2,4,6
/proc/28155/stat : 28155 (java) S 28152 28155 20959 0 -1 1077944320 14864 13120 0 0 102 4 4 3 20 0 15 0 408503962 11084124160 19611 33554432000 4194304 4196468 140734355671680 140734355654224 140310390640375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
/proc/28155/statm: 2706085 19611 3498 1 0 2668173 0
[pid=28155/tid=28208] ppid=28152 vsize=10824340 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/28155/task/28208/stat : 28208 (java) R 28152 28155 20959 0 -1 4202560 10515 13120 0 0 56 3 4 3 20 0 15 0 408503971 11084124160 19611 33554432000 4194304 4196468 140734355671680 140310362462512 140310383020848 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28209] ppid=28152 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28209/stat : 28209 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503972 11084124160 19611 33554432000 4194304 4196468 140734355671680 140310394882832 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28210] ppid=28152 vsize=10824340 memory=3280 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28210/stat : 28210 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503972 11084124160 19611 33554432000 4194304 4196468 140734355671680 140310283156368 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28211] ppid=28152 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28211/stat : 28211 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503972 11084124160 19611 33554432000 4194304 4196468 140734355671680 140310282103824 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28212] ppid=28152 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28212/stat : 28212 (java) S 28152 28155 20959 0 -1 1077944384 2 13120 0 0 0 0 4 3 20 0 15 0 408503972 11084124160 19611 33554432000 4194304 4196468 140734355671680 140310281051280 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28213] ppid=28152 vsize=10824340 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28213/stat : 28213 (java) S 28152 28155 20959 0 -1 1077944384 6 13120 0 0 0 0 4 3 20 0 15 0 408503973 11084124160 19611 33554432000 4194304 4196468 140734355671680 140309393516528 140310390651522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28214] ppid=28152 vsize=10824340 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28214/stat : 28214 (java) S 28152 28155 20959 0 -1 1077944384 33 13120 0 0 0 0 4 3 20 0 15 0 408503973 11084124160 19611 33554432000 4194304 4196468 140734355671680 140309392462752 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28215] ppid=28152 vsize=10824340 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28215/stat : 28215 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503974 11084124160 19611 33554432000 4194304 4196468 140734355671680 140309266686960 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28216] ppid=28152 vsize=10824340 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28216/stat : 28216 (java) S 28152 28155 20959 0 -1 1077944384 3 13120 0 0 0 0 4 3 20 0 15 0 408503976 11084124160 19611 33554432000 4194304 4196468 140734355671680 140308959287504 140310390658971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28217] ppid=28152 vsize=10824340 memory=13252 CPUtime=0.2 cores=0,2,4,6
/proc/28155/task/28217/stat : 28217 (java) S 28152 28155 20959 0 -1 1077944384 826 13120 0 0 13 0 4 3 20 0 15 0 408503976 11084124160 19611 33554432000 4194304 4196468 140734355671680 140309358905840 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28218] ppid=28152 vsize=10824340 memory=15460 CPUtime=0.22 cores=0,2,4,6
/proc/28155/task/28218/stat : 28218 (java) S 28152 28155 20959 0 -1 1077944384 434 13120 0 0 15 0 4 3 20 0 15 0 408503976 11084124160 19611 33554432000 4194304 4196468 140734355671680 140309357853296 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28219] ppid=28152 vsize=10824340 memory=17668 CPUtime=0.24 cores=0,2,4,6
/proc/28155/task/28219/stat : 28219 (java) S 28152 28155 20959 0 -1 1077944384 833 13120 0 0 17 0 4 3 20 0 15 0 408503976 11084124160 19611 33554432000 4194304 4196468 140734355671680 140309356800752 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28220] ppid=28152 vsize=10824340 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28220/stat : 28220 (java) S 28152 28155 20959 0 -1 1077944384 3 13120 0 0 0 0 4 3 20 0 15 0 408503977 11084124160 19611 33554432000 4194304 4196468 140734355671680 140308925729888 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28221] ppid=28152 vsize=10824340 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28221/stat : 28221 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503977 11084124160 19611 33554432000 4194304 4196468 140734355671680 140309355747632 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 78444 KiB
[startup+1.50067 s]
/proc/loadavg: 1.44 1.39 1.38 4/233 28221
/proc/meminfo: memFree=29353800/32770624 swapFree=67003368/67108860
[pid=28155] ppid=28152 vsize=10834656 memory=165820 CPUtime=2.53 cores=0,2,4,6
/proc/28155/stat : 28155 (java) S 28152 28155 20959 0 -1 1077944320 22605 13120 0 0 237 9 4 3 20 0 15 0 408503962 11094687744 41455 33554432000 4194304 4196468 140734355671680 140734355654224 140310390640375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
/proc/28155/statm: 2708664 41455 3573 1 0 2670733 0
[pid=28155/tid=28208] ppid=28152 vsize=10834656 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/28155/task/28208/stat : 28208 (java) R 28152 28155 20959 0 -1 4202560 15543 13120 0 0 131 4 4 3 20 0 15 0 408503971 11094687744 41455 33554432000 4194304 4196468 140734355671680 140310362441616 140310390652310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28209] ppid=28152 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28155/task/28209/stat : 28209 (java) S 28152 28155 20959 0 -1 1077944384 61 13120 0 0 1 0 4 3 20 0 15 0 408503972 11094687744 41455 33554432000 4194304 4196468 140734355671680 140310394882832 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28210] ppid=28152 vsize=10834656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28210/stat : 28210 (java) S 28152 28155 20959 0 -1 1077944384 22 13120 0 0 0 0 4 3 20 0 15 0 408503972 11094687744 41455 33554432000 4194304 4196468 140734355671680 140310283156368 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28211] ppid=28152 vsize=10834656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28211/stat : 28211 (java) S 28152 28155 20959 0 -1 1077944384 374 13120 0 0 0 0 4 3 20 0 15 0 408503972 11094687744 41455 33554432000 4194304 4196468 140734355671680 140310282103824 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28212] ppid=28152 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28155/task/28212/stat : 28212 (java) S 28152 28155 20959 0 -1 1077944384 77 13120 0 0 1 0 4 3 20 0 15 0 408503972 11094687744 41455 33554432000 4194304 4196468 140734355671680 140310281051280 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28213] ppid=28152 vsize=10834656 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/28155/task/28213/stat : 28213 (java) S 28152 28155 20959 0 -1 1077944384 717 13120 0 0 1 0 4 3 20 0 15 0 408503973 11094687744 41455 33554432000 4194304 4196468 140734355671680 140309393516528 140310390651522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28214] ppid=28152 vsize=10834656 memory=280408751155456 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28214/stat : 28214 (java) S 28152 28155 20959 0 -1 1077944384 35 13120 0 0 0 0 4 3 20 0 15 0 408503973 11094687744 41455 33554432000 4194304 4196468 140734355671680 140309392462752 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28215] ppid=28152 vsize=10834656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28215/stat : 28215 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503974 11094687744 41455 33554432000 4194304 4196468 140734355671680 140309266686976 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28216] ppid=28152 vsize=10834656 memory=8252 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28216/stat : 28216 (java) S 28152 28155 20959 0 -1 1077944384 3 13120 0 0 0 0 4 3 20 0 15 0 408503976 11094687744 41455 33554432000 4194304 4196468 140734355671680 140308959287504 140310390658971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28217] ppid=28152 vsize=10834656 memory=5912 CPUtime=0.38 cores=0,2,4,6
/proc/28155/task/28217/stat : 28217 (java) S 28152 28155 20959 0 -1 1077944384 1405 13120 0 0 31 0 4 3 20 0 15 0 408503976 11094687744 41455 33554432000 4194304 4196468 140734355671680 140309358905840 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28218] ppid=28152 vsize=10834656 memory=1056 CPUtime=0.34 cores=0,2,4,6
/proc/28155/task/28218/stat : 28218 (java) S 28152 28155 20959 0 -1 1077944384 640 13120 0 0 27 0 4 3 20 0 15 0 408503976 11094687744 41455 33554432000 4194304 4196468 140734355671680 140309357853296 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28219] ppid=28152 vsize=10834656 memory=1540 CPUtime=0.47 cores=0,2,4,6
/proc/28155/task/28219/stat : 28219 (java) R 28152 28155 20959 0 -1 4202560 1518 13120 0 0 40 0 4 3 20 0 15 0 408503976 11094687744 41455 33554432000 4194304 4196468 140734355671680 140309356800752 140310390661722 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28220] ppid=28152 vsize=10834656 memory=728 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28220/stat : 28220 (java) S 28152 28155 20959 0 -1 1077944384 3 13120 0 0 0 0 4 3 20 0 15 0 408503977 11094687744 41455 33554432000 4194304 4196468 140734355671680 140308925729888 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28221] ppid=28152 vsize=10834656 memory=3436 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28221/stat : 28221 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503977 11094687744 41455 33554432000 4194304 4196468 140734355671680 140309355747632 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/28155/task/28208/stat : 28208 (java) R 28152 28155 20959 0 -1 4202560 50406 13120 0 0 224426 35 4 3 20 0 15 0 408503971 11109400576 160891 33554432000 4194304 4196468 140734355671680 140310362471856 140309966662901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28209] ppid=28152 vsize=10849024 memory=643564 CPUtime=7.6 cores=0,2,4,6
/proc/28155/task/28209/stat : 28209 (java) S 28152 28155 20959 0 -1 1077944384 8330 13120 0 0 710 43 4 3 20 0 15 0 408503972 11109400576 160891 33554432000 4194304 4196468 140734355671680 140310394882832 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28210] ppid=28152 vsize=10849024 memory=643564 CPUtime=7.55 cores=0,2,4,6
/proc/28155/task/28210/stat : 28210 (java) S 28152 28155 20959 0 -1 1077944384 6585 13120 0 0 710 38 4 3 20 0 15 0 408503972 11109400576 160891 33554432000 4194304 4196468 140734355671680 140310283156368 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28211] ppid=28152 vsize=10849024 memory=643564 CPUtime=7.55 cores=0,2,4,6
/proc/28155/task/28211/stat : 28211 (java) S 28152 28155 20959 0 -1 1077944384 7479 13120 0 0 708 40 4 3 20 0 15 0 408503972 11109400576 160891 33554432000 4194304 4196468 140734355671680 140310282103824 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28212] ppid=28152 vsize=10849024 memory=643564 CPUtime=7.56 cores=0,2,4,6
/proc/28155/task/28212/stat : 28212 (java) S 28152 28155 20959 0 -1 1077944384 5987 13120 0 0 710 39 4 3 20 0 15 0 408503972 11109400576 160891 33554432000 4194304 4196468 140734355671680 140310281051280 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28213] ppid=28152 vsize=10849024 memory=2052 CPUtime=7.02 cores=0,2,4,6
/proc/28155/task/28213/stat : 28213 (java) S 28152 28155 20959 0 -1 1077944384 10279 13120 0 0 658 37 4 3 20 0 15 0 408503973 11109400576 160891 33554432000 4194304 4196468 140734355671680 140309393516528 140310390651522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28214] ppid=28152 vsize=10849024 memory=643564 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28214/stat : 28214 (java) S 28152 28155 20959 0 -1 1077944384 40 13120 0 0 0 0 4 3 20 0 15 0 408503973 11109400576 160891 33554432000 4194304 4196468 140734355671680 140309392462816 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28215] ppid=28152 vsize=10849024 memory=643564 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28215/stat : 28215 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503974 11109400576 160891 33554432000 4194304 4196468 140734355671680 140309266686976 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28216] ppid=28152 vsize=10849024 memory=643564 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28216/stat : 28216 (java) S 28152 28155 20959 0 -1 1077944384 3 13120 0 0 0 0 4 3 20 0 15 0 408503976 11109400576 160891 33554432000 4194304 4196468 140734355671680 140308959287504 140310390658971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28217] ppid=28152 vsize=10849024 memory=3280 CPUtime=6.93 cores=0,2,4,6
/proc/28155/task/28217/stat : 28217 (java) S 28152 28155 20959 0 -1 1077944384 27009 13120 0 0 679 7 4 3 20 0 15 0 408503976 11109400576 160891 33554432000 4194304 4196468 140734355671680 140309358905840 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28218] ppid=28152 vsize=10849024 memory=37644 CPUtime=7.45 cores=0,2,4,6
/proc/28155/task/28218/stat : 28218 (java) S 28152 28155 20959 0 -1 1077944384 23975 13120 0 0 732 6 4 3 20 0 15 0 408503976 11109400576 160891 33554432000 4194304 4196468 140734355671680 140309357853296 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28219] ppid=28152 vsize=10849024 memory=643564 CPUtime=4.52 cores=0,2,4,6
/proc/28155/task/28219/stat : 28219 (java) S 28152 28155 20959 0 -1 1077944384 27334 13120 0 0 437 8 4 3 20 0 15 0 408503976 11109400576 160891 33554432000 4194304 4196468 140734355671680 140309356800752 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28220] ppid=28152 vsize=10849024 memory=643564 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28220/stat : 28220 (java) S 28152 28155 20959 0 -1 1077944384 3 13120 0 0 0 0 4 3 20 0 15 0 408503977 11109400576 160891 33554432000 4194304 4196468 140734355671680 140308925729888 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28221] ppid=28152 vsize=10849024 memory=784 CPUtime=1.34 cores=0,2,4,6
/proc/28155/task/28221/stat : 28221 (java) S 28152 28155 20959 0 -1 1077944384 678 13120 0 0 64 63 4 3 20 0 15 0 408503977 11109400576 160891 33554432000 4194304 4196468 140734355671680 140309355747632 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
Current children cumulated CPU time: 2301.69 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 643564 KiB
[startup+2322.3 s]
/proc/loadavg: 1.37 1.29 1.32 3/230 28815
/proc/meminfo: memFree=30494028/32770624 swapFree=67003372/67108860
[pid=28155] ppid=28152 vsize=10849024 memory=643600 CPUtime=2362.28 cores=0,2,4,6
/proc/28155/stat : 28155 (java) S 28152 28155 20959 0 -1 1077944320 171155 13120 0 0 235949 272 4 3 20 0 15 0 408503962 11109400576 160900 33554432000 4194304 4196468 140734355671680 140734355654224 140310390640375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
/proc/28155/statm: 2712256 160900 3627 1 0 2674317 0
[pid=28155/tid=28208] ppid=28152 vsize=10849024 memory=643600 CPUtime=2304.21 cores=0,2,4,6
/proc/28155/task/28208/stat : 28208 (java) R 28152 28155 20959 0 -1 4202560 50852 13120 0 0 230378 36 4 3 20 0 15 0 408503971 11109400576 160900 33554432000 4194304 4196468 140734355671680 140310362475008 140309968119076 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28209] ppid=28152 vsize=10849024 memory=1056 CPUtime=7.81 cores=0,2,4,6
/proc/28155/task/28209/stat : 28209 (java) S 28152 28155 20959 0 -1 1077944384 8358 13120 0 0 730 44 4 3 20 0 15 0 408503972 11109400576 160900 33554432000 4194304 4196468 140734355671680 140310394882832 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28210] ppid=28152 vsize=10849024 memory=643600 CPUtime=7.76 cores=0,2,4,6
/proc/28155/task/28210/stat : 28210 (java) S 28152 28155 20959 0 -1 1077944384 6697 13120 0 0 730 39 4 3 20 0 15 0 408503972 11109400576 160900 33554432000 4194304 4196468 140734355671680 140310283156368 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28211] ppid=28152 vsize=10849024 memory=643600 CPUtime=7.76 cores=0,2,4,6
/proc/28155/task/28211/stat : 28211 (java) S 28152 28155 20959 0 -1 1077944384 7491 13120 0 0 728 41 4 3 20 0 15 0 408503972 11109400576 160900 33554432000 4194304 4196468 140734355671680 140310282103824 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28212] ppid=28152 vsize=10849024 memory=643600 CPUtime=7.78 cores=0,2,4,6
/proc/28155/task/28212/stat : 28212 (java) S 28152 28155 20959 0 -1 1077944384 6026 13120 0 0 731 40 4 3 20 0 15 0 408503972 11109400576 160900 33554432000 4194304 4196468 140734355671680 140310281051280 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28213] ppid=28152 vsize=10849024 memory=643600 CPUtime=7.22 cores=0,2,4,6
/proc/28155/task/28213/stat : 28213 (java) S 28152 28155 20959 0 -1 1077944384 10468 13120 0 0 676 39 4 3 20 0 15 0 408503973 11109400576 160900 33554432000 4194304 4196468 140734355671680 140309393516528 140310390651522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28214] ppid=28152 vsize=10849024 memory=643600 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28214/stat : 28214 (java) S 28152 28155 20959 0 -1 1077944384 40 13120 0 0 0 0 4 3 20 0 15 0 408503973 11109400576 160900 33554432000 4194304 4196468 140734355671680 140309392462816 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28215] ppid=28152 vsize=10849024 memory=643600 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28215/stat : 28215 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503974 11109400576 160900 33554432000 4194304 4196468 140734355671680 140309266686976 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28216] ppid=28152 vsize=10849024 memory=643600 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28216/stat : 28216 (java) S 28152 28155 20959 0 -1 1077944384 3 13120 0 0 0 0 4 3 20 0 15 0 408503976 11109400576 160900 33554432000 4194304 4196468 140734355671680 140308959287504 140310390658971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28217] ppid=28152 vsize=10849024 memory=643600 CPUtime=6.93 cores=0,2,4,6
/proc/28155/task/28217/stat : 28217 (java) S 28152 28155 20959 0 -1 1077944384 27009 13120 0 0 679 7 4 3 20 0 15 0 408503976 11109400576 160900 33554432000 4194304 4196468 140734355671680 140309358905840 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28218] ppid=28152 vsize=10849024 memory=643600 CPUtime=7.45 cores=0,2,4,6
/proc/28155/task/28218/stat : 28218 (java) S 28152 28155 20959 0 -1 1077944384 23975 13120 0 0 732 6 4 3 20 0 15 0 408503976 11109400576 160900 33554432000 4194304 4196468 140734355671680 140309357853296 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28219] ppid=28152 vsize=10849024 memory=12024 CPUtime=4.52 cores=0,2,4,6
/proc/28155/task/28219/stat : 28219 (java) S 28152 28155 20959 0 -1 1077944384 27334 13120 0 0 437 8 4 3 20 0 15 0 408503976 11109400576 160900 33554432000 4194304 4196468 140734355671680 140309356800752 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28220] ppid=28152 vsize=10849024 memory=643600 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28220/stat : 28220 (java) S 28152 28155 20959 0 -1 1077944384 3 13120 0 0 0 0 4 3 20 0 15 0 408503977 11109400576 160900 33554432000 4194304 4196468 140734355671680 140308925729888 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28221] ppid=28152 vsize=10849024 memory=643600 CPUtime=1.38 cores=0,2,4,6
/proc/28155/task/28221/stat : 28221 (java) S 28152 28155 20959 0 -1 1077944384 693 13120 0 0 66 65 4 3 20 0 15 0 408503977 11109400576 160900 33554432000 4194304 4196468 140734355671680 140309355747632 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
Current children cumulated CPU time: 2362.28 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 643600 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2359.7 s]
/proc/loadavg: 1.34 1.30 1.32 3/230 28819
/proc/meminfo: memFree=30478984/32770624 swapFree=67003372/67108860
[pid=28155] ppid=28152 vsize=10849024 memory=643620 CPUtime=2400.07 cores=0,2,4,6
/proc/28155/stat : 28155 (java) S 28152 28155 20959 0 -1 1077944320 171778 13120 0 0 239724 276 4 3 20 0 15 0 408503962 11109400576 160905 33554432000 4194304 4196468 140734355671680 140734355654224 140310390640375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
/proc/28155/statm: 2712256 160905 3627 1 0 2674317 0
[pid=28155/tid=28208] ppid=28152 vsize=10849024 memory=643620 CPUtime=2341.31 cores=0,2,4,6
/proc/28155/task/28208/stat : 28208 (java) R 28152 28155 20959 0 -1 4202560 51171 13120 0 0 234088 36 4 3 20 0 15 0 408503971 11109400576 160905 33554432000 4194304 4196468 140734355671680 140310362474944 140309965765905 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28209] ppid=28152 vsize=10849024 memory=643620 CPUtime=7.94 cores=0,2,4,6
/proc/28155/task/28209/stat : 28209 (java) S 28152 28155 20959 0 -1 1077944384 8369 13120 0 0 742 45 4 3 20 0 15 0 408503972 11109400576 160905 33554432000 4194304 4196468 140734355671680 140310394882832 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28210] ppid=28152 vsize=10849024 memory=643620 CPUtime=7.9 cores=0,2,4,6
/proc/28155/task/28210/stat : 28210 (java) S 28152 28155 20959 0 -1 1077944384 6708 13120 0 0 743 40 4 3 20 0 15 0 408503972 11109400576 160905 33554432000 4194304 4196468 140734355671680 140310283156368 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28211] ppid=28152 vsize=10849024 memory=643620 CPUtime=7.9 cores=0,2,4,6
/proc/28155/task/28211/stat : 28211 (java) S 28152 28155 20959 0 -1 1077944384 7520 13120 0 0 741 42 4 3 20 0 15 0 408503972 11109400576 160905 33554432000 4194304 4196468 140734355671680 140310282103824 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28212] ppid=28152 vsize=10849024 memory=0 CPUtime=7.92 cores=0,2,4,6
/proc/28155/task/28212/stat : 28212 (java) S 28152 28155 20959 0 -1 1077944384 6236 13120 0 0 744 41 4 3 20 0 15 0 408503972 11109400576 160905 33554432000 4194304 4196468 140734355671680 140310281051280 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28213] ppid=28152 vsize=10849024 memory=643620 CPUtime=7.35 cores=0,2,4,6
/proc/28155/task/28213/stat : 28213 (java) S 28152 28155 20959 0 -1 1077944384 10500 13120 0 0 688 40 4 3 20 0 15 0 408503973 11109400576 160905 33554432000 4194304 4196468 140734355671680 140309393516528 140310390651522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28214] ppid=28152 vsize=10849024 memory=643620 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28214/stat : 28214 (java) S 28152 28155 20959 0 -1 1077944384 40 13120 0 0 0 0 4 3 20 0 15 0 408503973 11109400576 160905 33554432000 4194304 4196468 140734355671680 140309392462816 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28215] ppid=28152 vsize=10849024 memory=643620 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28215/stat : 28215 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503974 11109400576 160905 33554432000 4194304 4196468 140734355671680 140309266686976 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28216] ppid=28152 vsize=10849024 memory=643620 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28216/stat : 28216 (java) S 28152 28155 20959 0 -1 1077944384 3 13120 0 0 0 0 4 3 20 0 15 0 408503976 11109400576 160905 33554432000 4194304 4196468 140734355671680 140308959287504 140310390658971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28217] ppid=28152 vsize=10849024 memory=643600 CPUtime=6.93 cores=0,2,4,6
/proc/28155/task/28217/stat : 28217 (java) S 28152 28155 20959 0 -1 1077944384 27011 13120 0 0 679 7 4 3 20 0 15 0 408503976 11109400576 160905 33554432000 4194304 4196468 140734355671680 140309358905840 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28218] ppid=28152 vsize=10849024 memory=641376 CPUtime=7.45 cores=0,2,4,6
/proc/28155/task/28218/stat : 28218 (java) S 28152 28155 20959 0 -1 1077944384 23977 13120 0 0 732 6 4 3 20 0 15 0 408503976 11109400576 160905 33554432000 4194304 4196468 140734355671680 140309357853296 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28219] ppid=28152 vsize=10849024 memory=643620 CPUtime=4.52 cores=0,2,4,6
/proc/28155/task/28219/stat : 28219 (java) S 28152 28155 20959 0 -1 1077944384 27336 13120 0 0 437 8 4 3 20 0 15 0 408503976 11109400576 160905 33554432000 4194304 4196468 140734355671680 140309356800752 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28220] ppid=28152 vsize=10849024 memory=643620 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28220/stat : 28220 (java) S 28152 28155 20959 0 -1 1077944384 3 13120 0 0 0 0 4 3 20 0 15 0 408503977 11109400576 160905 33554432000 4194304 4196468 140734355671680 140308925729888 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28221] ppid=28152 vsize=10849024 memory=643620 CPUtime=1.4 cores=0,2,4,6
/proc/28155/task/28221/stat : 28221 (java) S 28152 28155 20959 0 -1 1077944384 698 13120 0 0 67 66 4 3 20 0 15 0 408503977 11109400576 160905 33554432000 4194304 4196468 140734355671680 140309355747632 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 643620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2359.73 s]
# the end of solver process 28155 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.31 s, system=2.80563 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2359.7 s]
/proc/loadavg: 1.34 1.30 1.32 3/230 28819
/proc/meminfo: memFree=30478984/32770624 swapFree=67003372/67108860
[pid=28155] ppid=28152 vsize=10849024 memory=643620 CPUtime=2400.07 cores=0,2,4,6
/proc/28155/stat : 28155 (java) S 28152 28155 20959 0 -1 1077944320 171778 13120 0 0 239724 276 4 3 20 0 15 0 408503962 11109400576 160905 33554432000 4194304 4196468 140734355671680 140734355654224 140310390640375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
/proc/28155/statm: 2712256 160905 3627 1 0 2674317 0
[pid=28155/tid=28208] ppid=28152 vsize=10849024 memory=643620 CPUtime=2341.31 cores=0,2,4,6
/proc/28155/task/28208/stat : 28208 (java) R 28152 28155 20959 0 -1 4202560 51171 13120 0 0 234088 36 4 3 20 0 15 0 408503971 11109400576 160905 33554432000 4194304 4196468 140734355671680 140310362474944 140309965765905 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28209] ppid=28152 vsize=10849024 memory=643620 CPUtime=7.94 cores=0,2,4,6
/proc/28155/task/28209/stat : 28209 (java) S 28152 28155 20959 0 -1 1077944384 8369 13120 0 0 742 45 4 3 20 0 15 0 408503972 11109400576 160905 33554432000 4194304 4196468 140734355671680 140310394882832 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28210] ppid=28152 vsize=10849024 memory=643620 CPUtime=7.9 cores=0,2,4,6
/proc/28155/task/28210/stat : 28210 (java) S 28152 28155 20959 0 -1 1077944384 6708 13120 0 0 743 40 4 3 20 0 15 0 408503972 11109400576 160905 33554432000 4194304 4196468 140734355671680 140310283156368 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28211] ppid=28152 vsize=10849024 memory=643620 CPUtime=7.9 cores=0,2,4,6
/proc/28155/task/28211/stat : 28211 (java) S 28152 28155 20959 0 -1 1077944384 7520 13120 0 0 741 42 4 3 20 0 15 0 408503972 11109400576 160905 33554432000 4194304 4196468 140734355671680 140310282103824 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28212] ppid=28152 vsize=10849024 memory=0 CPUtime=7.92 cores=0,2,4,6
/proc/28155/task/28212/stat : 28212 (java) S 28152 28155 20959 0 -1 1077944384 6236 13120 0 0 744 41 4 3 20 0 15 0 408503972 11109400576 160905 33554432000 4194304 4196468 140734355671680 140310281051280 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28213] ppid=28152 vsize=10849024 memory=643620 CPUtime=7.35 cores=0,2,4,6
/proc/28155/task/28213/stat : 28213 (java) S 28152 28155 20959 0 -1 1077944384 10500 13120 0 0 688 40 4 3 20 0 15 0 408503973 11109400576 160905 33554432000 4194304 4196468 140734355671680 140309393516528 140310390651522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28214] ppid=28152 vsize=10849024 memory=643620 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28214/stat : 28214 (java) S 28152 28155 20959 0 -1 1077944384 40 13120 0 0 0 0 4 3 20 0 15 0 408503973 11109400576 160905 33554432000 4194304 4196468 140734355671680 140309392462816 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28215] ppid=28152 vsize=10849024 memory=643620 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28215/stat : 28215 (java) S 28152 28155 20959 0 -1 1077944384 1 13120 0 0 0 0 4 3 20 0 15 0 408503974 11109400576 160905 33554432000 4194304 4196468 140734355671680 140309266686976 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28216] ppid=28152 vsize=10849024 memory=643620 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28216/stat : 28216 (java) S 28152 28155 20959 0 -1 1077944384 3 13120 0 0 0 0 4 3 20 0 15 0 408503976 11109400576 160905 33554432000 4194304 4196468 140734355671680 140308959287504 140310390658971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28217] ppid=28152 vsize=10849024 memory=643600 CPUtime=6.93 cores=0,2,4,6
/proc/28155/task/28217/stat : 28217 (java) S 28152 28155 20959 0 -1 1077944384 27011 13120 0 0 679 7 4 3 20 0 15 0 408503976 11109400576 160905 33554432000 4194304 4196468 140734355671680 140309358905840 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28218] ppid=28152 vsize=10849024 memory=641376 CPUtime=7.45 cores=0,2,4,6
/proc/28155/task/28218/stat : 28218 (java) S 28152 28155 20959 0 -1 1077944384 23977 13120 0 0 732 6 4 3 20 0 15 0 408503976 11109400576 160905 33554432000 4194304 4196468 140734355671680 140309357853296 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28219] ppid=28152 vsize=10849024 memory=643620 CPUtime=4.52 cores=0,2,4,6
/proc/28155/task/28219/stat : 28219 (java) S 28152 28155 20959 0 -1 1077944384 27336 13120 0 0 437 8 4 3 20 0 15 0 408503976 11109400576 160905 33554432000 4194304 4196468 140734355671680 140309356800752 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28220] ppid=28152 vsize=10849024 memory=643620 CPUtime=0.07 cores=0,2,4,6
/proc/28155/task/28220/stat : 28220 (java) S 28152 28155 20959 0 -1 1077944384 3 13120 0 0 0 0 4 3 20 0 15 0 408503977 11109400576 160905 33554432000 4194304 4196468 140734355671680 140308925729888 140310390650581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
[pid=28155/tid=28221] ppid=28152 vsize=10849024 memory=643620 CPUtime=1.4 cores=0,2,4,6
/proc/28155/task/28221/stat : 28221 (java) S 28152 28155 20959 0 -1 1077944384 698 13120 0 0 67 66 4 3 20 0 15 0 408503977 11109400576 160905 33554432000 4194304 4196468 140734355671680 140309355747632 140310390651522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22032384 140734355679990 140734355682501 140734355682501 140734355685327 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 643620 KiB
Child status: 143
Real time (s): 2359.73
CPU time (s): 2400.12
CPU user time (s): 2397.31
CPU system time (s): 2.80563
CPU usage (%): 101.712
Max. virtual memory (cumulated for all children) (KiB): 10851996
Max. memory (cumulated for all children) (KiB): 643620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.31
system time used= 2.80563
maximum resident set size= 647844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185611
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 224633
involuntary context switches= 10425
# summary of solver processes directly reported to runsolver:
# pid: 28155
# total CPU time (s): 2400.12
# total CPU user time (s): 2397.31
# total CPU system time (s): 2.80563
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3541 second user time and 23.1911 second system time
The end