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 (7890 MiB free)
memory of node 1: 16384 MiB (12623 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300223-1532859445/watcher-4300223-1532859445 -o /tmp/evaluation-result-4300223-1532859445/solver-4300223-1532859445 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532844847-28544 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4300223-1532859445.xml
running on 4 cores: 1,3,5,7
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=30061, runsolver pid=30058
Current StackSize limit: 8192 KiB
[startup+0.10028 s]*
/proc/loadavg: 1.79 1.68 1.61 3/215 30076
/proc/meminfo: memFree=20991088/32770624 swapFree=67108796/67108860
[pid=30061] ppid=30058 vsize=10658972 memory=27520 CPUtime=0.13 cores=1,3,5,7
/proc/30061/stat : 30061 (java) S 30058 30061 28512 0 -1 1077944320 5238 0 0 0 12 1 0 0 20 0 15 0 103507672 10914787328 6880 33554432000 4194304 4196468 140729587777616 140729587760160 140022700146423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
/proc/30061/statm: 2664743 6880 2836 1 0 2627263 0
[pid=30061/tid=30063] ppid=30058 vsize=10658972 memory=-8269626465541591934 CPUtime=0.09 cores=1,3,5,7
/proc/30061/task/30063/stat : 30063 (java) R 30058 30061 28512 0 -1 4202560 3110 0 0 0 9 0 0 0 20 0 15 0 103507673 10914787328 6880 33554432000 4194304 4196468 140729587777616 140022704375808 140022700158358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30064] ppid=30058 vsize=10658972 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30064/stat : 30064 (java) S 30058 30061 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103507673 10914787328 6880 33554432000 4194304 4196468 140729587777616 140022652766736 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30065] ppid=30058 vsize=10658972 memory=140387192915584 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30065/stat : 30065 (java) S 30058 30061 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103507673 10914787328 6880 33554432000 4194304 4196468 140729587777616 140022651714192 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30066] ppid=30058 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30066/stat : 30066 (java) S 30058 30061 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103507673 10914787328 6880 33554432000 4194304 4196468 140729587777616 140022650661136 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30067] ppid=30058 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30067/stat : 30067 (java) S 30058 30061 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103507673 10914787328 6880 33554432000 4194304 4196468 140729587777616 140022649608592 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30068] ppid=30058 vsize=10658972 memory=140387192915584 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30068/stat : 30068 (java) S 30058 30061 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103507675 10914787328 6880 33554432000 4194304 4196468 140729587777616 140022259313392 140022700157570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30069] ppid=30058 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30069/stat : 30069 (java) S 30058 30061 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 103507675 10914787328 6880 33554432000 4194304 4196468 140729587777616 140022258259616 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30070] ppid=30058 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30070/stat : 30070 (java) S 30058 30061 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 103507676 10914787328 6880 33554432000 4194304 4196468 140729587777616 140022257206512 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30071] ppid=30058 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30071/stat : 30071 (java) S 30058 30061 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103507678 10914787328 6880 33554432000 4194304 4196468 140729587777616 140022256155088 140022700165019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30072] ppid=30058 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30072/stat : 30072 (java) R 30058 30061 28512 0 -1 4202560 420 0 0 0 0 0 0 0 20 0 15 0 103507678 10914787328 6880 33554432000 4194304 4196468 140729587777616 140022255102192 140022700158358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30073] ppid=30058 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30073/stat : 30073 (java) R 30058 30061 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103507678 10914787328 6880 33554432000 4194304 4196468 140729587777616 140022254049648 140022700157570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30074] ppid=30058 vsize=10658972 memory=140387192915584 CPUtime=0.02 cores=1,3,5,7
/proc/30061/task/30074/stat : 30074 (java) R 30058 30061 28512 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 15 0 103507678 10914787328 6880 33554432000 4194304 4196468 140729587777616 140022252996592 140022678383013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30075] ppid=30058 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30075/stat : 30075 (java) S 30058 30061 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103507678 10914787328 6880 33554432000 4194304 4196468 140729587777616 140022251944288 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30076] ppid=30058 vsize=10658972 memory=140387192915584 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30076/stat : 30076 (java) S 30058 30061 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103507678 10914787328 6880 33554432000 4194304 4196468 140729587777616 140022250892336 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27520 KiB
[startup+0.210563 s]*
/proc/loadavg: 1.79 1.68 1.61 5/215 30076
/proc/meminfo: memFree=20979180/32770624 swapFree=67108796/67108860
[pid=30061] ppid=30058 vsize=10658972 memory=39912 CPUtime=0.34 cores=1,3,5,7
/proc/30061/stat : 30061 (java) S 30058 30061 28512 0 -1 1077944320 8096 0 0 0 32 2 0 0 20 0 15 0 103507672 10914787328 9978 33554432000 4194304 4196468 140729587777616 140729587760160 140022700146423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
/proc/30061/statm: 2664743 9978 2970 1 0 2627263 0
[pid=30061/tid=30063] ppid=30058 vsize=10658972 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/30061/task/30063/stat : 30063 (java) R 30058 30061 28512 0 -1 4202560 5089 0 0 0 18 1 0 0 20 0 15 0 103507673 10914787328 9978 33554432000 4194304 4196468 140729587777616 140022704370688 140022700167770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30064] ppid=30058 vsize=10658972 memory=345 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30064/stat : 30064 (java) S 30058 30061 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103507673 10914787328 9978 33554432000 4194304 4196468 140729587777616 140022652766736 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30065] ppid=30058 vsize=10658972 memory=288370763344627328 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30065/stat : 30065 (java) S 30058 30061 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103507673 10914787328 9978 33554432000 4194304 4196468 140729587777616 140022651714192 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30066] ppid=30058 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30066/stat : 30066 (java) S 30058 30061 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103507673 10914787328 9978 33554432000 4194304 4196468 140729587777616 140022650661136 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30067] ppid=30058 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30067/stat : 30067 (java) S 30058 30061 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103507673 10914787328 9978 33554432000 4194304 4196468 140729587777616 140022649608592 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30068] ppid=30058 vsize=10658972 memory=140387192915584 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30068/stat : 30068 (java) S 30058 30061 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103507675 10914787328 9978 33554432000 4194304 4196468 140729587777616 140022259313392 140022700157570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30069] ppid=30058 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30069/stat : 30069 (java) S 30058 30061 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 103507675 10914787328 9978 33554432000 4194304 4196468 140729587777616 140022258259616 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30070] ppid=30058 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30070/stat : 30070 (java) S 30058 30061 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 103507676 10914787328 9978 33554432000 4194304 4196468 140729587777616 140022257206512 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30071] ppid=30058 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30071/stat : 30071 (java) S 30058 30061 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103507678 10914787328 9978 33554432000 4194304 4196468 140729587777616 140022256155088 140022700165019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30072] ppid=30058 vsize=10658972 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30061/task/30072/stat : 30072 (java) S 30058 30061 28512 0 -1 1077944384 506 0 0 0 1 0 0 0 20 0 15 0 103507678 10914787328 9978 33554432000 4194304 4196468 140729587777616 140022255102192 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30073] ppid=30058 vsize=10658972 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30061/task/30073/stat : 30073 (java) S 30058 30061 28512 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 15 0 103507678 10914787328 9978 33554432000 4194304 4196468 140729587777616 140022254049648 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30074] ppid=30058 vsize=10658972 memory=140387192915584 CPUtime=0.08 cores=1,3,5,7
/proc/30061/task/30074/stat : 30074 (java) R 30058 30061 28512 0 -1 4202560 780 0 0 0 8 0 0 0 20 0 15 0 103507678 10914787328 9978 33554432000 4194304 4196468 140729587777616 140022252994384 140022684310485 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30075] ppid=30058 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30075/stat : 30075 (java) S 30058 30061 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103507678 10914787328 9978 33554432000 4194304 4196468 140729587777616 140022251944288 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30076] ppid=30058 vsize=10658972 memory=140387192915584 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30076/stat : 30076 (java) S 30058 30061 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103507678 10914787328 9978 33554432000 4194304 4196468 140729587777616 140022250892336 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 39912 KiB
[startup+0.310487 s]*
/proc/loadavg: 1.81 1.68 1.61 4/215 30076
/proc/meminfo: memFree=20974900/32770624 swapFree=67108796/67108860
[pid=30061] ppid=30058 vsize=10659048 memory=44436 CPUtime=0.56 cores=1,3,5,7
/proc/30061/stat : 30061 (java) S 30058 30061 28512 0 -1 1077944320 8657 0 0 0 53 3 0 0 20 0 15 0 103507672 10914865152 11109 33554432000 4194304 4196468 140729587777616 140729587760160 140022700146423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
/proc/30061/statm: 2664762 11109 3041 1 0 2627263 0
[pid=30061/tid=30063] ppid=30058 vsize=10659048 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/30061/task/30063/stat : 30063 (java) R 30058 30061 28512 0 -1 4202560 5430 0 0 0 28 2 0 0 20 0 15 0 103507673 10914865152 11109 33554432000 4194304 4196468 140729587777616 140022704381968 140022700158358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30064] ppid=30058 vsize=10659048 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30064/stat : 30064 (java) S 30058 30061 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103507673 10914865152 11109 33554432000 4194304 4196468 140729587777616 140022652766736 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30065] ppid=30058 vsize=10659048 memory=288370763344627328 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30065/stat : 30065 (java) S 30058 30061 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103507673 10914865152 11109 33554432000 4194304 4196468 140729587777616 140022651714192 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30066] ppid=30058 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30066/stat : 30066 (java) S 30058 30061 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103507673 10914865152 11109 33554432000 4194304 4196468 140729587777616 140022650661136 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30067] ppid=30058 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30067/stat : 30067 (java) S 30058 30061 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103507673 10914865152 11109 33554432000 4194304 4196468 140729587777616 140022649608592 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30068] ppid=30058 vsize=10659048 memory=140387192915584 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30068/stat : 30068 (java) S 30058 30061 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103507675 10914865152 11109 33554432000 4194304 4196468 140729587777616 140022259313392 140022700157570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30069] ppid=30058 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30069/stat : 30069 (java) S 30058 30061 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 103507675 10914865152 11109 33554432000 4194304 4196468 140729587777616 140022258259616 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30070] ppid=30058 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30070/stat : 30070 (java) S 30058 30061 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 103507676 10914865152 11109 33554432000 4194304 4196468 140729587777616 140022257206512 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30071] ppid=30058 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30071/stat : 30071 (java) S 30058 30061 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103507678 10914865152 11109 33554432000 4194304 4196468 140729587777616 140022256155088 140022700165019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30072] ppid=30058 vsize=10659048 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30061/task/30072/stat : 30072 (java) S 30058 30061 28512 0 -1 1077944384 539 0 0 0 3 0 0 0 20 0 15 0 103507678 10914865152 11109 33554432000 4194304 4196468 140729587777616 140022255102192 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30073] ppid=30058 vsize=10659048 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/30061/task/30073/stat : 30073 (java) S 30058 30061 28512 0 -1 1077944384 434 0 0 0 6 0 0 0 20 0 15 0 103507678 10914865152 11109 33554432000 4194304 4196468 140729587777616 140022254049648 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30074] ppid=30058 vsize=10659048 memory=140387192915584 CPUtime=0.15 cores=1,3,5,7
/proc/30061/task/30074/stat : 30074 (java) R 30058 30061 28512 0 -1 4202560 889 0 0 0 15 0 0 0 20 0 15 0 103507678 10914865152 11109 33554432000 4194304 4196468 140729587777616 140022252992272 140022683900657 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30075] ppid=30058 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30075/stat : 30075 (java) S 30058 30061 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103507678 10914865152 11109 33554432000 4194304 4196468 140729587777616 140022251944288 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30076] ppid=30058 vsize=10659048 memory=140387192915584 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30076/stat : 30076 (java) S 30058 30061 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103507678 10914865152 11109 33554432000 4194304 4196468 140729587777616 140022250892336 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 44436 KiB
[startup+0.700794 s]
/proc/loadavg: 1.81 1.68 1.61 5/215 30076
/proc/meminfo: memFree=20930604/32770624 swapFree=67108796/67108860
[pid=30061] ppid=30058 vsize=10659048 memory=174928 CPUtime=1.68 cores=1,3,5,7
/proc/30061/stat : 30061 (java) S 30058 30061 28512 0 -1 1077944320 16267 0 0 0 161 7 0 0 20 0 15 0 103507672 10914865152 43732 33554432000 4194304 4196468 140729587777616 140729587760160 140022700146423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
/proc/30061/statm: 2664762 43732 3099 1 0 2627263 0
[pid=30061/tid=30063] ppid=30058 vsize=10659048 memory=1628 CPUtime=0.67 cores=1,3,5,7
/proc/30061/task/30063/stat : 30063 (java) R 30058 30061 28512 0 -1 4202560 5705 0 0 0 64 3 0 0 20 0 15 0 103507673 10914865152 43732 33554432000 4194304 4196468 140729587777616 140022704382040 140022329158791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30064] ppid=30058 vsize=10659048 memory=8800 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30064/stat : 30064 (java) S 30058 30061 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103507673 10914865152 43732 33554432000 4194304 4196468 140729587777616 140022652766736 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30065] ppid=30058 vsize=10659048 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30065/stat : 30065 (java) S 30058 30061 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103507673 10914865152 43732 33554432000 4194304 4196468 140729587777616 140022651714192 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30066] ppid=30058 vsize=10659048 memory=792 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30066/stat : 30066 (java) S 30058 30061 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103507673 10914865152 43732 33554432000 4194304 4196468 140729587777616 140022650661136 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30067] ppid=30058 vsize=10659048 memory=832 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30067/stat : 30067 (java) S 30058 30061 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103507673 10914865152 43732 33554432000 4194304 4196468 140729587777616 140022649608592 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30068] ppid=30058 vsize=10659048 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30068/stat : 30068 (java) S 30058 30061 28512 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 103507675 10914865152 43732 33554432000 4194304 4196468 140729587777616 140022259313392 140022700157570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30069] ppid=30058 vsize=10659048 memory=5012 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30069/stat : 30069 (java) S 30058 30061 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 103507675 10914865152 43732 33554432000 4194304 4196468 140729587777616 140022258259616 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30070] ppid=30058 vsize=10659048 memory=4032 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30070/stat : 30070 (java) S 30058 30061 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 103507676 10914865152 43732 33554432000 4194304 4196468 140729587777616 140022257206512 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30071] ppid=30058 vsize=10659048 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30071/stat : 30071 (java) S 30058 30061 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103507678 10914865152 43732 33554432000 4194304 4196468 140729587777616 140022256155088 140022700165019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30072] ppid=30058 vsize=10659048 memory=4639098309541129069 CPUtime=0.35 cores=1,3,5,7
/proc/30061/task/30072/stat : 30072 (java) R 30058 30061 28512 0 -1 4202560 4321 0 0 0 34 1 0 0 20 0 15 0 103507678 10914865152 43732 33554432000 4194304 4196468 140729587777616 140022255087656 140022686176454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30073] ppid=30058 vsize=10659048 memory=7739276948477865066 CPUtime=0.36 cores=1,3,5,7
/proc/30061/task/30073/stat : 30073 (java) R 30058 30061 28512 0 -1 4202560 3396 0 0 0 35 1 0 0 20 0 15 0 103507678 10914865152 43732 33554432000 4194304 4196468 140729587777616 140022254029976 140022683643211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30074] ppid=30058 vsize=10659048 memory=7236547281622689387 CPUtime=0.27 cores=1,3,5,7
/proc/30061/task/30074/stat : 30074 (java) S 30058 30061 28512 0 -1 1077944384 1474 0 0 0 27 0 0 0 20 0 15 0 103507678 10914865152 43732 33554432000 4194304 4196468 140729587777616 140022252996592 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30075] ppid=30058 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30075/stat : 30075 (java) S 30058 30061 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103507678 10914865152 43732 33554432000 4194304 4196468 140729587777616 140022251944288 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30076] ppid=30058 vsize=10659048 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30076/stat : 30076 (java) S 30058 30061 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103507678 10914865152 43732 33554432000 4194304 4196468 140729587777616 140022250892336 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 174928 KiB
[startup+1.50082 s]
/proc/loadavg: 1.81 1.68 1.61 5/215 30076
/proc/meminfo: memFree=20814244/32770624 swapFree=67108796/67108860
[pid=30061] ppid=30058 vsize=10659048 memory=204456 CPUtime=3.39 cores=1,3,5,7
/proc/30061/stat : 30061 (java) S 30058 30061 28512 0 -1 1077944320 17373 0 0 0 332 7 0 0 20 0 15 0 103507672 10914865152 51114 33554432000 4194304 4196468 140729587777616 140729587760160 140022700146423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
/proc/30061/statm: 2664762 51114 3123 1 0 2627263 0
[pid=30061/tid=30063] ppid=30058 vsize=10659048 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/30061/task/30063/stat : 30063 (java) R 30058 30061 28512 0 -1 4202560 5719 0 0 0 143 4 0 0 20 0 15 0 103507673 10914865152 51114 33554432000 4194304 4196468 140729587777616 140022704386096 140022329386432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30064] ppid=30058 vsize=10659048 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30064/stat : 30064 (java) S 30058 30061 28512 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 103507673 10914865152 51114 33554432000 4194304 4196468 140729587777616 140022652766736 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30065] ppid=30058 vsize=10659048 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30065/stat : 30065 (java) S 30058 30061 28512 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 103507673 10914865152 51114 33554432000 4194304 4196468 140729587777616 140022651714192 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30066] ppid=30058 vsize=10659048 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30066/stat : 30066 (java) S 30058 30061 28512 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 103507673 10914865152 51114 33554432000 4194304 4196468 140729587777616 140022650661136 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30067] ppid=30058 vsize=10659048 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30067/stat : 30067 (java) S 30058 30061 28512 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 103507673 10914865152 51114 33554432000 4194304 4196468 140729587777616 140022649608592 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30068] ppid=30058 vsize=10659048 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30068/stat : 30068 (java) S 30058 30061 28512 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 103507675 10914865152 51114 33554432000 4194304 4196468 140729587777616 140022259313392 140022700157570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
################
# More data... #
################
/proc/30061/task/30063/stat : 30063 (java) R 30058 30061 28512 0 -1 4202560 27767 0 0 0 235831 32 0 0 20 0 15 0 103507673 10914865152 137059 33554432000 4194304 4196468 140729587777616 140022704386272 140022329378950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30064] ppid=30058 vsize=10659048 memory=548236 CPUtime=11.83 cores=1,3,5,7
/proc/30061/task/30064/stat : 30064 (java) S 30058 30061 28512 0 -1 1077944384 8488 0 0 0 1119 64 0 0 20 0 15 0 103507673 10914865152 137059 33554432000 4194304 4196468 140729587777616 140022652766736 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30065] ppid=30058 vsize=10659048 memory=280774092712112 CPUtime=11.85 cores=1,3,5,7
/proc/30061/task/30065/stat : 30065 (java) S 30058 30061 28512 0 -1 1077944384 8087 0 0 0 1124 61 0 0 20 0 15 0 103507673 10914865152 137059 33554432000 4194304 4196468 140729587777616 140022651714192 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30066] ppid=30058 vsize=10659048 memory=544140 CPUtime=11.84 cores=1,3,5,7
/proc/30061/task/30066/stat : 30066 (java) S 30058 30061 28512 0 -1 1077944384 7588 0 0 0 1121 63 0 0 20 0 15 0 103507673 10914865152 137059 33554432000 4194304 4196468 140729587777616 140022650661136 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30067] ppid=30058 vsize=10659048 memory=2092 CPUtime=11.86 cores=1,3,5,7
/proc/30061/task/30067/stat : 30067 (java) S 30058 30061 28512 0 -1 1077944384 8081 0 0 0 1122 64 0 0 20 0 15 0 103507673 10914865152 137059 33554432000 4194304 4196468 140729587777616 140022649608592 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30068] ppid=30058 vsize=10659048 memory=7524 CPUtime=8.65 cores=1,3,5,7
/proc/30061/task/30068/stat : 30068 (java) S 30058 30061 28512 0 -1 1077944384 7288 0 0 0 804 61 0 0 20 0 15 0 103507675 10914865152 137059 33554432000 4194304 4196468 140729587777616 140022259313392 140022700157570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30069] ppid=30058 vsize=10659048 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30069/stat : 30069 (java) S 30058 30061 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 103507675 10914865152 137059 33554432000 4194304 4196468 140729587777616 140022258259616 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30070] ppid=30058 vsize=10659048 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30070/stat : 30070 (java) S 30058 30061 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 103507676 10914865152 137059 33554432000 4194304 4196468 140729587777616 140022257206512 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30071] ppid=30058 vsize=10659048 memory=542092 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30071/stat : 30071 (java) S 30058 30061 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103507678 10914865152 137059 33554432000 4194304 4196468 140729587777616 140022256155088 140022700165019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30072] ppid=30058 vsize=10659048 memory=542092 CPUtime=0.84 cores=1,3,5,7
/proc/30061/task/30072/stat : 30072 (java) S 30058 30061 28512 0 -1 1077944384 6078 0 0 0 83 1 0 0 20 0 15 0 103507678 10914865152 137059 33554432000 4194304 4196468 140729587777616 140022255102192 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30073] ppid=30058 vsize=10659048 memory=3708 CPUtime=0.86 cores=1,3,5,7
/proc/30061/task/30073/stat : 30073 (java) S 30058 30061 28512 0 -1 1077944384 4856 0 0 0 85 1 0 0 20 0 15 0 103507678 10914865152 137059 33554432000 4194304 4196468 140729587777616 140022254049648 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30074] ppid=30058 vsize=10659048 memory=29508 CPUtime=0.36 cores=1,3,5,7
/proc/30061/task/30074/stat : 30074 (java) S 30058 30061 28512 0 -1 1077944384 3586 0 0 0 35 1 0 0 20 0 15 0 103507678 10914865152 137059 33554432000 4194304 4196468 140729587777616 140022252996592 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30075] ppid=30058 vsize=10659048 memory=548236 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30075/stat : 30075 (java) S 30058 30061 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103507678 10914865152 137059 33554432000 4194304 4196468 140729587777616 140022251944288 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30076] ppid=30058 vsize=10659048 memory=7028 CPUtime=1.28 cores=1,3,5,7
/proc/30061/task/30076/stat : 30076 (java) S 30058 30061 28512 0 -1 1077944384 1471 0 0 0 62 66 0 0 20 0 15 0 103507678 10914865152 137059 33554432000 4194304 4196468 140729587777616 140022250892336 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
Current children cumulated CPU time: 2418.09 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 548236 KiB
[startup+2442.3 s]
/proc/loadavg: 1.20 1.29 1.35 3/215 30227
/proc/meminfo: memFree=20475916/32770624 swapFree=67108796/67108860
[pid=30061] ppid=30058 vsize=10659048 memory=354960 CPUtime=2478.74 cores=1,3,5,7
/proc/30061/stat : 30061 (java) S 30058 30061 28512 0 -1 1077944320 87144 0 0 0 247524 350 0 0 20 0 15 0 103507672 10914865152 88740 33554432000 4194304 4196468 140729587777616 140729587760160 140022700146423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
/proc/30061/statm: 2664762 88740 3152 1 0 2627263 0
[pid=30061/tid=30063] ppid=30058 vsize=10659048 memory=354960 CPUtime=2418.1 cores=1,3,5,7
/proc/30061/task/30063/stat : 30063 (java) R 30058 30061 28512 0 -1 4202560 28291 0 0 0 241777 33 0 0 20 0 15 0 103507673 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022704386272 140022329579557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30064] ppid=30058 vsize=10659048 memory=354960 CPUtime=12.06 cores=1,3,5,7
/proc/30061/task/30064/stat : 30064 (java) S 30058 30061 28512 0 -1 1077944384 8714 0 0 0 1140 66 0 0 20 0 15 0 103507673 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022652766736 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30065] ppid=30058 vsize=10659048 memory=354960 CPUtime=12.07 cores=1,3,5,7
/proc/30061/task/30065/stat : 30065 (java) S 30058 30061 28512 0 -1 1077944384 8585 0 0 0 1145 62 0 0 20 0 15 0 103507673 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022651714192 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30066] ppid=30058 vsize=10659048 memory=354960 CPUtime=12.08 cores=1,3,5,7
/proc/30061/task/30066/stat : 30066 (java) S 30058 30061 28512 0 -1 1077944384 7794 0 0 0 1144 64 0 0 20 0 15 0 103507673 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022650661136 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30067] ppid=30058 vsize=10659048 memory=354960 CPUtime=12.08 cores=1,3,5,7
/proc/30061/task/30067/stat : 30067 (java) S 30058 30061 28512 0 -1 1077944384 8273 0 0 0 1143 65 0 0 20 0 15 0 103507673 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022649608592 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30068] ppid=30058 vsize=10659048 memory=548236 CPUtime=8.87 cores=1,3,5,7
/proc/30061/task/30068/stat : 30068 (java) S 30058 30061 28512 0 -1 1077944384 8121 0 0 0 824 63 0 0 20 0 15 0 103507675 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022259313392 140022700157570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30069] ppid=30058 vsize=10659048 memory=354960 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30069/stat : 30069 (java) S 30058 30061 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 103507675 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022258259616 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30070] ppid=30058 vsize=10659048 memory=354960 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30070/stat : 30070 (java) S 30058 30061 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 103507676 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022257206512 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30071] ppid=30058 vsize=10659048 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30071/stat : 30071 (java) S 30058 30061 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103507678 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022256155088 140022700165019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30072] ppid=30058 vsize=10659048 memory=4068 CPUtime=0.84 cores=1,3,5,7
/proc/30061/task/30072/stat : 30072 (java) S 30058 30061 28512 0 -1 1077944384 6078 0 0 0 83 1 0 0 20 0 15 0 103507678 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022255102192 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30073] ppid=30058 vsize=10659048 memory=354960 CPUtime=0.86 cores=1,3,5,7
/proc/30061/task/30073/stat : 30073 (java) S 30058 30061 28512 0 -1 1077944384 4856 0 0 0 85 1 0 0 20 0 15 0 103507678 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022254049648 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30074] ppid=30058 vsize=10659048 memory=354960 CPUtime=0.36 cores=1,3,5,7
/proc/30061/task/30074/stat : 30074 (java) S 30058 30061 28512 0 -1 1077944384 3586 0 0 0 35 1 0 0 20 0 15 0 103507678 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022252996592 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30075] ppid=30058 vsize=10659048 memory=354960 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30075/stat : 30075 (java) S 30058 30061 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103507678 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022251944288 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30076] ppid=30058 vsize=10659048 memory=7451894300419318880 CPUtime=1.31 cores=1,3,5,7
/proc/30061/task/30076/stat : 30076 (java) S 30058 30061 28512 0 -1 1077944384 1486 0 0 0 63 68 0 0 20 0 15 0 103507678 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022250892336 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
Current children cumulated CPU time: 2478.74 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 354960 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2483.3 s]
/proc/loadavg: 1.42 1.33 1.37 3/215 30227
/proc/meminfo: memFree=20476188/32770624 swapFree=67108796/67108860
[pid=30061] ppid=30058 vsize=10659048 memory=354960 CPUtime=2520.07 cores=1,3,5,7
/proc/30061/stat : 30061 (java) S 30058 30061 28512 0 -1 1077944320 87714 0 0 0 251652 355 0 0 20 0 15 0 103507672 10914865152 88740 33554432000 4194304 4196468 140729587777616 140729587760160 140022700146423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
/proc/30061/statm: 2664762 88740 3152 1 0 2627263 0
[pid=30061/tid=30063] ppid=30058 vsize=10659048 memory=0 CPUtime=2458.75 cores=1,3,5,7
/proc/30061/task/30063/stat : 30063 (java) R 30058 30061 28512 0 -1 4202560 28646 0 0 0 245842 33 0 0 20 0 15 0 103507673 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022704386272 140022330570601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30064] ppid=30058 vsize=10659048 memory=354960 CPUtime=12.18 cores=1,3,5,7
/proc/30061/task/30064/stat : 30064 (java) S 30058 30061 28512 0 -1 1077944384 8719 0 0 0 1152 66 0 0 20 0 15 0 103507673 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022652766736 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30065] ppid=30058 vsize=10659048 memory=1800 CPUtime=12.2 cores=1,3,5,7
/proc/30061/task/30065/stat : 30065 (java) S 30058 30061 28512 0 -1 1077944384 8596 0 0 0 1157 63 0 0 20 0 15 0 103507673 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022651714192 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30066] ppid=30058 vsize=10659048 memory=354960 CPUtime=12.2 cores=1,3,5,7
/proc/30061/task/30066/stat : 30066 (java) S 30058 30061 28512 0 -1 1077944384 7799 0 0 0 1155 65 0 0 20 0 15 0 103507673 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022650661136 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30067] ppid=30058 vsize=10659048 memory=354960 CPUtime=12.21 cores=1,3,5,7
/proc/30061/task/30067/stat : 30067 (java) S 30058 30061 28512 0 -1 1077944384 8291 0 0 0 1155 66 0 0 20 0 15 0 103507673 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022649608592 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30068] ppid=30058 vsize=10659048 memory=354960 CPUtime=9.03 cores=1,3,5,7
/proc/30061/task/30068/stat : 30068 (java) S 30058 30061 28512 0 -1 1077944384 8276 0 0 0 839 64 0 0 20 0 15 0 103507675 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022259313392 140022700157570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30069] ppid=30058 vsize=10659048 memory=354960 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30069/stat : 30069 (java) S 30058 30061 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 103507675 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022258259616 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30070] ppid=30058 vsize=10659048 memory=354960 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30070/stat : 30070 (java) S 30058 30061 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 103507676 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022257206512 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30071] ppid=30058 vsize=10659048 memory=354960 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30071/stat : 30071 (java) S 30058 30061 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103507678 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022256155088 140022700165019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30072] ppid=30058 vsize=10659048 memory=2088 CPUtime=0.84 cores=1,3,5,7
/proc/30061/task/30072/stat : 30072 (java) S 30058 30061 28512 0 -1 1077944384 6080 0 0 0 83 1 0 0 20 0 15 0 103507678 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022255102192 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30073] ppid=30058 vsize=10659048 memory=3472328296227679313 CPUtime=0.86 cores=1,3,5,7
/proc/30061/task/30073/stat : 30073 (java) S 30058 30061 28512 0 -1 1077944384 4858 0 0 0 85 1 0 0 20 0 15 0 103507678 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022254049648 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30074] ppid=30058 vsize=10659048 memory=1218 CPUtime=0.36 cores=1,3,5,7
/proc/30061/task/30074/stat : 30074 (java) S 30058 30061 28512 0 -1 1077944384 3588 0 0 0 35 1 0 0 20 0 15 0 103507678 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022252996592 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30075] ppid=30058 vsize=10659048 memory=289 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30075/stat : 30075 (java) S 30058 30061 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103507678 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022251944288 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30076] ppid=30058 vsize=10659048 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/30061/task/30076/stat : 30076 (java) S 30058 30061 28512 0 -1 1077944384 1501 0 0 0 64 70 0 0 20 0 15 0 103507678 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022250892336 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 354960 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2483.32 s]
# the end of solver process 30061 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.54 s, system=3.55713 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2483.3 s]
/proc/loadavg: 1.42 1.33 1.37 3/215 30227
/proc/meminfo: memFree=20476188/32770624 swapFree=67108796/67108860
[pid=30061] ppid=30058 vsize=10659048 memory=354960 CPUtime=2520.07 cores=1,3,5,7
/proc/30061/stat : 30061 (java) S 30058 30061 28512 0 -1 1077944320 87714 0 0 0 251652 355 0 0 20 0 15 0 103507672 10914865152 88740 33554432000 4194304 4196468 140729587777616 140729587760160 140022700146423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
/proc/30061/statm: 2664762 88740 3152 1 0 2627263 0
[pid=30061/tid=30063] ppid=30058 vsize=10659048 memory=0 CPUtime=2458.75 cores=1,3,5,7
/proc/30061/task/30063/stat : 30063 (java) R 30058 30061 28512 0 -1 4202560 28646 0 0 0 245842 33 0 0 20 0 15 0 103507673 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022704386272 140022330570601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30064] ppid=30058 vsize=10659048 memory=354960 CPUtime=12.18 cores=1,3,5,7
/proc/30061/task/30064/stat : 30064 (java) S 30058 30061 28512 0 -1 1077944384 8719 0 0 0 1152 66 0 0 20 0 15 0 103507673 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022652766736 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30065] ppid=30058 vsize=10659048 memory=1800 CPUtime=12.2 cores=1,3,5,7
/proc/30061/task/30065/stat : 30065 (java) S 30058 30061 28512 0 -1 1077944384 8596 0 0 0 1157 63 0 0 20 0 15 0 103507673 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022651714192 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30066] ppid=30058 vsize=10659048 memory=354960 CPUtime=12.2 cores=1,3,5,7
/proc/30061/task/30066/stat : 30066 (java) S 30058 30061 28512 0 -1 1077944384 7799 0 0 0 1155 65 0 0 20 0 15 0 103507673 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022650661136 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30067] ppid=30058 vsize=10659048 memory=354960 CPUtime=12.21 cores=1,3,5,7
/proc/30061/task/30067/stat : 30067 (java) S 30058 30061 28512 0 -1 1077944384 8291 0 0 0 1155 66 0 0 20 0 15 0 103507673 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022649608592 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30068] ppid=30058 vsize=10659048 memory=354960 CPUtime=9.03 cores=1,3,5,7
/proc/30061/task/30068/stat : 30068 (java) S 30058 30061 28512 0 -1 1077944384 8276 0 0 0 839 64 0 0 20 0 15 0 103507675 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022259313392 140022700157570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30069] ppid=30058 vsize=10659048 memory=354960 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30069/stat : 30069 (java) S 30058 30061 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 103507675 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022258259616 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30070] ppid=30058 vsize=10659048 memory=354960 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30070/stat : 30070 (java) S 30058 30061 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 103507676 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022257206512 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30071] ppid=30058 vsize=10659048 memory=354960 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30071/stat : 30071 (java) S 30058 30061 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103507678 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022256155088 140022700165019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30072] ppid=30058 vsize=10659048 memory=2088 CPUtime=0.84 cores=1,3,5,7
/proc/30061/task/30072/stat : 30072 (java) S 30058 30061 28512 0 -1 1077944384 6080 0 0 0 83 1 0 0 20 0 15 0 103507678 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022255102192 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30073] ppid=30058 vsize=10659048 memory=3472328296227679313 CPUtime=0.86 cores=1,3,5,7
/proc/30061/task/30073/stat : 30073 (java) S 30058 30061 28512 0 -1 1077944384 4858 0 0 0 85 1 0 0 20 0 15 0 103507678 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022254049648 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30074] ppid=30058 vsize=10659048 memory=1218 CPUtime=0.36 cores=1,3,5,7
/proc/30061/task/30074/stat : 30074 (java) S 30058 30061 28512 0 -1 1077944384 3588 0 0 0 35 1 0 0 20 0 15 0 103507678 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022252996592 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30075] ppid=30058 vsize=10659048 memory=289 CPUtime=0 cores=1,3,5,7
/proc/30061/task/30075/stat : 30075 (java) S 30058 30061 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103507678 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022251944288 140022700156629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
[pid=30061/tid=30076] ppid=30058 vsize=10659048 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/30061/task/30076/stat : 30076 (java) S 30058 30061 28512 0 -1 1077944384 1501 0 0 0 64 70 0 0 20 0 15 0 103507678 10914865152 88740 33554432000 4194304 4196468 140729587777616 140022250892336 140022700157570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30916608 140729587778733 140729587778825 140729587778825 140729587781583 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 354960 KiB
Child status: 143
Real time (s): 2483.32
CPU time (s): 2520.09
CPU user time (s): 2516.54
CPU system time (s): 3.55713
CPU usage (%): 101.481
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 548488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.54
system time used= 3.55713
maximum resident set size= 570264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87988
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 295961
involuntary context switches= 6232
# summary of solver processes directly reported to runsolver:
# pid: 30061
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.54
# total CPU system time (s): 3.55713
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9646 second user time and 20.4661 second system time
The end