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 (15235 MiB free)
memory of node 1: 16384 MiB (15603 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387552-1568337662/watcher-4387552-1568337662 -o /tmp/evaluation-result-4387552-1568337662/solver-4387552-1568337662 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568335153-15451 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2073833767 HOME/instance-4387552-1568337662.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=15953, runsolver pid=15950
[startup+0.100061 s]*
/proc/loadavg: 1.19 1.43 1.37 3/202 16010
/proc/meminfo: memFree=31595824/32770624 swapFree=66999912/67108860
[pid=15953] ppid=15950 vsize=9972712 memory=15492 CPUtime=0.09 cores=0,2,4,6
/proc/15953/stat : 15953 (java) S 15950 15953 15420 0 -1 1077944320 4094 13280 0 0 0 1 5 3 20 0 6 0 409680195 10212057088 3873 33554432000 4194304 4196468 140735147758160 140735147740704 140353467842295 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
/proc/15953/statm: 2493178 3873 1777 1 0 2481616 0
[pid=15953/tid=16006] ppid=15950 vsize=9972712 memory=-7024592270288534718 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16006/stat : 16006 (java) R 15950 15953 15420 0 -1 4202560 1984 13280 0 0 0 0 5 3 20 0 6 0 409680204 10212057088 3939 33554432000 4194304 4196468 140735147758160 140353439679056 140353448680992 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16007] ppid=15950 vsize=9972712 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16007/stat : 16007 (java) S 15950 15953 15420 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 6 0 409680205 10212057088 3939 33554432000 4194304 4196468 140735147758160 140353472085008 140353467852501 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16008] ppid=15950 vsize=9972712 memory=140323575817856 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16008/stat : 16008 (java) S 15950 15953 15420 0 -1 1077944384 2 13280 0 0 0 0 5 3 20 0 6 0 409680205 10212057088 4005 33554432000 4194304 4196468 140735147758160 140353360358544 140353467852501 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16009] ppid=15950 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16009/stat : 16009 (java) S 15950 15953 15420 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 6 0 409680205 10212057088 4005 33554432000 4194304 4196468 140735147758160 140353359305488 140353467852501 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16010] ppid=15950 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16010/stat : 16010 (java) S 15950 15953 15420 0 -1 1077944384 2 13280 0 0 0 0 5 3 20 0 6 0 409680205 10212057088 4005 33554432000 4194304 4196468 140735147758160 140353038445456 140353467852501 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15492 KiB
[startup+0.209834 s]*
/proc/loadavg: 1.19 1.43 1.37 3/209 16035
/proc/meminfo: memFree=31582980/32770624 swapFree=66999912/67108860
[pid=15953] ppid=15950 vsize=10818900 memory=35896 CPUtime=0.25 cores=0,2,4,6
/proc/15953/stat : 15953 (java) S 15950 15953 15420 0 -1 1077944320 6891 13280 0 0 15 2 5 3 20 0 15 0 409680195 11078553600 8974 33554432000 4194304 4196468 140735147758160 140735147740704 140353467842295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
/proc/15953/statm: 2704725 8974 2942 1 0 2667149 0
[pid=15953/tid=16006] ppid=15950 vsize=10818900 memory=1398722017469774279 CPUtime=0.19 cores=0,2,4,6
/proc/15953/task/16006/stat : 16006 (java) R 15950 15953 15420 0 -1 4202560 3380 13280 0 0 10 1 5 3 20 0 15 0 409680204 11078553600 8974 33554432000 4194304 4196468 140735147758160 140353439675248 140353467854230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16007] ppid=15950 vsize=10818900 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16007/stat : 16007 (java) S 15950 15953 15420 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 409680205 11078553600 8974 33554432000 4194304 4196468 140735147758160 140353472085008 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16008] ppid=15950 vsize=10818900 memory=140323575817856 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16008/stat : 16008 (java) S 15950 15953 15420 0 -1 1077944384 2 13280 0 0 0 0 5 3 20 0 15 0 409680205 11078553600 8974 33554432000 4194304 4196468 140735147758160 140353360358544 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16009] ppid=15950 vsize=10818900 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16009/stat : 16009 (java) S 15950 15953 15420 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 409680205 11078553600 8974 33554432000 4194304 4196468 140735147758160 140353359305488 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16010] ppid=15950 vsize=10818900 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16010/stat : 16010 (java) S 15950 15953 15420 0 -1 1077944384 2 13280 0 0 0 0 5 3 20 0 15 0 409680205 11078553600 8974 33554432000 4194304 4196468 140735147758160 140353038445456 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16014] ppid=15950 vsize=10818900 memory=140323575817856 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16014/stat : 16014 (java) S 15950 15953 15420 0 -1 1077944384 2 13280 0 0 0 0 5 3 20 0 15 0 409680207 11078553600 8974 33554432000 4194304 4196468 140735147758160 140352927054064 140353467853442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16015] ppid=15950 vsize=10818900 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16015/stat : 16015 (java) S 15950 15953 15420 0 -1 1077944384 33 13280 0 0 0 0 5 3 20 0 15 0 409680207 11078553600 8974 33554432000 4194304 4196468 140735147758160 140352926000288 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16016] ppid=15950 vsize=10818900 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16016/stat : 16016 (java) S 15950 15953 15420 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 409680207 11078553600 8974 33554432000 4194304 4196468 140735147758160 140352350577392 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16017] ppid=15950 vsize=10818900 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16017/stat : 16017 (java) S 15950 15953 15420 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 409680210 11078553600 8974 33554432000 4194304 4196468 140735147758160 140352043177936 140353467860891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16018] ppid=15950 vsize=10818900 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15953/task/16018/stat : 16018 (java) S 15950 15953 15420 0 -1 1077944384 448 13280 0 0 1 0 5 3 20 0 15 0 409680210 11078553600 8974 33554432000 4194304 4196468 140735147758160 140352892443376 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16019] ppid=15950 vsize=10818900 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16019/stat : 16019 (java) S 15950 15953 15420 0 -1 1077944384 180 13280 0 0 0 0 5 3 20 0 15 0 409680210 11078553600 8974 33554432000 4194304 4196468 140735147758160 140352891390832 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16020] ppid=15950 vsize=10818900 memory=140323575817856 CPUtime=0.11 cores=0,2,4,6
/proc/15953/task/16020/stat : 16020 (java) R 15950 15953 15420 0 -1 4202560 632 13280 0 0 3 0 5 3 20 0 15 0 409680210 11078553600 8974 33554432000 4194304 4196468 140735147758160 140352890337776 140353460079422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16021] ppid=15950 vsize=10818900 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16021/stat : 16021 (java) S 15950 15953 15420 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 409680210 11078553600 8974 33554432000 4194304 4196468 140735147758160 140352009620320 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16022] ppid=15950 vsize=10818900 memory=140323575817856 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16022/stat : 16022 (java) S 15950 15953 15420 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 409680211 11078553600 8974 33554432000 4194304 4196468 140735147758160 140352889285168 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818900 KiB
Current children cumulated memory: 35896 KiB
[startup+0.310338 s]*
/proc/loadavg: 1.19 1.43 1.37 3/209 16040
/proc/meminfo: memFree=31587592/32770624 swapFree=66999912/67108860
[pid=15953] ppid=15950 vsize=10819084 memory=45708 CPUtime=0.4 cores=0,2,4,6
/proc/15953/stat : 15953 (java) S 15950 15953 15420 0 -1 1077944320 10255 13280 0 0 28 4 5 3 20 0 15 0 409680195 11078742016 11427 33554432000 4194304 4196468 140735147758160 140735147740704 140353467842295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
/proc/15953/statm: 2704771 11427 2999 1 0 2667149 0
[pid=15953/tid=16006] ppid=15950 vsize=10819084 memory=140323575828449 CPUtime=0.29 cores=0,2,4,6
/proc/15953/task/16006/stat : 16006 (java) R 15950 15953 15420 0 -1 4202560 6728 13280 0 0 18 3 5 3 20 0 15 0 409680204 11078742016 11427 33554432000 4194304 4196468 140735147758160 140353439652768 140353467854230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16007] ppid=15950 vsize=10819084 memory=7451889928077726034 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16007/stat : 16007 (java) S 15950 15953 15420 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 409680205 11078742016 11427 33554432000 4194304 4196468 140735147758160 140353472085008 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16008] ppid=15950 vsize=10819084 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16008/stat : 16008 (java) S 15950 15953 15420 0 -1 1077944384 2 13280 0 0 0 0 5 3 20 0 15 0 409680205 11078742016 11427 33554432000 4194304 4196468 140735147758160 140353360358544 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16009] ppid=15950 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16009/stat : 16009 (java) S 15950 15953 15420 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 409680205 11078742016 11427 33554432000 4194304 4196468 140735147758160 140353359305488 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16010] ppid=15950 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16010/stat : 16010 (java) S 15950 15953 15420 0 -1 1077944384 2 13280 0 0 0 0 5 3 20 0 15 0 409680205 11078742016 11427 33554432000 4194304 4196468 140735147758160 140353038445456 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16014] ppid=15950 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16014/stat : 16014 (java) S 15950 15953 15420 0 -1 1077944384 2 13280 0 0 0 0 5 3 20 0 15 0 409680207 11078742016 11427 33554432000 4194304 4196468 140735147758160 140352927054064 140353467853442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16015] ppid=15950 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16015/stat : 16015 (java) S 15950 15953 15420 0 -1 1077944384 33 13280 0 0 0 0 5 3 20 0 15 0 409680207 11078742016 11427 33554432000 4194304 4196468 140735147758160 140352926000288 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16016] ppid=15950 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16016/stat : 16016 (java) S 15950 15953 15420 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 409680207 11078742016 11427 33554432000 4194304 4196468 140735147758160 140352350577392 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16017] ppid=15950 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16017/stat : 16017 (java) S 15950 15953 15420 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 409680210 11078742016 11427 33554432000 4194304 4196468 140735147758160 140352043177936 140353467860891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16018] ppid=15950 vsize=10819084 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/15953/task/16018/stat : 16018 (java) S 15950 15953 15420 0 -1 1077944384 450 13280 0 0 2 0 5 3 20 0 15 0 409680210 11078742016 11427 33554432000 4194304 4196468 140735147758160 140352892443376 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16019] ppid=15950 vsize=10819084 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15953/task/16019/stat : 16019 (java) S 15950 15953 15420 0 -1 1077944384 180 13280 0 0 1 0 5 3 20 0 15 0 409680210 11078742016 11427 33554432000 4194304 4196468 140735147758160 140352891390832 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16020] ppid=15950 vsize=10819084 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/15953/task/16020/stat : 16020 (java) S 15950 15953 15420 0 -1 1077944384 642 13280 0 0 5 0 5 3 20 0 15 0 409680210 11078742016 11427 33554432000 4194304 4196468 140735147758160 140352890337776 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16021] ppid=15950 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16021/stat : 16021 (java) S 15950 15953 15420 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 409680210 11078742016 11427 33554432000 4194304 4196468 140735147758160 140352009620320 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16022] ppid=15950 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16022/stat : 16022 (java) S 15950 15953 15420 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 409680211 11078742016 11427 33554432000 4194304 4196468 140735147758160 140352889285168 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10819084 KiB
Current children cumulated memory: 45708 KiB
[startup+0.701316 s]
/proc/loadavg: 1.19 1.43 1.37 4/231 16092
/proc/meminfo: memFree=31538816/32770624 swapFree=66999912/67108860
[pid=15953] ppid=15950 vsize=10824340 memory=78916 CPUtime=1.14 cores=0,2,4,6
/proc/15953/stat : 15953 (java) S 15950 15953 15420 0 -1 1077944320 14513 13280 0 0 101 5 5 3 20 0 15 0 409680195 11084124160 19729 33554432000 4194304 4196468 140735147758160 140735147740704 140353467842295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
/proc/15953/statm: 2706085 19729 3494 1 0 2668173 0
[pid=15953/tid=16006] ppid=15950 vsize=10824340 memory=2276 CPUtime=0.67 cores=0,2,4,6
/proc/15953/task/16006/stat : 16006 (java) R 15950 15953 15420 0 -1 4202560 10154 13280 0 0 55 4 5 3 20 0 15 0 409680204 11084124160 19729 33554432000 4194304 4196468 140735147758160 140353439672448 140353467854230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16007] ppid=15950 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16007/stat : 16007 (java) S 15950 15953 15420 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 409680205 11084124160 19729 33554432000 4194304 4196468 140735147758160 140353472085008 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16008] ppid=15950 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16008/stat : 16008 (java) S 15950 15953 15420 0 -1 1077944384 2 13280 0 0 0 0 5 3 20 0 15 0 409680205 11084124160 19729 33554432000 4194304 4196468 140735147758160 140353360358544 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16009] ppid=15950 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16009/stat : 16009 (java) S 15950 15953 15420 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 409680205 11084124160 19729 33554432000 4194304 4196468 140735147758160 140353359305488 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16010] ppid=15950 vsize=10824340 memory=1294 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16010/stat : 16010 (java) S 15950 15953 15420 0 -1 1077944384 2 13280 0 0 0 0 5 3 20 0 15 0 409680205 11084124160 19729 33554432000 4194304 4196468 140735147758160 140353038445456 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16014] ppid=15950 vsize=10824340 memory=3616 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16014/stat : 16014 (java) S 15950 15953 15420 0 -1 1077944384 5 13280 0 0 0 0 5 3 20 0 15 0 409680207 11084124160 19729 33554432000 4194304 4196468 140735147758160 140352927054064 140353467853442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16015] ppid=15950 vsize=10824340 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16015/stat : 16015 (java) S 15950 15953 15420 0 -1 1077944384 33 13280 0 0 0 0 5 3 20 0 15 0 409680207 11084124160 19729 33554432000 4194304 4196468 140735147758160 140352926000288 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16016] ppid=15950 vsize=10824340 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16016/stat : 16016 (java) S 15950 15953 15420 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 409680207 11084124160 19729 33554432000 4194304 4196468 140735147758160 140352350577392 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16017] ppid=15950 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16017/stat : 16017 (java) S 15950 15953 15420 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 409680210 11084124160 19729 33554432000 4194304 4196468 140735147758160 140352043177936 140353467860891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16018] ppid=15950 vsize=10824340 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/15953/task/16018/stat : 16018 (java) S 15950 15953 15420 0 -1 1077944384 789 13280 0 0 16 0 5 3 20 0 15 0 409680210 11084124160 19729 33554432000 4194304 4196468 140735147758160 140352892443376 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16019] ppid=15950 vsize=10824340 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/15953/task/16019/stat : 16019 (java) S 15950 15953 15420 0 -1 1077944384 466 13280 0 0 12 0 5 3 20 0 15 0 409680210 11084124160 19729 33554432000 4194304 4196468 140735147758160 140352891390832 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16020] ppid=15950 vsize=10824340 memory=30305 CPUtime=0.25 cores=0,2,4,6
/proc/15953/task/16020/stat : 16020 (java) S 15950 15953 15420 0 -1 1077944384 846 13280 0 0 17 0 5 3 20 0 15 0 409680210 11084124160 19729 33554432000 4194304 4196468 140735147758160 140352890337776 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16021] ppid=15950 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16021/stat : 16021 (java) S 15950 15953 15420 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 409680210 11084124160 19729 33554432000 4194304 4196468 140735147758160 140352009620320 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16022] ppid=15950 vsize=10824340 memory=-5921431000321636112 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16022/stat : 16022 (java) S 15950 15953 15420 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 409680211 11084124160 19729 33554432000 4194304 4196468 140735147758160 140352889285168 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 78916 KiB
[startup+1.50069 s]
/proc/loadavg: 1.19 1.43 1.37 4/228 16115
/proc/meminfo: memFree=31453884/32770624 swapFree=66999912/67108860
[pid=15953] ppid=15950 vsize=10834656 memory=170684 CPUtime=2.53 cores=0,2,4,6
/proc/15953/stat : 15953 (java) S 15950 15953 15420 0 -1 1077944320 21937 13280 0 0 235 10 5 3 20 0 15 0 409680195 11094687744 42671 33554432000 4194304 4196468 140735147758160 140735147740704 140353467842295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
/proc/15953/statm: 2708664 42671 3574 1 0 2670733 0
[pid=15953/tid=16006] ppid=15950 vsize=10834656 memory=7662175752956587926 CPUtime=1.43 cores=0,2,4,6
/proc/15953/task/16006/stat : 16006 (java) R 15950 15953 15420 0 -1 4202560 15510 13280 0 0 129 6 5 3 20 0 15 0 409680204 11094687744 42671 33554432000 4194304 4196468 140735147758160 140353439667456 140353453210442 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16007] ppid=15950 vsize=10834656 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/15953/task/16007/stat : 16007 (java) S 15950 15953 15420 0 -1 1077944384 72 13280 0 0 1 0 5 3 20 0 15 0 409680205 11094687744 42671 33554432000 4194304 4196468 140735147758160 140353472085008 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16008] ppid=15950 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15953/task/16008/stat : 16008 (java) S 15950 15953 15420 0 -1 1077944384 31 13280 0 0 1 0 5 3 20 0 15 0 409680205 11094687744 42671 33554432000 4194304 4196468 140735147758160 140353360358544 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16009] ppid=15950 vsize=10834656 memory=6945487848980112213 CPUtime=0.09 cores=0,2,4,6
/proc/15953/task/16009/stat : 16009 (java) S 15950 15953 15420 0 -1 1077944384 306 13280 0 0 1 0 5 3 20 0 15 0 409680205 11094687744 42671 33554432000 4194304 4196468 140735147758160 140353359305488 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16010] ppid=15950 vsize=10834656 memory=8099273513961678416 CPUtime=0.09 cores=0,2,4,6
/proc/15953/task/16010/stat : 16010 (java) S 15950 15953 15420 0 -1 1077944384 49 13280 0 0 1 0 5 3 20 0 15 0 409680205 11094687744 42671 33554432000 4194304 4196468 140735147758160 140353038445456 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16014] ppid=15950 vsize=10834656 memory=7595433352994445672 CPUtime=0.09 cores=0,2,4,6
/proc/15953/task/16014/stat : 16014 (java) S 15950 15953 15420 0 -1 1077944384 584 13280 0 0 1 0 5 3 20 0 15 0 409680207 11094687744 42671 33554432000 4194304 4196468 140735147758160 140352927054064 140353467853442 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16015] ppid=15950 vsize=10834656 memory=5787220458829273444 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16015/stat : 16015 (java) S 15950 15953 15420 0 -1 1077944384 34 13280 0 0 0 0 5 3 20 0 15 0 409680207 11094687744 42671 33554432000 4194304 4196468 140735147758160 140352926000352 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16016] ppid=15950 vsize=10834656 memory=7739830046110803052 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16016/stat : 16016 (java) S 15950 15953 15420 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 409680207 11094687744 42671 33554432000 4194304 4196468 140735147758160 140352350577408 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16017] ppid=15950 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16017/stat : 16017 (java) S 15950 15953 15420 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 409680210 11094687744 42671 33554432000 4194304 4196468 140735147758160 140352043177936 140353467860891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16018] ppid=15950 vsize=10834656 memory=34092 CPUtime=0.4 cores=0,2,4,6
/proc/15953/task/16018/stat : 16018 (java) S 15950 15953 15420 0 -1 1077944384 909 13280 0 0 32 0 5 3 20 0 15 0 409680210 11094687744 42671 33554432000 4194304 4196468 140735147758160 140352892443376 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16019] ppid=15950 vsize=10834656 memory=988 CPUtime=0.32 cores=0,2,4,6
/proc/15953/task/16019/stat : 16019 (java) S 15950 15953 15420 0 -1 1077944384 627 13280 0 0 24 0 5 3 20 0 15 0 409680210 11094687744 42671 33554432000 4194304 4196468 140735147758160 140352891390832 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16020] ppid=15950 vsize=10834656 memory=2012 CPUtime=0.49 cores=0,2,4,6
/proc/15953/task/16020/stat : 16020 (java) S 15950 15953 15420 0 -1 1077944384 1600 13280 0 0 41 0 5 3 20 0 15 0 409680210 11094687744 42671 33554432000 4194304 4196468 140735147758160 140352890337776 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16021] ppid=15950 vsize=10834656 memory=1240 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16021/stat : 16021 (java) S 15950 15953 15420 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 409680210 11094687744 42671 33554432000 4194304 4196468 140735147758160 140352009620320 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16022] ppid=15950 vsize=10834656 memory=580 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16022/stat : 16022 (java) S 15950 15953 15420 0 -1 1077944384 1 13280 0 0 0 0 5 3 20 0 15 0 409680211 11094687744 42671 33554432000 4194304 4196468 140735147758160 140352889285168 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/15953/task/16006/stat : 16006 (java) R 15950 15953 15420 0 -1 4202560 73245 13280 0 0 235569 57 5 3 20 0 15 0 409680204 11107291136 346640 33554432000 4194304 4196468 140735147758160 140353439677184 140353449491326 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16007] ppid=15950 vsize=10846964 memory=1386560 CPUtime=12.32 cores=0,2,4,6
/proc/15953/task/16007/stat : 16007 (java) S 15950 15953 15420 0 -1 1077944384 14375 13280 0 0 1167 57 5 3 20 0 15 0 409680205 11107291136 346640 33554432000 4194304 4196468 140735147758160 140353472085008 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16008] ppid=15950 vsize=10846964 memory=1386560 CPUtime=12.32 cores=0,2,4,6
/proc/15953/task/16008/stat : 16008 (java) S 15950 15953 15420 0 -1 1077944384 19182 13280 0 0 1165 59 5 3 20 0 15 0 409680205 11107291136 346640 33554432000 4194304 4196468 140735147758160 140353360358544 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16009] ppid=15950 vsize=10846964 memory=56 CPUtime=12.26 cores=0,2,4,6
/proc/15953/task/16009/stat : 16009 (java) S 15950 15953 15420 0 -1 1077944384 14625 13280 0 0 1162 56 5 3 20 0 15 0 409680205 11107291136 346640 33554432000 4194304 4196468 140735147758160 140353359305488 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16010] ppid=15950 vsize=10846964 memory=1386560 CPUtime=12.3 cores=0,2,4,6
/proc/15953/task/16010/stat : 16010 (java) S 15950 15953 15420 0 -1 1077944384 14720 13280 0 0 1166 56 5 3 20 0 15 0 409680205 11107291136 346640 33554432000 4194304 4196468 140735147758160 140353038445456 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16014] ppid=15950 vsize=10846964 memory=1386560 CPUtime=11.06 cores=0,2,4,6
/proc/15953/task/16014/stat : 16014 (java) S 15950 15953 15420 0 -1 1077944384 19479 13280 0 0 1038 60 5 3 20 0 15 0 409680207 11107291136 346640 33554432000 4194304 4196468 140735147758160 140352927054064 140353467853442 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16015] ppid=15950 vsize=10846964 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16015/stat : 16015 (java) S 15950 15953 15420 0 -1 1077944384 40 13280 0 0 0 0 5 3 20 0 15 0 409680207 11107291136 346640 33554432000 4194304 4196468 140735147758160 140352926000352 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16016] ppid=15950 vsize=10846964 memory=2012 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16016/stat : 16016 (java) S 15950 15953 15420 0 -1 1077944384 7 13280 0 0 0 0 5 3 20 0 15 0 409680207 11107291136 346640 33554432000 4194304 4196468 140735147758160 140352350577408 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16017] ppid=15950 vsize=10846964 memory=1386560 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16017/stat : 16017 (java) S 15950 15953 15420 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 409680210 11107291136 346640 33554432000 4194304 4196468 140735147758160 140352043177936 140353467860891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16018] ppid=15950 vsize=10846964 memory=580 CPUtime=5.79 cores=0,2,4,6
/proc/15953/task/16018/stat : 16018 (java) S 15950 15953 15420 0 -1 1077944384 22154 13280 0 0 567 4 5 3 20 0 15 0 409680210 11107291136 346640 33554432000 4194304 4196468 140735147758160 140352892443376 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16019] ppid=15950 vsize=10846964 memory=1386560 CPUtime=5.75 cores=0,2,4,6
/proc/15953/task/16019/stat : 16019 (java) S 15950 15953 15420 0 -1 1077944384 24091 13280 0 0 563 4 5 3 20 0 15 0 409680210 11107291136 346640 33554432000 4194304 4196468 140735147758160 140352891390832 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16020] ppid=15950 vsize=10846964 memory=3616 CPUtime=3.79 cores=0,2,4,6
/proc/15953/task/16020/stat : 16020 (java) S 15950 15953 15420 0 -1 1077944384 17482 13280 0 0 366 5 5 3 20 0 15 0 409680210 11107291136 346640 33554432000 4194304 4196468 140735147758160 140352890337776 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16021] ppid=15950 vsize=10846964 memory=2608 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16021/stat : 16021 (java) S 15950 15953 15420 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 409680210 11107291136 346640 33554432000 4194304 4196468 140735147758160 140352009620320 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16022] ppid=15950 vsize=10846964 memory=2608 CPUtime=1.51 cores=0,2,4,6
/proc/15953/task/16022/stat : 16022 (java) S 15950 15953 15420 0 -1 1077944384 1200 13280 0 0 70 73 5 3 20 0 15 0 409680211 11107291136 346640 33554432000 4194304 4196468 140735147758160 140352889285168 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
Current children cumulated CPU time: 2432.84 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1386560 KiB
[startup+2442.3 s]
/proc/loadavg: 1.63 1.45 1.42 3/229 16402
/proc/meminfo: memFree=28166952/32770624 swapFree=66999944/67108860
[pid=15953] ppid=15950 vsize=10846964 memory=1388608 CPUtime=2493.77 cores=0,2,4,6
/proc/15953/stat : 15953 (java) S 15950 15953 15420 0 -1 1077944320 224735 13280 0 0 248996 373 5 3 20 0 15 0 409680195 11107291136 347152 33554432000 4194304 4196468 140735147758160 140735147740704 140353467842295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
/proc/15953/statm: 2711741 347152 3625 1 0 2673805 0
[pid=15953/tid=16006] ppid=15950 vsize=10846964 memory=1386560 CPUtime=2415.69 cores=0,2,4,6
/proc/15953/task/16006/stat : 16006 (java) R 15950 15953 15420 0 -1 4202560 74180 13280 0 0 241503 58 5 3 20 0 15 0 409680204 11107291136 347152 33554432000 4194304 4196468 140735147758160 140353439678064 140353059230621 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16007] ppid=15950 vsize=10846964 memory=1388608 CPUtime=12.64 cores=0,2,4,6
/proc/15953/task/16007/stat : 16007 (java) S 15950 15953 15420 0 -1 1077944384 14465 13280 0 0 1197 59 5 3 20 0 15 0 409680205 11107291136 347152 33554432000 4194304 4196468 140735147758160 140353472085008 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16008] ppid=15950 vsize=10846964 memory=1388608 CPUtime=12.63 cores=0,2,4,6
/proc/15953/task/16008/stat : 16008 (java) S 15950 15953 15420 0 -1 1077944384 19434 13280 0 0 1195 60 5 3 20 0 15 0 409680205 11107291136 347152 33554432000 4194304 4196468 140735147758160 140353360358544 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16009] ppid=15950 vsize=10846964 memory=1388608 CPUtime=12.59 cores=0,2,4,6
/proc/15953/task/16009/stat : 16009 (java) S 15950 15953 15420 0 -1 1077944384 14733 13280 0 0 1193 58 5 3 20 0 15 0 409680205 11107291136 347152 33554432000 4194304 4196468 140735147758160 140353359305488 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16010] ppid=15950 vsize=10846964 memory=1388608 CPUtime=12.63 cores=0,2,4,6
/proc/15953/task/16010/stat : 16010 (java) S 15950 15953 15420 0 -1 1077944384 14995 13280 0 0 1198 57 5 3 20 0 15 0 409680205 11107291136 347152 33554432000 4194304 4196468 140735147758160 140353038445456 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16014] ppid=15950 vsize=10846964 memory=1388608 CPUtime=11.32 cores=0,2,4,6
/proc/15953/task/16014/stat : 16014 (java) S 15950 15953 15420 0 -1 1077944384 19710 13280 0 0 1063 61 5 3 20 0 15 0 409680207 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352927054064 140353467853442 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16015] ppid=15950 vsize=10846964 memory=1388608 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16015/stat : 16015 (java) S 15950 15953 15420 0 -1 1077944384 40 13280 0 0 0 0 5 3 20 0 15 0 409680207 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352926000352 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16016] ppid=15950 vsize=10846964 memory=1386560 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16016/stat : 16016 (java) S 15950 15953 15420 0 -1 1077944384 7 13280 0 0 0 0 5 3 20 0 15 0 409680207 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352350577408 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16017] ppid=15950 vsize=10846964 memory=7548 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16017/stat : 16017 (java) S 15950 15953 15420 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 409680210 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352043177936 140353467860891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16018] ppid=15950 vsize=10846964 memory=1388608 CPUtime=5.79 cores=0,2,4,6
/proc/15953/task/16018/stat : 16018 (java) S 15950 15953 15420 0 -1 1077944384 22158 13280 0 0 567 4 5 3 20 0 15 0 409680210 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352892443376 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16019] ppid=15950 vsize=10846964 memory=1388608 CPUtime=5.75 cores=0,2,4,6
/proc/15953/task/16019/stat : 16019 (java) S 15950 15953 15420 0 -1 1077944384 24095 13280 0 0 563 4 5 3 20 0 15 0 409680210 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352891390832 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16020] ppid=15950 vsize=10846964 memory=280646855267552 CPUtime=3.79 cores=0,2,4,6
/proc/15953/task/16020/stat : 16020 (java) S 15950 15953 15420 0 -1 1077944384 17487 13280 0 0 366 5 5 3 20 0 15 0 409680210 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352890337776 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16021] ppid=15950 vsize=10846964 memory=7595440001688102255 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16021/stat : 16021 (java) S 15950 15953 15420 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 409680210 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352009620320 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16022] ppid=15950 vsize=10846964 memory=280646855339936 CPUtime=1.54 cores=0,2,4,6
/proc/15953/task/16022/stat : 16022 (java) S 15950 15953 15420 0 -1 1077944384 1218 13280 0 0 72 74 5 3 20 0 15 0 409680211 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352889285168 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
Current children cumulated CPU time: 2493.77 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1388608 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2468.11 s]
/proc/loadavg: 1.57 1.45 1.42 4/229 16530
/proc/meminfo: memFree=30047756/32770624 swapFree=66999944/67108860
[pid=15953] ppid=15950 vsize=10846964 memory=1388608 CPUtime=2520.01 cores=0,2,4,6
/proc/15953/stat : 15953 (java) S 15950 15953 15420 0 -1 1077944320 225570 13280 0 0 251617 376 5 3 20 0 15 0 409680195 11107291136 347152 33554432000 4194304 4196468 140735147758160 140735147740704 140353467842295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
/proc/15953/statm: 2711741 347152 3625 1 0 2673805 0
[pid=15953/tid=16006] ppid=15950 vsize=10846964 memory=0 CPUtime=2441.22 cores=0,2,4,6
/proc/15953/task/16006/stat : 16006 (java) R 15950 15953 15420 0 -1 4202560 74529 13280 0 0 244056 58 5 3 20 0 15 0 409680204 11107291136 347152 33554432000 4194304 4196468 140735147758160 140353439678144 140353058973767 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16007] ppid=15950 vsize=10846964 memory=1388608 CPUtime=12.78 cores=0,2,4,6
/proc/15953/task/16007/stat : 16007 (java) S 15950 15953 15420 0 -1 1077944384 14691 13280 0 0 1211 59 5 3 20 0 15 0 409680205 11107291136 347152 33554432000 4194304 4196468 140735147758160 140353472085008 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16008] ppid=15950 vsize=10846964 memory=1388608 CPUtime=12.78 cores=0,2,4,6
/proc/15953/task/16008/stat : 16008 (java) S 15950 15953 15420 0 -1 1077944384 19441 13280 0 0 1209 61 5 3 20 0 15 0 409680205 11107291136 347152 33554432000 4194304 4196468 140735147758160 140353360358544 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16009] ppid=15950 vsize=10846964 memory=1388608 CPUtime=12.73 cores=0,2,4,6
/proc/15953/task/16009/stat : 16009 (java) S 15950 15953 15420 0 -1 1077944384 14768 13280 0 0 1206 59 5 3 20 0 15 0 409680205 11107291136 347152 33554432000 4194304 4196468 140735147758160 140353359305488 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16010] ppid=15950 vsize=10846964 memory=1260 CPUtime=12.77 cores=0,2,4,6
/proc/15953/task/16010/stat : 16010 (java) S 15950 15953 15420 0 -1 1077944384 15016 13280 0 0 1212 57 5 3 20 0 15 0 409680205 11107291136 347152 33554432000 4194304 4196468 140735147758160 140353038445456 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16014] ppid=15950 vsize=10846964 memory=1388608 CPUtime=11.45 cores=0,2,4,6
/proc/15953/task/16014/stat : 16014 (java) S 15950 15953 15420 0 -1 1077944384 19896 13280 0 0 1075 62 5 3 20 0 15 0 409680207 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352927054064 140353467853442 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16015] ppid=15950 vsize=10846964 memory=1388608 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16015/stat : 16015 (java) S 15950 15953 15420 0 -1 1077944384 40 13280 0 0 0 0 5 3 20 0 15 0 409680207 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352926000352 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16016] ppid=15950 vsize=10846964 memory=1388608 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16016/stat : 16016 (java) S 15950 15953 15420 0 -1 1077944384 7 13280 0 0 0 0 5 3 20 0 15 0 409680207 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352350577408 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16017] ppid=15950 vsize=10846964 memory=1388608 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16017/stat : 16017 (java) S 15950 15953 15420 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 409680210 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352043177936 140353467860891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16018] ppid=15950 vsize=10846964 memory=1388608 CPUtime=5.79 cores=0,2,4,6
/proc/15953/task/16018/stat : 16018 (java) S 15950 15953 15420 0 -1 1077944384 22158 13280 0 0 567 4 5 3 20 0 15 0 409680210 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352892443376 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16019] ppid=15950 vsize=10846964 memory=1388608 CPUtime=5.75 cores=0,2,4,6
/proc/15953/task/16019/stat : 16019 (java) S 15950 15953 15420 0 -1 1077944384 24095 13280 0 0 563 4 5 3 20 0 15 0 409680210 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352891390832 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16020] ppid=15950 vsize=10846964 memory=1388608 CPUtime=3.79 cores=0,2,4,6
/proc/15953/task/16020/stat : 16020 (java) S 15950 15953 15420 0 -1 1077944384 17487 13280 0 0 366 5 5 3 20 0 15 0 409680210 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352890337776 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16021] ppid=15950 vsize=10846964 memory=3436 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16021/stat : 16021 (java) S 15950 15953 15420 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 409680210 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352009620320 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16022] ppid=15950 vsize=10846964 memory=7548 CPUtime=1.56 cores=0,2,4,6
/proc/15953/task/16022/stat : 16022 (java) S 15950 15953 15420 0 -1 1077944384 1229 13280 0 0 73 75 5 3 20 0 15 0 409680211 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352889285168 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1388608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2468.14 s]
# the end of solver process 15953 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.25 s, system=3.81561 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2468.11 s]
/proc/loadavg: 1.57 1.45 1.42 4/229 16530
/proc/meminfo: memFree=30047756/32770624 swapFree=66999944/67108860
[pid=15953] ppid=15950 vsize=10846964 memory=1388608 CPUtime=2520.01 cores=0,2,4,6
/proc/15953/stat : 15953 (java) S 15950 15953 15420 0 -1 1077944320 225570 13280 0 0 251617 376 5 3 20 0 15 0 409680195 11107291136 347152 33554432000 4194304 4196468 140735147758160 140735147740704 140353467842295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
/proc/15953/statm: 2711741 347152 3625 1 0 2673805 0
[pid=15953/tid=16006] ppid=15950 vsize=10846964 memory=0 CPUtime=2441.22 cores=0,2,4,6
/proc/15953/task/16006/stat : 16006 (java) R 15950 15953 15420 0 -1 4202560 74529 13280 0 0 244056 58 5 3 20 0 15 0 409680204 11107291136 347152 33554432000 4194304 4196468 140735147758160 140353439678144 140353058973767 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16007] ppid=15950 vsize=10846964 memory=1388608 CPUtime=12.78 cores=0,2,4,6
/proc/15953/task/16007/stat : 16007 (java) S 15950 15953 15420 0 -1 1077944384 14691 13280 0 0 1211 59 5 3 20 0 15 0 409680205 11107291136 347152 33554432000 4194304 4196468 140735147758160 140353472085008 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16008] ppid=15950 vsize=10846964 memory=1388608 CPUtime=12.78 cores=0,2,4,6
/proc/15953/task/16008/stat : 16008 (java) S 15950 15953 15420 0 -1 1077944384 19441 13280 0 0 1209 61 5 3 20 0 15 0 409680205 11107291136 347152 33554432000 4194304 4196468 140735147758160 140353360358544 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16009] ppid=15950 vsize=10846964 memory=1388608 CPUtime=12.73 cores=0,2,4,6
/proc/15953/task/16009/stat : 16009 (java) S 15950 15953 15420 0 -1 1077944384 14768 13280 0 0 1206 59 5 3 20 0 15 0 409680205 11107291136 347152 33554432000 4194304 4196468 140735147758160 140353359305488 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16010] ppid=15950 vsize=10846964 memory=1260 CPUtime=12.77 cores=0,2,4,6
/proc/15953/task/16010/stat : 16010 (java) S 15950 15953 15420 0 -1 1077944384 15016 13280 0 0 1212 57 5 3 20 0 15 0 409680205 11107291136 347152 33554432000 4194304 4196468 140735147758160 140353038445456 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16014] ppid=15950 vsize=10846964 memory=1388608 CPUtime=11.45 cores=0,2,4,6
/proc/15953/task/16014/stat : 16014 (java) S 15950 15953 15420 0 -1 1077944384 19896 13280 0 0 1075 62 5 3 20 0 15 0 409680207 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352927054064 140353467853442 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16015] ppid=15950 vsize=10846964 memory=1388608 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16015/stat : 16015 (java) S 15950 15953 15420 0 -1 1077944384 40 13280 0 0 0 0 5 3 20 0 15 0 409680207 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352926000352 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16016] ppid=15950 vsize=10846964 memory=1388608 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16016/stat : 16016 (java) S 15950 15953 15420 0 -1 1077944384 7 13280 0 0 0 0 5 3 20 0 15 0 409680207 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352350577408 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16017] ppid=15950 vsize=10846964 memory=1388608 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16017/stat : 16017 (java) S 15950 15953 15420 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 409680210 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352043177936 140353467860891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16018] ppid=15950 vsize=10846964 memory=1388608 CPUtime=5.79 cores=0,2,4,6
/proc/15953/task/16018/stat : 16018 (java) S 15950 15953 15420 0 -1 1077944384 22158 13280 0 0 567 4 5 3 20 0 15 0 409680210 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352892443376 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16019] ppid=15950 vsize=10846964 memory=1388608 CPUtime=5.75 cores=0,2,4,6
/proc/15953/task/16019/stat : 16019 (java) S 15950 15953 15420 0 -1 1077944384 24095 13280 0 0 563 4 5 3 20 0 15 0 409680210 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352891390832 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16020] ppid=15950 vsize=10846964 memory=1388608 CPUtime=3.79 cores=0,2,4,6
/proc/15953/task/16020/stat : 16020 (java) S 15950 15953 15420 0 -1 1077944384 17487 13280 0 0 366 5 5 3 20 0 15 0 409680210 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352890337776 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16021] ppid=15950 vsize=10846964 memory=3436 CPUtime=0.08 cores=0,2,4,6
/proc/15953/task/16021/stat : 16021 (java) S 15950 15953 15420 0 -1 1077944384 3 13280 0 0 0 0 5 3 20 0 15 0 409680210 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352009620320 140353467852501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
[pid=15953/tid=16022] ppid=15950 vsize=10846964 memory=7548 CPUtime=1.56 cores=0,2,4,6
/proc/15953/task/16022/stat : 16022 (java) S 15950 15953 15420 0 -1 1077944384 1229 13280 0 0 73 75 5 3 20 0 15 0 409680211 11107291136 347152 33554432000 4194304 4196468 140735147758160 140352889285168 140353467853442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140735147760373 140735147762885 140735147762885 140735147765711 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1388608 KiB
Child status: 143
Real time (s): 2468.14
CPU time (s): 2520.06
CPU user time (s): 2516.25
CPU system time (s): 3.81561
CPU usage (%): 102.104
Max. virtual memory (cumulated for all children) (KiB): 10848840
Max. memory (cumulated for all children) (KiB): 1388608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.25
system time used= 3.81561
maximum resident set size= 1392820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239848
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 311133
involuntary context switches= 8581
# summary of solver processes directly reported to runsolver:
# pid: 15953
# total CPU time (s): 2520.06
# total CPU user time (s): 2516.25
# total CPU system time (s): 3.81561
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6224 second user time and 23.3993 second system time
The end