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 (57476 MiB free)
memory of node 1: 64507 MiB (52843 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526379-1751632985/watcher-4526379-1751632985 -o /tmp/evaluation-result-4526379-1751632985/solver-4526379-1751632985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751630095-88493 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4526379-1751632985.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=89479, runsolver pid=89476
[startup+0.100071 s]*
/proc/loadavg: 5.21 4.87 4.61 8/325 89497
/proc/meminfo: memFree=112948588/131382120 swapFree=33010416/33010684
[pid=89479] ppid=89476 vsize=18930384 memory=48432 CPUtime=0.13 cores=0,2
/proc/89479/stat : 89479 (java) S 89476 89479 88483 0 -1 4194304 5796 0 0 0 9 4 0 0 20 0 18 0 78977858 19384713216 12108 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
/proc/89479/statm: 4732596 12108 5326 1 0 547013 0
[pid=89479/tid=89481] ppid=89476 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/89479/task/89481/stat : 89481 (java) R 89476 89479 88483 0 -1 4194368 4690 0 0 0 5 2 0 0 20 0 18 0 78977860 19384713216 12108 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89490] ppid=89476 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/89479/task/89490/stat : 89490 (Finalizer) S 89476 89479 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78977864 19384713216 12108 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89497] ppid=89476 vsize=18930384 memory=58494082626307 CPUtime=0 cores=0,2
/proc/89479/task/89497/stat : 89497 (Common-Cleaner) S 89476 89479 88483 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 78977865 19384713216 12108 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48432 KiB
[startup+0.217994 s]*
/proc/loadavg: 5.21 4.87 4.61 7/325 89497
/proc/meminfo: memFree=112940700/131382120 swapFree=33010416/33010684
[pid=89479] ppid=89476 vsize=18930384 memory=55636 CPUtime=0.31 cores=0,2
/proc/89479/stat : 89479 (java) S 89476 89479 88483 0 -1 4194304 6532 0 0 0 26 5 0 0 20 0 18 0 78977858 19384713216 13909 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
/proc/89479/statm: 4732596 13909 5358 1 0 547604 0
[pid=89479/tid=89481] ppid=89476 vsize=18930384 memory=4026794268 CPUtime=0.19 cores=0,2
/proc/89479/task/89481/stat : 89481 (java) R 89476 89479 88483 0 -1 4194368 5044 0 0 0 16 3 0 0 20 0 18 0 78977860 19384713216 13909 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89490] ppid=89476 vsize=18930384 memory=12896 CPUtime=0 cores=0,2
/proc/89479/task/89490/stat : 89490 (Finalizer) S 89476 89479 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78977864 19384713216 13909 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89497] ppid=89476 vsize=18930384 memory=57394570986489 CPUtime=0 cores=0,2
/proc/89479/task/89497/stat : 89497 (Common-Cleaner) S 89476 89479 88483 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 78977865 19384713216 13909 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55636 KiB
[startup+0.313903 s]*
/proc/loadavg: 5.21 4.87 4.61 6/325 89497
/proc/meminfo: memFree=112936604/131382120 swapFree=33010416/33010684
[pid=89479] ppid=89476 vsize=18930384 memory=59176 CPUtime=0.47 cores=0,2
/proc/89479/stat : 89479 (java) S 89476 89479 88483 0 -1 4194304 6828 0 0 0 42 5 0 0 20 0 18 0 78977858 19384713216 14794 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
/proc/89479/statm: 4732596 14794 5454 1 0 547829 0
[pid=89479/tid=89481] ppid=89476 vsize=18930384 memory=-6000919481262957415 CPUtime=0.28 cores=0,2
/proc/89479/task/89481/stat : 89481 (java) R 89476 89479 88483 0 -1 4194368 5240 0 0 0 25 3 0 0 20 0 18 0 78977860 19384713216 14794 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89490] ppid=89476 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/89479/task/89490/stat : 89490 (Finalizer) S 89476 89479 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78977864 19384713216 14794 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89497] ppid=89476 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/89479/task/89497/stat : 89497 (Common-Cleaner) S 89476 89479 88483 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 78977865 19384713216 14794 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59176 KiB
[startup+0.700329 s]
/proc/loadavg: 5.21 4.87 4.61 9/325 89497
/proc/meminfo: memFree=112932508/131382120 swapFree=33010416/33010684
[pid=89479] ppid=89476 vsize=18996948 memory=70224 CPUtime=1.17 cores=0,2
/proc/89479/stat : 89479 (java) S 89476 89479 88483 0 -1 4194304 7531 0 0 0 111 6 0 0 20 0 19 0 78977858 19452874752 17556 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
/proc/89479/statm: 4749237 17556 5486 1 0 548534 0
[pid=89479/tid=89481] ppid=89476 vsize=18996948 memory=18560 CPUtime=0.59 cores=0,2
/proc/89479/task/89481/stat : 89481 (java) R 89476 89479 88483 0 -1 4194368 5496 0 0 0 55 4 0 0 20 0 19 0 78977860 19452874752 17556 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89490] ppid=89476 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/89479/task/89490/stat : 89490 (Finalizer) S 89476 89479 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78977864 19452874752 17556 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89497] ppid=89476 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/89479/task/89497/stat : 89497 (Common-Cleaner) S 89476 89479 88483 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 78977865 19452874752 17556 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70224 KiB
[startup+1.50023 s]
/proc/loadavg: 5.21 4.87 4.61 7/326 89498
/proc/meminfo: memFree=112903964/131382120 swapFree=33010416/33010684
[pid=89479] ppid=89476 vsize=18996948 memory=137580 CPUtime=2.75 cores=0,2
/proc/89479/stat : 89479 (java) S 89476 89479 88483 0 -1 4194304 15585 0 0 0 266 9 0 0 20 0 19 0 78977858 19452874752 34395 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
/proc/89479/statm: 4749237 34395 5486 1 0 551354 0
[pid=89479/tid=89481] ppid=89476 vsize=18996948 memory=3200 CPUtime=1.29 cores=0,2
/proc/89479/task/89481/stat : 89481 (java) R 89476 89479 88483 0 -1 4194368 5882 0 0 0 124 5 0 0 20 0 19 0 78977860 19452874752 34395 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89490] ppid=89476 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/89479/task/89490/stat : 89490 (Finalizer) S 89476 89479 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78977864 19452874752 34395 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89497] ppid=89476 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/89479/task/89497/stat : 89497 (Common-Cleaner) S 89476 89479 88483 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 78977865 19452874752 34395 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89498] ppid=89476 vsize=18996948 memory=14304 CPUtime=0 cores=0,2
/proc/89479/task/89498/stat : 89498 (Timer-0) S 89476 89479 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78977916 19452874752 34395 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 137580 KiB
[startup+3.1058 s]
/proc/loadavg: 5.21 4.87 4.61 6/327 89499
/proc/meminfo: memFree=112806280/131382120 swapFree=33010416/33010684
[pid=89479] ppid=89476 vsize=19063512 memory=201332 CPUtime=5.91 cores=0,2
/proc/89479/stat : 89479 (java) S 89476 89479 88483 0 -1 4194304 23393 0 0 0 580 11 0 0 20 0 20 0 78977858 19521036288 50333 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
/proc/89479/statm: 4765878 50333 5518 1 0 555959 0
[pid=89479/tid=89481] ppid=89476 vsize=19063512 memory=14304 CPUtime=2.82 cores=0,2
/proc/89479/task/89481/stat : 89481 (java) R 89476 89479 88483 0 -1 4194368 6384 0 0 0 276 6 0 0 20 0 20 0 78977860 19521036288 50333 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89490] ppid=89476 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/89479/task/89490/stat : 89490 (Finalizer) S 89476 89479 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78977864 19521036288 50333 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89497] ppid=89476 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/89479/task/89497/stat : 89497 (Common-Cleaner) S 89476 89479 88483 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 78977865 19521036288 50333 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89498] ppid=89476 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/89479/task/89498/stat : 89498 (Timer-0) S 89476 89479 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78977916 19521036288 50333 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 201332 KiB
[startup+6.31018 s]
/proc/loadavg: 5.28 4.89 4.62 6/328 89501
/proc/meminfo: memFree=112657164/131382120 swapFree=33010416/33010684
[pid=89479] ppid=89476 vsize=19063512 memory=338640 CPUtime=9.78 cores=0,2
/proc/89479/stat : 89479 (java) S 89476 89479 88483 0 -1 4194304 23732 0 0 0 962 16 0 0 20 0 20 0 78977858 19521036288 84660 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
/proc/89479/statm: 4765878 84660 5518 1 0 555962 0
[pid=89479/tid=89481] ppid=89476 vsize=19063512 memory=0 CPUtime=5.95 cores=0,2
/proc/89479/task/89481/stat : 89481 (java) R 89476 89479 88483 0 -1 4194368 6528 0 0 0 586 9 0 0 20 0 20 0 78977860 19521036288 84660 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89490] ppid=89476 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/89479/task/89490/stat : 89490 (Finalizer) S 89476 89479 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78977864 19521036288 84660 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89497] ppid=89476 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/89479/task/89497/stat : 89497 (Common-Cleaner) S 89476 89479 88483 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 78977865 19521036288 84660 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89498] ppid=89476 vsize=19063512 memory=150780 CPUtime=0 cores=0,2
/proc/89479/task/89498/stat : 89498 (Timer-0) S 89476 89479 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78977916 19521036288 84660 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
Current children cumulated CPU time: 9.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 338640 KiB
[startup+12.7004 s]
/proc/loadavg: 5.25 4.89 4.62 6/328 89501
/proc/meminfo: memFree=112153404/131382120 swapFree=33010416/33010684
[pid=89479] ppid=89476 vsize=19063512 memory=841596 CPUtime=17.06 cores=0,2
/proc/89479/stat : 89479 (java) S 89476 89479 88483 0 -1 4194304 25378 0 0 0 1678 28 0 0 20 0 20 0 78977858 19521036288 210399 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
/proc/89479/statm: 4765878 210399 5518 1 0 662483 0
[pid=89479/tid=89481] ppid=89476 vsize=19063512 memory=150780 CPUtime=12.21 cores=0,2
/proc/89479/task/89481/stat : 89481 (java) R 89476 89479 88483 0 -1 4194368 7536 0 0 0 1203 18 0 0 20 0 20 0 78977860 19521036288 210399 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89490] ppid=89476 vsize=19063512 memory=841596 CPUtime=0 cores=0,2
/proc/89479/task/89490/stat : 89490 (Finalizer) S 89476 89479 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78977864 19521036288 210399 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89497] ppid=89476 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/89479/task/89497/stat : 89497 (Common-Cleaner) S 89476 89479 88483 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 78977865 19521036288 210399 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89498] ppid=89476 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/89479/task/89498/stat : 89498 (Timer-0) S 89476 89479 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78977916 19521036288 210399 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
Current children cumulated CPU time: 17.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 841596 KiB
[startup+25.5004 s]
/proc/loadavg: 5.13 4.88 4.63 6/328 89501
/proc/meminfo: memFree=111352444/131382120 swapFree=33010416/33010684
[pid=89479] ppid=89476 vsize=19063512 memory=1693748 CPUtime=29.97 cores=0,2
/proc/89479/stat : 89479 (java) S 89476 89479 88483 0 -1 4194304 28918 0 0 0 2952 45 0 0 20 0 20 0 78977858 19521036288 423437 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
/proc/89479/statm: 4765878 423437 5518 1 0 662506 0
[pid=89479/tid=89481] ppid=89476 vsize=19063512 memory=0 CPUtime=24.62 cores=0,2
/proc/89479/task/89481/stat : 89481 (java) R 89476 89479 88483 0 -1 4194368 9239 0 0 0 2429 33 0 0 20 0 20 0 78977860 19521036288 423437 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89490] ppid=89476 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/89479/task/89490/stat : 89490 (Finalizer) S 89476 89479 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78977864 19521036288 423437 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89497] ppid=89476 vsize=19063512 memory=1644496 CPUtime=0 cores=0,2
/proc/89479/task/89497/stat : 89497 (Common-Cleaner) S 89476 89479 88483 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 78977865 19521036288 423437 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89498] ppid=89476 vsize=19063512 memory=1644496 CPUtime=0 cores=0,2
/proc/89479/task/89498/stat : 89498 (Timer-0) S 89476 89479 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78977916 19521036288 423437 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
Current children cumulated CPU time: 29.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1693748 KiB
[startup+51.1139 s]
/proc/loadavg: 4.95 4.86 4.63 5/329 89502
/proc/meminfo: memFree=110735256/131382120 swapFree=33010416/33010684
[pid=89479] ppid=89476 vsize=19063512 memory=2262320 CPUtime=55.88 cores=0,2
/proc/89479/stat : 89479 (java) S 89476 89479 88483 0 -1 4194304 33524 0 0 0 5528 60 0 0 20 0 20 0 78977858 19521036288 565580 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
/proc/89479/statm: 4765878 565580 5518 1 0 789919 0
[pid=89479/tid=89481] ppid=89476 vsize=19063512 memory=1693748 CPUtime=49.85 cores=0,2
/proc/89479/task/89481/stat : 89481 (java) R 89476 89479 88483 0 -1 4194368 11836 0 0 0 4941 44 0 0 20 0 20 0 78977860 19521036288 565580 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89490] ppid=89476 vsize=19063512 memory=28320 CPUtime=0 cores=0,2
/proc/89479/task/89490/stat : 89490 (Finalizer) S 89476 89479 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78977864 19521036288 565580 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89497] ppid=89476 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/89479/task/89497/stat : 89497 (Common-Cleaner) S 89476 89479 88483 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 78977865 19521036288 565580 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
################
# More data... #
################
[startup+2742.3 s]
/proc/loadavg: 4.55 4.64 4.63 6/330 90567
/proc/meminfo: memFree=103523636/131382120 swapFree=33010416/33010684
[pid=89479] ppid=89476 vsize=19130076 memory=6230280 CPUtime=3183.88 cores=0,2
/proc/89479/stat : 89479 (java) S 89476 89479 88483 0 -1 4194304 214257 0 0 0 317801 587 0 0 20 0 21 0 78977858 19589197824 1557570 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
/proc/89479/statm: 4782519 1557570 5550 1 0 1576149 0
[pid=89479/tid=89481] ppid=89476 vsize=19130076 memory=5962012 CPUtime=2684.27 cores=0,2
/proc/89479/task/89481/stat : 89481 (java) R 89476 89479 88483 0 -1 4194368 103951 0 0 0 268308 119 0 0 20 0 21 0 78977860 19589197824 1557570 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89490] ppid=89476 vsize=19130076 memory=6087504 CPUtime=0 cores=0,2
/proc/89479/task/89490/stat : 89490 (Finalizer) S 89476 89479 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78977864 19589197824 1557570 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89497] ppid=89476 vsize=19130076 memory=6161136 CPUtime=0 cores=0,2
/proc/89479/task/89497/stat : 89497 (Common-Cleaner) S 89476 89479 88483 0 -1 4194368 1329 0 0 0 0 0 0 0 20 0 21 0 78977865 19589197824 1557570 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89498] ppid=89476 vsize=19130076 memory=6230280 CPUtime=0 cores=0,2
/proc/89479/task/89498/stat : 89498 (Timer-0) S 89476 89479 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 78977916 19589197824 1557570 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
Current children cumulated CPU time: 3183.88 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6230280 KiB
[startup+2802.3 s]
/proc/loadavg: 4.42 4.60 4.62 5/330 90574
/proc/meminfo: memFree=103356752/131382120 swapFree=33010416/33010684
[pid=89479] ppid=89476 vsize=19130076 memory=6288808 CPUtime=3251.17 cores=0,2
/proc/89479/stat : 89479 (java) S 89476 89479 88483 0 -1 4194304 218389 0 0 0 324521 596 0 0 20 0 21 0 78977858 19589197824 1572202 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
/proc/89479/statm: 4782519 1572202 5550 1 0 1590826 0
[pid=89479/tid=89481] ppid=89476 vsize=19130076 memory=6288808 CPUtime=2743.31 cores=0,2
/proc/89479/task/89481/stat : 89481 (java) R 89476 89479 88483 0 -1 4194368 106032 0 0 0 274210 121 0 0 20 0 21 0 78977860 19589197824 1572202 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89490] ppid=89476 vsize=19130076 memory=279386817928224 CPUtime=0 cores=0,2
/proc/89479/task/89490/stat : 89490 (Finalizer) S 89476 89479 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78977864 19589197824 1572202 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89497] ppid=89476 vsize=19130076 memory=3200 CPUtime=0 cores=0,2
/proc/89479/task/89497/stat : 89497 (Common-Cleaner) S 89476 89479 88483 0 -1 4194368 1376 0 0 0 0 0 0 0 20 0 21 0 78977865 19589197824 1572202 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89498] ppid=89476 vsize=19130076 memory=6288680 CPUtime=0 cores=0,2
/proc/89479/task/89498/stat : 89498 (Timer-0) S 89476 89479 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 78977916 19589197824 1572202 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
Current children cumulated CPU time: 3251.17 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6288808 KiB
[startup+2862.3 s]
/proc/loadavg: 4.42 4.56 4.61 5/330 90576
/proc/meminfo: memFree=103160324/131382120 swapFree=33010416/33010684
[pid=89479] ppid=89476 vsize=19130076 memory=6397316 CPUtime=3324.98 cores=0,2
/proc/89479/stat : 89479 (java) S 89476 89479 88483 0 -1 4194304 222062 0 0 0 331885 613 0 0 20 0 21 0 78977858 19589197824 1599329 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
/proc/89479/statm: 4782519 1599329 5550 1 0 1617988 0
[pid=89479/tid=89481] ppid=89476 vsize=19130076 memory=6288680 CPUtime=2802.27 cores=0,2
/proc/89479/task/89481/stat : 89481 (java) R 89476 89479 88483 0 -1 4194368 108903 0 0 0 280103 124 0 0 20 0 21 0 78977860 19589197824 1599329 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89490] ppid=89476 vsize=19130076 memory=6288808 CPUtime=0 cores=0,2
/proc/89479/task/89490/stat : 89490 (Finalizer) S 89476 89479 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78977864 19589197824 1599329 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89497] ppid=89476 vsize=19130076 memory=6355540 CPUtime=0 cores=0,2
/proc/89479/task/89497/stat : 89497 (Common-Cleaner) S 89476 89479 88483 0 -1 4194368 1377 0 0 0 0 0 0 0 20 0 21 0 78977865 19589197824 1599329 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89498] ppid=89476 vsize=19130076 memory=6397316 CPUtime=0 cores=0,2
/proc/89479/task/89498/stat : 89498 (Timer-0) S 89476 89479 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 78977916 19589197824 1599329 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
Current children cumulated CPU time: 3324.98 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6397316 KiB
[startup+2922.3 s]
/proc/loadavg: 4.36 4.52 4.59 5/330 90578
/proc/meminfo: memFree=102987892/131382120 swapFree=33010416/33010684
[pid=89479] ppid=89476 vsize=19130076 memory=6439044 CPUtime=3398.55 cores=0,2
/proc/89479/stat : 89479 (java) S 89476 89479 88483 0 -1 4194304 227430 0 0 0 339228 627 0 0 20 0 21 0 78977858 19589197824 1609761 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
/proc/89479/statm: 4782519 1609761 5550 1 0 1628428 0
[pid=89479/tid=89481] ppid=89476 vsize=19130076 memory=6288808 CPUtime=2861.41 cores=0,2
/proc/89479/task/89481/stat : 89481 (java) R 89476 89479 88483 0 -1 4194368 112333 0 0 0 286016 125 0 0 20 0 21 0 78977860 19589197824 1609761 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89490] ppid=89476 vsize=19130076 memory=6397316 CPUtime=0 cores=0,2
/proc/89479/task/89490/stat : 89490 (Finalizer) S 89476 89479 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78977864 19589197824 1609761 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89497] ppid=89476 vsize=19130076 memory=6438660 CPUtime=0 cores=0,2
/proc/89479/task/89497/stat : 89497 (Common-Cleaner) S 89476 89479 88483 0 -1 4194368 1425 0 0 0 0 0 0 0 20 0 21 0 78977865 19589197824 1609761 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89498] ppid=89476 vsize=19130076 memory=18560 CPUtime=0 cores=0,2
/proc/89479/task/89498/stat : 89498 (Timer-0) S 89476 89479 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 78977916 19589197824 1609761 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
Current children cumulated CPU time: 3398.55 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6439044 KiB
[startup+2982.3 s]
/proc/loadavg: 5.00 4.69 4.64 5/330 90580
/proc/meminfo: memFree=102676420/131382120 swapFree=33010416/33010684
[pid=89479] ppid=89476 vsize=19130076 memory=6497328 CPUtime=3472.14 cores=0,2
/proc/89479/stat : 89479 (java) S 89476 89479 88483 0 -1 4194304 231632 0 0 0 346574 640 0 0 20 0 21 0 78977858 19589197824 1624332 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
/proc/89479/statm: 4782519 1624332 5550 1 0 1643050 0
[pid=89479/tid=89481] ppid=89476 vsize=19130076 memory=6455720 CPUtime=2920.3 cores=0,2
/proc/89479/task/89481/stat : 89481 (java) R 89476 89479 88483 0 -1 4194368 114484 0 0 0 291904 126 0 0 20 0 21 0 78977860 19589197824 1624332 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89490] ppid=89476 vsize=19130076 memory=3200 CPUtime=0 cores=0,2
/proc/89479/task/89490/stat : 89490 (Finalizer) S 89476 89479 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78977864 19589197824 1624332 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89497] ppid=89476 vsize=19130076 memory=6497328 CPUtime=0 cores=0,2
/proc/89479/task/89497/stat : 89497 (Common-Cleaner) S 89476 89479 88483 0 -1 4194368 1462 0 0 0 0 0 0 0 20 0 21 0 78977865 19589197824 1624332 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89498] ppid=89476 vsize=19130076 memory=0 CPUtime=0 cores=0,2
/proc/89479/task/89498/stat : 89498 (Timer-0) S 89476 89479 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 78977916 19589197824 1624332 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
Current children cumulated CPU time: 3472.14 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6497328 KiB
[startup+3042.3 s]
/proc/loadavg: 4.86 4.71 4.65 6/330 90582
/proc/meminfo: memFree=102529464/131382120 swapFree=33010416/33010684
[pid=89479] ppid=89476 vsize=19130076 memory=6539060 CPUtime=3545.87 cores=0,2
/proc/89479/stat : 89479 (java) S 89476 89479 88483 0 -1 4194304 234761 0 0 0 353931 656 0 0 20 0 21 0 78977858 19589197824 1634765 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
/proc/89479/statm: 4782519 1634765 5550 1 0 1653494 0
[pid=89479/tid=89481] ppid=89476 vsize=19130076 memory=3200 CPUtime=2979.21 cores=0,2
/proc/89479/task/89481/stat : 89481 (java) R 89476 89479 88483 0 -1 4194368 117324 0 0 0 297793 128 0 0 20 0 21 0 78977860 19589197824 1634765 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89490] ppid=89476 vsize=19130076 memory=14304 CPUtime=0 cores=0,2
/proc/89479/task/89490/stat : 89490 (Finalizer) S 89476 89479 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78977864 19589197824 1634765 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89497] ppid=89476 vsize=19130076 memory=18560 CPUtime=0 cores=0,2
/proc/89479/task/89497/stat : 89497 (Common-Cleaner) S 89476 89479 88483 0 -1 4194368 1463 0 0 0 0 0 0 0 20 0 21 0 78977865 19589197824 1634765 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89498] ppid=89476 vsize=19130076 memory=5760 CPUtime=0 cores=0,2
/proc/89479/task/89498/stat : 89498 (Timer-0) S 89476 89479 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 78977916 19589197824 1634765 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
Current children cumulated CPU time: 3545.87 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6539060 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3088.6 s]
/proc/loadavg: 4.66 4.67 4.64 6/329 90584
/proc/meminfo: memFree=102287936/131382120 swapFree=33010416/33010684
[pid=89479] ppid=89476 vsize=19130076 memory=6564152 CPUtime=3600.05 cores=0,2
/proc/89479/stat : 89479 (java) S 89476 89479 88483 0 -1 4194304 238730 0 0 0 359342 663 0 0 20 0 21 0 78977858 19589197824 1641038 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
/proc/89479/statm: 4782519 1641038 5550 1 0 1659762 0
[pid=89479/tid=89481] ppid=89476 vsize=19130076 memory=5440 CPUtime=3024.63 cores=0,2
/proc/89479/task/89481/stat : 89481 (java) R 89476 89479 88483 0 -1 4194368 120359 0 0 0 302334 129 0 0 20 0 21 0 78977860 19589197824 1641038 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89490] ppid=89476 vsize=19130076 memory=5248 CPUtime=0 cores=0,2
/proc/89479/task/89490/stat : 89490 (Finalizer) S 89476 89479 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78977864 19589197824 1641038 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89497] ppid=89476 vsize=19130076 memory=6632 CPUtime=0 cores=0,2
/proc/89479/task/89497/stat : 89497 (Common-Cleaner) S 89476 89479 88483 0 -1 4194368 1463 0 0 0 0 0 0 0 20 0 21 0 78977865 19589197824 1641038 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89498] ppid=89476 vsize=19130076 memory=6984 CPUtime=0 cores=0,2
/proc/89479/task/89498/stat : 89498 (Timer-0) S 89476 89479 88483 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 78977916 19589197824 1641038 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6564152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3088.78 s]
# the end of solver process 89479 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3593.72 s, system=6.66298 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3088.7 s]
/proc/loadavg: 4.66 4.67 4.64 6/329 90584
/proc/meminfo: memFree=102287936/131382120 swapFree=33010416/33010684
[pid=89479] ppid=89476 vsize=19329768 memory=6564664 CPUtime=3600.25 cores=0,2
/proc/89479/stat : 89479 (java) S 89476 89479 88483 0 -1 4194304 240093 0 0 0 359362 663 0 0 20 0 22 0 78977858 19793682432 1641166 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
/proc/89479/statm: 4832442 1641166 5550 1 0 1660665 0
[pid=89479/tid=89481] ppid=89476 vsize=19329768 memory=14304 CPUtime=3024.7 cores=0,2
/proc/89479/task/89481/stat : 89481 (java) R 89476 89479 88483 0 -1 4194368 120383 0 0 0 302341 129 0 0 20 0 22 0 78977860 19793682432 1641166 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89490] ppid=89476 vsize=19329768 memory=18560 CPUtime=0 cores=0,2
/proc/89479/task/89490/stat : 89490 (Finalizer) S 89476 89479 88483 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 78977864 19793682432 1641166 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
[pid=89479/tid=89497] ppid=89476 vsize=19329768 memory=6564152 CPUtime=0 cores=0,2
/proc/89479/task/89497/stat : 89497 (Common-Cleaner) S 89476 89479 88483 0 -1 4194368 1463 0 0 0 0 0 0 0 20 0 22 0 78977865 19793682432 1641166 18446744073709551615 94455112941568 94455112945264 140730559548640 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94455112953080 94455112953872 94455127654400 140730559555964 140730559556068 140730559556068 140730559561672 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 6564664 KiB
Child status: 143
Real time (s): 3088.78
CPU time (s): 3600.39
CPU user time (s): 3593.72
CPU system time (s): 6.66298
CPU usage (%): 116.563
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 6564664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.72
system time used= 6.66298
maximum resident set size= 6564920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240361
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115165
involuntary context switches= 35511
# summary of solver processes directly reported to runsolver:
# pid: 89479
# total CPU time (s): 3600.39
# total CPU user time (s): 3593.72
# total CPU system time (s): 6.66298
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7011 second user time and 30.1534 second system time
The end