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 (14440 MiB free)
memory of node 1: 16384 MiB (15235 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392120-1568307285/watcher-4392120-1568307285 -o /tmp/evaluation-result-4392120-1568307285/solver-4392120-1568307285 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568307244-30927 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=900359304 HOME/instance-4392120-1568307285.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30952, runsolver pid=30947
Current StackSize limit: 8192 KiB
[startup+0.100158 s]*
/proc/loadavg: 1.00 1.03 1.25 3/225 31029
/proc/meminfo: memFree=30361840/32770624 swapFree=66915716/67108860
[pid=30952] ppid=30947 vsize=113256 memory=1612 CPUtime=0.01 cores=1,3,5,7
/proc/30952/stat : 30952 (bash) S 30947 30952 30895 0 -1 4202496 888 5697 1 1 0 0 0 1 20 0 1 0 406979073 115974144 403 33554432000 4194304 5098028 140725119323024 140725119317032 140249399974912 0 0 4100 65536 18446744071580971376 0 0 17 3 0 0 3 0 0 7196144 7232144 36749312 140725119329301 140725119329425 140725119329425 140725119332334 0
/proc/30952/statm: 28314 403 320 221 0 119 0
[pid=31008] ppid=30952 vsize=113256 memory=704 CPUtime=0 cores=1,3,5,7
/proc/31008/stat : 31008 (bash) S 30952 30952 30895 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 1 0 406979078 115974144 176 33554432000 4194304 5098028 140725119323024 140725119315704 140249399800444 0 65536 4096 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36749312 140725119329301 140725119329425 140725119329425 140725119332334 0
/proc/31008/statm: 28314 176 93 221 0 119 0
[pid=31010] ppid=31008 vsize=10260324 memory=20400 CPUtime=0.04 cores=1,3,5,7
/proc/31010/stat : 31010 (java) S 31008 30952 30895 0 -1 1077944320 3981 0 0 0 3 1 0 0 20 0 9 0 406979078 10506571776 5100 33554432000 4194304 4196468 140721292015040 140721291997584 139861193690871 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23019520 140721292018828 140721292018842 140721292018842 140721292021711 0
/proc/31010/statm: 2565081 5100 2192 1 0 2527622 0
[pid=31010/tid=31014] ppid=31008 vsize=10260324 memory=7751702667093440019 CPUtime=0.03 cores=1,3,5,7
/proc/31010/task/31014/stat : 31014 (java) R 31008 30952 30895 0 -1 4202560 2638 0 0 0 3 0 0 0 20 0 9 0 406979079 10506571776 5100 33554432000 4194304 4196468 140721292015040 139861197926264 139861193712797 0 4 0 16800971 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23019520 140721292018828 140721292018842 140721292018842 140721292021711 0
[pid=31010/tid=31016] ppid=31008 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31010/task/31016/stat : 31016 (java) S 31008 30952 30895 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 406979079 10506571776 5100 33554432000 4194304 4196468 140721292015040 139861119765392 139861193701077 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23019520 140721292018828 140721292018842 140721292018842 140721292021711 0
[pid=31010/tid=31017] ppid=31008 vsize=10260324 memory=139944565302912 CPUtime=0 cores=1,3,5,7
/proc/31010/task/31017/stat : 31017 (java) S 31008 30952 30895 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 406979079 10506571776 5100 33554432000 4194304 4196468 140721292015040 139861118712592 139861193701077 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23019520 140721292018828 140721292018842 140721292018842 140721292021711 0
[pid=31010/tid=31019] ppid=31008 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31010/task/31019/stat : 31019 (java) S 31008 30952 30895 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 406979079 10506571776 5100 33554432000 4194304 4196468 140721292015040 139861117660304 139861193701077 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23019520 140721292018828 140721292018842 140721292018842 140721292021711 0
[pid=31010/tid=31020] ppid=31008 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31010/task/31020/stat : 31020 (java) S 31008 30952 30895 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 406979079 10506571776 5100 33554432000 4194304 4196468 140721292015040 139861116607504 139861193701077 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23019520 140721292018828 140721292018842 140721292018842 140721292021711 0
[pid=31010/tid=31024] ppid=31008 vsize=10260324 memory=139944565302912 CPUtime=0 cores=1,3,5,7
/proc/31010/task/31024/stat : 31024 (java) S 31008 30952 30895 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 406979081 10506571776 5100 33554432000 4194304 4196468 140721292015040 139860684925040 139861193702018 0 0 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23019520 140721292018828 140721292018842 140721292018842 140721292021711 0
[pid=31010/tid=31026] ppid=31008 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31010/task/31026/stat : 31026 (java) S 31008 30952 30895 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 406979081 10506571776 5100 33554432000 4194304 4196468 140721292015040 139860683871008 139861193701077 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23019520 140721292018828 140721292018842 140721292018842 140721292021711 0
[pid=31010/tid=31028] ppid=31008 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31010/task/31028/stat : 31028 (java) S 31008 30952 30895 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 406979081 10506571776 5100 33554432000 4194304 4196468 140721292015040 139860682818672 139861193701077 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23019520 140721292018828 140721292018842 140721292018842 140721292021711 0
[pid=31012] ppid=31008 vsize=113488 memory=968 CPUtime=0 cores=1,3,5,7
/proc/31012/stat : 31012 (awk) S 31008 30952 30895 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 406979078 116211712 242 33554432000 4194304 4609284 140728144211872 140728144211048 139945874942976 0 0 4096 1216 18446744071580971376 0 0 17 5 0 0 0 0 0 6708720 6711756 31436800 140728144213180 140728144213210 140728144213210 140728144216047 0
/proc/31012/statm: 28372 242 204 102 0 88 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 23684 KiB
[startup+0.210883 s]*
/proc/loadavg: 1.00 1.03 1.25 3/219 31075
/proc/meminfo: memFree=30355840/32770624 swapFree=66915716/67108860
[pid=30952] ppid=30947 vsize=10355560 memory=25388 CPUtime=0.12 cores=1,3,5,7
/proc/30952/stat : 30952 (java) S 30947 30952 30895 0 -1 1077944320 5123 13006 1 2 3 1 5 3 20 0 9 0 406979073 10604093440 6347 33554432000 4194304 4196468 140731322671344 140731322653888 139648748769015 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 3 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
/proc/30952/statm: 2588890 6347 2147 1 0 2551431 0
[pid=30952/tid=31060] ppid=30947 vsize=10355560 memory=7022364594140610616 CPUtime=0.12 cores=1,3,5,7
/proc/30952/task/31060/stat : 31060 (java) R 30947 30952 30895 0 -1 4202560 2898 13006 0 2 3 1 5 3 20 0 9 0 406979090 10604093440 6347 33554432000 4194304 4196468 140731322671344 139648720605048 139648734451507 0 4 0 16800971 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31062] ppid=30947 vsize=10355560 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31062/stat : 31062 (java) S 30947 30952 30895 0 -1 1077944384 1 13006 0 2 0 0 5 3 20 0 9 0 406979091 10604093440 6347 33554432000 4194304 4196468 140731322671344 139648753011856 139648748779221 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31063] ppid=30947 vsize=10355560 memory=288370320717014656 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31063/stat : 31063 (java) S 30947 30952 30895 0 -1 1077944384 2 13006 0 2 0 0 5 3 20 0 9 0 406979091 10604093440 6347 33554432000 4194304 4196468 140731322671344 139648651901968 139648748779221 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31064] ppid=30947 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31064/stat : 31064 (java) S 30947 30952 30895 0 -1 1077944384 2 13006 0 2 0 0 5 3 20 0 9 0 406979091 10604093440 6347 33554432000 4194304 4196468 140731322671344 139648650849168 139648748779221 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31065] ppid=30947 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31065/stat : 31065 (java) S 30947 30952 30895 0 -1 1077944384 2 13006 0 2 0 0 5 3 20 0 9 0 406979091 10604093440 6347 33554432000 4194304 4196468 140731322671344 139648649796368 139648748779221 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31070] ppid=30947 vsize=10355560 memory=139944565302912 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31070/stat : 31070 (java) S 30947 30952 30895 0 -1 1077944384 2 13006 0 2 0 0 5 3 20 0 9 0 406979092 10604093440 6347 33554432000 4194304 4196468 140731322671344 139648208214384 139648748780162 0 0 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31072] ppid=30947 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31072/stat : 31072 (java) S 30947 30952 30895 0 -1 1077944384 13 13006 0 2 0 0 5 3 20 0 9 0 406979093 10604093440 6347 33554432000 4194304 4196468 140731322671344 139648110158880 139648748779221 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31075] ppid=30947 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31075/stat : 31075 (java) S 30947 30952 30895 0 -1 1077944384 1 13006 0 2 0 0 5 3 20 0 9 0 406979093 10604093440 6347 33554432000 4194304 4196468 140731322671344 139647506178928 139648748779221 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 25388 KiB
[startup+0.310294 s]*
/proc/loadavg: 1.00 1.03 1.25 3/231 31087
/proc/meminfo: memFree=30332276/32770624 swapFree=66915716/67108860
[pid=30952] ppid=30947 vsize=10819964 memory=42472 CPUtime=0.29 cores=1,3,5,7
/proc/30952/stat : 30952 (java) S 30947 30952 30895 0 -1 1077944320 8335 13006 1 2 18 3 5 3 20 0 15 0 406979073 11079643136 10618 33554432000 4194304 4196468 140731322671344 140731322653888 139648748769015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 3 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
/proc/30952/statm: 2704991 10618 2992 1 0 2667405 0
[pid=30952/tid=31060] ppid=30947 vsize=10819964 memory=-5504934085814682416 CPUtime=0.21 cores=1,3,5,7
/proc/30952/task/31060/stat : 31060 (java) R 30947 30952 30895 0 -1 4202560 4855 13006 0 2 12 1 5 3 20 0 15 0 406979090 11079643136 10618 33554432000 4194304 4196468 140731322671344 139648720567024 139648741448733 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31062] ppid=30947 vsize=10819964 memory=9 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31062/stat : 31062 (java) S 30947 30952 30895 0 -1 1077944384 1 13006 0 2 0 0 5 3 20 0 15 0 406979091 11079643136 10618 33554432000 4194304 4196468 140731322671344 139648753011856 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31063] ppid=30947 vsize=10819964 memory=279889130604608 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31063/stat : 31063 (java) S 30947 30952 30895 0 -1 1077944384 2 13006 0 2 0 0 5 3 20 0 15 0 406979091 11079643136 10618 33554432000 4194304 4196468 140731322671344 139648651901968 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31064] ppid=30947 vsize=10819964 memory=139944565309905 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31064/stat : 31064 (java) S 30947 30952 30895 0 -1 1077944384 2 13006 0 2 0 0 5 3 20 0 15 0 406979091 11079643136 10618 33554432000 4194304 4196468 140731322671344 139648650849168 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31065] ppid=30947 vsize=10819964 memory=170926131 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31065/stat : 31065 (java) S 30947 30952 30895 0 -1 1077944384 2 13006 0 2 0 0 5 3 20 0 15 0 406979091 11079643136 10618 33554432000 4194304 4196468 140731322671344 139648649796368 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31070] ppid=30947 vsize=10819964 memory=288230574492221466 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31070/stat : 31070 (java) S 30947 30952 30895 0 -1 1077944384 2 13006 0 2 0 0 5 3 20 0 15 0 406979092 11079643136 10618 33554432000 4194304 4196468 140731322671344 139648208214384 139648748780162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31072] ppid=30947 vsize=10819964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31072/stat : 31072 (java) S 30947 30952 30895 0 -1 1077944384 13 13006 0 2 0 0 5 3 20 0 15 0 406979093 11079643136 10684 33554432000 4194304 4196468 140731322671344 139648110158880 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31075] ppid=30947 vsize=10819964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31075/stat : 31075 (java) S 30947 30952 30895 0 -1 1077944384 1 13006 0 2 0 0 5 3 20 0 15 0 406979093 11079643136 10684 33554432000 4194304 4196468 140731322671344 139647506178928 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31076] ppid=30947 vsize=10819964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31076/stat : 31076 (java) S 30947 30952 30895 0 -1 1077944384 3 13006 0 2 0 0 5 3 20 0 15 0 406979096 11079643136 10684 33554432000 4194304 4196468 140731322671344 139647265888080 139648748787611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31077] ppid=30947 vsize=10819964 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30952/task/31077/stat : 31077 (java) S 30947 30952 30895 0 -1 1077944384 540 13006 0 2 1 0 5 3 20 0 15 0 406979096 11079643136 10750 33554432000 4194304 4196468 140731322671344 139648207162224 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31078] ppid=30947 vsize=10819964 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30952/task/31078/stat : 31078 (java) S 30947 30952 30895 0 -1 1077944384 69 13006 0 2 1 0 5 3 20 0 15 0 406979096 11079643136 10750 33554432000 4194304 4196468 140731322671344 139648206109424 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31079] ppid=30947 vsize=10819964 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/30952/task/31079/stat : 31079 (java) S 30947 30952 30895 0 -1 1077944384 636 13006 0 2 3 0 5 3 20 0 15 0 406979096 11079643136 10750 33554432000 4194304 4196468 140731322671344 139648205056624 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31084] ppid=30947 vsize=10819964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31084/stat : 31084 (java) S 30947 30952 30895 0 -1 1077944384 3 13006 0 2 0 0 5 3 20 0 15 0 406979096 11079643136 10750 33554432000 4194304 4196468 140731322671344 139647232330464 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31087] ppid=30947 vsize=10819964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31087/stat : 31087 (java) S 30947 30952 30895 0 -1 1077944384 1 13006 0 2 0 0 5 3 20 0 15 0 406979096 11079643136 10750 33554432000 4194304 4196468 140731322671344 139648204004016 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10819964 KiB
Current children cumulated memory: 42472 KiB
[startup+0.709613 s]
/proc/loadavg: 1.00 1.03 1.25 3/231 31087
/proc/meminfo: memFree=30298784/32770624 swapFree=66915716/67108860
[pid=30952] ppid=30947 vsize=10822292 memory=73052 CPUtime=0.92 cores=1,3,5,7
/proc/30952/stat : 30952 (java) S 30947 30952 30895 0 -1 1077944320 14078 13006 1 2 78 6 5 3 20 0 15 0 406979073 11082027008 18263 33554432000 4194304 4196468 140731322671344 140731322653888 139648748769015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 3 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
/proc/30952/statm: 2705573 18263 3480 1 0 2667661 0
[pid=30952/tid=31060] ppid=30947 vsize=10822292 memory=266507840956817 CPUtime=0.58 cores=1,3,5,7
/proc/30952/task/31060/stat : 31060 (java) R 30947 30952 30895 0 -1 4202560 9879 13006 0 2 46 4 5 3 20 0 15 0 406979090 11082027008 18263 33554432000 4194304 4196468 140731322671344 139648720603232 139648732849502 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31062] ppid=30947 vsize=10822292 memory=288230583166042425 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31062/stat : 31062 (java) S 30947 30952 30895 0 -1 1077944384 1 13006 0 2 0 0 5 3 20 0 15 0 406979091 11082027008 18263 33554432000 4194304 4196468 140731322671344 139648753011856 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31063] ppid=30947 vsize=10822292 memory=16097061523163479 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31063/stat : 31063 (java) S 30947 30952 30895 0 -1 1077944384 2 13006 0 2 0 0 5 3 20 0 15 0 406979091 11082027008 18263 33554432000 4194304 4196468 140731322671344 139648651901968 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31064] ppid=30947 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31064/stat : 31064 (java) S 30947 30952 30895 0 -1 1077944384 2 13006 0 2 0 0 5 3 20 0 15 0 406979091 11082027008 18263 33554432000 4194304 4196468 140731322671344 139648650849168 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31065] ppid=30947 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31065/stat : 31065 (java) S 30947 30952 30895 0 -1 1077944384 2 13006 0 2 0 0 5 3 20 0 15 0 406979091 11082027008 18263 33554432000 4194304 4196468 140731322671344 139648649796368 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31070] ppid=30947 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31070/stat : 31070 (java) S 30947 30952 30895 0 -1 1077944384 5 13006 0 2 0 0 5 3 20 0 15 0 406979092 11082027008 18263 33554432000 4194304 4196468 140731322671344 139648208214384 139648748780162 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31072] ppid=30947 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31072/stat : 31072 (java) S 30947 30952 30895 0 -1 1077944384 13 13006 0 2 0 0 5 3 20 0 15 0 406979093 11082027008 18263 33554432000 4194304 4196468 140731322671344 139648110158880 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31075] ppid=30947 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31075/stat : 31075 (java) S 30947 30952 30895 0 -1 1077944384 1 13006 0 2 0 0 5 3 20 0 15 0 406979093 11082027008 18263 33554432000 4194304 4196468 140731322671344 139647506178928 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31076] ppid=30947 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31076/stat : 31076 (java) S 30947 30952 30895 0 -1 1077944384 3 13006 0 2 0 0 5 3 20 0 15 0 406979096 11082027008 18263 33554432000 4194304 4196468 140731322671344 139647265888080 139648748787611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31077] ppid=30947 vsize=10822292 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/30952/task/31077/stat : 31077 (java) R 30947 30952 30895 0 -1 4202560 904 13006 0 2 9 0 5 3 20 0 15 0 406979096 11082027008 18263 33554432000 4194304 4196468 140731322671344 139648207148248 139648730286899 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31078] ppid=30947 vsize=10822292 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/30952/task/31078/stat : 31078 (java) R 30947 30952 30895 0 -1 4202560 276 13006 0 2 7 0 5 3 20 0 15 0 406979096 11082027008 18263 33554432000 4194304 4196468 140731322671344 139648206099808 139648732665011 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31079] ppid=30947 vsize=10822292 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/30952/task/31079/stat : 31079 (java) S 30947 30952 30895 0 -1 1077944384 781 13006 0 2 14 0 5 3 20 0 15 0 406979096 11082027008 18263 33554432000 4194304 4196468 140731322671344 139648205056624 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31084] ppid=30947 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31084/stat : 31084 (java) S 30947 30952 30895 0 -1 1077944384 3 13006 0 2 0 0 5 3 20 0 15 0 406979096 11082027008 18263 33554432000 4194304 4196468 140731322671344 139647232330464 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31087] ppid=30947 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31087/stat : 31087 (java) S 30947 30952 30895 0 -1 1077944384 1 13006 0 2 0 0 5 3 20 0 15 0 406979096 11082027008 18263 33554432000 4194304 4196468 140731322671344 139648204004016 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
Current children cumulated CPU time: 0.92 s
Current children cumulated vsize: 10822292 KiB
Current children cumulated memory: 73052 KiB
[startup+1.50073 s]
/proc/loadavg: 1.00 1.03 1.25 6/231 31087
/proc/meminfo: memFree=30214468/32770624 swapFree=66915716/67108860
[pid=30952] ppid=30947 vsize=10834656 memory=166160 CPUtime=2.3 cores=1,3,5,7
/proc/30952/stat : 30952 (java) S 30947 30952 30895 0 -1 1077944320 20813 13006 1 2 211 11 5 3 20 0 15 0 406979073 11094687744 41540 33554432000 4194304 4196468 140731322671344 140731322653888 139648748769015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 3 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
/proc/30952/statm: 2708664 41540 3573 1 0 2670733 0
[pid=30952/tid=31060] ppid=30947 vsize=10834656 memory=279888925862520 CPUtime=1.33 cores=1,3,5,7
/proc/30952/task/31060/stat : 31060 (java) R 30947 30952 30895 0 -1 4202560 15015 13006 0 2 118 7 5 3 20 0 15 0 406979090 11094687744 41540 33554432000 4194304 4196468 140731322671344 139648720599472 139648732849502 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31062] ppid=30947 vsize=10834656 memory=139944463060959 CPUtime=0.09 cores=1,3,5,7
/proc/30952/task/31062/stat : 31062 (java) S 30947 30952 30895 0 -1 1077944384 34 13006 0 2 1 0 5 3 20 0 15 0 406979091 11094687744 41540 33554432000 4194304 4196468 140731322671344 139648753011856 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31063] ppid=30947 vsize=10834656 memory=279888926064496 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31063/stat : 31063 (java) S 30947 30952 30895 0 -1 1077944384 81 13006 0 2 0 0 5 3 20 0 15 0 406979091 11094687744 41540 33554432000 4194304 4196468 140731322671344 139648651901968 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31064] ppid=30947 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30952/task/31064/stat : 31064 (java) S 30947 30952 30895 0 -1 1077944384 323 13006 0 2 1 0 5 3 20 0 15 0 406979091 11094687744 41540 33554432000 4194304 4196468 140731322671344 139648650849168 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31065] ppid=30947 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30952/task/31065/stat : 31065 (java) S 30947 30952 30895 0 -1 1077944384 58 13006 0 2 1 0 5 3 20 0 15 0 406979091 11094687744 41540 33554432000 4194304 4196468 140731322671344 139648649796368 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31070] ppid=30947 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30952/task/31070/stat : 31070 (java) S 30947 30952 30895 0 -1 1077944384 139 13006 0 2 1 0 5 3 20 0 15 0 406979092 11094687744 41540 33554432000 4194304 4196468 140731322671344 139648208214384 139648748780162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31072] ppid=30947 vsize=10834656 memory=288230591739199792 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31072/stat : 31072 (java) S 30947 30952 30895 0 -1 1077944384 14 13006 0 2 0 0 5 3 20 0 15 0 406979093 11094687744 41540 33554432000 4194304 4196468 140731322671344 139648110158944 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31075] ppid=30947 vsize=10834656 memory=13571483297383852 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31075/stat : 31075 (java) S 30947 30952 30895 0 -1 1077944384 2 13006 0 2 0 0 5 3 20 0 15 0 406979093 11094687744 41540 33554432000 4194304 4196468 140731322671344 139647506178944 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31076] ppid=30947 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31076/stat : 31076 (java) S 30947 30952 30895 0 -1 1077944384 3 13006 0 2 0 0 5 3 20 0 15 0 406979096 11094687744 41540 33554432000 4194304 4196468 140731322671344 139647265888080 139648748787611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31077] ppid=30947 vsize=10834656 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/30952/task/31077/stat : 31077 (java) R 30947 30952 30895 0 -1 1077944384 1113 13006 0 2 28 0 5 3 20 0 15 0 406979096 11094687744 41540 33554432000 4194304 4196468 140731322671344 139648207162224 139648748780162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31078] ppid=30947 vsize=10834656 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/30952/task/31078/stat : 31078 (java) S 30947 30952 30895 0 -1 1077944384 383 13006 0 2 22 1 5 3 20 0 15 0 406979096 11094687744 41540 33554432000 4194304 4196468 140731322671344 139648206109424 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31079] ppid=30947 vsize=10834656 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/30952/task/31079/stat : 31079 (java) R 30947 30952 30895 0 -1 1077944384 1439 13006 0 2 35 0 5 3 20 0 15 0 406979096 11094687744 41540 33554432000 4194304 4196468 140731322671344 139648205056624 139648748780162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31084] ppid=30947 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31084/stat : 31084 (java) S 30947 30952 30895 0 -1 1077944384 3 13006 0 2 0 0 5 3 20 0 15 0 406979096 11094687744 41540 33554432000 4194304 4196468 140731322671344 139647232330464 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31087] ppid=30947 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
################
# More data... #
################
/proc/30952/task/31060/stat : 31060 (java) R 30947 30952 30895 0 -1 4202560 61926 13006 0 2 223709 53 5 3 20 0 15 0 406979090 11107291136 211087 33554432000 4194304 4196468 140731322671344 139648720605200 139648731290087 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31062] ppid=30947 vsize=10846964 memory=844348 CPUtime=11.8 cores=1,3,5,7
/proc/30952/task/31062/stat : 31062 (java) S 30947 30952 30895 0 -1 1077944384 10953 13006 0 2 1115 57 5 3 20 0 15 0 406979091 11107291136 211087 33554432000 4194304 4196468 140731322671344 139648753011856 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31063] ppid=30947 vsize=10846964 memory=844348 CPUtime=11.81 cores=1,3,5,7
/proc/30952/task/31063/stat : 31063 (java) S 30947 30952 30895 0 -1 1077944384 8973 13006 0 2 1115 58 5 3 20 0 15 0 406979091 11107291136 211087 33554432000 4194304 4196468 140731322671344 139648651901968 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31064] ppid=30947 vsize=10846964 memory=844348 CPUtime=11.79 cores=1,3,5,7
/proc/30952/task/31064/stat : 31064 (java) S 30947 30952 30895 0 -1 1077944384 9733 13006 0 2 1117 54 5 3 20 0 15 0 406979091 11107291136 211087 33554432000 4194304 4196468 140731322671344 139648650849168 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31065] ppid=30947 vsize=10846964 memory=844348 CPUtime=11.8 cores=1,3,5,7
/proc/30952/task/31065/stat : 31065 (java) S 30947 30952 30895 0 -1 1077944384 11961 13006 0 2 1114 58 5 3 20 0 15 0 406979091 11107291136 211087 33554432000 4194304 4196468 140731322671344 139648649796368 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31070] ppid=30947 vsize=10846964 memory=844348 CPUtime=10.63 cores=1,3,5,7
/proc/30952/task/31070/stat : 31070 (java) S 30947 30952 30895 0 -1 1077944384 14140 13006 0 2 1000 55 5 3 20 0 15 0 406979092 11107291136 211087 33554432000 4194304 4196468 140731322671344 139648208214384 139648748780162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31072] ppid=30947 vsize=10846964 memory=844348 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31072/stat : 31072 (java) S 30947 30952 30895 0 -1 1077944384 15 13006 0 2 0 0 5 3 20 0 15 0 406979093 11107291136 211087 33554432000 4194304 4196468 140731322671344 139648110159008 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31075] ppid=30947 vsize=10846964 memory=844348 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31075/stat : 31075 (java) S 30947 30952 30895 0 -1 1077944384 2 13006 0 2 0 0 5 3 20 0 15 0 406979093 11107291136 211087 33554432000 4194304 4196468 140731322671344 139647506178944 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31076] ppid=30947 vsize=10846964 memory=844348 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31076/stat : 31076 (java) S 30947 30952 30895 0 -1 1077944384 3 13006 0 2 0 0 5 3 20 0 15 0 406979096 11107291136 211087 33554432000 4194304 4196468 140731322671344 139647265888080 139648748787611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31077] ppid=30947 vsize=10846964 memory=844348 CPUtime=6.85 cores=1,3,5,7
/proc/30952/task/31077/stat : 31077 (java) S 30947 30952 30895 0 -1 1077944384 25011 13006 0 2 669 8 5 3 20 0 15 0 406979096 11107291136 211087 33554432000 4194304 4196468 140731322671344 139648207162224 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31078] ppid=30947 vsize=10846964 memory=844348 CPUtime=6.87 cores=1,3,5,7
/proc/30952/task/31078/stat : 31078 (java) S 30947 30952 30895 0 -1 1077944384 25381 13006 0 2 671 8 5 3 20 0 15 0 406979096 11107291136 211087 33554432000 4194304 4196468 140731322671344 139648206109424 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31079] ppid=30947 vsize=10846964 memory=844348 CPUtime=4.62 cores=1,3,5,7
/proc/30952/task/31079/stat : 31079 (java) S 30947 30952 30895 0 -1 1077944384 27732 13006 0 2 445 9 5 3 20 0 15 0 406979096 11107291136 211087 33554432000 4194304 4196468 140731322671344 139648205056624 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31084] ppid=30947 vsize=10846964 memory=2116 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31084/stat : 31084 (java) S 30947 30952 30895 0 -1 1077944384 3 13006 0 2 0 0 5 3 20 0 15 0 406979096 11107291136 211087 33554432000 4194304 4196468 140731322671344 139647232330464 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31087] ppid=30947 vsize=10846964 memory=844348 CPUtime=1.38 cores=1,3,5,7
/proc/30952/task/31087/stat : 31087 (java) S 30947 30952 30895 0 -1 1077944384 1043 13006 0 2 57 73 5 3 20 0 15 0 406979096 11107291136 211087 33554432000 4194304 4196468 140731322671344 139648204004016 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
Current children cumulated CPU time: 2314.62 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 844348 KiB
[startup+2322.3 s]
/proc/loadavg: 1.37 1.40 1.41 3/232 31330
/proc/meminfo: memFree=26782696/32770624 swapFree=66915744/67108860
[pid=30952] ppid=30947 vsize=10846964 memory=846396 CPUtime=2375.61 cores=1,3,5,7
/proc/30952/stat : 30952 (java) S 30947 30952 30895 0 -1 1077944320 200616 13006 1 2 237172 381 5 3 20 0 15 0 406979073 11107291136 211599 33554432000 4194304 4196468 140731322671344 140731322653888 139648748769015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 3 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
/proc/30952/statm: 2711741 211599 3624 1 0 2673805 0
[pid=30952/tid=31060] ppid=30947 vsize=10846964 memory=844348 CPUtime=2297.04 cores=1,3,5,7
/proc/30952/task/31060/stat : 31060 (java) R 30947 30952 30895 0 -1 4202560 62662 13006 0 2 229641 55 5 3 20 0 15 0 406979090 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648720605216 139648342689750 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31062] ppid=30947 vsize=10846964 memory=844348 CPUtime=12.14 cores=1,3,5,7
/proc/30952/task/31062/stat : 31062 (java) S 30947 30952 30895 0 -1 1077944384 11363 13006 0 2 1147 59 5 3 20 0 15 0 406979091 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648753011856 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31063] ppid=30947 vsize=10846964 memory=1195 CPUtime=12.15 cores=1,3,5,7
/proc/30952/task/31063/stat : 31063 (java) S 30947 30952 30895 0 -1 1077944384 9068 13006 0 2 1148 59 5 3 20 0 15 0 406979091 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648651901968 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31064] ppid=30947 vsize=10846964 memory=846396 CPUtime=12.12 cores=1,3,5,7
/proc/30952/task/31064/stat : 31064 (java) S 30947 30952 30895 0 -1 1077944384 9755 13006 0 2 1149 55 5 3 20 0 15 0 406979091 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648650849168 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31065] ppid=30947 vsize=10846964 memory=846396 CPUtime=12.13 cores=1,3,5,7
/proc/30952/task/31065/stat : 31065 (java) S 30947 30952 30895 0 -1 1077944384 11995 13006 0 2 1145 60 5 3 20 0 15 0 406979091 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648649796368 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31070] ppid=30947 vsize=10846964 memory=846396 CPUtime=10.91 cores=1,3,5,7
/proc/30952/task/31070/stat : 31070 (java) S 30947 30952 30895 0 -1 1077944384 14355 13006 0 2 1027 56 5 3 20 0 15 0 406979092 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648208214384 139648748780162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31072] ppid=30947 vsize=10846964 memory=2828 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31072/stat : 31072 (java) S 30947 30952 30895 0 -1 1077944384 15 13006 0 2 0 0 5 3 20 0 15 0 406979093 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648110159008 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31075] ppid=30947 vsize=10846964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31075/stat : 31075 (java) S 30947 30952 30895 0 -1 1077944384 2 13006 0 2 0 0 5 3 20 0 15 0 406979093 11107291136 211599 33554432000 4194304 4196468 140731322671344 139647506178944 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31076] ppid=30947 vsize=10846964 memory=846396 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31076/stat : 31076 (java) S 30947 30952 30895 0 -1 1077944384 3 13006 0 2 0 0 5 3 20 0 15 0 406979096 11107291136 211599 33554432000 4194304 4196468 140731322671344 139647265888080 139648748787611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31077] ppid=30947 vsize=10846964 memory=846396 CPUtime=6.85 cores=1,3,5,7
/proc/30952/task/31077/stat : 31077 (java) S 30947 30952 30895 0 -1 1077944384 25014 13006 0 2 669 8 5 3 20 0 15 0 406979096 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648207162224 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31078] ppid=30947 vsize=10846964 memory=36524 CPUtime=6.87 cores=1,3,5,7
/proc/30952/task/31078/stat : 31078 (java) S 30947 30952 30895 0 -1 1077944384 25383 13006 0 2 671 8 5 3 20 0 15 0 406979096 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648206109424 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31079] ppid=30947 vsize=10846964 memory=992 CPUtime=4.62 cores=1,3,5,7
/proc/30952/task/31079/stat : 31079 (java) S 30947 30952 30895 0 -1 1077944384 27734 13006 0 2 445 9 5 3 20 0 15 0 406979096 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648205056624 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31084] ppid=30947 vsize=10846964 memory=846396 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31084/stat : 31084 (java) S 30947 30952 30895 0 -1 1077944384 3 13006 0 2 0 0 5 3 20 0 15 0 406979096 11107291136 211599 33554432000 4194304 4196468 140731322671344 139647232330464 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31087] ppid=30947 vsize=10846964 memory=846396 CPUtime=1.42 cores=1,3,5,7
/proc/30952/task/31087/stat : 31087 (java) S 30947 30952 30895 0 -1 1077944384 1059 13006 0 2 59 75 5 3 20 0 15 0 406979096 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648204004016 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
Current children cumulated CPU time: 2375.61 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 846396 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2346.3 s]
/proc/loadavg: 1.32 1.38 1.40 3/232 31333
/proc/meminfo: memFree=26782448/32770624 swapFree=66915744/67108860
[pid=30952] ppid=30947 vsize=10846964 memory=846396 CPUtime=2400.01 cores=1,3,5,7
/proc/30952/stat : 30952 (java) S 30947 30952 30895 0 -1 1077944320 201270 13006 1 2 239609 384 5 3 20 0 15 0 406979073 11107291136 211599 33554432000 4194304 4196468 140731322671344 140731322653888 139648748769015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 3 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
/proc/30952/statm: 2711741 211599 3624 1 0 2673805 0
[pid=30952/tid=31060] ppid=30947 vsize=10846964 memory=846396 CPUtime=2320.75 cores=1,3,5,7
/proc/30952/task/31060/stat : 31060 (java) R 30947 30952 30895 0 -1 4202560 63002 13006 0 2 232012 55 5 3 20 0 15 0 406979090 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648720604368 139648343278745 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31062] ppid=30947 vsize=10846964 memory=846396 CPUtime=12.27 cores=1,3,5,7
/proc/30952/task/31062/stat : 31062 (java) S 30947 30952 30895 0 -1 1077944384 11365 13006 0 2 1160 59 5 3 20 0 15 0 406979091 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648753011856 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31063] ppid=30947 vsize=10846964 memory=1195 CPUtime=12.29 cores=1,3,5,7
/proc/30952/task/31063/stat : 31063 (java) S 30947 30952 30895 0 -1 1077944384 9104 13006 0 2 1161 60 5 3 20 0 15 0 406979091 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648651901968 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31064] ppid=30947 vsize=10846964 memory=846396 CPUtime=12.26 cores=1,3,5,7
/proc/30952/task/31064/stat : 31064 (java) S 30947 30952 30895 0 -1 1077944384 9960 13006 0 2 1162 56 5 3 20 0 15 0 406979091 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648650849168 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31065] ppid=30947 vsize=10846964 memory=846396 CPUtime=12.26 cores=1,3,5,7
/proc/30952/task/31065/stat : 31065 (java) S 30947 30952 30895 0 -1 1077944384 12037 13006 0 2 1158 60 5 3 20 0 15 0 406979091 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648649796368 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31070] ppid=30947 vsize=10846964 memory=846396 CPUtime=11.04 cores=1,3,5,7
/proc/30952/task/31070/stat : 31070 (java) S 30947 30952 30895 0 -1 1077944384 14381 13006 0 2 1039 57 5 3 20 0 15 0 406979092 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648208214384 139648748780162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31072] ppid=30947 vsize=10846964 memory=846396 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31072/stat : 31072 (java) S 30947 30952 30895 0 -1 1077944384 15 13006 0 2 0 0 5 3 20 0 15 0 406979093 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648110159008 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31075] ppid=30947 vsize=10846964 memory=846396 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31075/stat : 31075 (java) S 30947 30952 30895 0 -1 1077944384 2 13006 0 2 0 0 5 3 20 0 15 0 406979093 11107291136 211599 33554432000 4194304 4196468 140731322671344 139647506178944 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31076] ppid=30947 vsize=10846964 memory=846396 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31076/stat : 31076 (java) S 30947 30952 30895 0 -1 1077944384 3 13006 0 2 0 0 5 3 20 0 15 0 406979096 11107291136 211599 33554432000 4194304 4196468 140731322671344 139647265888080 139648748787611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31077] ppid=30947 vsize=10846964 memory=846396 CPUtime=6.85 cores=1,3,5,7
/proc/30952/task/31077/stat : 31077 (java) S 30947 30952 30895 0 -1 1077944384 25014 13006 0 2 669 8 5 3 20 0 15 0 406979096 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648207162224 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31078] ppid=30947 vsize=10846964 memory=0 CPUtime=6.87 cores=1,3,5,7
/proc/30952/task/31078/stat : 31078 (java) S 30947 30952 30895 0 -1 1077944384 25384 13006 0 2 671 8 5 3 20 0 15 0 406979096 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648206109424 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31079] ppid=30947 vsize=10846964 memory=3628 CPUtime=4.62 cores=1,3,5,7
/proc/30952/task/31079/stat : 31079 (java) S 30947 30952 30895 0 -1 1077944384 27734 13006 0 2 445 9 5 3 20 0 15 0 406979096 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648205056624 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31084] ppid=30947 vsize=10846964 memory=36524 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31084/stat : 31084 (java) S 30947 30952 30895 0 -1 1077944384 3 13006 0 2 0 0 5 3 20 0 15 0 406979096 11107291136 211599 33554432000 4194304 4196468 140731322671344 139647232330464 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31087] ppid=30947 vsize=10846964 memory=846396 CPUtime=1.43 cores=1,3,5,7
/proc/30952/task/31087/stat : 31087 (java) S 30947 30952 30895 0 -1 1077944384 1061 13006 0 2 60 75 5 3 20 0 15 0 406979096 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648204004016 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 846396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2346.33 s]
# the end of solver process 30952 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.16 s, system=3.88352 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2346.3 s]
/proc/loadavg: 1.32 1.38 1.40 3/232 31333
/proc/meminfo: memFree=26782448/32770624 swapFree=66915744/67108860
[pid=30952] ppid=30947 vsize=10846964 memory=846396 CPUtime=2400.01 cores=1,3,5,7
/proc/30952/stat : 30952 (java) S 30947 30952 30895 0 -1 1077944320 201270 13006 1 2 239609 384 5 3 20 0 15 0 406979073 11107291136 211599 33554432000 4194304 4196468 140731322671344 140731322653888 139648748769015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 3 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
/proc/30952/statm: 2711741 211599 3624 1 0 2673805 0
[pid=30952/tid=31060] ppid=30947 vsize=10846964 memory=846396 CPUtime=2320.75 cores=1,3,5,7
/proc/30952/task/31060/stat : 31060 (java) R 30947 30952 30895 0 -1 4202560 63002 13006 0 2 232012 55 5 3 20 0 15 0 406979090 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648720604368 139648343278745 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31062] ppid=30947 vsize=10846964 memory=846396 CPUtime=12.27 cores=1,3,5,7
/proc/30952/task/31062/stat : 31062 (java) S 30947 30952 30895 0 -1 1077944384 11365 13006 0 2 1160 59 5 3 20 0 15 0 406979091 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648753011856 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31063] ppid=30947 vsize=10846964 memory=1195 CPUtime=12.29 cores=1,3,5,7
/proc/30952/task/31063/stat : 31063 (java) S 30947 30952 30895 0 -1 1077944384 9104 13006 0 2 1161 60 5 3 20 0 15 0 406979091 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648651901968 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31064] ppid=30947 vsize=10846964 memory=846396 CPUtime=12.26 cores=1,3,5,7
/proc/30952/task/31064/stat : 31064 (java) S 30947 30952 30895 0 -1 1077944384 9960 13006 0 2 1162 56 5 3 20 0 15 0 406979091 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648650849168 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31065] ppid=30947 vsize=10846964 memory=846396 CPUtime=12.26 cores=1,3,5,7
/proc/30952/task/31065/stat : 31065 (java) S 30947 30952 30895 0 -1 1077944384 12037 13006 0 2 1158 60 5 3 20 0 15 0 406979091 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648649796368 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31070] ppid=30947 vsize=10846964 memory=846396 CPUtime=11.04 cores=1,3,5,7
/proc/30952/task/31070/stat : 31070 (java) S 30947 30952 30895 0 -1 1077944384 14381 13006 0 2 1039 57 5 3 20 0 15 0 406979092 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648208214384 139648748780162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31072] ppid=30947 vsize=10846964 memory=846396 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31072/stat : 31072 (java) S 30947 30952 30895 0 -1 1077944384 15 13006 0 2 0 0 5 3 20 0 15 0 406979093 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648110159008 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31075] ppid=30947 vsize=10846964 memory=846396 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31075/stat : 31075 (java) S 30947 30952 30895 0 -1 1077944384 2 13006 0 2 0 0 5 3 20 0 15 0 406979093 11107291136 211599 33554432000 4194304 4196468 140731322671344 139647506178944 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31076] ppid=30947 vsize=10846964 memory=846396 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31076/stat : 31076 (java) S 30947 30952 30895 0 -1 1077944384 3 13006 0 2 0 0 5 3 20 0 15 0 406979096 11107291136 211599 33554432000 4194304 4196468 140731322671344 139647265888080 139648748787611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31077] ppid=30947 vsize=10846964 memory=846396 CPUtime=6.85 cores=1,3,5,7
/proc/30952/task/31077/stat : 31077 (java) S 30947 30952 30895 0 -1 1077944384 25014 13006 0 2 669 8 5 3 20 0 15 0 406979096 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648207162224 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31078] ppid=30947 vsize=10846964 memory=0 CPUtime=6.87 cores=1,3,5,7
/proc/30952/task/31078/stat : 31078 (java) S 30947 30952 30895 0 -1 1077944384 25384 13006 0 2 671 8 5 3 20 0 15 0 406979096 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648206109424 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31079] ppid=30947 vsize=10846964 memory=3628 CPUtime=4.62 cores=1,3,5,7
/proc/30952/task/31079/stat : 31079 (java) S 30947 30952 30895 0 -1 1077944384 27734 13006 0 2 445 9 5 3 20 0 15 0 406979096 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648205056624 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31084] ppid=30947 vsize=10846964 memory=36524 CPUtime=0.08 cores=1,3,5,7
/proc/30952/task/31084/stat : 31084 (java) S 30947 30952 30895 0 -1 1077944384 3 13006 0 2 0 0 5 3 20 0 15 0 406979096 11107291136 211599 33554432000 4194304 4196468 140731322671344 139647232330464 139648748779221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
[pid=30952/tid=31087] ppid=30947 vsize=10846964 memory=846396 CPUtime=1.43 cores=1,3,5,7
/proc/30952/task/31087/stat : 31087 (java) S 30947 30952 30895 0 -1 1077944384 1061 13006 0 2 60 75 5 3 20 0 15 0 406979096 11107291136 211599 33554432000 4194304 4196468 140731322671344 139648204004016 139648748780162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 35524608 140731322678006 140731322680517 140731322680517 140731322683343 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 846396 KiB
Child status: 143
Real time (s): 2346.33
CPU time (s): 2400.05
CPU user time (s): 2396.16
CPU system time (s): 3.88352
CPU usage (%): 102.29
Max. virtual memory (cumulated for all children) (KiB): 10849608
Max. memory (cumulated for all children) (KiB): 846396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.16
system time used= 3.88352
maximum resident set size= 850612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215239
page faults= 3
swaps= 0
block input operations= 7576
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 299304
involuntary context switches= 6279
# summary of solver processes directly reported to runsolver:
# pid: 30952
# total CPU time (s): 2400.05
# total CPU user time (s): 2396.16
# total CPU system time (s): 3.88352
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4289 second user time and 23.5255 second system time
The end