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 (6985 MiB free)
memory of node 1: 16384 MiB (5479 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305193-1534138371/watcher-4305193-1534138371 -o /tmp/evaluation-result-4305193-1534138371/solver-4305193-1534138371 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534135902-2550 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1541982433 HOME/instance-4305193-1534138371.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
Current StackSize limit: 8192 KiB
solver pid=2999, runsolver pid=2996
[startup+0.107548 s]*
/proc/loadavg: 1.95 1.60 1.46 4/207 3056
/proc/meminfo: memFree=12754544/32770624 swapFree=67108496/67108860
[pid=2999] ppid=2996 vsize=10088124 memory=18280 CPUtime=0.1 cores=1,3,5,7
/proc/2999/stat : 2999 (java) S 2996 2999 2518 0 -1 1077944320 4725 12839 0 0 2 1 5 2 20 0 7 0 231400341 10330238976 4570 33554432000 4194304 4196468 140735865219312 140735865201856 140170786279159 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
/proc/2999/statm: 2522031 4570 2051 1 0 2510469 0
[pid=2999/tid=3052] ppid=2996 vsize=10219200 memory=-8457885189470994375 CPUtime=0.08 cores=1,3,5,7
/proc/2999/task/3052/stat : 3052 (java) R 2996 2999 2518 0 -1 4202560 2548 12839 0 0 1 0 5 2 20 0 8 0 231400350 10464460800 5082 33554432000 4194304 4196468 140735865219312 140170758119856 140170770359646 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3053] ppid=2996 vsize=10219200 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3053/stat : 3053 (java) S 2996 2999 2518 0 -1 1077944384 2 12839 0 0 0 0 5 2 20 0 8 0 231400351 10464460800 5082 33554432000 4194304 4196468 140735865219312 140170790521104 140170786289365 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3054] ppid=2996 vsize=10219200 memory=140617612342912 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3054/stat : 3054 (java) S 2996 2999 2518 0 -1 1077944384 2 12839 0 0 0 0 5 2 20 0 8 0 231400351 10464460800 5082 33554432000 4194304 4196468 140735865219312 140170688878992 140170786289365 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3055] ppid=2996 vsize=10219200 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3055/stat : 3055 (java) S 2996 2999 2518 0 -1 1077944384 2 12839 0 0 0 0 5 2 20 0 8 0 231400351 10464460800 5082 33554432000 4194304 4196468 140735865219312 140170324478480 140170786289365 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3056] ppid=2996 vsize=10219200 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3056/stat : 3056 (java) S 2996 2999 2518 0 -1 1077944384 1 12839 0 0 0 0 5 2 20 0 8 0 231400351 10464460800 5082 33554432000 4194304 4196468 140735865219312 140170323425936 140170786289365 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3057] ppid=2996 vsize=10219200 memory=140617612342912 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3057/stat : 3057 (java) S 2996 2999 2518 0 -1 1077944384 2 12839 0 0 0 0 5 2 20 0 8 0 231400352 10464460800 5082 33554432000 4194304 4196468 140735865219312 140170211858928 140170786290306 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3058] ppid=2996 vsize=10219200 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3058/stat : 3058 (java) S 2996 2999 2518 0 -1 1077944384 12 12839 0 0 0 0 5 2 20 0 8 0 231400353 10464460800 5082 33554432000 4194304 4196468 140735865219312 140169559662928 140170786289365 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10088124 KiB
Current children cumulated memory: 18280 KiB
[startup+0.210117 s]*
/proc/loadavg: 1.95 1.60 1.46 5/216 3065
/proc/meminfo: memFree=12732368/32770624 swapFree=67108496/67108860
[pid=2999] ppid=2996 vsize=10982744 memory=43252 CPUtime=0.25 cores=1,3,5,7
/proc/2999/stat : 2999 (java) S 2996 2999 2518 0 -1 1077944320 7974 12839 0 0 17 1 5 2 20 0 15 0 231400341 11246329856 10813 33554432000 4194304 4196468 140735865219312 140735865201856 140170786279159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
/proc/2999/statm: 2745686 10813 2984 1 0 2708109 0
[pid=2999/tid=3052] ppid=2996 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/2999/task/3052/stat : 3052 (java) R 2996 2999 2518 0 -1 4202560 4602 12839 0 0 11 1 5 2 20 0 15 0 231400350 11246329856 10945 33554432000 4194304 4196468 140735865219312 140170758075200 140170786301085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3053] ppid=2996 vsize=10982744 memory=365 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3053/stat : 3053 (java) S 2996 2999 2518 0 -1 1077944384 2 12839 0 0 0 0 5 2 20 0 15 0 231400351 11246329856 10945 33554432000 4194304 4196468 140735865219312 140170790521104 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3054] ppid=2996 vsize=10982744 memory=288370993764054656 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3054/stat : 3054 (java) S 2996 2999 2518 0 -1 1077944384 2 12839 0 0 0 0 5 2 20 0 15 0 231400351 11246329856 10945 33554432000 4194304 4196468 140735865219312 140170688878992 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3055] ppid=2996 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3055/stat : 3055 (java) S 2996 2999 2518 0 -1 1077944384 2 12839 0 0 0 0 5 2 20 0 15 0 231400351 11246329856 10945 33554432000 4194304 4196468 140735865219312 140170324478480 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3056] ppid=2996 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3056/stat : 3056 (java) S 2996 2999 2518 0 -1 1077944384 1 12839 0 0 0 0 5 2 20 0 15 0 231400351 11246329856 10945 33554432000 4194304 4196468 140735865219312 140170323425936 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3057] ppid=2996 vsize=10982744 memory=140617612342912 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3057/stat : 3057 (java) S 2996 2999 2518 0 -1 1077944384 2 12839 0 0 0 0 5 2 20 0 15 0 231400352 11246329856 10945 33554432000 4194304 4196468 140735865219312 140170211858928 140170786290306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3058] ppid=2996 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3058/stat : 3058 (java) S 2996 2999 2518 0 -1 1077944384 13 12839 0 0 0 0 5 2 20 0 15 0 231400353 11246329856 10945 33554432000 4194304 4196468 140735865219312 140169559664032 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3059] ppid=2996 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3059/stat : 3059 (java) S 2996 2999 2518 0 -1 1077944384 1 12839 0 0 0 0 5 2 20 0 15 0 231400353 11246329856 10945 33554432000 4194304 4196468 140735865219312 140169411814896 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3060] ppid=2996 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3060/stat : 3060 (java) S 2996 2999 2518 0 -1 1077944384 3 12839 0 0 0 0 5 2 20 0 15 0 231400356 11246329856 10945 33554432000 4194304 4196468 140735865219312 140169104415440 140170786297755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3061] ppid=2996 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2999/task/3061/stat : 3061 (java) S 2996 2999 2518 0 -1 1077944384 374 12839 0 0 1 0 5 2 20 0 15 0 231400356 11246329856 10945 33554432000 4194304 4196468 140735865219312 140170210805744 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3062] ppid=2996 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3062/stat : 3062 (java) S 2996 2999 2518 0 -1 1077944384 272 12839 0 0 0 0 5 2 20 0 15 0 231400356 11246329856 10945 33554432000 4194304 4196468 140735865219312 140170209753200 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3063] ppid=2996 vsize=10982744 memory=140617612342912 CPUtime=0.1 cores=1,3,5,7
/proc/2999/task/3063/stat : 3063 (java) S 2996 2999 2518 0 -1 1077944384 670 12839 0 0 3 0 5 2 20 0 15 0 231400356 11246329856 10945 33554432000 4194304 4196468 140735865219312 140170208700656 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3064] ppid=2996 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3064/stat : 3064 (java) S 2996 2999 2518 0 -1 1077944384 3 12839 0 0 0 0 5 2 20 0 15 0 231400356 11246329856 10945 33554432000 4194304 4196468 140735865219312 140168673618528 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3065] ppid=2996 vsize=10982744 memory=140617612342912 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3065/stat : 3065 (java) S 2996 2999 2518 0 -1 1077944384 1 12839 0 0 0 0 5 2 20 0 15 0 231400356 11246329856 10945 33554432000 4194304 4196468 140735865219312 140170207648560 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43252 KiB
[startup+0.310283 s]*
/proc/loadavg: 1.95 1.60 1.46 5/216 3065
/proc/meminfo: memFree=12719000/32770624 swapFree=67108496/67108860
[pid=2999] ppid=2996 vsize=10983192 memory=54428 CPUtime=0.37 cores=1,3,5,7
/proc/2999/stat : 2999 (java) S 2996 2999 2518 0 -1 1077944320 10671 12839 0 0 28 2 5 2 20 0 15 0 231400341 11246788608 13607 33554432000 4194304 4196468 140735865219312 140735865201856 140170786279159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
/proc/2999/statm: 2745798 13607 3103 1 0 2708109 0
[pid=2999/tid=3052] ppid=2996 vsize=10983192 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/2999/task/3052/stat : 3052 (java) R 2996 2999 2518 0 -1 4202560 7089 12839 0 0 20 1 5 2 20 0 15 0 231400350 11246788608 13607 33554432000 4194304 4196468 140735865219312 140170758068688 140170786301085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3053] ppid=2996 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3053/stat : 3053 (java) S 2996 2999 2518 0 -1 1077944384 2 12839 0 0 0 0 5 2 20 0 15 0 231400351 11246788608 13607 33554432000 4194304 4196468 140735865219312 140170790521104 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3054] ppid=2996 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3054/stat : 3054 (java) S 2996 2999 2518 0 -1 1077944384 2 12839 0 0 0 0 5 2 20 0 15 0 231400351 11246788608 13607 33554432000 4194304 4196468 140735865219312 140170688878992 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3055] ppid=2996 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3055/stat : 3055 (java) S 2996 2999 2518 0 -1 1077944384 2 12839 0 0 0 0 5 2 20 0 15 0 231400351 11246788608 13607 33554432000 4194304 4196468 140735865219312 140170324478480 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3056] ppid=2996 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3056/stat : 3056 (java) S 2996 2999 2518 0 -1 1077944384 1 12839 0 0 0 0 5 2 20 0 15 0 231400351 11246788608 13607 33554432000 4194304 4196468 140735865219312 140170323425936 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3057] ppid=2996 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3057/stat : 3057 (java) S 2996 2999 2518 0 -1 1077944384 2 12839 0 0 0 0 5 2 20 0 15 0 231400352 11246788608 13607 33554432000 4194304 4196468 140735865219312 140170211858928 140170786290306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3058] ppid=2996 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3058/stat : 3058 (java) S 2996 2999 2518 0 -1 1077944384 13 12839 0 0 0 0 5 2 20 0 15 0 231400353 11246788608 13607 33554432000 4194304 4196468 140735865219312 140169559664032 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3059] ppid=2996 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3059/stat : 3059 (java) S 2996 2999 2518 0 -1 1077944384 1 12839 0 0 0 0 5 2 20 0 15 0 231400353 11246788608 13607 33554432000 4194304 4196468 140735865219312 140169411814896 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3060] ppid=2996 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3060/stat : 3060 (java) S 2996 2999 2518 0 -1 1077944384 3 12839 0 0 0 0 5 2 20 0 15 0 231400356 11246788608 13607 33554432000 4194304 4196468 140735865219312 140169104415440 140170786297755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3061] ppid=2996 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2999/task/3061/stat : 3061 (java) S 2996 2999 2518 0 -1 1077944384 381 12839 0 0 2 0 5 2 20 0 15 0 231400356 11246788608 13607 33554432000 4194304 4196468 140735865219312 140170210805744 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3062] ppid=2996 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2999/task/3062/stat : 3062 (java) S 2996 2999 2518 0 -1 1077944384 277 12839 0 0 1 0 5 2 20 0 15 0 231400356 11246788608 13607 33554432000 4194304 4196468 140735865219312 140170209753200 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3063] ppid=2996 vsize=10983192 memory=140617612342912 CPUtime=0.12 cores=1,3,5,7
/proc/2999/task/3063/stat : 3063 (java) S 2996 2999 2518 0 -1 1077944384 703 12839 0 0 5 0 5 2 20 0 15 0 231400356 11246788608 13607 33554432000 4194304 4196468 140735865219312 140170208700656 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3064] ppid=2996 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3064/stat : 3064 (java) S 2996 2999 2518 0 -1 1077944384 3 12839 0 0 0 0 5 2 20 0 15 0 231400356 11246788608 13607 33554432000 4194304 4196468 140735865219312 140168673618528 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3065] ppid=2996 vsize=10983192 memory=140617612342912 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3065/stat : 3065 (java) S 2996 2999 2518 0 -1 1077944384 1 12839 0 0 0 0 5 2 20 0 15 0 231400356 11246788608 13607 33554432000 4194304 4196468 140735865219312 140170207648560 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54428 KiB
[startup+0.700729 s]
/proc/loadavg: 1.95 1.60 1.46 4/216 3065
/proc/meminfo: memFree=12705232/32770624 swapFree=67108496/67108860
[pid=2999] ppid=2996 vsize=10983192 memory=87600 CPUtime=0.98 cores=1,3,5,7
/proc/2999/stat : 2999 (java) S 2996 2999 2518 0 -1 1077944320 17112 12839 0 0 87 4 5 2 20 0 15 0 231400341 11246788608 21900 33554432000 4194304 4196468 140735865219312 140735865201856 140170786279159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
/proc/2999/statm: 2745798 21900 3238 1 0 2708109 0
[pid=2999/tid=3052] ppid=2996 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/2999/task/3052/stat : 3052 (java) R 2996 2999 2518 0 -1 4202560 12247 12839 0 0 56 3 5 2 20 0 15 0 231400350 11246788608 21900 33554432000 4194304 4196468 140735865219312 140170758095424 140170770359646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3053] ppid=2996 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3053/stat : 3053 (java) S 2996 2999 2518 0 -1 1077944384 2 12839 0 0 0 0 5 2 20 0 15 0 231400351 11246788608 21900 33554432000 4194304 4196468 140735865219312 140170790521104 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3054] ppid=2996 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3054/stat : 3054 (java) S 2996 2999 2518 0 -1 1077944384 2 12839 0 0 0 0 5 2 20 0 15 0 231400351 11246788608 21900 33554432000 4194304 4196468 140735865219312 140170688878992 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3055] ppid=2996 vsize=10983192 memory=140617497748880 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3055/stat : 3055 (java) S 2996 2999 2518 0 -1 1077944384 2 12839 0 0 0 0 5 2 20 0 15 0 231400351 11246788608 21900 33554432000 4194304 4196468 140735865219312 140170324478480 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3056] ppid=2996 vsize=10983192 memory=140621524238912 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3056/stat : 3056 (java) S 2996 2999 2518 0 -1 1077944384 1 12839 0 0 0 0 5 2 20 0 15 0 231400351 11246788608 21900 33554432000 4194304 4196468 140735865219312 140170323425936 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3057] ppid=2996 vsize=10983192 memory=1836 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3057/stat : 3057 (java) S 2996 2999 2518 0 -1 1077944384 5 12839 0 0 0 0 5 2 20 0 15 0 231400352 11246788608 21900 33554432000 4194304 4196468 140735865219312 140170211858928 140170786290306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3058] ppid=2996 vsize=10983192 memory=4000 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3058/stat : 3058 (java) S 2996 2999 2518 0 -1 1077944384 13 12839 0 0 0 0 5 2 20 0 15 0 231400353 11246788608 21900 33554432000 4194304 4196468 140735865219312 140169559664032 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3059] ppid=2996 vsize=10983192 memory=14204 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3059/stat : 3059 (java) S 2996 2999 2518 0 -1 1077944384 1 12839 0 0 0 0 5 2 20 0 15 0 231400353 11246788608 21900 33554432000 4194304 4196468 140735865219312 140169411814896 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3060] ppid=2996 vsize=10983192 memory=35212 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3060/stat : 3060 (java) S 2996 2999 2518 0 -1 1077944384 3 12839 0 0 0 0 5 2 20 0 15 0 231400356 11246788608 21900 33554432000 4194304 4196468 140735865219312 140169104415440 140170786297755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3061] ppid=2996 vsize=10983192 memory=1180 CPUtime=0.14 cores=1,3,5,7
/proc/2999/task/3061/stat : 3061 (java) S 2996 2999 2518 0 -1 1077944384 789 12839 0 0 7 0 5 2 20 0 15 0 231400356 11246788608 21900 33554432000 4194304 4196468 140735865219312 140170210805744 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3062] ppid=2996 vsize=10983192 memory=504 CPUtime=0.16 cores=1,3,5,7
/proc/2999/task/3062/stat : 3062 (java) S 2996 2999 2518 0 -1 1077944384 937 12839 0 0 9 0 5 2 20 0 15 0 231400356 11246788608 21900 33554432000 4194304 4196468 140735865219312 140170209753200 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3063] ppid=2996 vsize=10983192 memory=1720 CPUtime=0.2 cores=1,3,5,7
/proc/2999/task/3063/stat : 3063 (java) S 2996 2999 2518 0 -1 1077944384 914 12839 0 0 13 0 5 2 20 0 15 0 231400356 11246788608 21900 33554432000 4194304 4196468 140735865219312 140170208700656 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3064] ppid=2996 vsize=10983192 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3064/stat : 3064 (java) S 2996 2999 2518 0 -1 1077944384 3 12839 0 0 0 0 5 2 20 0 15 0 231400356 11246788608 21900 33554432000 4194304 4196468 140735865219312 140168673618528 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3065] ppid=2996 vsize=10983192 memory=2288 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3065/stat : 3065 (java) S 2996 2999 2518 0 -1 1077944384 1 12839 0 0 0 0 5 2 20 0 15 0 231400356 11246788608 21900 33554432000 4194304 4196468 140735865219312 140170207648560 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87600 KiB
[startup+1.50075 s]
/proc/loadavg: 1.95 1.60 1.46 4/216 3065
/proc/meminfo: memFree=12650656/32770624 swapFree=67108496/67108860
[pid=2999] ppid=2996 vsize=10996044 memory=232772 CPUtime=2.97 cores=1,3,5,7
/proc/2999/stat : 2999 (java) S 2996 2999 2518 0 -1 1077944320 24245 12839 0 0 281 9 5 2 20 0 15 0 231400341 11259949056 58193 33554432000 4194304 4196468 140735865219312 140735865201856 140170786279159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
/proc/2999/statm: 2749011 58193 3458 1 0 2710669 0
[pid=2999/tid=3052] ppid=2996 vsize=10996044 memory=7158872183842303078 CPUtime=1.44 cores=1,3,5,7
/proc/2999/task/3052/stat : 3052 (java) R 2996 2999 2518 0 -1 4202560 16165 12839 0 0 131 6 5 2 20 0 15 0 231400350 11259949056 58193 33554432000 4194304 4196468 140735865219312 140170758059256 140170771961685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3053] ppid=2996 vsize=10996044 memory=7162531440177276259 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3053/stat : 3053 (java) S 2996 2999 2518 0 -1 1077944384 50 12839 0 0 0 0 5 2 20 0 15 0 231400351 11259949056 58193 33554432000 4194304 4196468 140735865219312 140170790521104 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3054] ppid=2996 vsize=10996044 memory=7162531440177276259 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3054/stat : 3054 (java) S 2996 2999 2518 0 -1 1077944384 19 12839 0 0 0 0 5 2 20 0 15 0 231400351 11259949056 58193 33554432000 4194304 4196468 140735865219312 140170688878992 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3055] ppid=2996 vsize=10996044 memory=7380385388137112419 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3055/stat : 3055 (java) S 2996 2999 2518 0 -1 1077944384 289 12839 0 0 0 0 5 2 20 0 15 0 231400351 11259949056 58193 33554432000 4194304 4196468 140735865219312 140170324478480 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3056] ppid=2996 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3056/stat : 3056 (java) S 2996 2999 2518 0 -1 1077944384 27 12839 0 0 0 0 5 2 20 0 15 0 231400351 11259949056 58193 33554432000 4194304 4196468 140735865219312 140170323425936 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3057] ppid=2996 vsize=10996044 memory=3689609464295091108 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3057/stat : 3057 (java) S 2996 2999 2518 0 -1 1077944384 33 12839 0 0 0 0 5 2 20 0 15 0 231400352 11259949056 58193 33554432000 4194304 4196468 140735865219312 140170211858928 140170786290306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3058] ppid=2996 vsize=10996044 memory=-6442530561224366172 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3058/stat : 3058 (java) S 2996 2999 2518 0 -1 1077944384 14 12839 0 0 0 0 5 2 20 0 15 0 231400353 11259949056 58193 33554432000 4194304 4196468 140735865219312 140169559664032 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3059] ppid=2996 vsize=10996044 memory=3980988829038648991 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3059/stat : 3059 (java) S 2996 2999 2518 0 -1 1077944384 2 12839 0 0 0 0 5 2 20 0 15 0 231400353 11259949056 58193 33554432000 4194304 4196468 140735865219312 140169411814912 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3060] ppid=2996 vsize=10996044 memory=3689347633763532144 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3060/stat : 3060 (java) S 2996 2999 2518 0 -1 1077944384 3 12839 0 0 0 0 5 2 20 0 15 0 231400356 11259949056 58193 33554432000 4194304 4196468 140735865219312 140169104415440 140170786297755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3061] ppid=2996 vsize=10996044 memory=4121673492577205092 CPUtime=0.59 cores=1,3,5,7
/proc/2999/task/3061/stat : 3061 (java) R 2996 2999 2518 0 -1 4202560 1732 12839 0 0 52 0 5 2 20 0 15 0 231400356 11259949056 58193 33554432000 4194304 4196468 140735865219312 140170210805744 140170767465421 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3062] ppid=2996 vsize=10996044 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/2999/task/3062/stat : 3062 (java) S 2996 2999 2518 0 -1 1077944384 1927 12839 0 0 51 0 5 2 20 0 15 0 231400356 11259949056 58193 33554432000 4194304 4196468 140735865219312 140170209753200 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3063] ppid=2996 vsize=10996044 memory=7019539935772694122 CPUtime=0.5 cores=1,3,5,7
/proc/2999/task/3063/stat : 3063 (java) S 2996 2999 2518 0 -1 1077944384 1793 12839 0 0 43 0 5 2 20 0 15 0 231400356 11259949056 58193 33554432000 4194304 4196468 140735865219312 140170208700656 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3064] ppid=2996 vsize=10996044 memory=7233455424490984803 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3064/stat : 3064 (java) S 2996 2999 2518 0 -1 1077944384 3 12839 0 0 0 0 5 2 20 0 15 0 231400356 11259949056 58193 33554432000 4194304 4196468 140735865219312 140168673618528 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
################
# More data... #
################
/proc/2999/task/3052/stat : 3052 (java) R 2996 2999 2518 0 -1 4202560 104649 12839 0 0 235425 67 5 2 20 0 15 0 231400350 11343855616 382489 33554432000 4194304 4196468 140735865219312 140170758112624 140170370811947 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3053] ppid=2996 vsize=11077984 memory=1529904 CPUtime=12.15 cores=1,3,5,7
/proc/2999/task/3053/stat : 3053 (java) S 2996 2999 2518 0 -1 1077944384 23939 12839 0 0 1149 59 5 2 20 0 15 0 231400351 11343855616 382489 33554432000 4194304 4196468 140735865219312 140170790521104 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3054] ppid=2996 vsize=11077984 memory=1529956 CPUtime=12.13 cores=1,3,5,7
/proc/2999/task/3054/stat : 3054 (java) S 2996 2999 2518 0 -1 1077944384 19858 12839 0 0 1142 64 5 2 20 0 15 0 231400351 11343855616 382489 33554432000 4194304 4196468 140735865219312 140170688878992 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3055] ppid=2996 vsize=11077984 memory=1529904 CPUtime=12.11 cores=1,3,5,7
/proc/2999/task/3055/stat : 3055 (java) S 2996 2999 2518 0 -1 1077944384 18053 12839 0 0 1145 59 5 2 20 0 15 0 231400351 11343855616 382489 33554432000 4194304 4196468 140735865219312 140170324478480 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3056] ppid=2996 vsize=11077984 memory=8112282956445269571 CPUtime=12.11 cores=1,3,5,7
/proc/2999/task/3056/stat : 3056 (java) S 2996 2999 2518 0 -1 1077944384 20342 12839 0 0 1133 71 5 2 20 0 15 0 231400351 11343855616 382489 33554432000 4194304 4196468 140735865219312 140170323425936 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3057] ppid=2996 vsize=11077984 memory=1529956 CPUtime=11.67 cores=1,3,5,7
/proc/2999/task/3057/stat : 3057 (java) S 2996 2999 2518 0 -1 1077944384 19457 12839 0 0 1099 61 5 2 20 0 15 0 231400352 11343855616 382489 33554432000 4194304 4196468 140735865219312 140170211858928 140170786290306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3058] ppid=2996 vsize=11077984 memory=1529904 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3058/stat : 3058 (java) S 2996 2999 2518 0 -1 1077944384 25 12839 0 0 0 0 5 2 20 0 15 0 231400353 11343855616 382489 33554432000 4194304 4196468 140735865219312 140169559664160 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3059] ppid=2996 vsize=11077984 memory=1527792 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3059/stat : 3059 (java) S 2996 2999 2518 0 -1 1077944384 13 12839 0 0 0 0 5 2 20 0 15 0 231400353 11343855616 382489 33554432000 4194304 4196468 140735865219312 140169411814912 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3060] ppid=2996 vsize=11077984 memory=1529904 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3060/stat : 3060 (java) S 2996 2999 2518 0 -1 1077944384 3 12839 0 0 0 0 5 2 20 0 15 0 231400356 11343855616 382489 33554432000 4194304 4196468 140735865219312 140169104415440 140170786297755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3061] ppid=2996 vsize=11077984 memory=1529904 CPUtime=4.5 cores=1,3,5,7
/proc/2999/task/3061/stat : 3061 (java) S 2996 2999 2518 0 -1 1077944384 12447 12839 0 0 442 1 5 2 20 0 15 0 231400356 11343855616 382489 33554432000 4194304 4196468 140735865219312 140170210805744 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3062] ppid=2996 vsize=11077984 memory=1529956 CPUtime=3.95 cores=1,3,5,7
/proc/2999/task/3062/stat : 3062 (java) S 2996 2999 2518 0 -1 1077944384 18678 12839 0 0 386 2 5 2 20 0 15 0 231400356 11343855616 382489 33554432000 4194304 4196468 140735865219312 140170209753200 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3063] ppid=2996 vsize=11077984 memory=1529956 CPUtime=1.87 cores=1,3,5,7
/proc/2999/task/3063/stat : 3063 (java) S 2996 2999 2518 0 -1 1077944384 19445 12839 0 0 176 4 5 2 20 0 15 0 231400356 11343855616 382489 33554432000 4194304 4196468 140735865219312 140170208700656 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3064] ppid=2996 vsize=11077984 memory=1529904 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3064/stat : 3064 (java) S 2996 2999 2518 0 -1 1077944384 3 12839 0 0 0 0 5 2 20 0 15 0 231400356 11343855616 382489 33554432000 4194304 4196468 140735865219312 140168673618528 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3065] ppid=2996 vsize=11077984 memory=2353 CPUtime=1.47 cores=1,3,5,7
/proc/2999/task/3065/stat : 3065 (java) S 2996 2999 2518 0 -1 1077944384 1342 12839 0 0 62 78 5 2 20 0 15 0 231400356 11343855616 382489 33554432000 4194304 4196468 140735865219312 140170207648560 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
Current children cumulated CPU time: 2426.43 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1529956 KiB
[startup+2442.3 s]
/proc/loadavg: 1.54 1.52 1.41 3/215 3161
/proc/meminfo: memFree=10286068/32770624 swapFree=67108496/67108860
[pid=2999] ppid=2996 vsize=11077984 memory=1530016 CPUtime=2487.35 cores=1,3,5,7
/proc/2999/stat : 2999 (java) S 2996 2999 2518 0 -1 1077944320 262722 12839 0 0 248326 402 5 2 20 0 15 0 231400341 11343855616 382504 33554432000 4194304 4196468 140735865219312 140735865201856 140170786279159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
/proc/2999/statm: 2769496 382504 3523 1 0 2731149 0
[pid=2999/tid=3052] ppid=2996 vsize=11077984 memory=1530016 CPUtime=2414.27 cores=1,3,5,7
/proc/2999/task/3052/stat : 3052 (java) R 2996 2999 2518 0 -1 4202560 105623 12839 0 0 241352 68 5 2 20 0 15 0 231400350 11343855616 382504 33554432000 4194304 4196468 140735865219312 140170758113120 140170369917930 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3053] ppid=2996 vsize=11077984 memory=1530016 CPUtime=12.47 cores=1,3,5,7
/proc/2999/task/3053/stat : 3053 (java) S 2996 2999 2518 0 -1 1077944384 23983 12839 0 0 1179 61 5 2 20 0 15 0 231400351 11343855616 382504 33554432000 4194304 4196468 140735865219312 140170790521104 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3054] ppid=2996 vsize=11077984 memory=1530016 CPUtime=12.45 cores=1,3,5,7
/proc/2999/task/3054/stat : 3054 (java) S 2996 2999 2518 0 -1 1077944384 20579 12839 0 0 1172 66 5 2 20 0 15 0 231400351 11343855616 382504 33554432000 4194304 4196468 140735865219312 140170688878992 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3055] ppid=2996 vsize=11077984 memory=1527792 CPUtime=12.44 cores=1,3,5,7
/proc/2999/task/3055/stat : 3055 (java) S 2996 2999 2518 0 -1 1077944384 18078 12839 0 0 1176 61 5 2 20 0 15 0 231400351 11343855616 382504 33554432000 4194304 4196468 140735865219312 140170324478480 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3056] ppid=2996 vsize=11077984 memory=1529904 CPUtime=12.43 cores=1,3,5,7
/proc/2999/task/3056/stat : 3056 (java) S 2996 2999 2518 0 -1 1077944384 20528 12839 0 0 1164 72 5 2 20 0 15 0 231400351 11343855616 382504 33554432000 4194304 4196468 140735865219312 140170323425936 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3057] ppid=2996 vsize=11077984 memory=1529968 CPUtime=11.97 cores=1,3,5,7
/proc/2999/task/3057/stat : 3057 (java) S 2996 2999 2518 0 -1 1077944384 19751 12839 0 0 1128 62 5 2 20 0 15 0 231400352 11343855616 382504 33554432000 4194304 4196468 140735865219312 140170211858928 140170786290306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3058] ppid=2996 vsize=11077984 memory=1530016 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3058/stat : 3058 (java) S 2996 2999 2518 0 -1 1077944384 25 12839 0 0 0 0 5 2 20 0 15 0 231400353 11343855616 382504 33554432000 4194304 4196468 140735865219312 140169559664160 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3059] ppid=2996 vsize=11077984 memory=1530016 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3059/stat : 3059 (java) S 2996 2999 2518 0 -1 1077944384 13 12839 0 0 0 0 5 2 20 0 15 0 231400353 11343855616 382504 33554432000 4194304 4196468 140735865219312 140169411814912 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3060] ppid=2996 vsize=11077984 memory=1529904 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3060/stat : 3060 (java) S 2996 2999 2518 0 -1 1077944384 3 12839 0 0 0 0 5 2 20 0 15 0 231400356 11343855616 382504 33554432000 4194304 4196468 140735865219312 140169104415440 140170786297755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3061] ppid=2996 vsize=11077984 memory=1530016 CPUtime=4.5 cores=1,3,5,7
/proc/2999/task/3061/stat : 3061 (java) S 2996 2999 2518 0 -1 1077944384 12450 12839 0 0 442 1 5 2 20 0 15 0 231400356 11343855616 382504 33554432000 4194304 4196468 140735865219312 140170210805744 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3062] ppid=2996 vsize=11077984 memory=1530016 CPUtime=3.95 cores=1,3,5,7
/proc/2999/task/3062/stat : 3062 (java) S 2996 2999 2518 0 -1 1077944384 18680 12839 0 0 386 2 5 2 20 0 15 0 231400356 11343855616 382504 33554432000 4194304 4196468 140735865219312 140170209753200 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3063] ppid=2996 vsize=11077984 memory=1530016 CPUtime=1.87 cores=1,3,5,7
/proc/2999/task/3063/stat : 3063 (java) S 2996 2999 2518 0 -1 1077944384 19448 12839 0 0 176 4 5 2 20 0 15 0 231400356 11343855616 382504 33554432000 4194304 4196468 140735865219312 140170208700656 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3064] ppid=2996 vsize=11077984 memory=3872 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3064/stat : 3064 (java) S 2996 2999 2518 0 -1 1077944384 3 12839 0 0 0 0 5 2 20 0 15 0 231400356 11343855616 382504 33554432000 4194304 4196468 140735865219312 140168673618528 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3065] ppid=2996 vsize=11077984 memory=1530016 CPUtime=1.52 cores=1,3,5,7
/proc/2999/task/3065/stat : 3065 (java) S 2996 2999 2518 0 -1 1077944384 1366 12839 0 0 64 81 5 2 20 0 15 0 231400356 11343855616 382504 33554432000 4194304 4196468 140735865219312 140170207648560 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
Current children cumulated CPU time: 2487.35 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1530016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474.5 s]
/proc/loadavg: 1.60 1.53 1.42 3/215 3162
/proc/meminfo: memFree=10274084/32770624 swapFree=67108496/67108860
[pid=2999] ppid=2996 vsize=11077984 memory=1541396 CPUtime=2520.04 cores=1,3,5,7
/proc/2999/stat : 2999 (java) S 2996 2999 2518 0 -1 1077944320 263370 12839 0 0 251591 406 5 2 20 0 15 0 231400341 11343855616 385349 33554432000 4194304 4196468 140735865219312 140735865201856 140170786279159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
/proc/2999/statm: 2769496 385349 3523 1 0 2731149 0
[pid=2999/tid=3052] ppid=2996 vsize=11077984 memory=1541396 CPUtime=2446.11 cores=1,3,5,7
/proc/2999/task/3052/stat : 3052 (java) R 2996 2999 2518 0 -1 4202560 105979 12839 0 0 244535 69 5 2 20 0 15 0 231400350 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170758112896 140170370316537 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3053] ppid=2996 vsize=11077984 memory=1541396 CPUtime=12.65 cores=1,3,5,7
/proc/2999/task/3053/stat : 3053 (java) S 2996 2999 2518 0 -1 1077944384 24221 12839 0 0 1196 62 5 2 20 0 15 0 231400351 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170790521104 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3054] ppid=2996 vsize=11077984 memory=1541396 CPUtime=12.62 cores=1,3,5,7
/proc/2999/task/3054/stat : 3054 (java) S 2996 2999 2518 0 -1 1077944384 20592 12839 0 0 1188 67 5 2 20 0 15 0 231400351 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170688878992 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3055] ppid=2996 vsize=11077984 memory=1541396 CPUtime=12.61 cores=1,3,5,7
/proc/2999/task/3055/stat : 3055 (java) S 2996 2999 2518 0 -1 1077944384 18087 12839 0 0 1193 61 5 2 20 0 15 0 231400351 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170324478480 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3056] ppid=2996 vsize=11077984 memory=3988 CPUtime=12.61 cores=1,3,5,7
/proc/2999/task/3056/stat : 3056 (java) S 2996 2999 2518 0 -1 1077944384 20533 12839 0 0 1181 73 5 2 20 0 15 0 231400351 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170323425936 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3057] ppid=2996 vsize=11077984 memory=1540944 CPUtime=12.13 cores=1,3,5,7
/proc/2999/task/3057/stat : 3057 (java) S 2996 2999 2518 0 -1 1077944384 19776 12839 0 0 1143 63 5 2 20 0 15 0 231400352 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170211858928 140170786290306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3058] ppid=2996 vsize=11077984 memory=1536056 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3058/stat : 3058 (java) S 2996 2999 2518 0 -1 1077944384 25 12839 0 0 0 0 5 2 20 0 15 0 231400353 11343855616 385349 33554432000 4194304 4196468 140735865219312 140169559664160 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3059] ppid=2996 vsize=11077984 memory=1530016 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3059/stat : 3059 (java) S 2996 2999 2518 0 -1 1077944384 13 12839 0 0 0 0 5 2 20 0 15 0 231400353 11343855616 385349 33554432000 4194304 4196468 140735865219312 140169411814912 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3060] ppid=2996 vsize=11077984 memory=1540944 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3060/stat : 3060 (java) S 2996 2999 2518 0 -1 1077944384 3 12839 0 0 0 0 5 2 20 0 15 0 231400356 11343855616 385349 33554432000 4194304 4196468 140735865219312 140169104415440 140170786297755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3061] ppid=2996 vsize=11077984 memory=1541396 CPUtime=4.5 cores=1,3,5,7
/proc/2999/task/3061/stat : 3061 (java) S 2996 2999 2518 0 -1 1077944384 12450 12839 0 0 442 1 5 2 20 0 15 0 231400356 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170210805744 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3062] ppid=2996 vsize=11077984 memory=1541396 CPUtime=3.95 cores=1,3,5,7
/proc/2999/task/3062/stat : 3062 (java) S 2996 2999 2518 0 -1 1077944384 18680 12839 0 0 386 2 5 2 20 0 15 0 231400356 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170209753200 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3063] ppid=2996 vsize=11077984 memory=1541396 CPUtime=1.87 cores=1,3,5,7
/proc/2999/task/3063/stat : 3063 (java) S 2996 2999 2518 0 -1 1077944384 19448 12839 0 0 176 4 5 2 20 0 15 0 231400356 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170208700656 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3064] ppid=2996 vsize=11077984 memory=1541396 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3064/stat : 3064 (java) S 2996 2999 2518 0 -1 1077944384 3 12839 0 0 0 0 5 2 20 0 15 0 231400356 11343855616 385349 33554432000 4194304 4196468 140735865219312 140168673618528 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3065] ppid=2996 vsize=11077984 memory=1541396 CPUtime=1.54 cores=1,3,5,7
/proc/2999/task/3065/stat : 3065 (java) S 2996 2999 2518 0 -1 1077944384 1368 12839 0 0 64 83 5 2 20 0 15 0 231400356 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170207648560 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1541396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2474.55 s]
# the end of solver process 2999 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.99 s, system=4.11238 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2474.5 s]
/proc/loadavg: 1.60 1.53 1.42 3/215 3162
/proc/meminfo: memFree=10274084/32770624 swapFree=67108496/67108860
[pid=2999] ppid=2996 vsize=11077984 memory=1541396 CPUtime=2520.04 cores=1,3,5,7
/proc/2999/stat : 2999 (java) S 2996 2999 2518 0 -1 1077944320 263370 12839 0 0 251591 406 5 2 20 0 15 0 231400341 11343855616 385349 33554432000 4194304 4196468 140735865219312 140735865201856 140170786279159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
/proc/2999/statm: 2769496 385349 3523 1 0 2731149 0
[pid=2999/tid=3052] ppid=2996 vsize=11077984 memory=1541396 CPUtime=2446.11 cores=1,3,5,7
/proc/2999/task/3052/stat : 3052 (java) R 2996 2999 2518 0 -1 4202560 105979 12839 0 0 244535 69 5 2 20 0 15 0 231400350 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170758112896 140170370316537 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3053] ppid=2996 vsize=11077984 memory=1541396 CPUtime=12.65 cores=1,3,5,7
/proc/2999/task/3053/stat : 3053 (java) S 2996 2999 2518 0 -1 1077944384 24221 12839 0 0 1196 62 5 2 20 0 15 0 231400351 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170790521104 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3054] ppid=2996 vsize=11077984 memory=1541396 CPUtime=12.62 cores=1,3,5,7
/proc/2999/task/3054/stat : 3054 (java) S 2996 2999 2518 0 -1 1077944384 20592 12839 0 0 1188 67 5 2 20 0 15 0 231400351 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170688878992 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3055] ppid=2996 vsize=11077984 memory=1541396 CPUtime=12.61 cores=1,3,5,7
/proc/2999/task/3055/stat : 3055 (java) S 2996 2999 2518 0 -1 1077944384 18087 12839 0 0 1193 61 5 2 20 0 15 0 231400351 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170324478480 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3056] ppid=2996 vsize=11077984 memory=3988 CPUtime=12.61 cores=1,3,5,7
/proc/2999/task/3056/stat : 3056 (java) S 2996 2999 2518 0 -1 1077944384 20533 12839 0 0 1181 73 5 2 20 0 15 0 231400351 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170323425936 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3057] ppid=2996 vsize=11077984 memory=1540944 CPUtime=12.13 cores=1,3,5,7
/proc/2999/task/3057/stat : 3057 (java) S 2996 2999 2518 0 -1 1077944384 19776 12839 0 0 1143 63 5 2 20 0 15 0 231400352 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170211858928 140170786290306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3058] ppid=2996 vsize=11077984 memory=1536056 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3058/stat : 3058 (java) S 2996 2999 2518 0 -1 1077944384 25 12839 0 0 0 0 5 2 20 0 15 0 231400353 11343855616 385349 33554432000 4194304 4196468 140735865219312 140169559664160 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3059] ppid=2996 vsize=11077984 memory=1530016 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3059/stat : 3059 (java) S 2996 2999 2518 0 -1 1077944384 13 12839 0 0 0 0 5 2 20 0 15 0 231400353 11343855616 385349 33554432000 4194304 4196468 140735865219312 140169411814912 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3060] ppid=2996 vsize=11077984 memory=1540944 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3060/stat : 3060 (java) S 2996 2999 2518 0 -1 1077944384 3 12839 0 0 0 0 5 2 20 0 15 0 231400356 11343855616 385349 33554432000 4194304 4196468 140735865219312 140169104415440 140170786297755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3061] ppid=2996 vsize=11077984 memory=1541396 CPUtime=4.5 cores=1,3,5,7
/proc/2999/task/3061/stat : 3061 (java) S 2996 2999 2518 0 -1 1077944384 12450 12839 0 0 442 1 5 2 20 0 15 0 231400356 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170210805744 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3062] ppid=2996 vsize=11077984 memory=1541396 CPUtime=3.95 cores=1,3,5,7
/proc/2999/task/3062/stat : 3062 (java) S 2996 2999 2518 0 -1 1077944384 18680 12839 0 0 386 2 5 2 20 0 15 0 231400356 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170209753200 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3063] ppid=2996 vsize=11077984 memory=1541396 CPUtime=1.87 cores=1,3,5,7
/proc/2999/task/3063/stat : 3063 (java) S 2996 2999 2518 0 -1 1077944384 19448 12839 0 0 176 4 5 2 20 0 15 0 231400356 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170208700656 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3064] ppid=2996 vsize=11077984 memory=1541396 CPUtime=0.07 cores=1,3,5,7
/proc/2999/task/3064/stat : 3064 (java) S 2996 2999 2518 0 -1 1077944384 3 12839 0 0 0 0 5 2 20 0 15 0 231400356 11343855616 385349 33554432000 4194304 4196468 140735865219312 140168673618528 140170786289365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
[pid=2999/tid=3065] ppid=2996 vsize=11077984 memory=1541396 CPUtime=1.54 cores=1,3,5,7
/proc/2999/task/3065/stat : 3065 (java) S 2996 2999 2518 0 -1 1077944384 1368 12839 0 0 64 83 5 2 20 0 15 0 231400356 11343855616 385349 33554432000 4194304 4196468 140735865219312 140170207648560 140170786290306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25464832 140735865223788 140735865226588 140735865226588 140735865229263 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1541396 KiB
Child status: 143
Real time (s): 2474.55
CPU time (s): 2520.1
CPU user time (s): 2515.99
CPU system time (s): 4.11238
CPU usage (%): 101.841
Max. virtual memory (cumulated for all children) (KiB): 11080812
Max. memory (cumulated for all children) (KiB): 1541396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.99
system time used= 4.11238
maximum resident set size= 1543796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279086
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 316354
involuntary context switches= 7562
# summary of solver processes directly reported to runsolver:
# pid: 2999
# total CPU time (s): 2520.1
# total CPU user time (s): 2515.99
# total CPU system time (s): 4.11238
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1582 second user time and 23.9231 second system time
The end