runsolver version 3.4.2 (svn: 4680) 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: 63708 MiB (63092 MiB free)
memory of node 1: 64465 MiB (64058 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494782-1751158667/watcher-4494782-1751158667 -o /tmp/evaluation-result-4494782-1751158667/solver-4494782-1751158667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751158666-18821 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4494782-1751158667.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18865, runsolver pid=18861
[startup+0.100059 s]*
/proc/loadavg: 0.95 1.80 2.06 1/273 18886
/proc/meminfo: memFree=130192016/131250000 swapFree=33010684/33010684
[pid=18865] ppid=18861 vsize=483604 memory=13440 CPUtime=0 cores=4,6
/proc/18865/stat : 18865 (java) S 18861 18865 18807 0 -1 4194304 715 0 136 0 0 0 0 0 20 0 2 0 31489190 495210496 3360 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 0 0 16784588 0 0 0 17 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
/proc/18865/statm: 120901 3360 2944 1 0 2505 0
[pid=18865/tid=18883] ppid=18861 vsize=483604 memory=4026532124 CPUtime=0 cores=4,6
/proc/18865/task/18883/stat : 18883 (java) D 18861 18865 18807 0 -1 4194368 171 0 66 0 0 0 0 0 20 0 2 0 31489197 495210496 3360 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16784588 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 483604 KiB
Current children cumulated memory: 13440 KiB
[startup+0.205689 s]*
/proc/loadavg: 0.95 1.80 2.06 3/338 18951
/proc/meminfo: memFree=130097216/131250000 swapFree=33010684/33010684
[pid=18865] ppid=18861 vsize=18930384 memory=48084 CPUtime=0.06 cores=4,6
/proc/18865/stat : 18865 (java) S 18861 18865 18807 0 -1 4194304 5664 0 389 0 3 3 0 0 20 0 18 0 31489190 19384713216 12021 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
/proc/18865/statm: 4732596 12021 5195 1 0 547045 0
[pid=18865/tid=18883] ppid=18861 vsize=18930384 memory=3472328132922704156 CPUtime=0.03 cores=4,6
/proc/18865/task/18883/stat : 18883 (java) R 18861 18865 18807 0 -1 4194368 4527 0 295 0 2 1 0 0 20 0 18 0 31489197 19384713216 12021 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18921] ppid=18861 vsize=18930384 memory=16124 CPUtime=0 cores=4,6
/proc/18865/task/18921/stat : 18921 (Finalizer) S 18861 18865 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31489207 19384713216 12021 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18949] ppid=18861 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/18865/task/18949/stat : 18949 (Common-Cleaner) S 18861 18865 18807 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 18 0 31489208 19384713216 12021 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48084 KiB
[startup+0.309693 s]*
/proc/loadavg: 0.95 1.80 2.06 13/338 18951
/proc/meminfo: memFree=130049896/131250000 swapFree=33010684/33010684
[pid=18865] ppid=18861 vsize=18930384 memory=61232 CPUtime=0.23 cores=4,6
/proc/18865/stat : 18865 (java) S 18861 18865 18807 0 -1 4194304 6794 0 395 0 20 3 0 0 20 0 18 0 31489190 19384713216 15308 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
/proc/18865/statm: 4732596 15308 5323 1 0 547900 0
[pid=18865/tid=18883] ppid=18861 vsize=18930384 memory=-6000919472689538158 CPUtime=0.13 cores=4,6
/proc/18865/task/18883/stat : 18883 (java) R 18861 18865 18807 0 -1 4194368 5152 0 298 0 11 2 0 0 20 0 18 0 31489197 19384713216 15308 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18921] ppid=18861 vsize=18930384 memory=-4421386491868832614 CPUtime=0 cores=4,6
/proc/18865/task/18921/stat : 18921 (Finalizer) S 18861 18865 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31489207 19384713216 15308 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18949] ppid=18861 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/18865/task/18949/stat : 18949 (Common-Cleaner) S 18861 18865 18807 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 18 0 31489208 19384713216 15308 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61232 KiB
[startup+0.700219 s]
/proc/loadavg: 0.95 1.80 2.06 11/342 18955
/proc/meminfo: memFree=129970884/131250000 swapFree=33010684/33010684
[pid=18865] ppid=18861 vsize=18996948 memory=138616 CPUtime=0.99 cores=4,6
/proc/18865/stat : 18865 (java) S 18861 18865 18807 0 -1 4194304 9907 0 395 0 93 6 0 0 20 0 19 0 31489190 19452874752 34654 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
/proc/18865/statm: 4749237 34654 5355 1 0 550018 0
[pid=18865/tid=18883] ppid=18861 vsize=18996948 memory=17408 CPUtime=0.43 cores=4,6
/proc/18865/task/18883/stat : 18883 (java) R 18861 18865 18807 0 -1 4194368 5325 0 298 0 39 4 0 0 20 0 19 0 31489197 19452874752 34654 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18921] ppid=18861 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/18865/task/18921/stat : 18921 (Finalizer) S 18861 18865 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31489207 19452874752 34654 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18949] ppid=18861 vsize=18996948 memory=5632 CPUtime=0 cores=4,6
/proc/18865/task/18949/stat : 18949 (Common-Cleaner) S 18861 18865 18807 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 19 0 31489208 19452874752 34654 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18953] ppid=18861 vsize=18996948 memory=4252 CPUtime=0 cores=4,6
/proc/18865/task/18953/stat : 18953 (Timer-0) S 18861 18865 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31489228 19452874752 34654 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 138616 KiB
[startup+1.50028 s]
/proc/loadavg: 0.95 1.80 2.06 10/346 18959
/proc/meminfo: memFree=129625132/131250000 swapFree=33010684/33010684
[pid=18865] ppid=18861 vsize=19063512 memory=221992 CPUtime=2.54 cores=4,6
/proc/18865/stat : 18865 (java) S 18861 18865 18807 0 -1 4194304 25923 0 395 0 244 10 0 0 20 0 20 0 31489190 19521036288 55498 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
/proc/18865/statm: 4765878 55498 5387 1 0 556308 0
[pid=18865/tid=18883] ppid=18861 vsize=19063512 memory=10752 CPUtime=1.17 cores=4,6
/proc/18865/task/18883/stat : 18883 (java) R 18861 18865 18807 0 -1 4194368 5781 0 298 0 112 5 0 0 20 0 20 0 31489197 19521036288 55498 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18921] ppid=18861 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/18865/task/18921/stat : 18921 (Finalizer) S 18861 18865 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 55498 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18949] ppid=18861 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/18865/task/18949/stat : 18949 (Common-Cleaner) S 18861 18865 18807 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 55498 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18953] ppid=18861 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/18865/task/18953/stat : 18953 (Timer-0) S 18861 18865 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489228 19521036288 55498 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 221992 KiB
[startup+3.10568 s]
/proc/loadavg: 1.52 1.91 2.09 6/346 18959
/proc/meminfo: memFree=126762032/131250000 swapFree=33010684/33010684
[pid=18865] ppid=18861 vsize=19063512 memory=933296 CPUtime=5.14 cores=4,6
/proc/18865/stat : 18865 (java) S 18861 18865 18807 0 -1 4194304 29925 0 395 0 491 23 0 0 20 0 20 0 31489190 19521036288 233324 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
/proc/18865/statm: 4765878 233324 5387 1 0 963630 0
[pid=18865/tid=18883] ppid=18861 vsize=19063512 memory=10752 CPUtime=2.69 cores=4,6
/proc/18865/task/18883/stat : 18883 (java) R 18861 18865 18807 0 -1 4194368 6699 0 298 0 252 17 0 0 20 0 20 0 31489197 19521036288 233324 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18921] ppid=18861 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/18865/task/18921/stat : 18921 (Finalizer) S 18861 18865 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 233324 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18949] ppid=18861 vsize=19063512 memory=-6000919502754309230 CPUtime=0 cores=4,6
/proc/18865/task/18949/stat : 18949 (Common-Cleaner) S 18861 18865 18807 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 233324 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18953] ppid=18861 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/18865/task/18953/stat : 18953 (Timer-0) S 18861 18865 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489228 19521036288 233324 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
Current children cumulated CPU time: 5.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 933296 KiB
[startup+6.30025 s]
/proc/loadavg: 1.52 1.91 2.09 5/346 18959
/proc/meminfo: memFree=123612048/131250000 swapFree=33010684/33010684
[pid=18865] ppid=18861 vsize=19063512 memory=1955688 CPUtime=8.5 cores=4,6
/proc/18865/stat : 18865 (java) S 18861 18865 18807 0 -1 4194304 30639 0 395 0 805 45 0 0 20 0 20 0 31489190 19521036288 488922 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
/proc/18865/statm: 4765878 488922 5387 1 0 963632 0
[pid=18865/tid=18883] ppid=18861 vsize=19063512 memory=10752 CPUtime=5.85 cores=4,6
/proc/18865/task/18883/stat : 18883 (java) R 18861 18865 18807 0 -1 4194368 7217 0 298 0 548 37 0 0 20 0 20 0 31489197 19521036288 488922 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18921] ppid=18861 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/18865/task/18921/stat : 18921 (Finalizer) S 18861 18865 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 488922 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18949] ppid=18861 vsize=19063512 memory=7163362700982051179 CPUtime=0 cores=4,6
/proc/18865/task/18949/stat : 18949 (Common-Cleaner) S 18861 18865 18807 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 488922 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18953] ppid=18861 vsize=19063512 memory=1289780 CPUtime=0 cores=4,6
/proc/18865/task/18953/stat : 18953 (Timer-0) S 18861 18865 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489228 19521036288 488922 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
Current children cumulated CPU time: 8.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1955688 KiB
[startup+12.7002 s]
/proc/loadavg: 1.90 1.98 2.11 5/346 18959
/proc/meminfo: memFree=121853392/131250000 swapFree=33010684/33010684
[pid=18865] ppid=18861 vsize=19063512 memory=2207592 CPUtime=14.91 cores=4,6
/proc/18865/stat : 18865 (java) S 18861 18865 18807 0 -1 4194304 31245 0 395 0 1440 51 0 0 20 0 20 0 31489190 19521036288 551898 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
/proc/18865/statm: 4765878 551898 5387 1 0 963637 0
[pid=18865/tid=18883] ppid=18861 vsize=19063512 memory=10752 CPUtime=12.17 cores=4,6
/proc/18865/task/18883/stat : 18883 (java) R 18861 18865 18807 0 -1 4194368 7787 0 298 0 1174 43 0 0 20 0 20 0 31489197 19521036288 551898 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18921] ppid=18861 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/18865/task/18921/stat : 18921 (Finalizer) S 18861 18865 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 551898 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18949] ppid=18861 vsize=19063512 memory=2207592 CPUtime=0 cores=4,6
/proc/18865/task/18949/stat : 18949 (Common-Cleaner) S 18861 18865 18807 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 551898 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18953] ppid=18861 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/18865/task/18953/stat : 18953 (Timer-0) S 18861 18865 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489228 19521036288 551898 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
Current children cumulated CPU time: 14.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2207592 KiB
[startup+25.5002 s]
/proc/loadavg: 2.30 2.06 2.13 5/345 18959
/proc/meminfo: memFree=121230744/131250000 swapFree=33010684/33010684
[pid=18865] ppid=18861 vsize=19063512 memory=2326452 CPUtime=27.96 cores=4,6
/proc/18865/stat : 18865 (java) S 18861 18865 18807 0 -1 4194304 39974 0 395 0 2742 54 0 0 20 0 20 0 31489190 19521036288 581613 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
/proc/18865/statm: 4765878 581613 5387 1 0 963640 0
[pid=18865/tid=18883] ppid=18861 vsize=19063512 memory=10752 CPUtime=24.84 cores=4,6
/proc/18865/task/18883/stat : 18883 (java) R 18861 18865 18807 0 -1 4194368 9843 0 298 0 2439 45 0 0 20 0 20 0 31489197 19521036288 581613 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18921] ppid=18861 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/18865/task/18921/stat : 18921 (Finalizer) S 18861 18865 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 581613 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18949] ppid=18861 vsize=19063512 memory=2324400 CPUtime=0 cores=4,6
/proc/18865/task/18949/stat : 18949 (Common-Cleaner) S 18861 18865 18807 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 581613 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18953] ppid=18861 vsize=19063512 memory=2326452 CPUtime=0 cores=4,6
/proc/18865/task/18953/stat : 18953 (Timer-0) S 18861 18865 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489228 19521036288 581613 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
Current children cumulated CPU time: 27.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2326452 KiB
[startup+51.1059 s]
/proc/loadavg: 2.88 2.22 2.19 5/345 18960
/proc/meminfo: memFree=121129872/131250000 swapFree=33010684/33010684
[pid=18865] ppid=18861 vsize=19063512 memory=2351716 CPUtime=54.25 cores=4,6
/proc/18865/stat : 18865 (java) S 18861 18865 18807 0 -1 4194304 46358 0 395 0 5369 56 0 0 20 0 20 0 31489190 19521036288 587929 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
/proc/18865/statm: 4765878 587929 5387 1 0 963688 0
[pid=18865/tid=18883] ppid=18861 vsize=19063512 memory=2207592 CPUtime=50.13 cores=4,6
/proc/18865/task/18883/stat : 18883 (java) R 18861 18865 18807 0 -1 4194368 12759 0 298 0 4968 45 0 0 20 0 20 0 31489197 19521036288 587929 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18921] ppid=18861 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/18865/task/18921/stat : 18921 (Finalizer) S 18861 18865 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 587929 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18949] ppid=18861 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/18865/task/18949/stat : 18949 (Common-Cleaner) S 18861 18865 18807 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 587929 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18953] ppid=18861 vsize=19063512 memory=2351716 CPUtime=0 cores=4,6
/proc/18865/task/18953/stat : 18953 (Timer-0) S 18861 18865 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489228 19521036288 587929 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
Current children cumulated CPU time: 54.25 s
################
# More data... #
################
/proc/meminfo: memFree=118596388/131250000 swapFree=33010684/33010684
[pid=18865] ppid=18861 vsize=19063512 memory=3147488 CPUtime=3292.74 cores=4,6
/proc/18865/stat : 18865 (java) S 18861 18865 18807 0 -1 4194304 150818 0 395 0 329058 216 0 0 20 0 20 0 31489190 19521036288 786872 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
/proc/18865/statm: 4765878 786872 5387 1 0 970190 0
[pid=18865/tid=18883] ppid=18861 vsize=19063512 memory=3145440 CPUtime=3256.96 cores=4,6
/proc/18865/task/18883/stat : 18883 (java) R 18861 18865 18807 0 -1 4194368 65304 0 298 0 325626 70 0 0 20 0 20 0 31489197 19521036288 786872 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18921] ppid=18861 vsize=19063512 memory=3145440 CPUtime=0 cores=4,6
/proc/18865/task/18921/stat : 18921 (Finalizer) S 18861 18865 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 786872 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18949] ppid=18861 vsize=19063512 memory=3143392 CPUtime=0 cores=4,6
/proc/18865/task/18949/stat : 18949 (Common-Cleaner) S 18861 18865 18807 0 -1 4194368 2086 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 786872 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18953] ppid=18861 vsize=19063512 memory=3143392 CPUtime=0 cores=4,6
/proc/18865/task/18953/stat : 18953 (Timer-0) S 18861 18865 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489228 19521036288 786872 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
Current children cumulated CPU time: 3292.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3147488 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/338 19136
/proc/meminfo: memFree=118565848/131250000 swapFree=33010684/33010684
[pid=18865] ppid=18861 vsize=19063512 memory=3159776 CPUtime=3352.87 cores=4,6
/proc/18865/stat : 18865 (java) S 18861 18865 18807 0 -1 4194304 152873 0 395 0 335068 219 0 0 20 0 20 0 31489190 19521036288 789944 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
/proc/18865/statm: 4765878 789944 5387 1 0 970190 0
[pid=18865/tid=18883] ppid=18861 vsize=19063512 memory=3157728 CPUtime=3316.48 cores=4,6
/proc/18865/task/18883/stat : 18883 (java) R 18861 18865 18807 0 -1 4194368 66450 0 298 0 331578 70 0 0 20 0 20 0 31489197 19521036288 789944 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18921] ppid=18861 vsize=19063512 memory=3159776 CPUtime=0 cores=4,6
/proc/18865/task/18921/stat : 18921 (Finalizer) S 18861 18865 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 789944 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18949] ppid=18861 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/18865/task/18949/stat : 18949 (Common-Cleaner) S 18861 18865 18807 0 -1 4194368 2155 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 789944 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18953] ppid=18861 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/18865/task/18953/stat : 18953 (Timer-0) S 18861 18865 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489228 19521036288 789944 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
Current children cumulated CPU time: 3352.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3159776 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/338 19138
/proc/meminfo: memFree=118524724/131250000 swapFree=33010684/33010684
[pid=18865] ppid=18861 vsize=19063512 memory=3176580 CPUtime=3412.96 cores=4,6
/proc/18865/stat : 18865 (java) S 18861 18865 18807 0 -1 4194304 153170 0 395 0 341075 221 0 0 20 0 20 0 31489190 19521036288 794145 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
/proc/18865/statm: 4765878 794145 5387 1 0 970293 0
[pid=18865/tid=18883] ppid=18861 vsize=19063512 memory=3131104 CPUtime=3375.94 cores=4,6
/proc/18865/task/18883/stat : 18883 (java) R 18861 18865 18807 0 -1 4194368 66539 0 298 0 337524 70 0 0 20 0 20 0 31489197 19521036288 794145 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18921] ppid=18861 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/18865/task/18921/stat : 18921 (Finalizer) S 18861 18865 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 794145 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18949] ppid=18861 vsize=19063512 memory=3174488 CPUtime=0 cores=4,6
/proc/18865/task/18949/stat : 18949 (Common-Cleaner) S 18861 18865 18807 0 -1 4194368 2159 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 794145 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18953] ppid=18861 vsize=19063512 memory=2764 CPUtime=0 cores=4,6
/proc/18865/task/18953/stat : 18953 (Timer-0) S 18861 18865 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489228 19521036288 794145 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
Current children cumulated CPU time: 3412.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3176580 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/338 19140
/proc/meminfo: memFree=118489216/131250000 swapFree=33010684/33010684
[pid=18865] ppid=18861 vsize=19063512 memory=3195016 CPUtime=3473.1 cores=4,6
/proc/18865/stat : 18865 (java) S 18861 18865 18807 0 -1 4194304 153243 0 395 0 347086 224 0 0 20 0 20 0 31489190 19521036288 798754 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
/proc/18865/statm: 4765878 798754 5387 1 0 970293 0
[pid=18865/tid=18883] ppid=18861 vsize=19063512 memory=3131104 CPUtime=3435.5 cores=4,6
/proc/18865/task/18883/stat : 18883 (java) R 18861 18865 18807 0 -1 4194368 66559 0 298 0 343479 71 0 0 20 0 20 0 31489197 19521036288 798754 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18921] ppid=18861 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/18865/task/18921/stat : 18921 (Finalizer) S 18861 18865 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 798754 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18949] ppid=18861 vsize=19063512 memory=3195016 CPUtime=0 cores=4,6
/proc/18865/task/18949/stat : 18949 (Common-Cleaner) S 18861 18865 18807 0 -1 4194368 2159 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 798754 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18953] ppid=18861 vsize=19063512 memory=3192968 CPUtime=0 cores=4,6
/proc/18865/task/18953/stat : 18953 (Timer-0) S 18861 18865 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489228 19521036288 798754 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
Current children cumulated CPU time: 3473.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3195016 KiB
[startup+3522.3 s]
/proc/loadavg: 4.29 4.19 4.11 5/338 19142
/proc/meminfo: memFree=118462736/131250000 swapFree=33010684/33010684
[pid=18865] ppid=18861 vsize=19063512 memory=3207304 CPUtime=3533.29 cores=4,6
/proc/18865/stat : 18865 (java) S 18861 18865 18807 0 -1 4194304 154500 0 395 0 353102 227 0 0 20 0 20 0 31489190 19521036288 801826 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
/proc/18865/statm: 4765878 801826 5387 1 0 970293 0
[pid=18865/tid=18883] ppid=18861 vsize=19063512 memory=3205256 CPUtime=3495.03 cores=4,6
/proc/18865/task/18883/stat : 18883 (java) R 18861 18865 18807 0 -1 4194368 67748 0 298 0 349432 71 0 0 20 0 20 0 31489197 19521036288 801826 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18921] ppid=18861 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/18865/task/18921/stat : 18921 (Finalizer) S 18861 18865 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 801826 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18949] ppid=18861 vsize=19063512 memory=3201160 CPUtime=0 cores=4,6
/proc/18865/task/18949/stat : 18949 (Common-Cleaner) S 18861 18865 18807 0 -1 4194368 2159 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 801826 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18953] ppid=18861 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/18865/task/18953/stat : 18953 (Timer-0) S 18861 18865 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489228 19521036288 801826 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
Current children cumulated CPU time: 3533.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3207304 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/338 19144
/proc/meminfo: memFree=118431828/131250000 swapFree=33010684/33010684
[pid=18865] ppid=18861 vsize=19063512 memory=3219592 CPUtime=3593.43 cores=4,6
/proc/18865/stat : 18865 (java) S 18861 18865 18807 0 -1 4194304 157050 0 395 0 359114 229 0 0 20 0 20 0 31489190 19521036288 804898 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
/proc/18865/statm: 4765878 804898 5387 1 0 970293 0
[pid=18865/tid=18883] ppid=18861 vsize=19063512 memory=17408 CPUtime=3554.55 cores=4,6
/proc/18865/task/18883/stat : 18883 (java) R 18861 18865 18807 0 -1 4194368 69310 0 298 0 355384 71 0 0 20 0 20 0 31489197 19521036288 804898 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18921] ppid=18861 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/18865/task/18921/stat : 18921 (Finalizer) S 18861 18865 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 804898 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18949] ppid=18861 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/18865/task/18949/stat : 18949 (Common-Cleaner) S 18861 18865 18807 0 -1 4194368 2245 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 804898 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18953] ppid=18861 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/18865/task/18953/stat : 18953 (Timer-0) S 18861 18865 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489228 19521036288 804898 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
Current children cumulated CPU time: 3593.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3219592 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3588.9 s]
/proc/loadavg: 4.14 4.16 4.10 5/338 19144
/proc/meminfo: memFree=118423684/131250000 swapFree=33010684/33010684
[pid=18865] ppid=18861 vsize=19063512 memory=3221640 CPUtime=3600.05 cores=4,6
/proc/18865/stat : 18865 (java) S 18861 18865 18807 0 -1 4194304 157188 0 395 0 359775 230 0 0 20 0 20 0 31489190 19521036288 805410 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
/proc/18865/statm: 4765878 805410 5387 1 0 970293 0
[pid=18865/tid=18883] ppid=18861 vsize=19063512 memory=17408 CPUtime=3561.11 cores=4,6
/proc/18865/task/18883/stat : 18883 (java) R 18861 18865 18807 0 -1 4194368 69441 0 298 0 356040 71 0 0 20 0 20 0 31489197 19521036288 805410 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18921] ppid=18861 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/18865/task/18921/stat : 18921 (Finalizer) S 18861 18865 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 805410 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18949] ppid=18861 vsize=19063512 memory=3190916 CPUtime=0 cores=4,6
/proc/18865/task/18949/stat : 18949 (Common-Cleaner) S 18861 18865 18807 0 -1 4194368 2245 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 805410 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18953] ppid=18861 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/18865/task/18953/stat : 18953 (Timer-0) S 18861 18865 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489228 19521036288 805410 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3221640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3589 s]
# the end of solver process 18865 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.9 s, system=2.31722 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3588.9 s]
/proc/loadavg: 4.14 4.16 4.10 5/338 19144
/proc/meminfo: memFree=118423684/131250000 swapFree=33010684/33010684
[pid=18865] ppid=18861 vsize=19063512 memory=3221640 CPUtime=3600.05 cores=4,6
/proc/18865/stat : 18865 (java) S 18861 18865 18807 0 -1 4194304 157188 0 395 0 359775 230 0 0 20 0 20 0 31489190 19521036288 805410 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
/proc/18865/statm: 4765878 805410 5387 1 0 970293 0
[pid=18865/tid=18883] ppid=18861 vsize=19063512 memory=17408 CPUtime=3561.11 cores=4,6
/proc/18865/task/18883/stat : 18883 (java) R 18861 18865 18807 0 -1 4194368 69441 0 298 0 356040 71 0 0 20 0 20 0 31489197 19521036288 805410 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18921] ppid=18861 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/18865/task/18921/stat : 18921 (Finalizer) S 18861 18865 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 805410 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18949] ppid=18861 vsize=19063512 memory=3190916 CPUtime=0 cores=4,6
/proc/18865/task/18949/stat : 18949 (Common-Cleaner) S 18861 18865 18807 0 -1 4194368 2245 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 805410 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
[pid=18865/tid=18953] ppid=18861 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/18865/task/18953/stat : 18953 (Timer-0) S 18861 18865 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489228 19521036288 805410 18446744073709551615 94525100036096 94525100039792 140726114797360 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94525100047608 94525100048400 94525116661760 140726114802046 140726114802150 140726114802150 140726114807752 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3221640 KiB
Child status: 143
Real time (s): 3589
CPU time (s): 3600.22
CPU user time (s): 3597.9
CPU system time (s): 2.31722
CPU usage (%): 100.313
Max. virtual memory (cumulated for all children) (KiB): 19069432
Max. memory (cumulated for all children) (KiB): 3221640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.9
system time used= 2.31722
maximum resident set size= 3222664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159800
page faults= 397
swaps= 0
block input operations= 29864
block output operations= 26072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133967
involuntary context switches= 11361
# summary of solver processes directly reported to runsolver:
# pid: 18865
# total CPU time (s): 3600.22
# total CPU user time (s): 3597.9
# total CPU system time (s): 2.31722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.58167 second user time and 17.654 second system time
The end