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: 63794 MiB (49125 MiB free)
memory of node 1: 64507 MiB (62273 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484912-1751296040/watcher-4484912-1751296040 -o /tmp/evaluation-result-4484912-1751296040/solver-4484912-1751296040 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751292833-39484 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4484912-1751296040.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=39958, runsolver pid=39955
[startup+0.100073 s]*
/proc/loadavg: 5.30 4.89 4.73 7/325 39976
/proc/meminfo: memFree=114008648/131382112 swapFree=33010160/33010684
[pid=39958] ppid=39955 vsize=18930384 memory=48388 CPUtime=0.12 cores=1,3
/proc/39958/stat : 39958 (java) S 39955 39958 39472 0 -1 4194304 5787 0 0 0 9 3 0 0 20 0 18 0 45282871 19384713216 12097 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
/proc/39958/statm: 4732596 12097 5309 1 0 547003 0
[pid=39958/tid=39960] ppid=39955 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/39958/task/39960/stat : 39960 (java) R 39955 39958 39472 0 -1 4194368 4639 0 0 0 5 2 0 0 20 0 18 0 45282873 19384713216 12097 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39969] ppid=39955 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/39958/task/39969/stat : 39969 (Finalizer) S 39955 39958 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45282877 19384713216 12097 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39976] ppid=39955 vsize=18930384 memory=61792617516369 CPUtime=0 cores=1,3
/proc/39958/task/39976/stat : 39976 (Common-Cleaner) S 39955 39958 39472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 45282879 19384713216 12097 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48388 KiB
[startup+0.213631 s]*
/proc/loadavg: 5.30 4.89 4.73 6/325 39976
/proc/meminfo: memFree=113959560/131382112 swapFree=33010160/33010684
[pid=39958] ppid=39955 vsize=18930384 memory=53244 CPUtime=0.29 cores=1,3
/proc/39958/stat : 39958 (java) S 39955 39958 39472 0 -1 4194304 6459 0 0 0 25 4 0 0 20 0 18 0 45282871 19384713216 13311 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
/proc/39958/statm: 4732596 13311 5341 1 0 547544 0
[pid=39958/tid=39960] ppid=39955 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=1,3
/proc/39958/task/39960/stat : 39960 (java) R 39955 39958 39472 0 -1 4194368 4987 0 0 0 15 2 0 0 20 0 18 0 45282873 19384713216 13311 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39969] ppid=39955 vsize=18930384 memory=1593 CPUtime=0 cores=1,3
/proc/39958/task/39969/stat : 39969 (Finalizer) S 39955 39958 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45282877 19384713216 13311 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39976] ppid=39955 vsize=18930384 memory=60693105869820 CPUtime=0 cores=1,3
/proc/39958/task/39976/stat : 39976 (Common-Cleaner) S 39955 39958 39472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 45282879 19384713216 13311 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53244 KiB
[startup+0.313375 s]*
/proc/loadavg: 5.30 4.89 4.73 7/325 39976
/proc/meminfo: memFree=113918100/131382112 swapFree=33010160/33010684
[pid=39958] ppid=39955 vsize=18930384 memory=58620 CPUtime=0.44 cores=1,3
/proc/39958/stat : 39958 (java) S 39955 39958 39472 0 -1 4194304 6730 0 0 0 40 4 0 0 20 0 18 0 45282871 19384713216 14655 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
/proc/39958/statm: 4732596 14655 5405 1 0 547741 0
[pid=39958/tid=39960] ppid=39955 vsize=18930384 memory=-6000919485591151468 CPUtime=0.27 cores=1,3
/proc/39958/task/39960/stat : 39960 (java) R 39955 39958 39472 0 -1 4194368 5161 0 0 0 24 3 0 0 20 0 18 0 45282873 19384713216 14655 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39969] ppid=39955 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/39958/task/39969/stat : 39969 (Finalizer) S 39955 39958 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45282877 19384713216 14655 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39976] ppid=39955 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/39958/task/39976/stat : 39976 (Common-Cleaner) S 39955 39958 39472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 45282879 19384713216 14655 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58620 KiB
[startup+0.700312 s]
/proc/loadavg: 5.30 4.89 4.73 7/325 39976
/proc/meminfo: memFree=113834164/131382112 swapFree=33010160/33010684
[pid=39958] ppid=39955 vsize=18930384 memory=95060 CPUtime=1.14 cores=1,3
/proc/39958/stat : 39958 (java) S 39955 39958 39472 0 -1 4194304 8612 0 0 0 108 6 0 0 20 0 18 0 45282871 19384713216 23765 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
/proc/39958/statm: 4732596 23765 5405 1 0 548985 0
[pid=39958/tid=39960] ppid=39955 vsize=18930384 memory=17664 CPUtime=0.61 cores=1,3
/proc/39958/task/39960/stat : 39960 (java) R 39955 39958 39472 0 -1 4194368 5366 0 0 0 57 4 0 0 20 0 18 0 45282873 19384713216 23765 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39969] ppid=39955 vsize=18930384 memory=11264 CPUtime=0 cores=1,3
/proc/39958/task/39969/stat : 39969 (Finalizer) S 39955 39958 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45282877 19384713216 23765 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39976] ppid=39955 vsize=18930384 memory=3200 CPUtime=0 cores=1,3
/proc/39958/task/39976/stat : 39976 (Common-Cleaner) S 39955 39958 39472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 45282879 19384713216 23765 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 95060 KiB
[startup+1.5087 s]
/proc/loadavg: 5.30 4.89 4.73 8/326 39977
/proc/meminfo: memFree=113513544/131382112 swapFree=33010160/33010684
[pid=39958] ppid=39955 vsize=19063512 memory=168656 CPUtime=2.73 cores=1,3
/proc/39958/stat : 39958 (java) S 39955 39958 39472 0 -1 4194304 15948 0 0 0 263 10 0 0 20 0 20 0 45282871 19521036288 42164 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
/proc/39958/statm: 4765878 42164 5501 1 0 552116 0
[pid=39958/tid=39960] ppid=39955 vsize=19063512 memory=3200 CPUtime=1.29 cores=1,3
/proc/39958/task/39960/stat : 39960 (java) S 39955 39958 39472 0 -1 4194368 5961 0 0 0 123 6 0 0 20 0 20 0 45282873 19521036288 42164 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39969] ppid=39955 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/39958/task/39969/stat : 39969 (Finalizer) S 39955 39958 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45282877 19521036288 42164 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39976] ppid=39955 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/39958/task/39976/stat : 39976 (Common-Cleaner) S 39955 39958 39472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 45282879 19521036288 42164 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168656 KiB
[startup+3.10527 s]
/proc/loadavg: 5.36 4.91 4.74 7/327 39978
/proc/meminfo: memFree=113227016/131382112 swapFree=33010160/33010684
[pid=39958] ppid=39955 vsize=19063512 memory=412972 CPUtime=5.71 cores=1,3
/proc/39958/stat : 39958 (java) S 39955 39958 39472 0 -1 4194304 20275 0 0 0 555 16 0 0 20 0 20 0 45282871 19521036288 103243 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
/proc/39958/statm: 4765878 103243 5501 1 0 957733 0
[pid=39958/tid=39960] ppid=39955 vsize=19063512 memory=11264 CPUtime=2.66 cores=1,3
/proc/39958/task/39960/stat : 39960 (java) R 39955 39958 39472 0 -1 4194368 6591 0 0 0 257 9 0 0 20 0 20 0 45282873 19521036288 103243 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39969] ppid=39955 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/39958/task/39969/stat : 39969 (Finalizer) S 39955 39958 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45282877 19521036288 103243 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39976] ppid=39955 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/39958/task/39976/stat : 39976 (Common-Cleaner) S 39955 39958 39472 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 45282879 19521036288 103243 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39978] ppid=39955 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/39958/task/39978/stat : 39978 (Timer-0) S 39955 39958 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45282982 19521036288 103243 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
Current children cumulated CPU time: 5.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 412972 KiB
[startup+6.30046 s]
/proc/loadavg: 5.36 4.91 4.74 7/327 39978
/proc/meminfo: memFree=112613260/131382112 swapFree=33010160/33010684
[pid=39958] ppid=39955 vsize=19063512 memory=917304 CPUtime=9.87 cores=1,3
/proc/39958/stat : 39958 (java) S 39955 39958 39472 0 -1 4194304 21584 0 0 0 958 29 0 0 20 0 20 0 45282871 19521036288 229326 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
/proc/39958/statm: 4765878 229326 5533 1 0 1287791 0
[pid=39958/tid=39960] ppid=39955 vsize=19063512 memory=0 CPUtime=5.61 cores=1,3
/proc/39958/task/39960/stat : 39960 (java) R 39955 39958 39472 0 -1 4194368 6878 0 0 0 544 17 0 0 20 0 20 0 45282873 19521036288 229326 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39969] ppid=39955 vsize=19063512 memory=4283932234721037686 CPUtime=0 cores=1,3
/proc/39958/task/39969/stat : 39969 (Finalizer) S 39955 39958 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45282877 19521036288 229326 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39976] ppid=39955 vsize=19063512 memory=-6000919485591151468 CPUtime=0 cores=1,3
/proc/39958/task/39976/stat : 39976 (Common-Cleaner) S 39955 39958 39472 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 45282879 19521036288 229326 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39978] ppid=39955 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/39958/task/39978/stat : 39978 (Timer-0) S 39955 39958 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45282982 19521036288 229326 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
Current children cumulated CPU time: 9.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 917304 KiB
[startup+12.7005 s]
/proc/loadavg: 5.15 4.88 4.73 6/327 39979
/proc/meminfo: memFree=111465192/131382112 swapFree=33010160/33010684
[pid=39958] ppid=39955 vsize=19063512 memory=1739044 CPUtime=16.7 cores=1,3
/proc/39958/stat : 39958 (java) S 39955 39958 39472 0 -1 4194304 22753 0 0 0 1621 49 0 0 20 0 20 0 45282871 19521036288 434761 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
/proc/39958/statm: 4765878 434761 5533 1 0 1544727 0
[pid=39958/tid=39960] ppid=39955 vsize=19063512 memory=0 CPUtime=11.61 cores=1,3
/proc/39958/task/39960/stat : 39960 (java) R 39955 39958 39472 0 -1 4194368 7277 0 0 0 1129 32 0 0 20 0 20 0 45282873 19521036288 434761 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39969] ppid=39955 vsize=19063512 memory=1614108 CPUtime=0 cores=1,3
/proc/39958/task/39969/stat : 39969 (Finalizer) S 39955 39958 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45282877 19521036288 434761 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39976] ppid=39955 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/39958/task/39976/stat : 39976 (Common-Cleaner) S 39955 39958 39472 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 45282879 19521036288 434761 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39978] ppid=39955 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/39958/task/39978/stat : 39978 (Timer-0) S 39955 39958 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45282982 19521036288 434761 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
Current children cumulated CPU time: 16.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1739044 KiB
[startup+25.5005 s]
/proc/loadavg: 5.05 4.87 4.73 7/327 39979
/proc/meminfo: memFree=107507404/131382112 swapFree=33010160/33010684
[pid=39958] ppid=39955 vsize=19063512 memory=2437760 CPUtime=29.91 cores=1,3
/proc/39958/stat : 39958 (java) S 39955 39958 39472 0 -1 4194304 28341 0 0 0 2925 66 0 0 20 0 20 0 45282871 19521036288 609440 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
/proc/39958/statm: 4765878 609440 5533 1 0 1544775 0
[pid=39958/tid=39960] ppid=39955 vsize=19063512 memory=-6000919485591151468 CPUtime=23.84 cores=1,3
/proc/39958/task/39960/stat : 39960 (java) R 39955 39958 39472 0 -1 4194368 9551 0 0 0 2338 46 0 0 20 0 20 0 45282873 19521036288 609440 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39969] ppid=39955 vsize=19063512 memory=3199 CPUtime=0 cores=1,3
/proc/39958/task/39969/stat : 39969 (Finalizer) S 39955 39958 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45282877 19521036288 609440 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39976] ppid=39955 vsize=19063512 memory=2398588 CPUtime=0 cores=1,3
/proc/39958/task/39976/stat : 39976 (Common-Cleaner) S 39955 39958 39472 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 45282879 19521036288 609440 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39978] ppid=39955 vsize=19063512 memory=2398588 CPUtime=0 cores=1,3
/proc/39958/task/39978/stat : 39978 (Timer-0) S 39955 39958 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45282982 19521036288 609440 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
Current children cumulated CPU time: 29.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2437760 KiB
[startup+51.1132 s]
/proc/loadavg: 5.07 4.90 4.74 6/327 39979
/proc/meminfo: memFree=103681100/131382112 swapFree=33010160/33010684
[pid=39958] ppid=39955 vsize=19063512 memory=4706596 CPUtime=57.28 cores=1,3
/proc/39958/stat : 39958 (java) S 39955 39958 39472 0 -1 4194304 40443 0 0 0 5612 116 0 0 20 0 20 0 45282871 19521036288 1176649 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
/proc/39958/statm: 4765878 1176649 5533 1 0 1683222 0
[pid=39958/tid=39960] ppid=39955 vsize=19063512 memory=4706596 CPUtime=48.46 cores=1,3
/proc/39958/task/39960/stat : 39960 (java) R 39955 39958 39472 0 -1 4194368 13730 0 0 0 4761 85 0 0 20 0 20 0 45282873 19521036288 1176649 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39969] ppid=39955 vsize=19063512 memory=-6000919485591151468 CPUtime=0 cores=1,3
/proc/39958/task/39969/stat : 39969 (Finalizer) S 39955 39958 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45282877 19521036288 1176649 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39976] ppid=39955 vsize=19063512 memory=3608784 CPUtime=0 cores=1,3
/proc/39958/task/39976/stat : 39976 (Common-Cleaner) S 39955 39958 39472 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 45282879 19521036288 1176649 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39978] ppid=39955 vsize=19063512 memory=2437760 CPUtime=0 cores=1,3
/proc/39958/task/39978/stat : 39978 (Timer-0) S 39955 39958 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45282982 19521036288 1176649 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
Current children cumulated CPU time: 57.28 s
################
# More data... #
################
[startup+2982.3 s]
/proc/loadavg: 4.55 4.65 4.56 6/330 40185
/proc/meminfo: memFree=99928708/131382112 swapFree=33010160/33010684
[pid=39958] ppid=39955 vsize=19130076 memory=6943624 CPUtime=3183.6 cores=1,3
/proc/39958/stat : 39958 (java) S 39955 39958 39472 0 -1 4194304 506848 0 0 0 317819 541 0 0 20 0 21 0 45282871 19589197824 1735906 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
/proc/39958/statm: 4782519 1735906 5565 1 0 1750408 0
[pid=39958/tid=39960] ppid=39955 vsize=19130076 memory=-6000919485591151468 CPUtime=2932.94 cores=1,3
/proc/39958/task/39960/stat : 39960 (java) R 39955 39958 39472 0 -1 4194368 330628 0 0 0 293153 141 0 0 20 0 21 0 45282873 19589197824 1735906 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39969] ppid=39955 vsize=19130076 memory=6876932 CPUtime=0 cores=1,3
/proc/39958/task/39969/stat : 39969 (Finalizer) S 39955 39958 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45282877 19589197824 1735906 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39976] ppid=39955 vsize=19130076 memory=6943624 CPUtime=0 cores=1,3
/proc/39958/task/39976/stat : 39976 (Common-Cleaner) S 39955 39958 39472 0 -1 4194368 2132 0 0 0 0 0 0 0 20 0 21 0 45282879 19589197824 1735906 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39978] ppid=39955 vsize=19130076 memory=14720 CPUtime=0 cores=1,3
/proc/39958/task/39978/stat : 39978 (Timer-0) S 39955 39958 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 45282982 19589197824 1735906 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
Current children cumulated CPU time: 3183.6 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6943624 KiB
[startup+3042.3 s]
/proc/loadavg: 4.77 4.68 4.58 6/330 40187
/proc/meminfo: memFree=99658572/131382112 swapFree=33010160/33010684
[pid=39958] ppid=39955 vsize=19130076 memory=7010360 CPUtime=3259.21 cores=1,3
/proc/39958/stat : 39958 (java) S 39955 39958 39472 0 -1 4194304 512429 0 0 0 325363 558 0 0 20 0 21 0 45282871 19589197824 1752590 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
/proc/39958/statm: 4782519 1752590 5565 1 0 1767118 0
[pid=39958/tid=39960] ppid=39955 vsize=19130076 memory=6943624 CPUtime=2991.78 cores=1,3
/proc/39958/task/39960/stat : 39960 (java) R 39955 39958 39472 0 -1 4194368 333579 0 0 0 299036 142 0 0 20 0 21 0 45282873 19589197824 1752590 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39969] ppid=39955 vsize=19130076 memory=6985324 CPUtime=0 cores=1,3
/proc/39958/task/39969/stat : 39969 (Finalizer) S 39955 39958 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45282877 19589197824 1752590 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39976] ppid=39955 vsize=19130076 memory=7010360 CPUtime=0 cores=1,3
/proc/39958/task/39976/stat : 39976 (Common-Cleaner) S 39955 39958 39472 0 -1 4194368 2149 0 0 0 0 0 0 0 20 0 21 0 45282879 19589197824 1752590 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39978] ppid=39955 vsize=19130076 memory=0 CPUtime=0 cores=1,3
/proc/39958/task/39978/stat : 39978 (Timer-0) S 39955 39958 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 45282982 19589197824 1752590 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
Current children cumulated CPU time: 3259.21 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7010360 KiB
[startup+3102.3 s]
/proc/loadavg: 5.00 4.75 4.60 6/330 40191
/proc/meminfo: memFree=99420604/131382112 swapFree=33010160/33010684
[pid=39958] ppid=39955 vsize=19130076 memory=7093688 CPUtime=3334.97 cores=1,3
/proc/39958/stat : 39958 (java) S 39955 39958 39472 0 -1 4194304 514903 0 0 0 332920 577 0 0 20 0 21 0 45282871 19589197824 1773422 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
/proc/39958/statm: 4782519 1773422 5565 1 0 1788007 0
[pid=39958/tid=39960] ppid=39955 vsize=19130076 memory=6876932 CPUtime=3051.06 cores=1,3
/proc/39958/task/39960/stat : 39960 (java) R 39955 39958 39472 0 -1 4194368 335660 0 0 0 304962 144 0 0 20 0 21 0 45282873 19589197824 1773422 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39969] ppid=39955 vsize=19130076 memory=11264 CPUtime=0 cores=1,3
/proc/39958/task/39969/stat : 39969 (Finalizer) S 39955 39958 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45282877 19589197824 1773422 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39976] ppid=39955 vsize=19130076 memory=7051960 CPUtime=0 cores=1,3
/proc/39958/task/39976/stat : 39976 (Common-Cleaner) S 39955 39958 39472 0 -1 4194368 2154 0 0 0 0 0 0 0 20 0 21 0 45282879 19589197824 1773422 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39978] ppid=39955 vsize=19130076 memory=14720 CPUtime=0 cores=1,3
/proc/39958/task/39978/stat : 39978 (Timer-0) S 39955 39958 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 45282982 19589197824 1773422 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
Current children cumulated CPU time: 3334.97 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7093688 KiB
[startup+3162.3 s]
/proc/loadavg: 4.89 4.77 4.62 6/330 40198
/proc/meminfo: memFree=99282540/131382112 swapFree=33010160/33010684
[pid=39958] ppid=39955 vsize=19130076 memory=7127096 CPUtime=3403.66 cores=1,3
/proc/39958/stat : 39958 (java) S 39955 39958 39472 0 -1 4194304 518095 0 0 0 339778 588 0 0 20 0 21 0 45282871 19589197824 1781774 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
/proc/39958/statm: 4782519 1781774 5565 1 0 1796362 0
[pid=39958/tid=39960] ppid=39955 vsize=19130076 memory=6876932 CPUtime=3110.08 cores=1,3
/proc/39958/task/39960/stat : 39960 (java) R 39955 39958 39472 0 -1 4194368 337850 0 0 0 310862 146 0 0 20 0 21 0 45282873 19589197824 1781774 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39969] ppid=39955 vsize=19130076 memory=-6000919485591151468 CPUtime=0 cores=1,3
/proc/39958/task/39969/stat : 39969 (Finalizer) S 39955 39958 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45282877 19589197824 1781774 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39976] ppid=39955 vsize=19130076 memory=7127096 CPUtime=0 cores=1,3
/proc/39958/task/39976/stat : 39976 (Common-Cleaner) S 39955 39958 39472 0 -1 4194368 2187 0 0 0 0 0 0 0 20 0 21 0 45282879 19589197824 1781774 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39978] ppid=39955 vsize=19130076 memory=-6000919485591151468 CPUtime=0 cores=1,3
/proc/39958/task/39978/stat : 39978 (Timer-0) S 39955 39958 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 45282982 19589197824 1781774 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
Current children cumulated CPU time: 3403.66 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7127096 KiB
[startup+3222.3 s]
/proc/loadavg: 4.84 4.76 4.63 6/330 40211
/proc/meminfo: memFree=98964656/131382112 swapFree=33010160/33010684
[pid=39958] ppid=39955 vsize=19130076 memory=7252160 CPUtime=3479.41 cores=1,3
/proc/39958/stat : 39958 (java) S 39955 39958 39472 0 -1 4194304 522290 0 0 0 347334 607 0 0 20 0 21 0 45282871 19589197824 1813040 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
/proc/39958/statm: 4782519 1813040 5565 1 0 1827697 0
[pid=39958/tid=39960] ppid=39955 vsize=19130076 memory=7251264 CPUtime=3168.93 cores=1,3
/proc/39958/task/39960/stat : 39960 (java) R 39955 39958 39472 0 -1 4194368 341276 0 0 0 316744 149 0 0 20 0 21 0 45282873 19589197824 1813040 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39969] ppid=39955 vsize=19130076 memory=7686721470264483783 CPUtime=0 cores=1,3
/proc/39958/task/39969/stat : 39969 (Finalizer) S 39955 39958 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45282877 19589197824 1813040 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39976] ppid=39955 vsize=19130076 memory=7252160 CPUtime=0 cores=1,3
/proc/39958/task/39976/stat : 39976 (Common-Cleaner) S 39955 39958 39472 0 -1 4194368 2188 0 0 0 0 0 0 0 20 0 21 0 45282879 19589197824 1813040 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39978] ppid=39955 vsize=19130076 memory=14720 CPUtime=0 cores=1,3
/proc/39958/task/39978/stat : 39978 (Timer-0) S 39955 39958 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 45282982 19589197824 1813040 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
Current children cumulated CPU time: 3479.41 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7252160 KiB
[startup+3282.3 s]
/proc/loadavg: 4.59 4.70 4.62 5/330 40213
/proc/meminfo: memFree=98882248/131382112 swapFree=33010160/33010684
[pid=39958] ppid=39955 vsize=19130076 memory=7335616 CPUtime=3547.47 cores=1,3
/proc/39958/stat : 39958 (java) S 39955 39958 39472 0 -1 4194304 528342 0 0 0 354129 618 0 0 20 0 21 0 45282871 19589197824 1833904 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
/proc/39958/statm: 4782519 1833904 5565 1 0 1848585 0
[pid=39958/tid=39960] ppid=39955 vsize=19130076 memory=7252160 CPUtime=3227.82 cores=1,3
/proc/39958/task/39960/stat : 39960 (java) R 39955 39958 39472 0 -1 4194368 345172 0 0 0 322631 151 0 0 20 0 21 0 45282873 19589197824 1833904 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39969] ppid=39955 vsize=19130076 memory=7252160 CPUtime=0 cores=1,3
/proc/39958/task/39969/stat : 39969 (Finalizer) S 39955 39958 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45282877 19589197824 1833904 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39976] ppid=39955 vsize=19130076 memory=14720 CPUtime=0 cores=1,3
/proc/39958/task/39976/stat : 39976 (Common-Cleaner) S 39955 39958 39472 0 -1 4194368 2248 0 0 0 0 0 0 0 20 0 21 0 45282879 19589197824 1833904 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39978] ppid=39955 vsize=19130076 memory=11264 CPUtime=0 cores=1,3
/proc/39958/task/39978/stat : 39978 (Timer-0) S 39955 39958 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 45282982 19589197824 1833904 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
Current children cumulated CPU time: 3547.47 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7335616 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3332.3 s]
/proc/loadavg: 4.75 4.72 4.63 8/330 40215
/proc/meminfo: memFree=98640688/131382112 swapFree=33010160/33010684
[pid=39958] ppid=39955 vsize=19130076 memory=7337664 CPUtime=3600.19 cores=1,3
/proc/39958/stat : 39958 (java) S 39955 39958 39472 0 -1 4194304 530458 0 0 0 359397 622 0 0 20 0 21 0 45282871 19589197824 1834416 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
/proc/39958/statm: 4782519 1834416 5565 1 0 1848585 0
[pid=39958/tid=39960] ppid=39955 vsize=19130076 memory=7252160 CPUtime=3276.52 cores=1,3
/proc/39958/task/39960/stat : 39960 (java) R 39955 39958 39472 0 -1 4194368 346096 0 0 0 327501 151 0 0 20 0 21 0 45282873 19589197824 1834416 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39969] ppid=39955 vsize=19130076 memory=3200 CPUtime=0 cores=1,3
/proc/39958/task/39969/stat : 39969 (Finalizer) S 39955 39958 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45282877 19589197824 1834416 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39976] ppid=39955 vsize=19130076 memory=7335616 CPUtime=0 cores=1,3
/proc/39958/task/39976/stat : 39976 (Common-Cleaner) S 39955 39958 39472 0 -1 4194368 2308 0 0 0 0 0 0 0 20 0 21 0 45282879 19589197824 1834416 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39978] ppid=39955 vsize=19130076 memory=7335616 CPUtime=0 cores=1,3
/proc/39958/task/39978/stat : 39978 (Timer-0) S 39955 39958 39472 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 45282982 19589197824 1834416 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7337664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3332.48 s]
# the end of solver process 39958 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.25 s, system=6.2585 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3332.4 s]
/proc/loadavg: 4.75 4.72 4.63 8/330 40215
/proc/meminfo: memFree=98640688/131382112 swapFree=33010160/33010684
[pid=39958] ppid=39955 vsize=19329768 memory=7338432 CPUtime=3600.39 cores=1,3
/proc/39958/stat : 39958 (java) S 39955 39958 39472 0 -1 4194304 532197 0 0 0 359417 622 0 0 20 0 22 0 45282871 19793682432 1834608 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
/proc/39958/statm: 4832442 1834608 5597 1 0 1849504 0
[pid=39958/tid=39960] ppid=39955 vsize=19329768 memory=5632 CPUtime=3276.62 cores=1,3
/proc/39958/task/39960/stat : 39960 (java) R 39955 39958 39472 0 -1 4194368 346124 0 0 0 327511 151 0 0 20 0 22 0 45282873 19793682432 1834608 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39969] ppid=39955 vsize=19329768 memory=4252 CPUtime=0 cores=1,3
/proc/39958/task/39969/stat : 39969 (Finalizer) S 39955 39958 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 45282877 19793682432 1834608 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
[pid=39958/tid=39976] ppid=39955 vsize=19329768 memory=3200 CPUtime=0 cores=1,3
/proc/39958/task/39976/stat : 39976 (Common-Cleaner) S 39955 39958 39472 0 -1 4194368 2308 0 0 0 0 0 0 0 20 0 22 0 45282879 19793682432 1834608 18446744073709551615 94822355484672 94822355488368 140721753415760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94822355496184 94822355496976 94822366068736 140721753422206 140721753422310 140721753422310 140721753427912 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 7338432 KiB
Child status: 143
Real time (s): 3332.48
CPU time (s): 3600.51
CPU user time (s): 3594.25
CPU system time (s): 6.2585
CPU usage (%): 108.043
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 7338432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.25
system time used= 6.2585
maximum resident set size= 7338560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 532483
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115072
involuntary context switches= 18397
# summary of solver processes directly reported to runsolver:
# pid: 39958
# total CPU time (s): 3600.51
# total CPU user time (s): 3594.25
# total CPU system time (s): 6.2585
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5616 second user time and 33.1355 second system time
The end