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 (63048 MiB free)
memory of node 1: 64507 MiB (63431 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515316-1751239311/watcher-4515316-1751239311 -o /tmp/evaluation-result-4515316-1751239311/solver-4515316-1751239311 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751239311-38587 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4515316-1751239311.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
Linux 5.14.0-503.14.1.el
solver pid=38632, runsolver pid=38623
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 0.82 1.28 2.12 7/320 38701
/proc/meminfo: memFree=129455540/131249996 swapFree=33010684/33010684
[pid=38632] ppid=38623 vsize=18930384 memory=55108 CPUtime=0.1 cores=0,2
/proc/38632/stat : 38632 (java) S 38623 38632 38577 0 -1 4194304 6457 0 0 0 8 2 0 0 20 0 18 0 39609035 19384713216 13777 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
/proc/38632/statm: 4732596 13777 5320 1 0 547534 0
[pid=38632/tid=38644] ppid=38623 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/38632/task/38644/stat : 38644 (java) R 38623 38632 38577 0 -1 4194368 4990 0 0 0 5 1 0 0 20 0 18 0 39609037 19384713216 13777 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38674] ppid=38623 vsize=18930384 memory=18949 CPUtime=0 cores=0,2
/proc/38632/task/38674/stat : 38674 (Finalizer) S 38623 38632 38577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39609039 19384713216 13777 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38681] ppid=38623 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/38632/task/38681/stat : 38681 (Common-Cleaner) S 38623 38632 38577 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39609039 19384713216 13777 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55108 KiB
[startup+0.205645 s]*
/proc/loadavg: 0.82 1.28 2.12 13/333 38714
/proc/meminfo: memFree=129412028/131249996 swapFree=33010684/33010684
[pid=38632] ppid=38623 vsize=18930384 memory=68288 CPUtime=0.29 cores=0,2
/proc/38632/stat : 38632 (java) S 38623 38632 38577 0 -1 4194304 7069 0 0 0 26 3 0 0 20 0 18 0 39609035 19384713216 17072 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
/proc/38632/statm: 4732596 17072 5416 1 0 547937 0
[pid=38632/tid=38644] ppid=38623 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=0,2
/proc/38632/task/38644/stat : 38644 (java) R 38623 38632 38577 0 -1 4194368 5348 0 0 0 14 2 0 0 20 0 18 0 39609037 19384713216 17072 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38674] ppid=38623 vsize=18930384 memory=18949 CPUtime=0 cores=0,2
/proc/38632/task/38674/stat : 38674 (Finalizer) S 38623 38632 38577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39609039 19384713216 17072 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38681] ppid=38623 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/38632/task/38681/stat : 38681 (Common-Cleaner) S 38623 38632 38577 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39609039 19384713216 17072 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68288 KiB
[startup+0.305491 s]*
/proc/loadavg: 0.82 1.28 2.12 9/334 38715
/proc/meminfo: memFree=129222732/131249996 swapFree=33010684/33010684
[pid=38632] ppid=38623 vsize=18930384 memory=99864 CPUtime=0.48 cores=0,2
/proc/38632/stat : 38632 (java) S 38623 38632 38577 0 -1 4194304 8917 0 0 0 44 4 0 0 20 0 18 0 39609035 19384713216 24966 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
/proc/38632/statm: 4732596 24966 5416 1 0 549184 0
[pid=38632/tid=38644] ppid=38623 vsize=18930384 memory=-6000919498409141356 CPUtime=0.24 cores=0,2
/proc/38632/task/38644/stat : 38644 (java) R 38623 38632 38577 0 -1 4194368 5387 0 0 0 22 2 0 0 20 0 18 0 39609037 19384713216 24966 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38674] ppid=38623 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/38632/task/38674/stat : 38674 (Finalizer) S 38623 38632 38577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39609039 19384713216 24966 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38681] ppid=38623 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/38632/task/38681/stat : 38681 (Common-Cleaner) S 38623 38632 38577 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39609039 19384713216 24966 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 99864 KiB
[startup+0.700199 s]
/proc/loadavg: 0.82 1.28 2.12 9/337 38718
/proc/meminfo: memFree=128886072/131249996 swapFree=33010684/33010684
[pid=38632] ppid=38623 vsize=19063512 memory=189924 CPUtime=1.24 cores=0,2
/proc/38632/stat : 38632 (java) S 38623 38632 38577 0 -1 4194304 12217 0 0 0 117 7 0 0 20 0 20 0 39609035 19521036288 47481 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
/proc/38632/statm: 4765878 47481 5448 1 0 552004 0
[pid=38632/tid=38644] ppid=38623 vsize=19063512 memory=17664 CPUtime=0.58 cores=0,2
/proc/38632/task/38644/stat : 38644 (java) R 38623 38632 38577 0 -1 4194368 5463 0 0 0 54 4 0 0 20 0 20 0 39609037 19521036288 47481 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38674] ppid=38623 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/38632/task/38674/stat : 38674 (Finalizer) S 38623 38632 38577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 47481 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38681] ppid=38623 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/38632/task/38681/stat : 38681 (Common-Cleaner) S 38623 38632 38577 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 47481 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38718] ppid=38623 vsize=19063512 memory=4756 CPUtime=0 cores=0,2
/proc/38632/task/38718/stat : 38718 (Timer-0) S 38623 38632 38577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39609078 19521036288 47481 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189924 KiB
[startup+1.50023 s]
/proc/loadavg: 0.82 1.28 2.12 8/338 38719
/proc/meminfo: memFree=127986808/131249996 swapFree=33010684/33010684
[pid=38632] ppid=38623 vsize=19063512 memory=208552 CPUtime=2.83 cores=0,2
/proc/38632/stat : 38632 (java) S 38623 38632 38577 0 -1 4194304 13061 0 0 0 275 8 0 0 20 0 20 0 39609035 19521036288 52138 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
/proc/38632/statm: 4765878 52138 5448 1 0 552254 0
[pid=38632/tid=38644] ppid=38623 vsize=19063512 memory=10752 CPUtime=1.3 cores=0,2
/proc/38632/task/38644/stat : 38644 (java) R 38623 38632 38577 0 -1 4194368 5482 0 0 0 126 4 0 0 20 0 20 0 39609037 19521036288 52138 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38674] ppid=38623 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/38632/task/38674/stat : 38674 (Finalizer) S 38623 38632 38577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 52138 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38681] ppid=38623 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/38632/task/38681/stat : 38681 (Common-Cleaner) S 38623 38632 38577 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 52138 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38718] ppid=38623 vsize=19063512 memory=4756 CPUtime=0 cores=0,2
/proc/38632/task/38718/stat : 38718 (Timer-0) S 38623 38632 38577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39609078 19521036288 52138 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 208552 KiB
[startup+3.10511 s]
/proc/loadavg: 0.82 1.28 2.12 7/340 38721
/proc/meminfo: memFree=127453792/131249996 swapFree=33010684/33010684
[pid=38632] ppid=38623 vsize=19063512 memory=503112 CPUtime=5.69 cores=0,2
/proc/38632/stat : 38632 (java) S 38623 38632 38577 0 -1 4194304 17425 0 0 0 554 15 0 0 20 0 20 0 39609035 19521036288 125778 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
/proc/38632/statm: 4765878 125778 5448 1 0 683693 0
[pid=38632/tid=38644] ppid=38623 vsize=19063512 memory=10752 CPUtime=2.72 cores=0,2
/proc/38632/task/38644/stat : 38644 (java) R 38623 38632 38577 0 -1 4194368 5598 0 0 0 263 9 0 0 20 0 20 0 39609037 19521036288 125778 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38674] ppid=38623 vsize=19063512 memory=-6000919494231614572 CPUtime=0 cores=0,2
/proc/38632/task/38674/stat : 38674 (Finalizer) S 38623 38632 38577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 125778 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38681] ppid=38623 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/38632/task/38681/stat : 38681 (Common-Cleaner) S 38623 38632 38577 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 125778 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38718] ppid=38623 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/38632/task/38718/stat : 38718 (Timer-0) S 38623 38632 38577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39609078 19521036288 125778 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
Current children cumulated CPU time: 5.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 503112 KiB
[startup+6.30532 s]
/proc/loadavg: 1.23 1.36 2.14 7/341 38722
/proc/meminfo: memFree=126365688/131249996 swapFree=33010684/33010684
[pid=38632] ppid=38623 vsize=19063512 memory=1017672 CPUtime=9 cores=0,2
/proc/38632/stat : 38632 (java) S 38623 38632 38577 0 -1 4194304 18330 0 0 0 873 27 0 0 20 0 20 0 39609035 19521036288 254418 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
/proc/38632/statm: 4765878 254418 5448 1 0 1103581 0
[pid=38632/tid=38644] ppid=38623 vsize=19063512 memory=0 CPUtime=5.8 cores=0,2
/proc/38632/task/38644/stat : 38644 (java) S 38623 38632 38577 0 -1 4194368 5900 0 0 0 562 18 0 0 20 0 20 0 39609037 19521036288 254418 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38674] ppid=38623 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/38632/task/38674/stat : 38674 (Finalizer) S 38623 38632 38577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 254418 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38681] ppid=38623 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/38632/task/38681/stat : 38681 (Common-Cleaner) S 38623 38632 38577 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 254418 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38718] ppid=38623 vsize=19063512 memory=208808 CPUtime=0 cores=0,2
/proc/38632/task/38718/stat : 38718 (Timer-0) S 38623 38632 38577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39609078 19521036288 254418 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
Current children cumulated CPU time: 9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1017672 KiB
[startup+12.7002 s]
/proc/loadavg: 1.45 1.40 2.15 5/341 38722
/proc/meminfo: memFree=124260164/131249996 swapFree=33010684/33010684
[pid=38632] ppid=38623 vsize=19063512 memory=1476724 CPUtime=15.8 cores=0,2
/proc/38632/stat : 38632 (java) S 38623 38632 38577 0 -1 4194304 24271 0 0 0 1544 36 0 0 20 0 20 0 39609035 19521036288 369181 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
/proc/38632/statm: 4765878 369181 5448 1 0 1103583 0
[pid=38632/tid=38644] ppid=38623 vsize=19063512 memory=208808 CPUtime=11.97 cores=0,2
/proc/38632/task/38644/stat : 38644 (java) R 38623 38632 38577 0 -1 4194368 6683 0 0 0 1174 23 0 0 20 0 20 0 39609037 19521036288 369181 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38674] ppid=38623 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/38632/task/38674/stat : 38674 (Finalizer) S 38623 38632 38577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 369181 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38681] ppid=38623 vsize=19063512 memory=1167288 CPUtime=0 cores=0,2
/proc/38632/task/38681/stat : 38681 (Common-Cleaner) S 38623 38632 38577 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 369181 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38718] ppid=38623 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/38632/task/38718/stat : 38718 (Timer-0) S 38623 38632 38577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39609078 19521036288 369181 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
Current children cumulated CPU time: 15.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1476724 KiB
[startup+25.5003 s]
/proc/loadavg: 2.24 1.58 2.20 6/341 38788
/proc/meminfo: memFree=122053000/131249996 swapFree=33010684/33010684
[pid=38632] ppid=38623 vsize=19063512 memory=2069384 CPUtime=29.15 cores=0,2
/proc/38632/stat : 38632 (java) S 38623 38632 38577 0 -1 4194304 33472 0 0 0 2866 49 0 0 20 0 20 0 39609035 19521036288 517346 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
/proc/38632/statm: 4765878 517346 5448 1 0 1103630 0
[pid=38632/tid=38644] ppid=38623 vsize=19063512 memory=1898820 CPUtime=24.41 cores=0,2
/proc/38632/task/38644/stat : 38644 (java) R 38623 38632 38577 0 -1 4194368 9314 0 0 0 2411 30 0 0 20 0 20 0 39609037 19521036288 517346 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38674] ppid=38623 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/38632/task/38674/stat : 38674 (Finalizer) S 38623 38632 38577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 517346 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38681] ppid=38623 vsize=19063512 memory=280668194355136 CPUtime=0 cores=0,2
/proc/38632/task/38681/stat : 38681 (Common-Cleaner) S 38623 38632 38577 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 517346 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38718] ppid=38623 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/38632/task/38718/stat : 38718 (Timer-0) S 38623 38632 38577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39609078 19521036288 517346 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
Current children cumulated CPU time: 29.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2069384 KiB
[startup+51.1054 s]
/proc/loadavg: 2.84 1.78 2.25 5/341 38789
/proc/meminfo: memFree=118301812/131249996 swapFree=33010684/33010684
[pid=38632] ppid=38623 vsize=19063512 memory=3200424 CPUtime=56.11 cores=0,2
/proc/38632/stat : 38632 (java) S 38623 38632 38577 0 -1 4194304 44514 0 0 0 5539 72 0 0 20 0 20 0 39609035 19521036288 800106 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
/proc/38632/statm: 4765878 800106 5480 1 0 1104088 0
[pid=38632/tid=38644] ppid=38623 vsize=19063512 memory=-6000919494231614572 CPUtime=49.26 cores=0,2
/proc/38632/task/38644/stat : 38644 (java) R 38623 38632 38577 0 -1 4194368 12167 0 0 0 4884 42 0 0 20 0 20 0 39609037 19521036288 800106 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38674] ppid=38623 vsize=19063512 memory=2325208 CPUtime=0 cores=0,2
/proc/38632/task/38674/stat : 38674 (Finalizer) S 38623 38632 38577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 800106 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38681] ppid=38623 vsize=19063512 memory=1476724 CPUtime=0 cores=0,2
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.90 4.68 4.49 5/345 38967
/proc/meminfo: memFree=100652728/131249996 swapFree=33010684/33010684
[pid=38632] ppid=38623 vsize=19063512 memory=6133808 CPUtime=3296.7 cores=0,2
/proc/38632/stat : 38632 (java) S 38623 38632 38577 0 -1 4194304 417780 0 0 0 329336 334 0 0 20 0 20 0 39609035 19521036288 1533452 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
/proc/38632/statm: 4765878 1533452 5480 1 0 1546304 0
[pid=38632/tid=38644] ppid=38623 vsize=19063512 memory=6133808 CPUtime=3135.82 cores=0,2
/proc/38632/task/38644/stat : 38644 (java) R 38623 38632 38577 0 -1 4194368 98518 0 0 0 313476 106 0 0 20 0 20 0 39609037 19521036288 1533452 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38674] ppid=38623 vsize=19063512 memory=-6000919494231614572 CPUtime=0 cores=0,2
/proc/38632/task/38674/stat : 38674 (Finalizer) S 38623 38632 38577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 1533452 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38681] ppid=38623 vsize=19063512 memory=6133808 CPUtime=0 cores=0,2
/proc/38632/task/38681/stat : 38681 (Common-Cleaner) S 38623 38632 38577 0 -1 4194368 2161 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 1533452 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38718] ppid=38623 vsize=19063512 memory=6133808 CPUtime=0 cores=0,2
/proc/38632/task/38718/stat : 38718 (Timer-0) S 38623 38632 38577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39609078 19521036288 1533452 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
Current children cumulated CPU time: 3296.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6133808 KiB
[startup+3222.3 s]
/proc/loadavg: 4.49 4.61 4.48 6/346 39036
/proc/meminfo: memFree=106496124/131249996 swapFree=33010684/33010684
[pid=38632] ppid=38623 vsize=19063512 memory=6133808 CPUtime=3356.54 cores=0,2
/proc/38632/stat : 38632 (java) S 38623 38632 38577 0 -1 4194304 419996 0 0 0 335317 337 0 0 20 0 20 0 39609035 19521036288 1533452 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
/proc/38632/statm: 4765878 1533452 5480 1 0 1546304 0
[pid=38632/tid=38644] ppid=38623 vsize=19063512 memory=6133808 CPUtime=3195.65 cores=0,2
/proc/38632/task/38644/stat : 38644 (java) R 38623 38632 38577 0 -1 4194368 100549 0 0 0 319457 108 0 0 20 0 20 0 39609037 19521036288 1533452 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38674] ppid=38623 vsize=19063512 memory=280668195001776 CPUtime=0 cores=0,2
/proc/38632/task/38674/stat : 38674 (Finalizer) S 38623 38632 38577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 1533452 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38681] ppid=38623 vsize=19063512 memory=6133808 CPUtime=0 cores=0,2
/proc/38632/task/38681/stat : 38681 (Common-Cleaner) S 38623 38632 38577 0 -1 4194368 2292 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 1533452 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38718] ppid=38623 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/38632/task/38718/stat : 38718 (Timer-0) S 38623 38632 38577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39609078 19521036288 1533452 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
Current children cumulated CPU time: 3356.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6133808 KiB
[startup+3282.3 s]
/proc/loadavg: 4.36 4.56 4.47 7/345 39038
/proc/meminfo: memFree=105856112/131249996 swapFree=33010684/33010684
[pid=38632] ppid=38623 vsize=19063512 memory=6135856 CPUtime=3416.59 cores=0,2
/proc/38632/stat : 38632 (java) S 38623 38632 38577 0 -1 4194304 424983 0 0 0 341320 339 0 0 20 0 20 0 39609035 19521036288 1533964 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
/proc/38632/statm: 4765878 1533964 5480 1 0 1546304 0
[pid=38632/tid=38644] ppid=38623 vsize=19063512 memory=6135856 CPUtime=3255.28 cores=0,2
/proc/38632/task/38644/stat : 38644 (java) R 38623 38632 38577 0 -1 4194368 103719 0 0 0 325420 108 0 0 20 0 20 0 39609037 19521036288 1533964 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38674] ppid=38623 vsize=19063512 memory=6135856 CPUtime=0 cores=0,2
/proc/38632/task/38674/stat : 38674 (Finalizer) S 38623 38632 38577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 1533964 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38681] ppid=38623 vsize=19063512 memory=6133808 CPUtime=0 cores=0,2
/proc/38632/task/38681/stat : 38681 (Common-Cleaner) S 38623 38632 38577 0 -1 4194368 2293 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 1533964 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38718] ppid=38623 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/38632/task/38718/stat : 38718 (Timer-0) S 38623 38632 38577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39609078 19521036288 1533964 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
Current children cumulated CPU time: 3416.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6135856 KiB
[startup+3342.3 s]
/proc/loadavg: 4.38 4.53 4.46 6/345 39040
/proc/meminfo: memFree=105704860/131249996 swapFree=33010684/33010684
[pid=38632] ppid=38623 vsize=19063512 memory=6135856 CPUtime=3476.44 cores=0,2
/proc/38632/stat : 38632 (java) S 38623 38632 38577 0 -1 4194304 428057 0 0 0 347303 341 0 0 20 0 20 0 39609035 19521036288 1533964 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
/proc/38632/statm: 4765878 1533964 5480 1 0 1546304 0
[pid=38632/tid=38644] ppid=38623 vsize=19063512 memory=0 CPUtime=3315.11 cores=0,2
/proc/38632/task/38644/stat : 38644 (java) R 38623 38632 38577 0 -1 4194368 106620 0 0 0 331402 109 0 0 20 0 20 0 39609037 19521036288 1533964 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38674] ppid=38623 vsize=19063512 memory=6135856 CPUtime=0 cores=0,2
/proc/38632/task/38674/stat : 38674 (Finalizer) S 38623 38632 38577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 1533964 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38681] ppid=38623 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/38632/task/38681/stat : 38681 (Common-Cleaner) S 38623 38632 38577 0 -1 4194368 2422 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 1533964 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38718] ppid=38623 vsize=19063512 memory=280668193949952 CPUtime=0 cores=0,2
/proc/38632/task/38718/stat : 38718 (Timer-0) S 38623 38632 38577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39609078 19521036288 1533964 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
Current children cumulated CPU time: 3476.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6135856 KiB
[startup+3402.3 s]
/proc/loadavg: 4.38 4.51 4.45 5/344 39109
/proc/meminfo: memFree=109073344/131249996 swapFree=33010684/33010684
[pid=38632] ppid=38623 vsize=19063512 memory=6596192 CPUtime=3542.55 cores=0,2
/proc/38632/stat : 38632 (java) S 38623 38632 38577 0 -1 4194304 446747 0 0 0 353899 356 0 0 20 0 20 0 39609035 19521036288 1649048 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
/proc/38632/statm: 4765878 1649048 5480 1 0 1713418 0
[pid=38632/tid=38644] ppid=38623 vsize=19063512 memory=4756 CPUtime=3374.76 cores=0,2
/proc/38632/task/38644/stat : 38644 (java) R 38623 38632 38577 0 -1 4194368 110459 0 0 0 337359 117 0 0 20 0 20 0 39609037 19521036288 1649048 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38674] ppid=38623 vsize=19063512 memory=4380 CPUtime=0 cores=0,2
/proc/38632/task/38674/stat : 38674 (Finalizer) S 38623 38632 38577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 1649048 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38681] ppid=38623 vsize=19063512 memory=6411872 CPUtime=0 cores=0,2
/proc/38632/task/38681/stat : 38681 (Common-Cleaner) S 38623 38632 38577 0 -1 4194368 2452 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 1649048 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38718] ppid=38623 vsize=19063512 memory=6571616 CPUtime=0 cores=0,2
/proc/38632/task/38718/stat : 38718 (Timer-0) S 38623 38632 38577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39609078 19521036288 1649048 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
Current children cumulated CPU time: 3542.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6596192 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3459.9 s]
/proc/loadavg: 4.23 4.45 4.44 5/343 39115
/proc/meminfo: memFree=108578708/131249996 swapFree=33010684/33010684
[pid=38632] ppid=38623 vsize=19063512 memory=6803040 CPUtime=3600.01 cores=0,2
/proc/38632/stat : 38632 (java) S 38623 38632 38577 0 -1 4194304 449315 0 0 0 359639 362 0 0 20 0 20 0 39609035 19521036288 1700760 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
/proc/38632/statm: 4765878 1700760 5480 1 0 1713418 0
[pid=38632/tid=38644] ppid=38623 vsize=19063512 memory=7521983798963302773 CPUtime=3432.18 cores=0,2
/proc/38632/task/38644/stat : 38644 (java) R 38623 38632 38577 0 -1 4194368 112972 0 0 0 343097 121 0 0 20 0 20 0 39609037 19521036288 1700760 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38674] ppid=38623 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/38632/task/38674/stat : 38674 (Finalizer) S 38623 38632 38577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 1700760 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38681] ppid=38623 vsize=19063512 memory=17664 CPUtime=0 cores=0,2
/proc/38632/task/38681/stat : 38681 (Common-Cleaner) S 38623 38632 38577 0 -1 4194368 2453 0 0 0 0 0 0 0 20 0 20 0 39609039 19521036288 1700760 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38718] ppid=38623 vsize=19063512 memory=6803040 CPUtime=0 cores=0,2
/proc/38632/task/38718/stat : 38718 (Timer-0) S 38623 38632 38577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39609078 19521036288 1700760 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6803040 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3460.19 s]
# the end of solver process 38632 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.9 s, system=3.64812 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3460.01 s]*
/proc/loadavg: 4.29 4.46 4.44 6/344 39116
/proc/meminfo: memFree=108578708/131249996 swapFree=33010684/33010684
[pid=38632] ppid=38623 vsize=19130076 memory=6803168 CPUtime=3600.21 cores=0,2
/proc/38632/stat : 38632 (java) S 38623 38632 38577 0 -1 4194304 450755 0 0 0 359659 362 0 0 20 0 21 0 39609035 19589197824 1700792 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
/proc/38632/statm: 4782519 1700792 5480 1 0 1713703 0
[pid=38632/tid=38644] ppid=38623 vsize=19130076 memory=-6000919489836376940 CPUtime=3432.18 cores=0,2
/proc/38632/task/38644/stat : 38644 (java) S 38623 38632 38577 0 -1 4194368 112975 0 0 0 343097 121 0 0 20 0 21 0 39609037 19589197824 1700792 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38674] ppid=38623 vsize=19130076 memory=7583010221921967636 CPUtime=0 cores=0,2
/proc/38632/task/38674/stat : 38674 (Finalizer) S 38623 38632 38577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39609039 19589197824 1700792 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38681] ppid=38623 vsize=19130076 memory=9088 CPUtime=0 cores=0,2
/proc/38632/task/38681/stat : 38681 (Common-Cleaner) S 38623 38632 38577 0 -1 4194368 2453 0 0 0 0 0 0 0 20 0 21 0 39609039 19589197824 1700792 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38718] ppid=38623 vsize=19130076 memory=9344 CPUtime=0 cores=0,2
/proc/38632/task/38718/stat : 38718 (Timer-0) S 38623 38632 38577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39609078 19589197824 1700792 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6803168 KiB
[startup+3460.11 s]
/proc/loadavg: 4.29 4.46 4.44 6/344 39116
/proc/meminfo: memFree=108578708/131249996 swapFree=33010684/33010684
[pid=38632] ppid=38623 vsize=19263204 memory=6803680 CPUtime=3600.4 cores=0,2
/proc/38632/stat : 38632 (java) S 38623 38632 38577 0 -1 4194304 453095 0 0 0 359678 362 0 0 20 0 21 0 39609035 19725520896 1700920 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
/proc/38632/statm: 4815801 1700920 5512 1 0 1714305 0
[pid=38632/tid=38644] ppid=38623 vsize=19263204 memory=7521983798963302773 CPUtime=3432.22 cores=0,2
/proc/38632/task/38644/stat : 38644 (java) R 38623 38632 38577 0 -1 4194368 112975 0 0 0 343101 121 0 0 20 0 21 0 39609037 19725520896 1700920 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38674] ppid=38623 vsize=19263204 memory=14848 CPUtime=0 cores=0,2
/proc/38632/task/38674/stat : 38674 (Finalizer) S 38623 38632 38577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39609039 19725520896 1700920 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
[pid=38632/tid=38681] ppid=38623 vsize=19263204 memory=17664 CPUtime=0 cores=0,2
/proc/38632/task/38681/stat : 38681 (Common-Cleaner) S 38623 38632 38577 0 -1 4194368 2453 0 0 0 0 0 0 0 20 0 21 0 39609039 19725520896 1700920 18446744073709551615 94291616210944 94291616214640 140733184277216 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94291616222456 94291616223248 94291623829504 140733184285054 140733184285158 140733184285158 140733184290760 0
Current children cumulated CPU time: 3600.4 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 6803680 KiB
Child status: 143
Real time (s): 3460.19
CPU time (s): 3600.54
CPU user time (s): 3596.9
CPU system time (s): 3.64812
CPU usage (%): 104.056
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6803680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.9
system time used= 3.64812
maximum resident set size= 6804064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 453974
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113598
involuntary context switches= 18222
# summary of solver processes directly reported to runsolver:
# pid: 38632
# total CPU time (s): 3600.54
# total CPU user time (s): 3596.9
# total CPU system time (s): 3.64812
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.76362 second user time and 14.9878 second system time
The end