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 (7983 MiB free)
memory of node 1: 16384 MiB (12633 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300353-1532869314/watcher-4300353-1532869314 -o /tmp/evaluation-result-4300353-1532869314/solver-4300353-1532869314 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532844847-28544 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4300353-1532869314.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=31059, runsolver pid=31056
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.37 1.32 1.34 5/218 31074
/proc/meminfo: memFree=21094984/32770624 swapFree=67108796/67108860
[pid=31059] ppid=31056 vsize=10658972 memory=27816 CPUtime=0.13 cores=1,3,5,7
/proc/31059/stat : 31059 (java) S 31056 31059 28512 0 -1 1077944320 5350 0 0 0 12 1 0 0 20 0 15 0 104494525 10914787328 6954 33554432000 4194304 4196468 140731367355104 140731367337648 140677332389623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
/proc/31059/statm: 2664743 6954 2828 1 0 2627263 0
[pid=31059/tid=31061] ppid=31056 vsize=10658972 memory=-8269626465541198971 CPUtime=0.09 cores=1,3,5,7
/proc/31059/task/31061/stat : 31061 (java) R 31056 31059 28512 0 -1 4202560 3253 0 0 0 9 0 0 0 20 0 15 0 104494525 10914787328 6954 33554432000 4194304 4196468 140731367355104 140677336612208 140676968662688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31062] ppid=31056 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31062/stat : 31062 (java) S 31056 31059 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104494526 10914787328 6954 33554432000 4194304 4196468 140731367355104 140677293349648 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31063] ppid=31056 vsize=10658972 memory=140090545116800 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31063/stat : 31063 (java) S 31056 31059 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104494526 10914787328 6954 33554432000 4194304 4196468 140731367355104 140676938046352 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31064] ppid=31056 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31064/stat : 31064 (java) S 31056 31059 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104494526 10914787328 6954 33554432000 4194304 4196468 140731367355104 140676936993808 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31065] ppid=31056 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31065/stat : 31065 (java) S 31056 31059 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104494526 10914787328 6954 33554432000 4194304 4196468 140731367355104 140676935941264 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31066] ppid=31056 vsize=10658972 memory=140090545116800 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31066/stat : 31066 (java) S 31056 31059 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104494527 10914787328 6954 33554432000 4194304 4196468 140731367355104 140676892039152 140677332400770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31067] ppid=31056 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31067/stat : 31067 (java) S 31056 31059 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104494528 10914787328 6954 33554432000 4194304 4196468 140731367355104 140676890985376 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31068] ppid=31056 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31068/stat : 31068 (java) S 31056 31059 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104494528 10914787328 6954 33554432000 4194304 4196468 140731367355104 140676821935088 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31069] ppid=31056 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31069/stat : 31069 (java) S 31056 31059 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104494530 10914787328 6954 33554432000 4194304 4196468 140731367355104 140676820883664 140677332408219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31070] ppid=31056 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31070/stat : 31070 (java) R 31056 31059 28512 0 -1 4202560 457 0 0 0 0 0 0 0 20 0 15 0 104494530 10914787328 6954 33554432000 4194304 4196468 140731367355104 140676819831280 140677315825361 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31071] ppid=31056 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31071/stat : 31071 (java) R 31056 31059 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104494530 10914787328 6954 33554432000 4194304 4196468 140731367355104 140676818778736 140677332400770 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31072] ppid=31056 vsize=10658972 memory=140090545116800 CPUtime=0.02 cores=1,3,5,7
/proc/31059/task/31072/stat : 31072 (java) S 31056 31059 28512 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 15 0 104494530 10914787328 6954 33554432000 4194304 4196468 140731367355104 140676817726192 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31073] ppid=31056 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31073/stat : 31073 (java) S 31056 31059 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104494531 10914787328 6954 33554432000 4194304 4196468 140731367355104 140676816673888 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31074] ppid=31056 vsize=10658972 memory=140090545116800 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31074/stat : 31074 (java) R 31056 31059 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104494531 10914787328 6954 33554432000 4194304 4196468 140731367355104 140676815620400 140677332400770 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27816 KiB
[startup+0.210688 s]*
/proc/loadavg: 1.37 1.32 1.34 4/218 31074
/proc/meminfo: memFree=21083824/32770624 swapFree=67108796/67108860
[pid=31059] ppid=31056 vsize=10658972 memory=40436 CPUtime=0.34 cores=1,3,5,7
/proc/31059/stat : 31059 (java) S 31056 31059 28512 0 -1 1077944320 8268 0 0 0 32 2 0 0 20 0 15 0 104494525 10914787328 10109 33554432000 4194304 4196468 140731367355104 140731367337648 140677332389623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
/proc/31059/statm: 2664743 10109 2965 1 0 2627263 0
[pid=31059/tid=31061] ppid=31056 vsize=10658972 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/31059/task/31061/stat : 31061 (java) R 31056 31059 28512 0 -1 1077944384 5144 0 0 0 18 1 0 0 20 0 15 0 104494525 10914787328 10109 33554432000 4194304 4196468 140731367355104 140677336627232 140677332399829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31062] ppid=31056 vsize=10658972 memory=345 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31062/stat : 31062 (java) S 31056 31059 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104494526 10914787328 10109 33554432000 4194304 4196468 140731367355104 140677293349648 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31063] ppid=31056 vsize=10658972 memory=288370466696828544 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31063/stat : 31063 (java) S 31056 31059 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104494526 10914787328 10109 33554432000 4194304 4196468 140731367355104 140676938046352 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31064] ppid=31056 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31064/stat : 31064 (java) S 31056 31059 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104494526 10914787328 10109 33554432000 4194304 4196468 140731367355104 140676936993808 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31065] ppid=31056 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31065/stat : 31065 (java) S 31056 31059 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104494526 10914787328 10109 33554432000 4194304 4196468 140731367355104 140676935941264 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31066] ppid=31056 vsize=10658972 memory=140090545116800 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31066/stat : 31066 (java) S 31056 31059 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104494527 10914787328 10109 33554432000 4194304 4196468 140731367355104 140676892039152 140677332400770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31067] ppid=31056 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31067/stat : 31067 (java) S 31056 31059 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104494528 10914787328 10109 33554432000 4194304 4196468 140731367355104 140676890985376 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31068] ppid=31056 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31068/stat : 31068 (java) S 31056 31059 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104494528 10914787328 10109 33554432000 4194304 4196468 140731367355104 140676821935088 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31069] ppid=31056 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31069/stat : 31069 (java) S 31056 31059 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104494530 10914787328 10109 33554432000 4194304 4196468 140731367355104 140676820883664 140677332408219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31070] ppid=31056 vsize=10658972 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31059/task/31070/stat : 31070 (java) S 31056 31059 28512 0 -1 1077944384 721 0 0 0 3 0 0 0 20 0 15 0 104494530 10914787328 10109 33554432000 4194304 4196468 140731367355104 140676819831280 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31071] ppid=31056 vsize=10658972 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31059/task/31071/stat : 31071 (java) R 31056 31059 28512 0 -1 4202560 193 0 0 0 2 0 0 0 20 0 15 0 104494530 10914787328 10109 33554432000 4194304 4196468 140731367355104 140676818770192 140677324626750 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31072] ppid=31056 vsize=10658972 memory=140090545116800 CPUtime=0.08 cores=1,3,5,7
/proc/31059/task/31072/stat : 31072 (java) R 31056 31059 28512 0 -1 4202560 843 0 0 0 8 0 0 0 20 0 15 0 104494530 10914787328 10109 33554432000 4194304 4196468 140731367355104 140676817723856 140677310976476 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31073] ppid=31056 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31073/stat : 31073 (java) S 31056 31059 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104494531 10914787328 10109 33554432000 4194304 4196468 140731367355104 140676816673888 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31074] ppid=31056 vsize=10658972 memory=140090545116800 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31074/stat : 31074 (java) S 31056 31059 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104494531 10914787328 10109 33554432000 4194304 4196468 140731367355104 140676815620400 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 40436 KiB
[startup+0.319025 s]*
/proc/loadavg: 1.37 1.32 1.34 6/218 31074
/proc/meminfo: memFree=21075884/32770624 swapFree=67108796/67108860
[pid=31059] ppid=31056 vsize=10659048 memory=47340 CPUtime=0.63 cores=1,3,5,7
/proc/31059/stat : 31059 (java) S 31056 31059 28512 0 -1 1077944320 8992 0 0 0 60 3 0 0 20 0 15 0 104494525 10914865152 11835 33554432000 4194304 4196468 140731367355104 140731367337648 140677332389623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
/proc/31059/statm: 2664762 11835 3058 1 0 2627263 0
[pid=31059/tid=31061] ppid=31056 vsize=10659048 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/31059/task/31061/stat : 31061 (java) R 31056 31059 28512 0 -1 4202560 5465 0 0 0 28 2 0 0 20 0 15 0 104494525 10914865152 11835 33554432000 4194304 4196468 140731367355104 140677336624960 140676968563435 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31062] ppid=31056 vsize=10659048 memory=288230609002954775 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31062/stat : 31062 (java) S 31056 31059 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104494526 10914865152 11835 33554432000 4194304 4196468 140731367355104 140677293349648 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31063] ppid=31056 vsize=10659048 memory=288370466696828544 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31063/stat : 31063 (java) S 31056 31059 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104494526 10914865152 11835 33554432000 4194304 4196468 140731367355104 140676938046352 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31064] ppid=31056 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31064/stat : 31064 (java) S 31056 31059 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104494526 10914865152 11835 33554432000 4194304 4196468 140731367355104 140676936993808 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31065] ppid=31056 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31065/stat : 31065 (java) S 31056 31059 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104494526 10914865152 11835 33554432000 4194304 4196468 140731367355104 140676935941264 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31066] ppid=31056 vsize=10659048 memory=140090545116800 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31066/stat : 31066 (java) S 31056 31059 28512 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 104494527 10914865152 11835 33554432000 4194304 4196468 140731367355104 140676892039152 140677332400770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31067] ppid=31056 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31067/stat : 31067 (java) S 31056 31059 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104494528 10914865152 11835 33554432000 4194304 4196468 140731367355104 140676890985376 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31068] ppid=31056 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31068/stat : 31068 (java) S 31056 31059 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104494528 10914865152 11835 33554432000 4194304 4196468 140731367355104 140676821935088 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31069] ppid=31056 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31069/stat : 31069 (java) S 31056 31059 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104494530 10914865152 11835 33554432000 4194304 4196468 140731367355104 140676820883664 140677332408219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31070] ppid=31056 vsize=10659048 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/31059/task/31070/stat : 31070 (java) R 31056 31059 28512 0 -1 4202560 856 0 0 0 6 0 0 0 20 0 15 0 104494530 10914865152 11835 33554432000 4194304 4196468 140731367355104 140676819817536 140677311636376 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31071] ppid=31056 vsize=10659048 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31059/task/31071/stat : 31071 (java) R 31056 31059 28512 0 -1 4202560 329 0 0 0 7 0 0 0 20 0 15 0 104494530 10914865152 11835 33554432000 4194304 4196468 140731367355104 140676818764128 140677315889810 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31072] ppid=31056 vsize=10659048 memory=140090545116800 CPUtime=0.17 cores=1,3,5,7
/proc/31059/task/31072/stat : 31072 (java) R 31056 31059 28512 0 -1 4202560 970 0 0 0 17 0 0 0 20 0 15 0 104494530 10914865152 11835 33554432000 4194304 4196468 140731367355104 140676817722560 140677316637999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31073] ppid=31056 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31073/stat : 31073 (java) S 31056 31059 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104494531 10914865152 11835 33554432000 4194304 4196468 140731367355104 140676816673888 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31074] ppid=31056 vsize=10659048 memory=140090545116800 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31074/stat : 31074 (java) S 31056 31059 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104494531 10914865152 11835 33554432000 4194304 4196468 140731367355104 140676815620400 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 47340 KiB
[startup+0.70081 s]
/proc/loadavg: 1.37 1.32 1.34 5/218 31074
/proc/meminfo: memFree=21012344/32770624 swapFree=67108796/67108860
[pid=31059] ppid=31056 vsize=10659048 memory=144488 CPUtime=1.89 cores=1,3,5,7
/proc/31059/stat : 31059 (java) S 31056 31059 28512 0 -1 1077944320 12359 0 0 0 183 6 0 0 20 0 15 0 104494525 10914865152 36122 33554432000 4194304 4196468 140731367355104 140731367337648 140677332389623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
/proc/31059/statm: 2664762 36122 3103 1 0 2627263 0
[pid=31059/tid=31061] ppid=31056 vsize=10659048 memory=1628 CPUtime=0.67 cores=1,3,5,7
/proc/31059/task/31061/stat : 31061 (java) R 31056 31059 28512 0 -1 4202560 5705 0 0 0 63 4 0 0 20 0 15 0 104494525 10914865152 36122 33554432000 4194304 4196468 140731367355104 140677336627040 140676972315751 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31062] ppid=31056 vsize=10659048 memory=8800 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31062/stat : 31062 (java) S 31056 31059 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104494526 10914865152 36122 33554432000 4194304 4196468 140731367355104 140677293349648 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31063] ppid=31056 vsize=10659048 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31063/stat : 31063 (java) S 31056 31059 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104494526 10914865152 36122 33554432000 4194304 4196468 140731367355104 140676938046352 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31064] ppid=31056 vsize=10659048 memory=792 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31064/stat : 31064 (java) S 31056 31059 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104494526 10914865152 36122 33554432000 4194304 4196468 140731367355104 140676936993808 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31065] ppid=31056 vsize=10659048 memory=832 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31065/stat : 31065 (java) S 31056 31059 28512 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104494526 10914865152 36122 33554432000 4194304 4196468 140731367355104 140676935941264 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31066] ppid=31056 vsize=10659048 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31066/stat : 31066 (java) S 31056 31059 28512 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 104494527 10914865152 36122 33554432000 4194304 4196468 140731367355104 140676892039152 140677332400770 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31067] ppid=31056 vsize=10659048 memory=5012 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31067/stat : 31067 (java) S 31056 31059 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104494528 10914865152 36122 33554432000 4194304 4196468 140731367355104 140676890985376 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31068] ppid=31056 vsize=10659048 memory=4032 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31068/stat : 31068 (java) S 31056 31059 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104494528 10914865152 36122 33554432000 4194304 4196468 140731367355104 140676821935088 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31069] ppid=31056 vsize=10659048 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31069/stat : 31069 (java) S 31056 31059 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104494530 10914865152 36122 33554432000 4194304 4196468 140731367355104 140676820883664 140677332408219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31070] ppid=31056 vsize=10659048 memory=4639098309541129069 CPUtime=0.42 cores=1,3,5,7
/proc/31059/task/31070/stat : 31070 (java) R 31056 31059 28512 0 -1 4202560 2112 0 0 0 42 0 0 0 20 0 15 0 104494530 10914865152 36122 33554432000 4194304 4196468 140731367355104 140676819822736 140677313073894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31071] ppid=31056 vsize=10659048 memory=7739276948477865066 CPUtime=0.44 cores=1,3,5,7
/proc/31059/task/31071/stat : 31071 (java) R 31056 31059 28512 0 -1 4202560 1327 0 0 0 44 0 0 0 20 0 15 0 104494530 10914865152 36122 33554432000 4194304 4196468 140731367355104 140676818768528 140677313569244 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31072] ppid=31056 vsize=10659048 memory=7236547281622689387 CPUtime=0.32 cores=1,3,5,7
/proc/31059/task/31072/stat : 31072 (java) S 31056 31059 28512 0 -1 1077944384 1843 0 0 0 32 0 0 0 20 0 15 0 104494530 10914865152 36122 33554432000 4194304 4196468 140731367355104 140676817726192 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31073] ppid=31056 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31073/stat : 31073 (java) S 31056 31059 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104494531 10914865152 36122 33554432000 4194304 4196468 140731367355104 140676816673888 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31074] ppid=31056 vsize=10659048 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31074/stat : 31074 (java) S 31056 31059 28512 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104494531 10914865152 36122 33554432000 4194304 4196468 140731367355104 140676815620400 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
Current children cumulated CPU time: 1.89 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 144488 KiB
[startup+1.50107 s]
/proc/loadavg: 1.37 1.32 1.34 5/218 31074
/proc/meminfo: memFree=20927892/32770624 swapFree=67108796/67108860
[pid=31059] ppid=31056 vsize=10659048 memory=211032 CPUtime=4.29 cores=1,3,5,7
/proc/31059/stat : 31059 (java) S 31056 31059 28512 0 -1 1077944320 16336 0 0 0 420 9 0 0 20 0 15 0 104494525 10914865152 52758 33554432000 4194304 4196468 140731367355104 140731367337648 140677332389623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
/proc/31059/statm: 2664762 52758 3139 1 0 2627263 0
[pid=31059/tid=31061] ppid=31056 vsize=10659048 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/31059/task/31061/stat : 31061 (java) R 31056 31059 28512 0 -1 4202560 5781 0 0 0 139 5 0 0 20 0 15 0 104494525 10914865152 52758 33554432000 4194304 4196468 140731367355104 140677336628344 140676973049772 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31062] ppid=31056 vsize=10659048 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31062/stat : 31062 (java) S 31056 31059 28512 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 104494526 10914865152 52758 33554432000 4194304 4196468 140731367355104 140677293349648 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31063] ppid=31056 vsize=10659048 memory=-6509546260019855295 CPUtime=0.01 cores=1,3,5,7
/proc/31059/task/31063/stat : 31063 (java) S 31056 31059 28512 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 15 0 104494526 10914865152 52758 33554432000 4194304 4196468 140731367355104 140676938046352 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31064] ppid=31056 vsize=10659048 memory=-7390251449858225344 CPUtime=0.01 cores=1,3,5,7
/proc/31059/task/31064/stat : 31064 (java) S 31056 31059 28512 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 104494526 10914865152 52758 33554432000 4194304 4196468 140731367355104 140676936993808 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31065] ppid=31056 vsize=10659048 memory=4134692831991786133 CPUtime=0.01 cores=1,3,5,7
/proc/31059/task/31065/stat : 31065 (java) S 31056 31059 28512 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 15 0 104494526 10914865152 52758 33554432000 4194304 4196468 140731367355104 140676935941264 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31066] ppid=31056 vsize=10659048 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31066/stat : 31066 (java) S 31056 31059 28512 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 104494527 10914865152 52758 33554432000 4194304 4196468 140731367355104 140676892039152 140677332400770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
################
# More data... #
################
/proc/31059/task/31061/stat : 31061 (java) R 31056 31059 28512 0 -1 4202560 56881 0 0 0 235630 68 0 0 20 0 15 0 104494525 10914865152 549852 33554432000 4194304 4196468 140731367355104 140677336628608 140676973299335 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31062] ppid=31056 vsize=10659048 memory=2199408 CPUtime=14.4 cores=1,3,5,7
/proc/31059/task/31062/stat : 31062 (java) S 31056 31059 28512 0 -1 1077944384 23389 0 0 0 1377 63 0 0 20 0 15 0 104494526 10914865152 549852 33554432000 4194304 4196468 140731367355104 140677293349648 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31063] ppid=31056 vsize=10659048 memory=2199408 CPUtime=14.39 cores=1,3,5,7
/proc/31059/task/31063/stat : 31063 (java) S 31056 31059 28512 0 -1 1077944384 22565 0 0 0 1375 64 0 0 20 0 15 0 104494526 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676938046352 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31064] ppid=31056 vsize=10659048 memory=2199408 CPUtime=14.35 cores=1,3,5,7
/proc/31059/task/31064/stat : 31064 (java) S 31056 31059 28512 0 -1 1077944384 20220 0 0 0 1373 62 0 0 20 0 15 0 104494526 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676936993808 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31065] ppid=31056 vsize=10659048 memory=2199408 CPUtime=14.33 cores=1,3,5,7
/proc/31059/task/31065/stat : 31065 (java) S 31056 31059 28512 0 -1 1077944384 23634 0 0 0 1371 62 0 0 20 0 15 0 104494526 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676935941264 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31066] ppid=31056 vsize=10659048 memory=2199408 CPUtime=8.5 cores=1,3,5,7
/proc/31059/task/31066/stat : 31066 (java) S 31056 31059 28512 0 -1 1077944384 25685 0 0 0 788 62 0 0 20 0 15 0 104494527 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676892039152 140677332400770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31067] ppid=31056 vsize=10659048 memory=2199408 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31067/stat : 31067 (java) S 31056 31059 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104494528 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676890985376 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31068] ppid=31056 vsize=10659048 memory=2199408 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31068/stat : 31068 (java) S 31056 31059 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104494528 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676821935088 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31069] ppid=31056 vsize=10659048 memory=2199408 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31069/stat : 31069 (java) S 31056 31059 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104494530 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676820883664 140677332408219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31070] ppid=31056 vsize=10659048 memory=2199408 CPUtime=1.29 cores=1,3,5,7
/proc/31059/task/31070/stat : 31070 (java) S 31056 31059 28512 0 -1 1077944384 6271 0 0 0 128 1 0 0 20 0 15 0 104494530 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676819831280 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31071] ppid=31056 vsize=10659048 memory=2199408 CPUtime=1.31 cores=1,3,5,7
/proc/31059/task/31071/stat : 31071 (java) S 31056 31059 28512 0 -1 1077944384 6184 0 0 0 131 0 0 0 20 0 15 0 104494530 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676818778736 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31072] ppid=31056 vsize=10659048 memory=2199408 CPUtime=0.44 cores=1,3,5,7
/proc/31059/task/31072/stat : 31072 (java) S 31056 31059 28512 0 -1 1077944384 3217 0 0 0 43 1 0 0 20 0 15 0 104494530 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676817726192 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31073] ppid=31056 vsize=10659048 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31073/stat : 31073 (java) S 31056 31059 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104494531 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676816673888 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31074] ppid=31056 vsize=10659048 memory=960 CPUtime=1.39 cores=1,3,5,7
/proc/31059/task/31074/stat : 31074 (java) S 31056 31059 28512 0 -1 1077944384 1831 0 0 0 57 82 0 0 20 0 15 0 104494531 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676815620400 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
Current children cumulated CPU time: 2427.47 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2199408 KiB
[startup+2442.3 s]
/proc/loadavg: 1.23 1.32 1.32 3/216 31303
/proc/meminfo: memFree=18931056/32770624 swapFree=67108796/67108860
[pid=31059] ppid=31056 vsize=10659048 memory=2199408 CPUtime=2488.56 cores=1,3,5,7
/proc/31059/stat : 31059 (java) S 31056 31059 28512 0 -1 1077944320 194461 0 0 0 248445 411 0 0 20 0 15 0 104494525 10914865152 549852 33554432000 4194304 4196468 140731367355104 140731367337648 140677332389623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
/proc/31059/statm: 2664762 549852 3170 1 0 2627263 0
[pid=31059/tid=31061] ppid=31056 vsize=10659048 memory=2199408 CPUtime=2416.27 cores=1,3,5,7
/proc/31059/task/31061/stat : 31061 (java) R 31056 31059 28512 0 -1 4202560 58011 0 0 0 241558 69 0 0 20 0 15 0 104494525 10914865152 549852 33554432000 4194304 4196468 140731367355104 140677336628720 140676973100495 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31062] ppid=31056 vsize=10659048 memory=2199408 CPUtime=14.77 cores=1,3,5,7
/proc/31059/task/31062/stat : 31062 (java) S 31056 31059 28512 0 -1 1077944384 23604 0 0 0 1412 65 0 0 20 0 15 0 104494526 10914865152 549852 33554432000 4194304 4196468 140731367355104 140677293349648 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31063] ppid=31056 vsize=10659048 memory=2199408 CPUtime=14.78 cores=1,3,5,7
/proc/31059/task/31063/stat : 31063 (java) S 31056 31059 28512 0 -1 1077944384 22968 0 0 0 1411 67 0 0 20 0 15 0 104494526 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676938046352 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31064] ppid=31056 vsize=10659048 memory=2199408 CPUtime=14.73 cores=1,3,5,7
/proc/31059/task/31064/stat : 31064 (java) S 31056 31059 28512 0 -1 1077944384 20622 0 0 0 1409 64 0 0 20 0 15 0 104494526 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676936993808 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31065] ppid=31056 vsize=10659048 memory=2199408 CPUtime=14.71 cores=1,3,5,7
/proc/31059/task/31065/stat : 31065 (java) S 31056 31059 28512 0 -1 1077944384 24126 0 0 0 1407 64 0 0 20 0 15 0 104494526 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676935941264 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31066] ppid=31056 vsize=10659048 memory=2199408 CPUtime=8.76 cores=1,3,5,7
/proc/31059/task/31066/stat : 31066 (java) S 31056 31059 28512 0 -1 1077944384 26205 0 0 0 811 65 0 0 20 0 15 0 104494527 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676892039152 140677332400770 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31067] ppid=31056 vsize=10659048 memory=2199408 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31067/stat : 31067 (java) S 31056 31059 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104494528 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676890985376 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31068] ppid=31056 vsize=10659048 memory=3708 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31068/stat : 31068 (java) S 31056 31059 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104494528 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676821935088 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31069] ppid=31056 vsize=10659048 memory=2199408 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31069/stat : 31069 (java) S 31056 31059 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104494530 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676820883664 140677332408219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31070] ppid=31056 vsize=10659048 memory=2199408 CPUtime=1.29 cores=1,3,5,7
/proc/31059/task/31070/stat : 31070 (java) S 31056 31059 28512 0 -1 1077944384 6277 0 0 0 128 1 0 0 20 0 15 0 104494530 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676819831280 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31071] ppid=31056 vsize=10659048 memory=2199408 CPUtime=1.31 cores=1,3,5,7
/proc/31059/task/31071/stat : 31071 (java) S 31056 31059 28512 0 -1 1077944384 6191 0 0 0 131 0 0 0 20 0 15 0 104494530 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676818778736 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31072] ppid=31056 vsize=10659048 memory=2199408 CPUtime=0.44 cores=1,3,5,7
/proc/31059/task/31072/stat : 31072 (java) S 31056 31059 28512 0 -1 1077944384 3223 0 0 0 43 1 0 0 20 0 15 0 104494530 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676817726192 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31073] ppid=31056 vsize=10659048 memory=2199408 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31073/stat : 31073 (java) S 31056 31059 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104494531 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676816673888 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31074] ppid=31056 vsize=10659048 memory=2199408 CPUtime=1.43 cores=1,3,5,7
/proc/31059/task/31074/stat : 31074 (java) S 31056 31059 28512 0 -1 1077944384 1874 0 0 0 58 85 0 0 20 0 15 0 104494531 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676815620400 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
Current children cumulated CPU time: 2488.56 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2199408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2473.3 s]
/proc/loadavg: 1.40 1.35 1.33 3/216 31304
/proc/meminfo: memFree=18930684/32770624 swapFree=67108796/67108860
[pid=31059] ppid=31056 vsize=10659048 memory=2199408 CPUtime=2520.05 cores=1,3,5,7
/proc/31059/stat : 31059 (java) S 31056 31059 28512 0 -1 1077944320 196576 0 0 0 251591 414 0 0 20 0 15 0 104494525 10914865152 549852 33554432000 4194304 4196468 140731367355104 140731367337648 140677332389623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
/proc/31059/statm: 2664762 549852 3170 1 0 2627263 0
[pid=31059/tid=31061] ppid=31056 vsize=10659048 memory=2199408 CPUtime=2446.95 cores=1,3,5,7
/proc/31059/task/31061/stat : 31061 (java) R 31056 31059 28512 0 -1 4202560 58801 0 0 0 244626 69 0 0 20 0 15 0 104494525 10914865152 549852 33554432000 4194304 4196468 140731367355104 140677336628560 140676968867004 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31062] ppid=31056 vsize=10659048 memory=2199408 CPUtime=14.94 cores=1,3,5,7
/proc/31059/task/31062/stat : 31062 (java) S 31056 31059 28512 0 -1 1077944384 23641 0 0 0 1429 65 0 0 20 0 15 0 104494526 10914865152 549852 33554432000 4194304 4196468 140731367355104 140677293349648 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31063] ppid=31056 vsize=10659048 memory=2199408 CPUtime=14.94 cores=1,3,5,7
/proc/31059/task/31063/stat : 31063 (java) S 31056 31059 28512 0 -1 1077944384 23254 0 0 0 1427 67 0 0 20 0 15 0 104494526 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676938046352 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31064] ppid=31056 vsize=10659048 memory=2199408 CPUtime=14.89 cores=1,3,5,7
/proc/31059/task/31064/stat : 31064 (java) S 31056 31059 28512 0 -1 1077944384 20929 0 0 0 1425 64 0 0 20 0 15 0 104494526 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676936993808 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31065] ppid=31056 vsize=10659048 memory=2199408 CPUtime=14.88 cores=1,3,5,7
/proc/31059/task/31065/stat : 31065 (java) S 31056 31059 28512 0 -1 1077944384 24431 0 0 0 1424 64 0 0 20 0 15 0 104494526 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676935941264 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31066] ppid=31056 vsize=10659048 memory=2199408 CPUtime=8.87 cores=1,3,5,7
/proc/31059/task/31066/stat : 31066 (java) S 31056 31059 28512 0 -1 1077944384 26553 0 0 0 821 66 0 0 20 0 15 0 104494527 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676892039152 140677332400770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31067] ppid=31056 vsize=10659048 memory=131 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31067/stat : 31067 (java) S 31056 31059 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104494528 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676890985376 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31068] ppid=31056 vsize=10659048 memory=2199408 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31068/stat : 31068 (java) S 31056 31059 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104494528 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676821935088 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31069] ppid=31056 vsize=10659048 memory=2199408 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31069/stat : 31069 (java) S 31056 31059 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104494530 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676820883664 140677332408219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31070] ppid=31056 vsize=10659048 memory=2199408 CPUtime=1.29 cores=1,3,5,7
/proc/31059/task/31070/stat : 31070 (java) S 31056 31059 28512 0 -1 1077944384 6281 0 0 0 128 1 0 0 20 0 15 0 104494530 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676819831280 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31071] ppid=31056 vsize=10659048 memory=2199408 CPUtime=1.31 cores=1,3,5,7
/proc/31059/task/31071/stat : 31071 (java) S 31056 31059 28512 0 -1 1077944384 6195 0 0 0 131 0 0 0 20 0 15 0 104494530 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676818778736 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31072] ppid=31056 vsize=10659048 memory=3708 CPUtime=0.44 cores=1,3,5,7
/proc/31059/task/31072/stat : 31072 (java) S 31056 31059 28512 0 -1 1077944384 3227 0 0 0 43 1 0 0 20 0 15 0 104494530 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676817726192 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31073] ppid=31056 vsize=10659048 memory=2199408 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31073/stat : 31073 (java) S 31056 31059 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104494531 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676816673888 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31074] ppid=31056 vsize=10659048 memory=1120 CPUtime=1.45 cores=1,3,5,7
/proc/31059/task/31074/stat : 31074 (java) S 31056 31059 28512 0 -1 1077944384 1904 0 0 0 59 86 0 0 20 0 15 0 104494531 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676815620400 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2199408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2473.32 s]
# the end of solver process 31059 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.93 s, system=4.15703 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2473.3 s]
/proc/loadavg: 1.40 1.35 1.33 3/216 31304
/proc/meminfo: memFree=18930684/32770624 swapFree=67108796/67108860
[pid=31059] ppid=31056 vsize=10659048 memory=2199408 CPUtime=2520.05 cores=1,3,5,7
/proc/31059/stat : 31059 (java) S 31056 31059 28512 0 -1 1077944320 196576 0 0 0 251591 414 0 0 20 0 15 0 104494525 10914865152 549852 33554432000 4194304 4196468 140731367355104 140731367337648 140677332389623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
/proc/31059/statm: 2664762 549852 3170 1 0 2627263 0
[pid=31059/tid=31061] ppid=31056 vsize=10659048 memory=2199408 CPUtime=2446.95 cores=1,3,5,7
/proc/31059/task/31061/stat : 31061 (java) R 31056 31059 28512 0 -1 4202560 58801 0 0 0 244626 69 0 0 20 0 15 0 104494525 10914865152 549852 33554432000 4194304 4196468 140731367355104 140677336628560 140676968867004 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31062] ppid=31056 vsize=10659048 memory=2199408 CPUtime=14.94 cores=1,3,5,7
/proc/31059/task/31062/stat : 31062 (java) S 31056 31059 28512 0 -1 1077944384 23641 0 0 0 1429 65 0 0 20 0 15 0 104494526 10914865152 549852 33554432000 4194304 4196468 140731367355104 140677293349648 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31063] ppid=31056 vsize=10659048 memory=2199408 CPUtime=14.94 cores=1,3,5,7
/proc/31059/task/31063/stat : 31063 (java) S 31056 31059 28512 0 -1 1077944384 23254 0 0 0 1427 67 0 0 20 0 15 0 104494526 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676938046352 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31064] ppid=31056 vsize=10659048 memory=2199408 CPUtime=14.89 cores=1,3,5,7
/proc/31059/task/31064/stat : 31064 (java) S 31056 31059 28512 0 -1 1077944384 20929 0 0 0 1425 64 0 0 20 0 15 0 104494526 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676936993808 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31065] ppid=31056 vsize=10659048 memory=2199408 CPUtime=14.88 cores=1,3,5,7
/proc/31059/task/31065/stat : 31065 (java) S 31056 31059 28512 0 -1 1077944384 24431 0 0 0 1424 64 0 0 20 0 15 0 104494526 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676935941264 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31066] ppid=31056 vsize=10659048 memory=2199408 CPUtime=8.87 cores=1,3,5,7
/proc/31059/task/31066/stat : 31066 (java) S 31056 31059 28512 0 -1 1077944384 26553 0 0 0 821 66 0 0 20 0 15 0 104494527 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676892039152 140677332400770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31067] ppid=31056 vsize=10659048 memory=131 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31067/stat : 31067 (java) S 31056 31059 28512 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104494528 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676890985376 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31068] ppid=31056 vsize=10659048 memory=2199408 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31068/stat : 31068 (java) S 31056 31059 28512 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104494528 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676821935088 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31069] ppid=31056 vsize=10659048 memory=2199408 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31069/stat : 31069 (java) S 31056 31059 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104494530 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676820883664 140677332408219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31070] ppid=31056 vsize=10659048 memory=2199408 CPUtime=1.29 cores=1,3,5,7
/proc/31059/task/31070/stat : 31070 (java) S 31056 31059 28512 0 -1 1077944384 6281 0 0 0 128 1 0 0 20 0 15 0 104494530 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676819831280 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31071] ppid=31056 vsize=10659048 memory=2199408 CPUtime=1.31 cores=1,3,5,7
/proc/31059/task/31071/stat : 31071 (java) S 31056 31059 28512 0 -1 1077944384 6195 0 0 0 131 0 0 0 20 0 15 0 104494530 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676818778736 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31072] ppid=31056 vsize=10659048 memory=3708 CPUtime=0.44 cores=1,3,5,7
/proc/31059/task/31072/stat : 31072 (java) S 31056 31059 28512 0 -1 1077944384 3227 0 0 0 43 1 0 0 20 0 15 0 104494530 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676817726192 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31073] ppid=31056 vsize=10659048 memory=2199408 CPUtime=0 cores=1,3,5,7
/proc/31059/task/31073/stat : 31073 (java) S 31056 31059 28512 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104494531 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676816673888 140677332399829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
[pid=31059/tid=31074] ppid=31056 vsize=10659048 memory=1120 CPUtime=1.45 cores=1,3,5,7
/proc/31059/task/31074/stat : 31074 (java) S 31056 31059 28512 0 -1 1077944384 1904 0 0 0 59 86 0 0 20 0 15 0 104494531 10914865152 549852 33554432000 4194304 4196468 140731367355104 140676815620400 140677332400770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36675584 140731367359661 140731367359753 140731367359753 140731367362511 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2199408 KiB
Child status: 143
Real time (s): 2473.32
CPU time (s): 2520.09
CPU user time (s): 2515.93
CPU system time (s): 4.15703
CPU usage (%): 101.891
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 2390992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.93
system time used= 4.15703
maximum resident set size= 2409156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196869
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 302565
involuntary context switches= 4655
# summary of solver processes directly reported to runsolver:
# pid: 31059
# total CPU time (s): 2520.09
# total CPU user time (s): 2515.93
# total CPU system time (s): 4.15703
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.517 second user time and 23.3198 second system time
The end