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 (13264 MiB free)
memory of node 1: 16384 MiB (9692 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294793-1532486130/watcher-4294793-1532486130 -o /tmp/evaluation-result-4294793-1532486130/solver-4294793-1532486130 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532470571-27173 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1963387424 -superng HOME/instance-4294793-1532486130.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
solver pid=30558, runsolver pid=30555
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 1.21 1.31 1.36 3/206 30615
/proc/meminfo: memFree=23503828/32770624 swapFree=67108860/67108860
[pid=30558] ppid=30555 vsize=9972712 memory=16424 CPUtime=0.09 cores=0,2,4,6
/proc/30558/stat : 30558 (java) S 30555 30558 27142 0 -1 1077944320 4278 13290 0 0 1 1 4 3 20 0 6 0 66176173 10212057088 4106 33554432000 4194304 4196468 140721492440144 140721492422688 140454082305783 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
/proc/30558/statm: 2493178 4106 1930 1 0 2481616 0
[pid=30558/tid=30611] ppid=30555 vsize=9972712 memory=4279135703980081549 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30611/stat : 30611 (java) R 30555 30558 27142 0 -1 4202560 2082 13290 0 0 0 0 4 3 20 0 6 0 66176182 10212057088 4106 33554432000 4194304 4196468 140721492440144 140454054142544 140454082327709 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30612] ppid=30555 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30612/stat : 30612 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 6 0 66176182 10212057088 4106 33554432000 4194304 4196468 140721492440144 140454086547856 140454082315989 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30613] ppid=30555 vsize=9972712 memory=140664624019072 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30613/stat : 30613 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 6 0 66176182 10212057088 4106 33554432000 4194304 4196468 140721492440144 140453655972112 140454082315989 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30614] ppid=30555 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30614/stat : 30614 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 6 0 66176182 10212057088 4106 33554432000 4194304 4196468 140721492440144 140453654919824 140454082315989 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30615] ppid=30555 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30615/stat : 30615 (java) S 30555 30558 27142 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 6 0 66176183 10212057088 4106 33554432000 4194304 4196468 140721492440144 140453653867024 140454082315989 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16424 KiB
[startup+0.21164 s]*
/proc/loadavg: 1.21 1.31 1.36 3/215 30624
/proc/meminfo: memFree=23478556/32770624 swapFree=67108860/67108860
[pid=30558] ppid=30555 vsize=10818856 memory=43052 CPUtime=0.26 cores=0,2,4,6
/proc/30558/stat : 30558 (java) S 30555 30558 27142 0 -1 1077944320 8671 13290 0 0 17 2 4 3 20 0 15 0 66176173 11078508544 10763 33554432000 4194304 4196468 140721492440144 140721492422688 140454082305783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
/proc/30558/statm: 2704714 10763 2951 1 0 2667149 0
[pid=30558/tid=30611] ppid=30555 vsize=10818856 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/30558/task/30611/stat : 30611 (java) R 30555 30558 27142 0 -1 4202560 5227 13290 0 0 10 1 4 3 20 0 15 0 66176182 11078508544 10763 33554432000 4194304 4196468 140721492440144 140454054103440 140454062581543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30612] ppid=30555 vsize=10818856 memory=364 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30612/stat : 30612 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176182 11078508544 10763 33554432000 4194304 4196468 140721492440144 140454086547856 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30613] ppid=30555 vsize=10818856 memory=140664624046471 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30613/stat : 30613 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176182 11078508544 10763 33554432000 4194304 4196468 140721492440144 140453655972112 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30614] ppid=30555 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30614/stat : 30614 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176182 11078508544 10763 33554432000 4194304 4196468 140721492440144 140453654919824 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30615] ppid=30555 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30615/stat : 30615 (java) S 30555 30558 27142 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 66176183 11078508544 10763 33554432000 4194304 4196468 140721492440144 140453653867024 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30616] ppid=30555 vsize=10818856 memory=140664624019072 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30616/stat : 30616 (java) S 30555 30558 27142 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 66176184 11078508544 10763 33554432000 4194304 4196468 140721492440144 140453541784176 140454082316930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30617] ppid=30555 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30617/stat : 30617 (java) S 30555 30558 27142 0 -1 1077944384 33 13290 0 0 0 0 4 3 20 0 15 0 66176184 11078508544 10829 33554432000 4194304 4196468 140721492440144 140453540730144 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30618] ppid=30555 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30618/stat : 30618 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176185 11078508544 10829 33554432000 4194304 4196468 140721492440144 140452946765424 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30619] ppid=30555 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30619/stat : 30619 (java) S 30555 30558 27142 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 66176187 11078508544 10829 33554432000 4194304 4196468 140721492440144 140452639365712 140454082324379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30620] ppid=30555 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30558/task/30620/stat : 30620 (java) S 30555 30558 27142 0 -1 1077944384 504 13290 0 0 1 0 4 3 20 0 15 0 66176187 11078508544 10829 33554432000 4194304 4196468 140721492440144 140453507172464 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30621] ppid=30555 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30558/task/30621/stat : 30621 (java) S 30555 30558 27142 0 -1 1077944384 97 13290 0 0 1 0 4 3 20 0 15 0 66176187 11078508544 10829 33554432000 4194304 4196468 140721492440144 140453506119664 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30622] ppid=30555 vsize=10818856 memory=140664624019072 CPUtime=0.1 cores=0,2,4,6
/proc/30558/task/30622/stat : 30622 (java) S 30555 30558 27142 0 -1 1077944384 629 13290 0 0 3 0 4 3 20 0 15 0 66176187 11078508544 10829 33554432000 4194304 4196468 140721492440144 140453505067376 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30623] ppid=30555 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30623/stat : 30623 (java) S 30555 30558 27142 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 66176187 11078508544 10829 33554432000 4194304 4196468 140721492440144 140452605807072 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30624] ppid=30555 vsize=10818856 memory=140664624019072 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30624/stat : 30624 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176188 11078508544 10829 33554432000 4194304 4196468 140721492440144 140453504015280 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 43052 KiB
[startup+0.310105 s]*
/proc/loadavg: 1.21 1.31 1.36 3/215 30624
/proc/meminfo: memFree=23469120/32770624 swapFree=67108860/67108860
[pid=30558] ppid=30555 vsize=10819352 memory=53100 CPUtime=0.37 cores=0,2,4,6
/proc/30558/stat : 30558 (java) S 30555 30558 27142 0 -1 1077944320 10410 13290 0 0 28 2 4 3 20 0 15 0 66176173 11079016448 13275 33554432000 4194304 4196468 140721492440144 140721492422688 140454082305783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
/proc/30558/statm: 2704838 13275 3082 1 0 2667149 0
[pid=30558/tid=30611] ppid=30555 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/30558/task/30611/stat : 30611 (java) R 30555 30558 27142 0 -1 4202560 6907 13290 0 0 19 2 4 3 20 0 15 0 66176182 11079016448 13275 33554432000 4194304 4196468 140721492440144 140454054117792 140454082327709 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30612] ppid=30555 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30612/stat : 30612 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176182 11079016448 13275 33554432000 4194304 4196468 140721492440144 140454086547856 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30613] ppid=30555 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30613/stat : 30613 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176182 11079016448 13275 33554432000 4194304 4196468 140721492440144 140453655972112 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30614] ppid=30555 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30614/stat : 30614 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176182 11079016448 13275 33554432000 4194304 4196468 140721492440144 140453654919824 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30615] ppid=30555 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30615/stat : 30615 (java) S 30555 30558 27142 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 66176183 11079016448 13275 33554432000 4194304 4196468 140721492440144 140453653867024 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30616] ppid=30555 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30616/stat : 30616 (java) S 30555 30558 27142 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 66176184 11079016448 13275 33554432000 4194304 4196468 140721492440144 140453541784176 140454082316930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30617] ppid=30555 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30617/stat : 30617 (java) S 30555 30558 27142 0 -1 1077944384 33 13290 0 0 0 0 4 3 20 0 15 0 66176184 11079016448 13275 33554432000 4194304 4196468 140721492440144 140453540730144 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30618] ppid=30555 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30618/stat : 30618 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176185 11079016448 13275 33554432000 4194304 4196468 140721492440144 140452946765424 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30619] ppid=30555 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30619/stat : 30619 (java) S 30555 30558 27142 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 66176187 11079016448 13275 33554432000 4194304 4196468 140721492440144 140452639365712 140454082324379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30620] ppid=30555 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30558/task/30620/stat : 30620 (java) R 30555 30558 27142 0 -1 4202560 508 13290 0 0 1 0 4 3 20 0 15 0 66176187 11079016448 13275 33554432000 4194304 4196468 140721492440144 140453507172464 140454062887415 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30621] ppid=30555 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30558/task/30621/stat : 30621 (java) S 30555 30558 27142 0 -1 1077944384 103 13290 0 0 1 0 4 3 20 0 15 0 66176187 11079016448 13275 33554432000 4194304 4196468 140721492440144 140453506119664 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30622] ppid=30555 vsize=10819352 memory=140664624019072 CPUtime=0.12 cores=0,2,4,6
/proc/30558/task/30622/stat : 30622 (java) R 30555 30558 27142 0 -1 4202560 653 13290 0 0 5 0 4 3 20 0 15 0 66176187 11079016448 13275 33554432000 4194304 4196468 140721492440144 140453505067376 140454060795424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30623] ppid=30555 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30623/stat : 30623 (java) S 30555 30558 27142 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 66176187 11079016448 13275 33554432000 4194304 4196468 140721492440144 140452605807072 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30624] ppid=30555 vsize=10819352 memory=140664624019072 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30624/stat : 30624 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176188 11079016448 13275 33554432000 4194304 4196468 140721492440144 140453504015280 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53100 KiB
[startup+0.700754 s]
/proc/loadavg: 1.21 1.31 1.36 3/215 30624
/proc/meminfo: memFree=23457840/32770624 swapFree=67108860/67108860
[pid=30558] ppid=30555 vsize=10819352 memory=86488 CPUtime=0.97 cores=0,2,4,6
/proc/30558/stat : 30558 (java) S 30555 30558 27142 0 -1 1077944320 16753 13290 0 0 86 4 4 3 20 0 15 0 66176173 11079016448 21622 33554432000 4194304 4196468 140721492440144 140721492422688 140454082305783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
/proc/30558/statm: 2704838 21622 3237 1 0 2667149 0
[pid=30558/tid=30611] ppid=30555 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/30558/task/30611/stat : 30611 (java) R 30555 30558 27142 0 -1 4202560 12194 13290 0 0 56 3 4 3 20 0 15 0 66176182 11079016448 21622 33554432000 4194304 4196468 140721492440144 140454054126608 140454065492621 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30612] ppid=30555 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30612/stat : 30612 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176182 11079016448 21622 33554432000 4194304 4196468 140721492440144 140454086547856 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30613] ppid=30555 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30613/stat : 30613 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176182 11079016448 21622 33554432000 4194304 4196468 140721492440144 140453655972112 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30614] ppid=30555 vsize=10819352 memory=140664474055472 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30614/stat : 30614 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176182 11079016448 21622 33554432000 4194304 4196468 140721492440144 140453654919824 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30615] ppid=30555 vsize=10819352 memory=140668768879185 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30615/stat : 30615 (java) S 30555 30558 27142 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 66176183 11079016448 21622 33554432000 4194304 4196468 140721492440144 140453653867024 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30616] ppid=30555 vsize=10819352 memory=1624 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30616/stat : 30616 (java) S 30555 30558 27142 0 -1 1077944384 5 13290 0 0 0 0 4 3 20 0 15 0 66176184 11079016448 21622 33554432000 4194304 4196468 140721492440144 140453541784176 140454082316930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30617] ppid=30555 vsize=10819352 memory=4639098309541127270 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30617/stat : 30617 (java) S 30555 30558 27142 0 -1 1077944384 33 13290 0 0 0 0 4 3 20 0 15 0 66176184 11079016448 21622 33554432000 4194304 4196468 140721492440144 140453540730144 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30618] ppid=30555 vsize=10819352 memory=7885635084775281009 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30618/stat : 30618 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176185 11079016448 21622 33554432000 4194304 4196468 140721492440144 140452946765424 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30619] ppid=30555 vsize=10819352 memory=12740 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30619/stat : 30619 (java) S 30555 30558 27142 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 66176187 11079016448 21622 33554432000 4194304 4196468 140721492440144 140452639365712 140454082324379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30620] ppid=30555 vsize=10819352 memory=4052 CPUtime=0.16 cores=0,2,4,6
/proc/30558/task/30620/stat : 30620 (java) S 30555 30558 27142 0 -1 1077944384 1140 13290 0 0 9 0 4 3 20 0 15 0 66176187 11079016448 21622 33554432000 4194304 4196468 140721492440144 140453507172464 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30621] ppid=30555 vsize=10819352 memory=18444 CPUtime=0.14 cores=0,2,4,6
/proc/30558/task/30621/stat : 30621 (java) S 30555 30558 27142 0 -1 1077944384 371 13290 0 0 7 0 4 3 20 0 15 0 66176187 11079016448 21622 33554432000 4194304 4196468 140721492440144 140453506119664 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30622] ppid=30555 vsize=10819352 memory=640 CPUtime=0.2 cores=0,2,4,6
/proc/30558/task/30622/stat : 30622 (java) S 30555 30558 27142 0 -1 1077944384 806 13290 0 0 13 0 4 3 20 0 15 0 66176187 11079016448 21622 33554432000 4194304 4196468 140721492440144 140453505067376 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30623] ppid=30555 vsize=10819352 memory=1784 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30623/stat : 30623 (java) S 30555 30558 27142 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 66176187 11079016448 21622 33554432000 4194304 4196468 140721492440144 140452605807072 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30624] ppid=30555 vsize=10819352 memory=1236 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30624/stat : 30624 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176188 11079016448 21622 33554432000 4194304 4196468 140721492440144 140453504015280 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86488 KiB
[startup+1.50074 s]
/proc/loadavg: 1.36 1.34 1.37 3/215 30624
/proc/meminfo: memFree=23409900/32770624 swapFree=67108860/67108860
[pid=30558] ppid=30555 vsize=10834252 memory=179292 CPUtime=2.35 cores=0,2,4,6
/proc/30558/stat : 30558 (java) S 30555 30558 27142 0 -1 1077944320 24392 13290 0 0 218 10 4 3 20 0 15 0 66176173 11094274048 44823 33554432000 4194304 4196468 140721492440144 140721492422688 140454082305783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
/proc/30558/statm: 2708563 44823 3470 1 0 2670221 0
[pid=30558/tid=30611] ppid=30555 vsize=10834252 memory=62712 CPUtime=1.42 cores=0,2,4,6
/proc/30558/task/30611/stat : 30611 (java) R 30555 30558 27142 0 -1 4202560 17557 13290 0 0 130 5 4 3 20 0 15 0 66176182 11094274048 44823 33554432000 4194304 4196468 140721492440144 140454054129952 140454065497628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30612] ppid=30555 vsize=10834252 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30612/stat : 30612 (java) S 30555 30558 27142 0 -1 1077944384 54 13290 0 0 0 0 4 3 20 0 15 0 66176182 11094274048 44823 33554432000 4194304 4196468 140721492440144 140454086547856 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30613] ppid=30555 vsize=10834252 memory=281328948142240 CPUtime=0.08 cores=0,2,4,6
/proc/30558/task/30613/stat : 30613 (java) S 30555 30558 27142 0 -1 1077944384 16 13290 0 0 1 0 4 3 20 0 15 0 66176182 11094274048 44823 33554432000 4194304 4196468 140721492440144 140453655972112 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30614] ppid=30555 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30558/task/30614/stat : 30614 (java) S 30555 30558 27142 0 -1 1077944384 194 13290 0 0 1 0 4 3 20 0 15 0 66176182 11094274048 44823 33554432000 4194304 4196468 140721492440144 140453654919824 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30615] ppid=30555 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30558/task/30615/stat : 30615 (java) S 30555 30558 27142 0 -1 1077944384 34 13290 0 0 1 0 4 3 20 0 15 0 66176183 11094274048 44823 33554432000 4194304 4196468 140721492440144 140453653867024 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30616] ppid=30555 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30558/task/30616/stat : 30616 (java) S 30555 30558 27142 0 -1 1077944384 496 13290 0 0 1 0 4 3 20 0 15 0 66176184 11094274048 44823 33554432000 4194304 4196468 140721492440144 140453541784176 140454082316930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30617] ppid=30555 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30617/stat : 30617 (java) S 30555 30558 27142 0 -1 1077944384 34 13290 0 0 0 0 4 3 20 0 15 0 66176184 11094274048 44823 33554432000 4194304 4196468 140721492440144 140453540730208 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30618] ppid=30555 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30618/stat : 30618 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176185 11094274048 44823 33554432000 4194304 4196468 140721492440144 140452946765440 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30619] ppid=30555 vsize=10834252 memory=-5921431000321636112 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30619/stat : 30619 (java) S 30555 30558 27142 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 66176187 11094274048 44823 33554432000 4194304 4196468 140721492440144 140452639365712 140454082324379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30620] ppid=30555 vsize=10834252 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/30558/task/30620/stat : 30620 (java) S 30555 30558 27142 0 -1 1077944384 1611 13290 0 0 23 1 4 3 20 0 15 0 66176187 11094274048 44823 33554432000 4194304 4196468 140721492440144 140453507172464 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30621] ppid=30555 vsize=10834252 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/30558/task/30621/stat : 30621 (java) S 30555 30558 27142 0 -1 1077944384 624 13290 0 0 21 0 4 3 20 0 15 0 66176187 11094274048 44823 33554432000 4194304 4196468 140721492440144 140453506119664 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30622] ppid=30555 vsize=10834252 memory=6791534058613427641 CPUtime=0.43 cores=0,2,4,6
/proc/30558/task/30622/stat : 30622 (java) S 30555 30558 27142 0 -1 1077944384 1573 13290 0 0 36 0 4 3 20 0 15 0 66176187 11094274048 44823 33554432000 4194304 4196468 140721492440144 140453505067376 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30623] ppid=30555 vsize=10834252 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30623/stat : 30623 (java) S 30555 30558 27142 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 66176187 11094274048 44823 33554432000 4194304 4196468 140721492440144 140452605807072 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30624] ppid=30555 vsize=10834252 memory=281328948386688 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30624/stat : 30624 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176188 11094274048 44823 33554432000 4194304 4196468 140721492440144 140453504015280 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
Current children cumulated CPU time: 2.35 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/30558/task/30611/stat : 30611 (java) R 30555 30558 27142 0 -1 4202560 105068 13290 0 0 235566 51 4 3 20 0 15 0 66176182 11180277760 267233 33554432000 4194304 4196468 140721492440144 140454054141152 140453708885294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30612] ppid=30555 vsize=10918240 memory=1068932 CPUtime=12.66 cores=0,2,4,6
/proc/30558/task/30612/stat : 30612 (java) S 30555 30558 27142 0 -1 1077944384 16816 13290 0 0 1212 47 4 3 20 0 15 0 66176182 11180277760 267233 33554432000 4194304 4196468 140721492440144 140454086547856 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30613] ppid=30555 vsize=10918240 memory=1068932 CPUtime=12.64 cores=0,2,4,6
/proc/30558/task/30613/stat : 30613 (java) S 30555 30558 27142 0 -1 1077944384 18666 13290 0 0 1206 51 4 3 20 0 15 0 66176182 11180277760 267233 33554432000 4194304 4196468 140721492440144 140453655972112 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30614] ppid=30555 vsize=10918240 memory=1068932 CPUtime=12.61 cores=0,2,4,6
/proc/30558/task/30614/stat : 30614 (java) S 30555 30558 27142 0 -1 1077944384 18666 13290 0 0 1204 50 4 3 20 0 15 0 66176182 11180277760 267233 33554432000 4194304 4196468 140721492440144 140453654919824 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30615] ppid=30555 vsize=10918240 memory=281328948237648 CPUtime=12.65 cores=0,2,4,6
/proc/30558/task/30615/stat : 30615 (java) S 30555 30558 27142 0 -1 1077944384 17717 13290 0 0 1209 49 4 3 20 0 15 0 66176183 11180277760 267233 33554432000 4194304 4196468 140721492440144 140453653867024 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30616] ppid=30555 vsize=10918240 memory=1068932 CPUtime=10.5 cores=0,2,4,6
/proc/30558/task/30616/stat : 30616 (java) S 30555 30558 27142 0 -1 1077944384 16645 13290 0 0 1000 43 4 3 20 0 15 0 66176184 11180277760 267233 33554432000 4194304 4196468 140721492440144 140453541784176 140454082316930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30617] ppid=30555 vsize=10918240 memory=1068932 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30617/stat : 30617 (java) S 30555 30558 27142 0 -1 1077944384 37 13290 0 0 0 0 4 3 20 0 15 0 66176184 11180277760 267233 33554432000 4194304 4196468 140721492440144 140453540730208 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30618] ppid=30555 vsize=10918240 memory=1068932 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30618/stat : 30618 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176185 11180277760 267233 33554432000 4194304 4196468 140721492440144 140452946765440 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30619] ppid=30555 vsize=10918240 memory=1068932 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30619/stat : 30619 (java) S 30555 30558 27142 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 66176187 11180277760 267233 33554432000 4194304 4196468 140721492440144 140452639365712 140454082324379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30620] ppid=30555 vsize=10918240 memory=1068932 CPUtime=8.68 cores=0,2,4,6
/proc/30558/task/30620/stat : 30620 (java) S 30555 30558 27142 0 -1 1077944384 41132 13290 0 0 853 8 4 3 20 0 15 0 66176187 11180277760 267233 33554432000 4194304 4196468 140721492440144 140453507172464 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30621] ppid=30555 vsize=10918240 memory=1068932 CPUtime=7.56 cores=0,2,4,6
/proc/30558/task/30621/stat : 30621 (java) S 30555 30558 27142 0 -1 1077944384 26894 13290 0 0 744 5 4 3 20 0 15 0 66176187 11180277760 267233 33554432000 4194304 4196468 140721492440144 140453506119664 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30622] ppid=30555 vsize=10918240 memory=1068932 CPUtime=3.83 cores=0,2,4,6
/proc/30558/task/30622/stat : 30622 (java) S 30555 30558 27142 0 -1 1077944384 31768 13290 0 0 369 7 4 3 20 0 15 0 66176187 11180277760 267233 33554432000 4194304 4196468 140721492440144 140453505067376 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30623] ppid=30555 vsize=10918240 memory=56 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30623/stat : 30623 (java) S 30555 30558 27142 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 66176187 11180277760 267233 33554432000 4194304 4196468 140721492440144 140452605807072 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30624] ppid=30555 vsize=10918240 memory=1068932 CPUtime=1.36 cores=0,2,4,6
/proc/30558/task/30624/stat : 30624 (java) S 30555 30558 27142 0 -1 1077944384 1061 13290 0 0 64 65 4 3 20 0 15 0 66176188 11180277760 267233 33554432000 4194304 4196468 140721492440144 140453504015280 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
Current children cumulated CPU time: 2438.2 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1068932 KiB
[startup+2442.3 s]
/proc/loadavg: 1.20 1.33 1.39 3/215 30849
/proc/meminfo: memFree=22681104/32770624 swapFree=67108860/67108860
[pid=30558] ppid=30555 vsize=10918240 memory=1068932 CPUtime=2499.14 cores=0,2,4,6
/proc/30558/stat : 30558 (java) S 30555 30558 27142 0 -1 1077944320 299125 13290 0 0 249570 337 4 3 20 0 15 0 66176173 11180277760 267233 33554432000 4194304 4196468 140721492440144 140721492422688 140454082305783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
/proc/30558/statm: 2729560 267233 3531 1 0 2691213 0
[pid=30558/tid=30611] ppid=30555 vsize=10918240 memory=1068932 CPUtime=2415.56 cores=0,2,4,6
/proc/30558/task/30611/stat : 30611 (java) R 30555 30558 27142 0 -1 4202560 106179 13290 0 0 241498 51 4 3 20 0 15 0 66176182 11180277760 267233 33554432000 4194304 4196468 140721492440144 140454054141200 140453687603279 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30612] ppid=30555 vsize=10918240 memory=1068932 CPUtime=12.99 cores=0,2,4,6
/proc/30558/task/30612/stat : 30612 (java) S 30555 30558 27142 0 -1 1077944384 16865 13290 0 0 1244 48 4 3 20 0 15 0 66176182 11180277760 267233 33554432000 4194304 4196468 140721492440144 140454086547856 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30613] ppid=30555 vsize=10918240 memory=1068932 CPUtime=12.96 cores=0,2,4,6
/proc/30558/task/30613/stat : 30613 (java) S 30555 30558 27142 0 -1 1077944384 18828 13290 0 0 1237 52 4 3 20 0 15 0 66176182 11180277760 267233 33554432000 4194304 4196468 140721492440144 140453655972112 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30614] ppid=30555 vsize=10918240 memory=1624 CPUtime=12.95 cores=0,2,4,6
/proc/30558/task/30614/stat : 30614 (java) S 30555 30558 27142 0 -1 1077944384 18828 13290 0 0 1236 52 4 3 20 0 15 0 66176182 11180277760 267233 33554432000 4194304 4196468 140721492440144 140453654919824 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30615] ppid=30555 vsize=10918240 memory=1068932 CPUtime=12.98 cores=0,2,4,6
/proc/30558/task/30615/stat : 30615 (java) S 30555 30558 27142 0 -1 1077944384 17860 13290 0 0 1241 50 4 3 20 0 15 0 66176183 11180277760 267233 33554432000 4194304 4196468 140721492440144 140453653867024 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30616] ppid=30555 vsize=10918240 memory=1068932 CPUtime=10.76 cores=0,2,4,6
/proc/30558/task/30616/stat : 30616 (java) S 30555 30558 27142 0 -1 1077944384 17024 13290 0 0 1025 44 4 3 20 0 15 0 66176184 11180277760 267233 33554432000 4194304 4196468 140721492440144 140453541784176 140454082316930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30617] ppid=30555 vsize=10918240 memory=1068932 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30617/stat : 30617 (java) S 30555 30558 27142 0 -1 1077944384 37 13290 0 0 0 0 4 3 20 0 15 0 66176184 11180277760 267233 33554432000 4194304 4196468 140721492440144 140453540730208 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30618] ppid=30555 vsize=10918240 memory=1068932 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30618/stat : 30618 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176185 11180277760 267233 33554432000 4194304 4196468 140721492440144 140452946765440 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30619] ppid=30555 vsize=10918240 memory=1068932 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30619/stat : 30619 (java) S 30555 30558 27142 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 66176187 11180277760 267233 33554432000 4194304 4196468 140721492440144 140452639365712 140454082324379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30620] ppid=30555 vsize=10918240 memory=1068932 CPUtime=8.69 cores=0,2,4,6
/proc/30558/task/30620/stat : 30620 (java) S 30555 30558 27142 0 -1 1077944384 41326 13290 0 0 854 8 4 3 20 0 15 0 66176187 11180277760 267233 33554432000 4194304 4196468 140721492440144 140453507172464 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30621] ppid=30555 vsize=10918240 memory=1068932 CPUtime=7.56 cores=0,2,4,6
/proc/30558/task/30621/stat : 30621 (java) S 30555 30558 27142 0 -1 1077944384 26898 13290 0 0 744 5 4 3 20 0 15 0 66176187 11180277760 267233 33554432000 4194304 4196468 140721492440144 140453506119664 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30622] ppid=30555 vsize=10918240 memory=1068932 CPUtime=3.83 cores=0,2,4,6
/proc/30558/task/30622/stat : 30622 (java) S 30555 30558 27142 0 -1 1077944384 32004 13290 0 0 369 7 4 3 20 0 15 0 66176187 11180277760 267233 33554432000 4194304 4196468 140721492440144 140453505067376 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30623] ppid=30555 vsize=10918240 memory=1068932 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30623/stat : 30623 (java) S 30555 30558 27142 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 66176187 11180277760 267233 33554432000 4194304 4196468 140721492440144 140452605807072 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30624] ppid=30555 vsize=10918240 memory=1068932 CPUtime=1.39 cores=0,2,4,6
/proc/30558/task/30624/stat : 30624 (java) S 30555 30558 27142 0 -1 1077944384 1078 13290 0 0 66 66 4 3 20 0 15 0 66176188 11180277760 267233 33554432000 4194304 4196468 140721492440144 140453504015280 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
Current children cumulated CPU time: 2499.14 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1068932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2462.9 s]
/proc/loadavg: 1.15 1.31 1.38 3/215 30849
/proc/meminfo: memFree=22679424/32770624 swapFree=67108860/67108860
[pid=30558] ppid=30555 vsize=10918240 memory=1070980 CPUtime=2520.08 cores=0,2,4,6
/proc/30558/stat : 30558 (java) S 30555 30558 27142 0 -1 1077944320 299385 13290 0 0 251661 340 4 3 20 0 15 0 66176173 11180277760 267745 33554432000 4194304 4196468 140721492440144 140721492422688 140454082305783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
/proc/30558/statm: 2729560 267745 3531 1 0 2691213 0
[pid=30558/tid=30611] ppid=30555 vsize=10918240 memory=1070980 CPUtime=2435.91 cores=0,2,4,6
/proc/30558/task/30611/stat : 30611 (java) R 30555 30558 27142 0 -1 4202560 106366 13290 0 0 243533 51 4 3 20 0 15 0 66176182 11180277760 267745 33554432000 4194304 4196468 140721492440144 140454054141392 140453708653023 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30612] ppid=30555 vsize=10918240 memory=1070980 CPUtime=13.11 cores=0,2,4,6
/proc/30558/task/30612/stat : 30612 (java) S 30555 30558 27142 0 -1 1077944384 16872 13290 0 0 1256 48 4 3 20 0 15 0 66176182 11180277760 267745 33554432000 4194304 4196468 140721492440144 140454086547856 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30613] ppid=30555 vsize=10918240 memory=1070980 CPUtime=13.09 cores=0,2,4,6
/proc/30558/task/30613/stat : 30613 (java) S 30555 30558 27142 0 -1 1077944384 18835 13290 0 0 1249 53 4 3 20 0 15 0 66176182 11180277760 267745 33554432000 4194304 4196468 140721492440144 140453655972112 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30614] ppid=30555 vsize=10918240 memory=1070980 CPUtime=13.06 cores=0,2,4,6
/proc/30558/task/30614/stat : 30614 (java) S 30555 30558 27142 0 -1 1077944384 18831 13290 0 0 1247 52 4 3 20 0 15 0 66176182 11180277760 267745 33554432000 4194304 4196468 140721492440144 140453654919824 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30615] ppid=30555 vsize=10918240 memory=1070980 CPUtime=13.09 cores=0,2,4,6
/proc/30558/task/30615/stat : 30615 (java) S 30555 30558 27142 0 -1 1077944384 17867 13290 0 0 1252 50 4 3 20 0 15 0 66176183 11180277760 267745 33554432000 4194304 4196468 140721492440144 140453653867024 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30616] ppid=30555 vsize=10918240 memory=1068932 CPUtime=10.86 cores=0,2,4,6
/proc/30558/task/30616/stat : 30616 (java) S 30555 30558 27142 0 -1 1077944384 17061 13290 0 0 1035 44 4 3 20 0 15 0 66176184 11180277760 267745 33554432000 4194304 4196468 140721492440144 140453541784176 140454082316930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30617] ppid=30555 vsize=10918240 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30617/stat : 30617 (java) S 30555 30558 27142 0 -1 1077944384 37 13290 0 0 0 0 4 3 20 0 15 0 66176184 11180277760 267745 33554432000 4194304 4196468 140721492440144 140453540730208 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30618] ppid=30555 vsize=10918240 memory=1068932 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30618/stat : 30618 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176185 11180277760 267745 33554432000 4194304 4196468 140721492440144 140452946765440 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30619] ppid=30555 vsize=10918240 memory=15872 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30619/stat : 30619 (java) S 30555 30558 27142 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 66176187 11180277760 267745 33554432000 4194304 4196468 140721492440144 140452639365712 140454082324379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30620] ppid=30555 vsize=10918240 memory=1070980 CPUtime=8.69 cores=0,2,4,6
/proc/30558/task/30620/stat : 30620 (java) S 30555 30558 27142 0 -1 1077944384 41326 13290 0 0 854 8 4 3 20 0 15 0 66176187 11180277760 267745 33554432000 4194304 4196468 140721492440144 140453507172464 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30621] ppid=30555 vsize=10918240 memory=1070980 CPUtime=7.56 cores=0,2,4,6
/proc/30558/task/30621/stat : 30621 (java) S 30555 30558 27142 0 -1 1077944384 26898 13290 0 0 744 5 4 3 20 0 15 0 66176187 11180277760 267745 33554432000 4194304 4196468 140721492440144 140453506119664 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30622] ppid=30555 vsize=10918240 memory=7 CPUtime=3.83 cores=0,2,4,6
/proc/30558/task/30622/stat : 30622 (java) S 30555 30558 27142 0 -1 1077944384 32004 13290 0 0 369 7 4 3 20 0 15 0 66176187 11180277760 267745 33554432000 4194304 4196468 140721492440144 140453505067376 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30623] ppid=30555 vsize=10918240 memory=1070980 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30623/stat : 30623 (java) S 30555 30558 27142 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 66176187 11180277760 267745 33554432000 4194304 4196468 140721492440144 140452605807072 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30624] ppid=30555 vsize=10918240 memory=1070980 CPUtime=1.4 cores=0,2,4,6
/proc/30558/task/30624/stat : 30624 (java) S 30555 30558 27142 0 -1 1077944384 1090 13290 0 0 66 67 4 3 20 0 15 0 66176188 11180277760 267745 33554432000 4194304 4196468 140721492440144 140453504015280 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1070980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2462.93 s]
# the end of solver process 30558 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.68 s, system=3.44675 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2462.9 s]
/proc/loadavg: 1.15 1.31 1.38 3/215 30849
/proc/meminfo: memFree=22679424/32770624 swapFree=67108860/67108860
[pid=30558] ppid=30555 vsize=10918240 memory=1070980 CPUtime=2520.08 cores=0,2,4,6
/proc/30558/stat : 30558 (java) S 30555 30558 27142 0 -1 1077944320 299385 13290 0 0 251661 340 4 3 20 0 15 0 66176173 11180277760 267745 33554432000 4194304 4196468 140721492440144 140721492422688 140454082305783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
/proc/30558/statm: 2729560 267745 3531 1 0 2691213 0
[pid=30558/tid=30611] ppid=30555 vsize=10918240 memory=1070980 CPUtime=2435.91 cores=0,2,4,6
/proc/30558/task/30611/stat : 30611 (java) R 30555 30558 27142 0 -1 4202560 106366 13290 0 0 243533 51 4 3 20 0 15 0 66176182 11180277760 267745 33554432000 4194304 4196468 140721492440144 140454054141392 140453708653023 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30612] ppid=30555 vsize=10918240 memory=1070980 CPUtime=13.11 cores=0,2,4,6
/proc/30558/task/30612/stat : 30612 (java) S 30555 30558 27142 0 -1 1077944384 16872 13290 0 0 1256 48 4 3 20 0 15 0 66176182 11180277760 267745 33554432000 4194304 4196468 140721492440144 140454086547856 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30613] ppid=30555 vsize=10918240 memory=1070980 CPUtime=13.09 cores=0,2,4,6
/proc/30558/task/30613/stat : 30613 (java) S 30555 30558 27142 0 -1 1077944384 18835 13290 0 0 1249 53 4 3 20 0 15 0 66176182 11180277760 267745 33554432000 4194304 4196468 140721492440144 140453655972112 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30614] ppid=30555 vsize=10918240 memory=1070980 CPUtime=13.06 cores=0,2,4,6
/proc/30558/task/30614/stat : 30614 (java) S 30555 30558 27142 0 -1 1077944384 18831 13290 0 0 1247 52 4 3 20 0 15 0 66176182 11180277760 267745 33554432000 4194304 4196468 140721492440144 140453654919824 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30615] ppid=30555 vsize=10918240 memory=1070980 CPUtime=13.09 cores=0,2,4,6
/proc/30558/task/30615/stat : 30615 (java) S 30555 30558 27142 0 -1 1077944384 17867 13290 0 0 1252 50 4 3 20 0 15 0 66176183 11180277760 267745 33554432000 4194304 4196468 140721492440144 140453653867024 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30616] ppid=30555 vsize=10918240 memory=1068932 CPUtime=10.86 cores=0,2,4,6
/proc/30558/task/30616/stat : 30616 (java) S 30555 30558 27142 0 -1 1077944384 17061 13290 0 0 1035 44 4 3 20 0 15 0 66176184 11180277760 267745 33554432000 4194304 4196468 140721492440144 140453541784176 140454082316930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30617] ppid=30555 vsize=10918240 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30617/stat : 30617 (java) S 30555 30558 27142 0 -1 1077944384 37 13290 0 0 0 0 4 3 20 0 15 0 66176184 11180277760 267745 33554432000 4194304 4196468 140721492440144 140453540730208 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30618] ppid=30555 vsize=10918240 memory=1068932 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30618/stat : 30618 (java) S 30555 30558 27142 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 66176185 11180277760 267745 33554432000 4194304 4196468 140721492440144 140452946765440 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30619] ppid=30555 vsize=10918240 memory=15872 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30619/stat : 30619 (java) S 30555 30558 27142 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 66176187 11180277760 267745 33554432000 4194304 4196468 140721492440144 140452639365712 140454082324379 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30620] ppid=30555 vsize=10918240 memory=1070980 CPUtime=8.69 cores=0,2,4,6
/proc/30558/task/30620/stat : 30620 (java) S 30555 30558 27142 0 -1 1077944384 41326 13290 0 0 854 8 4 3 20 0 15 0 66176187 11180277760 267745 33554432000 4194304 4196468 140721492440144 140453507172464 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30621] ppid=30555 vsize=10918240 memory=1070980 CPUtime=7.56 cores=0,2,4,6
/proc/30558/task/30621/stat : 30621 (java) S 30555 30558 27142 0 -1 1077944384 26898 13290 0 0 744 5 4 3 20 0 15 0 66176187 11180277760 267745 33554432000 4194304 4196468 140721492440144 140453506119664 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30622] ppid=30555 vsize=10918240 memory=7 CPUtime=3.83 cores=0,2,4,6
/proc/30558/task/30622/stat : 30622 (java) S 30555 30558 27142 0 -1 1077944384 32004 13290 0 0 369 7 4 3 20 0 15 0 66176187 11180277760 267745 33554432000 4194304 4196468 140721492440144 140453505067376 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30623] ppid=30555 vsize=10918240 memory=1070980 CPUtime=0.07 cores=0,2,4,6
/proc/30558/task/30623/stat : 30623 (java) S 30555 30558 27142 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 66176187 11180277760 267745 33554432000 4194304 4196468 140721492440144 140452605807072 140454082315989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
[pid=30558/tid=30624] ppid=30555 vsize=10918240 memory=1070980 CPUtime=1.4 cores=0,2,4,6
/proc/30558/task/30624/stat : 30624 (java) S 30555 30558 27142 0 -1 1077944384 1090 13290 0 0 66 67 4 3 20 0 15 0 66176188 11180277760 267745 33554432000 4194304 4196468 140721492440144 140453504015280 140454082316930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140721492441259 140721492444508 140721492444508 140721492447183 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1070980 KiB
Child status: 143
Real time (s): 2462.93
CPU time (s): 2520.13
CPU user time (s): 2516.68
CPU system time (s): 3.44675
CPU usage (%): 102.322
Max. virtual memory (cumulated for all children) (KiB): 10918936
Max. memory (cumulated for all children) (KiB): 1097908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.68
system time used= 3.44675
maximum resident set size= 1100460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313528
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 270803
involuntary context switches= 8131
# summary of solver processes directly reported to runsolver:
# pid: 30558
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.68
# total CPU system time (s): 3.44675
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7827 second user time and 19.6824 second system time
The end