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: 63665 MiB (60379 MiB free)
memory of node 1: 64507 MiB (48331 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489006-1751340183/watcher-4489006-1751340183 -o /tmp/evaluation-result-4489006-1751340183/solver-4489006-1751340183 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751336994-44737 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4489006-1751340183.opb
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
Starting watchdog thread
solver pid=45995, runsolver pid=45992
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.43 4.43 4.36 7/338 46013
/proc/meminfo: memFree=111304696/131250000 swapFree=33010416/33010684
[pid=45995] ppid=45992 vsize=18930384 memory=59440 CPUtime=0.12 cores=0,2
/proc/45995/stat : 45995 (java) S 45992 45995 44727 0 -1 4194304 6487 0 0 0 10 2 0 0 20 0 18 0 49698217 19384713216 14860 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
/proc/45995/statm: 4732596 14860 5336 1 0 547619 0
[pid=45995/tid=45997] ppid=45992 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/45995/task/45997/stat : 45997 (java) R 45992 45995 44727 0 -1 4194368 5070 0 0 0 6 1 0 0 20 0 18 0 49698219 19384713216 14860 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46006] ppid=45992 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/45995/task/46006/stat : 46006 (Finalizer) S 45992 45995 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49698221 19384713216 14860 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46013] ppid=45992 vsize=18930384 memory=61784027586760 CPUtime=0 cores=0,2
/proc/45995/task/46013/stat : 46013 (Common-Cleaner) S 45992 45995 44727 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49698221 19384713216 14860 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59440 KiB
[startup+0.205736 s]*
/proc/loadavg: 4.43 4.43 4.36 7/338 46013
/proc/meminfo: memFree=111296504/131250000 swapFree=33010416/33010684
[pid=45995] ppid=45992 vsize=18930384 memory=65908 CPUtime=0.32 cores=0,2
/proc/45995/stat : 45995 (java) S 45992 45995 44727 0 -1 4194304 6963 0 0 0 30 2 0 0 20 0 18 0 49698217 19384713216 16477 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
/proc/45995/statm: 4732596 16477 5464 1 0 548022 0
[pid=45995/tid=45997] ppid=45992 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=0,2
/proc/45995/task/45997/stat : 45997 (java) R 45992 45995 44727 0 -1 4194368 5400 0 0 0 16 1 0 0 20 0 18 0 49698219 19384713216 16477 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46006] ppid=45992 vsize=18930384 memory=18954 CPUtime=0 cores=0,2
/proc/45995/task/46006/stat : 46006 (Finalizer) S 45992 45995 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49698221 19384713216 16477 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46013] ppid=45992 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/45995/task/46013/stat : 46013 (Common-Cleaner) S 45992 45995 44727 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49698221 19384713216 16477 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65908 KiB
[startup+0.305638 s]*
/proc/loadavg: 4.43 4.43 4.36 6/339 46014
/proc/meminfo: memFree=111290140/131250000 swapFree=33010416/33010684
[pid=45995] ppid=45992 vsize=18996948 memory=73532 CPUtime=0.52 cores=0,2
/proc/45995/stat : 45995 (java) S 45992 45995 44727 0 -1 4194304 7573 0 0 0 49 3 0 0 20 0 19 0 49698217 19452874752 18383 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
/proc/45995/statm: 4749237 18383 5464 1 0 548600 0
[pid=45995/tid=45997] ppid=45992 vsize=18996948 memory=-6000919498408945515 CPUtime=0.28 cores=0,2
/proc/45995/task/45997/stat : 45997 (java) R 45992 45995 44727 0 -1 4194368 5485 0 0 0 26 2 0 0 20 0 19 0 49698219 19452874752 18383 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46006] ppid=45992 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/45995/task/46006/stat : 46006 (Finalizer) S 45992 45995 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49698221 19452874752 18383 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46013] ppid=45992 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/45995/task/46013/stat : 46013 (Common-Cleaner) S 45992 45995 44727 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49698221 19452874752 18383 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46014] ppid=45992 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/45995/task/46014/stat : 46014 (Timer-0) S 45992 45995 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49698239 19452874752 18383 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 73532 KiB
[startup+0.700252 s]
/proc/loadavg: 4.43 4.43 4.36 6/339 46014
/proc/meminfo: memFree=111239732/131250000 swapFree=33010416/33010684
[pid=45995] ppid=45992 vsize=18996948 memory=149104 CPUtime=1.27 cores=0,2
/proc/45995/stat : 45995 (java) S 45992 45995 44727 0 -1 4194304 11421 0 0 0 122 5 0 0 20 0 19 0 49698217 19452874752 37276 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
/proc/45995/statm: 4749237 37276 5464 1 0 551675 0
[pid=45995/tid=45997] ppid=45992 vsize=18996948 memory=17792 CPUtime=0.65 cores=0,2
/proc/45995/task/45997/stat : 45997 (java) R 45992 45995 44727 0 -1 4194368 5536 0 0 0 62 3 0 0 20 0 19 0 49698219 19452874752 37276 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46006] ppid=45992 vsize=18996948 memory=10880 CPUtime=0 cores=0,2
/proc/45995/task/46006/stat : 46006 (Finalizer) S 45992 45995 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49698221 19452874752 37276 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46013] ppid=45992 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/45995/task/46013/stat : 46013 (Common-Cleaner) S 45992 45995 44727 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49698221 19452874752 37276 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46014] ppid=45992 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/45995/task/46014/stat : 46014 (Timer-0) S 45992 45995 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49698239 19452874752 37276 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 149104 KiB
[startup+1.50024 s]
/proc/loadavg: 4.43 4.43 4.36 7/340 46015
/proc/meminfo: memFree=111178040/131250000 swapFree=33010416/33010684
[pid=45995] ppid=45992 vsize=19063512 memory=189504 CPUtime=2.85 cores=0,2
/proc/45995/stat : 45995 (java) S 45992 45995 44727 0 -1 4194304 18415 0 0 0 277 8 0 0 20 0 20 0 49698217 19521036288 47376 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
/proc/45995/statm: 4765878 47376 5496 1 0 553042 0
[pid=45995/tid=45997] ppid=45992 vsize=19063512 memory=10880 CPUtime=1.39 cores=0,2
/proc/45995/task/45997/stat : 45997 (java) R 45992 45995 44727 0 -1 4194368 6090 0 0 0 136 3 0 0 20 0 20 0 49698219 19521036288 47376 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46006] ppid=45992 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/45995/task/46006/stat : 46006 (Finalizer) S 45992 45995 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 47376 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46013] ppid=45992 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/45995/task/46013/stat : 46013 (Common-Cleaner) S 45992 45995 44727 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 47376 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46014] ppid=45992 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/45995/task/46014/stat : 46014 (Timer-0) S 45992 45995 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49698239 19521036288 47376 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189504 KiB
[startup+3.10547 s]
/proc/loadavg: 4.56 4.46 4.37 5/340 46015
/proc/meminfo: memFree=111007336/131250000 swapFree=33010416/33010684
[pid=45995] ppid=45992 vsize=19063512 memory=379528 CPUtime=5.73 cores=0,2
/proc/45995/stat : 45995 (java) S 45992 45995 44727 0 -1 4194304 26309 0 0 0 560 13 0 0 20 0 20 0 49698217 19521036288 94882 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
/proc/45995/statm: 4765878 94882 5496 1 0 662826 0
[pid=45995/tid=45997] ppid=45992 vsize=19063512 memory=10880 CPUtime=2.87 cores=0,2
/proc/45995/task/45997/stat : 45997 (java) R 45992 45995 44727 0 -1 4194368 6493 0 0 0 282 5 0 0 20 0 20 0 49698219 19521036288 94882 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46006] ppid=45992 vsize=19063512 memory=-6000919498408945515 CPUtime=0 cores=0,2
/proc/45995/task/46006/stat : 46006 (Finalizer) S 45992 45995 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 94882 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46013] ppid=45992 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/45995/task/46013/stat : 46013 (Common-Cleaner) S 45992 45995 44727 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 94882 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46014] ppid=45992 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/45995/task/46014/stat : 46014 (Timer-0) S 45992 45995 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49698239 19521036288 94882 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
Current children cumulated CPU time: 5.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 379528 KiB
[startup+6.30021 s]
/proc/loadavg: 4.56 4.46 4.37 5/340 46015
/proc/meminfo: memFree=110457968/131250000 swapFree=33010416/33010684
[pid=45995] ppid=45992 vsize=19063512 memory=879616 CPUtime=9.18 cores=0,2
/proc/45995/stat : 45995 (java) S 45992 45995 44727 0 -1 4194304 27019 0 0 0 896 22 0 0 20 0 20 0 49698217 19521036288 219904 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
/proc/45995/statm: 4765878 219904 5496 1 0 790252 0
[pid=45995/tid=45997] ppid=45992 vsize=19063512 memory=0 CPUtime=5.98 cores=0,2
/proc/45995/task/45997/stat : 45997 (java) R 45992 45995 44727 0 -1 4194368 6770 0 0 0 585 13 0 0 20 0 20 0 49698219 19521036288 219904 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46006] ppid=45992 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/45995/task/46006/stat : 46006 (Finalizer) S 45992 45995 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 219904 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46013] ppid=45992 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/45995/task/46013/stat : 46013 (Common-Cleaner) S 45992 45995 44727 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 219904 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46014] ppid=45992 vsize=19063512 memory=189504 CPUtime=0 cores=0,2
/proc/45995/task/46014/stat : 46014 (Timer-0) S 45992 45995 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49698239 19521036288 219904 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
Current children cumulated CPU time: 9.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 879616 KiB
[startup+12.7002 s]
/proc/loadavg: 4.51 4.45 4.37 6/340 46015
/proc/meminfo: memFree=109303716/131250000 swapFree=33010416/33010684
[pid=45995] ppid=45992 vsize=19063512 memory=2059728 CPUtime=16.33 cores=0,2
/proc/45995/stat : 45995 (java) S 45992 45995 44727 0 -1 4194304 30258 0 0 0 1588 45 0 0 20 0 20 0 49698217 19521036288 514932 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
/proc/45995/statm: 4765878 514932 5496 1 0 790261 0
[pid=45995/tid=45997] ppid=45992 vsize=19063512 memory=189504 CPUtime=12.21 cores=0,2
/proc/45995/task/45997/stat : 45997 (java) R 45992 45995 44727 0 -1 4194368 8681 0 0 0 1189 32 0 0 20 0 20 0 49698219 19521036288 514932 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46006] ppid=45992 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/45995/task/46006/stat : 46006 (Finalizer) S 45992 45995 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 514932 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46013] ppid=45992 vsize=19063512 memory=1975552 CPUtime=0 cores=0,2
/proc/45995/task/46013/stat : 46013 (Common-Cleaner) S 45992 45995 44727 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 514932 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46014] ppid=45992 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/45995/task/46014/stat : 46014 (Timer-0) S 45992 45995 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49698239 19521036288 514932 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
Current children cumulated CPU time: 16.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2059728 KiB
[startup+25.5003 s]
/proc/loadavg: 4.40 4.43 4.36 5/340 46015
/proc/meminfo: memFree=109275808/131250000 swapFree=33010416/33010684
[pid=45995] ppid=45992 vsize=19063512 memory=2059728 CPUtime=29.33 cores=0,2
/proc/45995/stat : 45995 (java) S 45992 45995 44727 0 -1 4194304 33653 0 0 0 2888 45 0 0 20 0 20 0 49698217 19521036288 514932 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
/proc/45995/statm: 4765878 514932 5496 1 0 790261 0
[pid=45995/tid=45997] ppid=45992 vsize=19063512 memory=10880 CPUtime=24.76 cores=0,2
/proc/45995/task/45997/stat : 45997 (java) R 45992 45995 44727 0 -1 4194368 10130 0 0 0 2444 32 0 0 20 0 20 0 49698219 19521036288 514932 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46006] ppid=45992 vsize=19063512 memory=1975552 CPUtime=0 cores=0,2
/proc/45995/task/46006/stat : 46006 (Finalizer) S 45992 45995 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 514932 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46013] ppid=45992 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/45995/task/46013/stat : 46013 (Common-Cleaner) S 45992 45995 44727 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 514932 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46014] ppid=45992 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/45995/task/46014/stat : 46014 (Timer-0) S 45992 45995 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49698239 19521036288 514932 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
Current children cumulated CPU time: 29.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2059728 KiB
[startup+51.1056 s]
/proc/loadavg: 4.34 4.41 4.36 5/341 46017
/proc/meminfo: memFree=109113992/131250000 swapFree=33010416/33010684
[pid=45995] ppid=45992 vsize=19063512 memory=2216056 CPUtime=55.57 cores=0,2
/proc/45995/stat : 45995 (java) S 45992 45995 44727 0 -1 4194304 40566 0 0 0 5508 49 0 0 20 0 20 0 49698217 19521036288 554014 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
/proc/45995/statm: 4765878 554014 5496 1 0 790365 0
[pid=45995/tid=45997] ppid=45992 vsize=19063512 memory=14720 CPUtime=49.79 cores=0,2
/proc/45995/task/45997/stat : 45997 (java) R 45992 45995 44727 0 -1 4194368 13296 0 0 0 4946 33 0 0 20 0 20 0 49698219 19521036288 554014 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46006] ppid=45992 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
################
# More data... #
################
[startup+2742.3 s]
/proc/loadavg: 5.74 5.42 5.03 8/338 46350
/proc/meminfo: memFree=109578200/131250000 swapFree=33010416/33010684
[pid=45995] ppid=45992 vsize=19063512 memory=5071932 CPUtime=3175.79 cores=0,2
/proc/45995/stat : 45995 (java) S 45992 45995 44727 0 -1 4194304 202338 0 0 0 317046 533 0 0 20 0 20 0 49698217 19521036288 1267983 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
/proc/45995/statm: 4765878 1267983 5496 1 0 1283069 0
[pid=45995/tid=45997] ppid=45992 vsize=19063512 memory=5030300 CPUtime=2697.99 cores=0,2
/proc/45995/task/45997/stat : 45997 (java) R 45992 45995 44727 0 -1 4194368 90105 0 0 0 269712 87 0 0 20 0 20 0 49698219 19521036288 1267983 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46006] ppid=45992 vsize=19063512 memory=5013528 CPUtime=0 cores=0,2
/proc/45995/task/46006/stat : 46006 (Finalizer) S 45992 45995 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 1267983 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46013] ppid=45992 vsize=19063512 memory=5055260 CPUtime=0 cores=0,2
/proc/45995/task/46013/stat : 46013 (Common-Cleaner) S 45992 45995 44727 0 -1 4194368 1211 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 1267983 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46014] ppid=45992 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/45995/task/46014/stat : 46014 (Timer-0) S 45992 45995 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49698239 19521036288 1267983 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
Current children cumulated CPU time: 3175.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5071932 KiB
[startup+2802.3 s]
/proc/loadavg: 5.61 5.43 5.06 7/338 46352
/proc/meminfo: memFree=109391824/131250000 swapFree=33010416/33010684
[pid=45995] ppid=45992 vsize=19063512 memory=5138736 CPUtime=3250.06 cores=0,2
/proc/45995/stat : 45995 (java) S 45992 45995 44727 0 -1 4194304 204803 0 0 0 324456 550 0 0 20 0 20 0 49698217 19521036288 1284684 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
/proc/45995/statm: 4765878 1284684 5496 1 0 1299835 0
[pid=45995/tid=45997] ppid=45992 vsize=19063512 memory=5113888 CPUtime=2757.21 cores=0,2
/proc/45995/task/45997/stat : 45997 (java) R 45992 45995 44727 0 -1 4194368 92201 0 0 0 275632 89 0 0 20 0 20 0 49698219 19521036288 1284684 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46006] ppid=45992 vsize=19063512 memory=5113888 CPUtime=0 cores=0,2
/proc/45995/task/46006/stat : 46006 (Finalizer) S 45992 45995 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 1284684 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46013] ppid=45992 vsize=19063512 memory=5130528 CPUtime=0 cores=0,2
/proc/45995/task/46013/stat : 46013 (Common-Cleaner) S 45992 45995 44727 0 -1 4194368 1211 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 1284684 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46014] ppid=45992 vsize=19063512 memory=5130528 CPUtime=0 cores=0,2
/proc/45995/task/46014/stat : 46014 (Timer-0) S 45992 45995 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49698239 19521036288 1284684 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
Current children cumulated CPU time: 3250.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5138736 KiB
[startup+2862.3 s]
/proc/loadavg: 5.57 5.45 5.09 7/339 46362
/proc/meminfo: memFree=109199328/131250000 swapFree=33010416/33010684
[pid=45995] ppid=45992 vsize=19063512 memory=5214016 CPUtime=3323.41 cores=0,2
/proc/45995/stat : 45995 (java) S 45992 45995 44727 0 -1 4194304 210333 0 0 0 331777 564 0 0 20 0 20 0 49698217 19521036288 1303504 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
/proc/45995/statm: 4765878 1303504 5496 1 0 1318638 0
[pid=45995/tid=45997] ppid=45992 vsize=19063512 memory=5113888 CPUtime=2816.33 cores=0,2
/proc/45995/task/45997/stat : 45997 (java) R 45992 45995 44727 0 -1 4194368 95281 0 0 0 281542 91 0 0 20 0 20 0 49698219 19521036288 1303504 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46006] ppid=45992 vsize=19063512 memory=5155648 CPUtime=0 cores=0,2
/proc/45995/task/46006/stat : 46006 (Finalizer) S 45992 45995 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 1303504 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46013] ppid=45992 vsize=19063512 memory=5180608 CPUtime=0 cores=0,2
/proc/45995/task/46013/stat : 46013 (Common-Cleaner) S 45992 45995 44727 0 -1 4194368 1247 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 1303504 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46014] ppid=45992 vsize=19063512 memory=5180608 CPUtime=0 cores=0,2
/proc/45995/task/46014/stat : 46014 (Timer-0) S 45992 45995 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49698239 19521036288 1303504 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
Current children cumulated CPU time: 3323.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5214016 KiB
[startup+2922.3 s]
/proc/loadavg: 5.67 5.50 5.13 5/339 46364
/proc/meminfo: memFree=109066400/131250000 swapFree=33010416/33010684
[pid=45995] ppid=45992 vsize=19063512 memory=5280716 CPUtime=3396.46 cores=0,2
/proc/45995/stat : 45995 (java) S 45992 45995 44727 0 -1 4194304 214487 0 0 0 339071 575 0 0 20 0 20 0 49698217 19521036288 1320179 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
/proc/45995/statm: 4765878 1320179 5496 1 0 1335347 0
[pid=45995/tid=45997] ppid=45992 vsize=19063512 memory=5138864 CPUtime=2875.53 cores=0,2
/proc/45995/task/45997/stat : 45997 (java) R 45992 45995 44727 0 -1 4194368 97042 0 0 0 287461 92 0 0 20 0 20 0 49698219 19521036288 1320179 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46006] ppid=45992 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/45995/task/46006/stat : 46006 (Finalizer) S 45992 45995 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 1320179 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46013] ppid=45992 vsize=19063512 memory=-6000919498408945515 CPUtime=0 cores=0,2
/proc/45995/task/46013/stat : 46013 (Common-Cleaner) S 45992 45995 44727 0 -1 4194368 1290 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 1320179 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46014] ppid=45992 vsize=19063512 memory=5280716 CPUtime=0 cores=0,2
/proc/45995/task/46014/stat : 46014 (Timer-0) S 45992 45995 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49698239 19521036288 1320179 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
Current children cumulated CPU time: 3396.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5280716 KiB
[startup+2982.3 s]
/proc/loadavg: 5.36 5.44 5.13 5/339 46366
/proc/meminfo: memFree=108754904/131250000 swapFree=33010416/33010684
[pid=45995] ppid=45992 vsize=19063512 memory=5339092 CPUtime=3464.9 cores=0,2
/proc/45995/stat : 45995 (java) S 45992 45995 44727 0 -1 4194304 216367 0 0 0 345905 585 0 0 20 0 20 0 49698217 19521036288 1334773 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
/proc/45995/statm: 4765878 1334773 5496 1 0 1349972 0
[pid=45995/tid=45997] ppid=45992 vsize=19063512 memory=5305812 CPUtime=2935.01 cores=0,2
/proc/45995/task/45997/stat : 45997 (java) R 45992 45995 44727 0 -1 4194368 98612 0 0 0 293407 94 0 0 20 0 20 0 49698219 19521036288 1334773 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46006] ppid=45992 vsize=19063512 memory=5305684 CPUtime=0 cores=0,2
/proc/45995/task/46006/stat : 46006 (Finalizer) S 45992 45995 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 1334773 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46013] ppid=45992 vsize=19063512 memory=5339092 CPUtime=0 cores=0,2
/proc/45995/task/46013/stat : 46013 (Common-Cleaner) S 45992 45995 44727 0 -1 4194368 1292 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 1334773 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46014] ppid=45992 vsize=19063512 memory=5339092 CPUtime=0 cores=0,2
/proc/45995/task/46014/stat : 46014 (Timer-0) S 45992 45995 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49698239 19521036288 1334773 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
Current children cumulated CPU time: 3464.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5339092 KiB
[startup+3042.3 s]
/proc/loadavg: 5.05 5.34 5.12 5/339 46367
/proc/meminfo: memFree=108563848/131250000 swapFree=33010416/33010684
[pid=45995] ppid=45992 vsize=19063512 memory=5472560 CPUtime=3537.88 cores=0,2
/proc/45995/stat : 45995 (java) S 45992 45995 44727 0 -1 4194304 223357 0 0 0 353187 601 0 0 20 0 20 0 49698217 19521036288 1368140 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
/proc/45995/statm: 4765878 1368140 5496 1 0 1383393 0
[pid=45995/tid=45997] ppid=45992 vsize=19063512 memory=5339092 CPUtime=2994.14 cores=0,2
/proc/45995/task/45997/stat : 45997 (java) R 45992 45995 44727 0 -1 4194368 102936 0 0 0 299317 97 0 0 20 0 20 0 49698219 19521036288 1368140 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46006] ppid=45992 vsize=19063512 memory=5339092 CPUtime=0 cores=0,2
/proc/45995/task/46006/stat : 46006 (Finalizer) S 45992 45995 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 1368140 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46013] ppid=45992 vsize=19063512 memory=5380772 CPUtime=0 cores=0,2
/proc/45995/task/46013/stat : 46013 (Common-Cleaner) S 45992 45995 44727 0 -1 4194368 1307 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 1368140 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46014] ppid=45992 vsize=19063512 memory=5472560 CPUtime=0 cores=0,2
/proc/45995/task/46014/stat : 46014 (Timer-0) S 45992 45995 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49698239 19521036288 1368140 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
Current children cumulated CPU time: 3537.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5472560 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3091.3 s]
/proc/loadavg: 5.08 5.30 5.11 7/339 46369
/proc/meminfo: memFree=108480792/131250000 swapFree=33010416/33010684
[pid=45995] ppid=45992 vsize=19063512 memory=5531024 CPUtime=3600.07 cores=0,2
/proc/45995/stat : 45995 (java) S 45992 45995 44727 0 -1 4194304 227135 0 0 0 359394 613 0 0 20 0 20 0 49698217 19521036288 1382756 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
/proc/45995/statm: 4765878 1382756 5496 1 0 1398023 0
[pid=45995/tid=45997] ppid=45992 vsize=19063512 memory=14720 CPUtime=3042.48 cores=0,2
/proc/45995/task/45997/stat : 45997 (java) R 45992 45995 44727 0 -1 4194368 104273 0 0 0 304150 98 0 0 20 0 20 0 49698219 19521036288 1382756 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46006] ppid=45992 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/45995/task/46006/stat : 46006 (Finalizer) S 45992 45995 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 1382756 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46013] ppid=45992 vsize=19063512 memory=5531024 CPUtime=0 cores=0,2
/proc/45995/task/46013/stat : 46013 (Common-Cleaner) S 45992 45995 44727 0 -1 4194368 1307 0 0 0 0 0 0 0 20 0 20 0 49698221 19521036288 1382756 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46014] ppid=45992 vsize=19063512 memory=5531024 CPUtime=0 cores=0,2
/proc/45995/task/46014/stat : 46014 (Timer-0) S 45992 45995 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49698239 19521036288 1382756 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5531024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3091.46 s]
# the end of solver process 45995 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.22 s, system=6.16252 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3091.4 s]
/proc/loadavg: 5.08 5.30 5.11 7/339 46369
/proc/meminfo: memFree=108480792/131250000 swapFree=33010416/33010684
[pid=45995] ppid=45992 vsize=19263204 memory=5531792 CPUtime=3600.28 cores=0,2
/proc/45995/stat : 45995 (java) S 45992 45995 44727 0 -1 4194304 228582 0 0 0 359414 614 0 0 20 0 21 0 49698217 19725520896 1382948 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
/proc/45995/statm: 4815801 1382948 5528 1 0 1398942 0
[pid=45995/tid=45997] ppid=45992 vsize=19263204 memory=17792 CPUtime=3042.52 cores=0,2
/proc/45995/task/45997/stat : 45997 (java) S 45992 45995 44727 0 -1 4194368 104297 0 0 0 304154 98 0 0 20 0 21 0 49698219 19725520896 1382948 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46006] ppid=45992 vsize=19263204 memory=5514256 CPUtime=0 cores=0,2
/proc/45995/task/46006/stat : 46006 (Finalizer) S 45992 45995 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49698221 19725520896 1382948 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
[pid=45995/tid=46013] ppid=45992 vsize=19263204 memory=5760 CPUtime=0 cores=0,2
/proc/45995/task/46013/stat : 46013 (Common-Cleaner) S 45992 45995 44727 0 -1 4194368 1307 0 0 0 0 0 0 0 20 0 21 0 49698221 19725520896 1382948 18446744073709551615 94708694011904 94708694015600 140732533150160 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94708694023416 94708694024208 94708714979328 140732533152126 140732533152230 140732533152230 140732533157832 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 5531792 KiB
Child status: 143
Real time (s): 3091.46
CPU time (s): 3600.39
CPU user time (s): 3594.22
CPU system time (s): 6.16252
CPU usage (%): 116.462
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5531792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.22
system time used= 6.16252
maximum resident set size= 5531920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228854
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125389
involuntary context switches= 36150
# summary of solver processes directly reported to runsolver:
# pid: 45995
# total CPU time (s): 3600.39
# total CPU user time (s): 3594.22
# total CPU system time (s): 6.16252
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46278 second user time and 14.5418 second system time
The end