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 (62856 MiB free)
memory of node 1: 64507 MiB (62495 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490340-1751360763/watcher-4490340-1751360763 -o /tmp/evaluation-result-4490340-1751360763/solver-4490340-1751360763 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751360763-55280 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4490340-1751360763.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=55347, runsolver pid=55329
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 0.64 1.06 1.96 11/334 55406
/proc/meminfo: memFree=128314268/131249996 swapFree=33010684/33010684
[pid=55347] ppid=55329 vsize=18930384 memory=55768 CPUtime=0.1 cores=1,3
/proc/55347/stat : 55347 (java) S 55329 55347 55268 0 -1 4194304 6118 0 99 0 8 2 0 0 20 0 18 0 51754244 19384713216 13942 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
/proc/55347/statm: 4732596 13942 5286 1 0 547310 0
[pid=55347/tid=55373] ppid=55329 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=1,3
/proc/55347/task/55373/stat : 55373 (java) R 55329 55347 55268 0 -1 4194368 4949 0 99 0 5 1 0 0 20 0 18 0 51754246 19384713216 13942 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55392] ppid=55329 vsize=18930384 memory=18949 CPUtime=0 cores=1,3
/proc/55347/task/55392/stat : 55392 (Finalizer) S 55329 55347 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51754248 19384713216 13942 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55405] ppid=55329 vsize=18930384 memory=57385981051877 CPUtime=0 cores=1,3
/proc/55347/task/55405/stat : 55405 (Common-Cleaner) S 55329 55347 55268 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 51754249 19384713216 13942 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55768 KiB
[startup+0.205826 s]*
/proc/loadavg: 0.64 1.06 1.96 12/336 55408
/proc/meminfo: memFree=128293464/131249996 swapFree=33010684/33010684
[pid=55347] ppid=55329 vsize=18930384 memory=65644 CPUtime=0.3 cores=1,3
/proc/55347/stat : 55347 (java) S 55329 55347 55268 0 -1 4194304 6934 0 99 0 27 3 0 0 20 0 18 0 51754244 19384713216 16411 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
/proc/55347/statm: 4732596 16411 5414 1 0 548027 0
[pid=55347/tid=55373] ppid=55329 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=1,3
/proc/55347/task/55373/stat : 55373 (java) R 55329 55347 55268 0 -1 4194368 5370 0 99 0 14 2 0 0 20 0 18 0 51754246 19384713216 16411 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55392] ppid=55329 vsize=18930384 memory=18949 CPUtime=0 cores=1,3
/proc/55347/task/55392/stat : 55392 (Finalizer) S 55329 55347 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51754248 19384713216 16411 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55405] ppid=55329 vsize=18930384 memory=57385981051877 CPUtime=0 cores=1,3
/proc/55347/task/55405/stat : 55405 (Common-Cleaner) S 55329 55347 55268 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 51754249 19384713216 16411 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65644 KiB
[startup+0.305954 s]*
/proc/loadavg: 0.64 1.06 1.96 9/338 55410
/proc/meminfo: memFree=128219120/131249996 swapFree=33010684/33010684
[pid=55347] ppid=55329 vsize=18996948 memory=77524 CPUtime=0.49 cores=1,3
/proc/55347/stat : 55347 (java) S 55329 55347 55268 0 -1 4194304 7604 0 99 0 46 3 0 0 20 0 19 0 51754244 19452874752 19381 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
/proc/55347/statm: 4749237 19381 5414 1 0 548641 0
[pid=55347/tid=55373] ppid=55329 vsize=18996948 memory=-6000919507099936618 CPUtime=0.25 cores=1,3
/proc/55347/task/55373/stat : 55373 (java) R 55329 55347 55268 0 -1 4194368 5456 0 99 0 23 2 0 0 20 0 19 0 51754246 19452874752 19381 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55392] ppid=55329 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/55347/task/55392/stat : 55392 (Finalizer) S 55329 55347 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51754248 19452874752 19381 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55405] ppid=55329 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/55347/task/55405/stat : 55405 (Common-Cleaner) S 55329 55347 55268 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 51754249 19452874752 19381 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55410] ppid=55329 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/55347/task/55410/stat : 55410 (Timer-0) S 55329 55347 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51754266 19452874752 19381 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77524 KiB
[startup+0.700241 s]
/proc/loadavg: 0.64 1.06 1.96 9/339 55411
/proc/meminfo: memFree=127983896/131249996 swapFree=33010684/33010684
[pid=55347] ppid=55329 vsize=19063512 memory=164484 CPUtime=1.25 cores=1,3
/proc/55347/stat : 55347 (java) S 55329 55347 55268 0 -1 4194304 11013 0 99 0 119 6 0 0 20 0 20 0 51754244 19521036288 41121 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
/proc/55347/statm: 4765878 41121 5446 1 0 550543 0
[pid=55347/tid=55373] ppid=55329 vsize=19063512 memory=18304 CPUtime=0.59 cores=1,3
/proc/55347/task/55373/stat : 55373 (java) R 55329 55347 55268 0 -1 4194368 5513 0 99 0 55 4 0 0 20 0 20 0 51754246 19521036288 41121 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55392] ppid=55329 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/55347/task/55392/stat : 55392 (Finalizer) S 55329 55347 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 41121 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55405] ppid=55329 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/55347/task/55405/stat : 55405 (Common-Cleaner) S 55329 55347 55268 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 41121 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55410] ppid=55329 vsize=19063512 memory=4756 CPUtime=0 cores=1,3
/proc/55347/task/55410/stat : 55410 (Timer-0) S 55329 55347 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 41121 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 164484 KiB
[startup+1.5002 s]
/proc/loadavg: 0.64 1.06 1.96 11/342 55414
/proc/meminfo: memFree=127770984/131249996 swapFree=33010684/33010684
[pid=55347] ppid=55329 vsize=19063512 memory=196096 CPUtime=2.83 cores=1,3
/proc/55347/stat : 55347 (java) S 55329 55347 55268 0 -1 4194304 27645 0 99 0 274 9 0 0 20 0 20 0 51754244 19521036288 49024 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
/proc/55347/statm: 4765878 49024 5478 1 0 556791 0
[pid=55347/tid=55373] ppid=55329 vsize=19063512 memory=0 CPUtime=1.33 cores=1,3
/proc/55347/task/55373/stat : 55373 (java) R 55329 55347 55268 0 -1 4194368 5744 0 99 0 129 4 0 0 20 0 20 0 51754246 19521036288 49024 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55392] ppid=55329 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/55347/task/55392/stat : 55392 (Finalizer) S 55329 55347 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 49024 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55405] ppid=55329 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/55347/task/55405/stat : 55405 (Common-Cleaner) S 55329 55347 55268 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 49024 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55410] ppid=55329 vsize=19063512 memory=4756 CPUtime=0 cores=1,3
/proc/55347/task/55410/stat : 55410 (Timer-0) S 55329 55347 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 49024 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 196096 KiB
[startup+3.10566 s]
/proc/loadavg: 1.23 1.17 2.00 7/342 55414
/proc/meminfo: memFree=125222680/131249996 swapFree=33010684/33010684
[pid=55347] ppid=55329 vsize=19063512 memory=682264 CPUtime=5.93 cores=1,3
/proc/55347/stat : 55347 (java) S 55329 55347 55268 0 -1 4194304 32663 0 99 0 572 21 0 0 20 0 20 0 51754244 19521036288 170566 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
/proc/55347/statm: 4765878 170566 5478 1 0 845906 0
[pid=55347/tid=55373] ppid=55329 vsize=19063512 memory=10752 CPUtime=2.84 cores=1,3
/proc/55347/task/55373/stat : 55373 (java) R 55329 55347 55268 0 -1 4194368 6663 0 99 0 270 14 0 0 20 0 20 0 51754246 19521036288 170566 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55392] ppid=55329 vsize=19063512 memory=-6000919468462008170 CPUtime=0 cores=1,3
/proc/55347/task/55392/stat : 55392 (Finalizer) S 55329 55347 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 170566 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55405] ppid=55329 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/55347/task/55405/stat : 55405 (Common-Cleaner) S 55329 55347 55268 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 170566 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55410] ppid=55329 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/55347/task/55410/stat : 55410 (Timer-0) S 55329 55347 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 170566 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
Current children cumulated CPU time: 5.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 682264 KiB
[startup+6.30024 s]
/proc/loadavg: 1.23 1.17 2.00 6/342 55414
/proc/meminfo: memFree=122011072/131249996 swapFree=33010684/33010684
[pid=55347] ppid=55329 vsize=19063512 memory=2029596 CPUtime=9.79 cores=1,3
/proc/55347/stat : 55347 (java) S 55329 55347 55268 0 -1 4194304 33962 0 99 0 930 49 0 0 20 0 20 0 51754244 19521036288 507399 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
/proc/55347/statm: 4765878 507399 5478 1 0 845929 0
[pid=55347/tid=55373] ppid=55329 vsize=19063512 memory=0 CPUtime=6.01 cores=1,3
/proc/55347/task/55373/stat : 55373 (java) R 55329 55347 55268 0 -1 4194368 7719 0 99 0 560 41 0 0 20 0 20 0 51754246 19521036288 507399 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55392] ppid=55329 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/55347/task/55392/stat : 55392 (Finalizer) S 55329 55347 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 507399 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55405] ppid=55329 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/55347/task/55405/stat : 55405 (Common-Cleaner) S 55329 55347 55268 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 507399 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55410] ppid=55329 vsize=19063512 memory=196096 CPUtime=0 cores=1,3
/proc/55347/task/55410/stat : 55410 (Timer-0) S 55329 55347 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 507399 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
Current children cumulated CPU time: 9.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2029596 KiB
[startup+12.7002 s]
/proc/loadavg: 1.66 1.27 2.02 5/342 55414
/proc/meminfo: memFree=121834992/131249996 swapFree=33010684/33010684
[pid=55347] ppid=55329 vsize=19063512 memory=2056368 CPUtime=16.39 cores=1,3
/proc/55347/stat : 55347 (java) S 55329 55347 55268 0 -1 4194304 34472 0 99 0 1588 51 0 0 20 0 20 0 51754244 19521036288 514092 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
/proc/55347/statm: 4765878 514092 5478 1 0 845929 0
[pid=55347/tid=55373] ppid=55329 vsize=19063512 memory=196096 CPUtime=12.3 cores=1,3
/proc/55347/task/55373/stat : 55373 (java) R 55329 55347 55268 0 -1 4194368 8191 0 99 0 1189 41 0 0 20 0 20 0 51754246 19521036288 514092 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55392] ppid=55329 vsize=19063512 memory=2054320 CPUtime=0 cores=1,3
/proc/55347/task/55392/stat : 55392 (Finalizer) S 55329 55347 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 514092 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55405] ppid=55329 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/55347/task/55405/stat : 55405 (Common-Cleaner) S 55329 55347 55268 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 514092 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55410] ppid=55329 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/55347/task/55410/stat : 55410 (Timer-0) S 55329 55347 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 514092 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
Current children cumulated CPU time: 16.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2056368 KiB
[startup+25.5002 s]
/proc/loadavg: 2.02 1.36 2.04 5/342 55414
/proc/meminfo: memFree=121741740/131249996 swapFree=33010684/33010684
[pid=55347] ppid=55329 vsize=19063512 memory=2080980 CPUtime=29.31 cores=1,3
/proc/55347/stat : 55347 (java) S 55329 55347 55268 0 -1 4194304 37537 0 99 0 2879 52 0 0 20 0 20 0 51754244 19521036288 520245 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
/proc/55347/statm: 4765878 520245 5478 1 0 845930 0
[pid=55347/tid=55373] ppid=55329 vsize=19063512 memory=2054320 CPUtime=24.9 cores=1,3
/proc/55347/task/55373/stat : 55373 (java) R 55329 55347 55268 0 -1 4194368 10276 0 99 0 2448 42 0 0 20 0 20 0 51754246 19521036288 520245 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55392] ppid=55329 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/55347/task/55392/stat : 55392 (Finalizer) S 55329 55347 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 520245 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55405] ppid=55329 vsize=19063512 memory=2056368 CPUtime=0 cores=1,3
/proc/55347/task/55405/stat : 55405 (Common-Cleaner) S 55329 55347 55268 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 520245 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55410] ppid=55329 vsize=19063512 memory=196096 CPUtime=0 cores=1,3
/proc/55347/task/55410/stat : 55410 (Timer-0) S 55329 55347 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 520245 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
Current children cumulated CPU time: 29.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2080980 KiB
[startup+51.106 s]
/proc/loadavg: 2.98 1.64 2.11 5/344 55417
/proc/meminfo: memFree=121480208/131249996 swapFree=33010684/33010684
[pid=55347] ppid=55329 vsize=19063512 memory=2148908 CPUtime=55.2 cores=1,3
/proc/55347/stat : 55347 (java) S 55329 55347 55268 0 -1 4194304 46944 0 99 0 5463 57 0 0 20 0 20 0 51754244 19521036288 537227 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
/proc/55347/statm: 4765878 537227 5478 1 0 845930 0
[pid=55347/tid=55373] ppid=55329 vsize=19063512 memory=196096 CPUtime=50.05 cores=1,3
/proc/55347/task/55373/stat : 55373 (java) R 55329 55347 55268 0 -1 4194368 13347 0 99 0 4963 42 0 0 20 0 20 0 51754246 19521036288 537227 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55392] ppid=55329 vsize=19063512 memory=2144796 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/meminfo: memFree=115730992/131249996 swapFree=33010684/33010684
[pid=55347] ppid=55329 vsize=19063512 memory=3332944 CPUtime=3272.02 cores=1,3
/proc/55347/stat : 55347 (java) S 55329 55347 55268 0 -1 4194304 134376 0 99 0 326854 348 0 0 20 0 20 0 51754244 19521036288 833236 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
/proc/55347/statm: 4765878 833236 5478 1 0 846140 0
[pid=55347/tid=55373] ppid=55329 vsize=19063512 memory=3332944 CPUtime=3137.01 cores=1,3
/proc/55347/task/55373/stat : 55373 (java) R 55329 55347 55268 0 -1 4194368 60645 0 99 0 313648 53 0 0 20 0 20 0 51754246 19521036288 833236 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55392] ppid=55329 vsize=19063512 memory=3332944 CPUtime=0 cores=1,3
/proc/55347/task/55392/stat : 55392 (Finalizer) S 55329 55347 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 833236 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55405] ppid=55329 vsize=19063512 memory=3332944 CPUtime=0 cores=1,3
/proc/55347/task/55405/stat : 55405 (Common-Cleaner) S 55329 55347 55268 0 -1 4194368 899 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 833236 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55410] ppid=55329 vsize=19063512 memory=3332944 CPUtime=0 cores=1,3
/proc/55347/task/55410/stat : 55410 (Timer-0) S 55329 55347 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 833236 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
Current children cumulated CPU time: 3272.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3332944 KiB
[startup+3222.3 s]
/proc/loadavg: 4.62 4.50 4.34 6/343 55606
/proc/meminfo: memFree=115720564/131249996 swapFree=33010684/33010684
[pid=55347] ppid=55329 vsize=19063512 memory=3332944 CPUtime=3339.9 cores=1,3
/proc/55347/stat : 55347 (java) S 55329 55347 55268 0 -1 4194304 135534 0 99 0 333626 364 0 0 20 0 20 0 51754244 19521036288 833236 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
/proc/55347/statm: 4765878 833236 5478 1 0 846140 0
[pid=55347/tid=55373] ppid=55329 vsize=19063512 memory=3332944 CPUtime=3196.46 cores=1,3
/proc/55347/task/55373/stat : 55373 (java) R 55329 55347 55268 0 -1 4194368 61596 0 99 0 319593 53 0 0 20 0 20 0 51754246 19521036288 833236 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55392] ppid=55329 vsize=19063512 memory=16912 CPUtime=0 cores=1,3
/proc/55347/task/55392/stat : 55392 (Finalizer) S 55329 55347 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 833236 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55405] ppid=55329 vsize=19063512 memory=18304 CPUtime=0 cores=1,3
/proc/55347/task/55405/stat : 55405 (Common-Cleaner) S 55329 55347 55268 0 -1 4194368 915 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 833236 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55410] ppid=55329 vsize=19063512 memory=3332944 CPUtime=0 cores=1,3
/proc/55347/task/55410/stat : 55410 (Timer-0) S 55329 55347 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 833236 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
Current children cumulated CPU time: 3339.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3332944 KiB
[startup+3282.3 s]
/proc/loadavg: 4.50 4.51 4.35 6/341 55675
/proc/meminfo: memFree=116172764/131249996 swapFree=33010684/33010684
[pid=55347] ppid=55329 vsize=19063512 memory=5709788 CPUtime=3401.68 cores=1,3
/proc/55347/stat : 55347 (java) S 55329 55347 55268 0 -1 4194304 140862 0 99 0 339752 416 0 0 20 0 20 0 51754244 19521036288 1427447 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
/proc/55347/statm: 4765878 1427447 5478 1 0 1441481 0
[pid=55347/tid=55373] ppid=55329 vsize=19063512 memory=5709788 CPUtime=3256 cores=1,3
/proc/55347/task/55373/stat : 55373 (java) R 55329 55347 55268 0 -1 4194368 64839 0 99 0 325502 98 0 0 20 0 20 0 51754246 19521036288 1427447 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55392] ppid=55329 vsize=19063512 memory=5709788 CPUtime=0 cores=1,3
/proc/55347/task/55392/stat : 55392 (Finalizer) S 55329 55347 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 1427447 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55405] ppid=55329 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/55347/task/55405/stat : 55405 (Common-Cleaner) S 55329 55347 55268 0 -1 4194368 915 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 1427447 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55410] ppid=55329 vsize=19063512 memory=5709788 CPUtime=0 cores=1,3
/proc/55347/task/55410/stat : 55410 (Timer-0) S 55329 55347 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 1427447 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
Current children cumulated CPU time: 3401.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5709788 KiB
[startup+3342.3 s]
/proc/loadavg: 4.29 4.45 4.34 5/341 55688
/proc/meminfo: memFree=116139152/131249996 swapFree=33010684/33010684
[pid=55347] ppid=55329 vsize=19063512 memory=5709788 CPUtime=3461.71 cores=1,3
/proc/55347/stat : 55347 (java) S 55329 55347 55268 0 -1 4194304 143259 0 99 0 345753 418 0 0 20 0 20 0 51754244 19521036288 1427447 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
/proc/55347/statm: 4765878 1427447 5478 1 0 1441481 0
[pid=55347/tid=55373] ppid=55329 vsize=19063512 memory=18304 CPUtime=3315.69 cores=1,3
/proc/55347/task/55373/stat : 55373 (java) R 55329 55347 55268 0 -1 4194368 66948 0 99 0 331470 99 0 0 20 0 20 0 51754246 19521036288 1427447 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55392] ppid=55329 vsize=19063512 memory=3332944 CPUtime=0 cores=1,3
/proc/55347/task/55392/stat : 55392 (Finalizer) S 55329 55347 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 1427447 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55405] ppid=55329 vsize=19063512 memory=5709788 CPUtime=0 cores=1,3
/proc/55347/task/55405/stat : 55405 (Common-Cleaner) S 55329 55347 55268 0 -1 4194368 955 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 1427447 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55410] ppid=55329 vsize=19063512 memory=5709788 CPUtime=0 cores=1,3
/proc/55347/task/55410/stat : 55410 (Timer-0) S 55329 55347 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 1427447 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
Current children cumulated CPU time: 3461.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5709788 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.38 4.32 5/339 55690
/proc/meminfo: memFree=116110656/131249996 swapFree=33010684/33010684
[pid=55347] ppid=55329 vsize=19063512 memory=5709916 CPUtime=3523.15 cores=1,3
/proc/55347/stat : 55347 (java) S 55329 55347 55268 0 -1 4194304 145759 0 99 0 351893 422 0 0 20 0 20 0 51754244 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
/proc/55347/statm: 4765878 1427479 5478 1 0 1441486 0
[pid=55347/tid=55373] ppid=55329 vsize=19063512 memory=5709916 CPUtime=3375.34 cores=1,3
/proc/55347/task/55373/stat : 55373 (java) R 55329 55347 55268 0 -1 4194368 67829 0 99 0 337435 99 0 0 20 0 20 0 51754246 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55392] ppid=55329 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/55347/task/55392/stat : 55392 (Finalizer) S 55329 55347 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55405] ppid=55329 vsize=19063512 memory=18304 CPUtime=0 cores=1,3
/proc/55347/task/55405/stat : 55405 (Common-Cleaner) S 55329 55347 55268 0 -1 4194368 955 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55410] ppid=55329 vsize=19063512 memory=-6000919468462008170 CPUtime=0 cores=1,3
/proc/55347/task/55410/stat : 55410 (Timer-0) S 55329 55347 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
Current children cumulated CPU time: 3523.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5709916 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.35 4.32 5/340 55693
/proc/meminfo: memFree=116093816/131249996 swapFree=33010684/33010684
[pid=55347] ppid=55329 vsize=19063512 memory=5709916 CPUtime=3585.53 cores=1,3
/proc/55347/stat : 55347 (java) S 55329 55347 55268 0 -1 4194304 147371 0 99 0 358125 428 0 0 20 0 20 0 51754244 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
/proc/55347/statm: 4765878 1427479 5478 1 0 1441486 0
[pid=55347/tid=55373] ppid=55329 vsize=19063512 memory=10752 CPUtime=3435 cores=1,3
/proc/55347/task/55373/stat : 55373 (java) R 55329 55347 55268 0 -1 4194368 69202 0 99 0 343401 99 0 0 20 0 20 0 51754246 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55392] ppid=55329 vsize=19063512 memory=5709916 CPUtime=0 cores=1,3
/proc/55347/task/55392/stat : 55392 (Finalizer) S 55329 55347 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55405] ppid=55329 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/55347/task/55405/stat : 55405 (Common-Cleaner) S 55329 55347 55268 0 -1 4194368 956 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55410] ppid=55329 vsize=19063512 memory=16912 CPUtime=0 cores=1,3
/proc/55347/task/55410/stat : 55410 (Timer-0) S 55329 55347 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
Current children cumulated CPU time: 3585.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5709916 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3476.5 s]
/proc/loadavg: 4.18 4.34 4.31 6/340 55694
/proc/meminfo: memFree=116089904/131249996 swapFree=33010684/33010684
[pid=55347] ppid=55329 vsize=19063512 memory=5709916 CPUtime=3600.06 cores=1,3
/proc/55347/stat : 55347 (java) S 55329 55347 55268 0 -1 4194304 147797 0 99 0 359578 428 0 0 20 0 20 0 51754244 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
/proc/55347/statm: 4765878 1427479 5478 1 0 1441486 0
[pid=55347/tid=55373] ppid=55329 vsize=19063512 memory=5709916 CPUtime=3449.11 cores=1,3
/proc/55347/task/55373/stat : 55373 (java) R 55329 55347 55268 0 -1 4194368 69614 0 99 0 344812 99 0 0 20 0 20 0 51754246 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55392] ppid=55329 vsize=19063512 memory=5709916 CPUtime=0 cores=1,3
/proc/55347/task/55392/stat : 55392 (Finalizer) S 55329 55347 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55405] ppid=55329 vsize=19063512 memory=5709916 CPUtime=0 cores=1,3
/proc/55347/task/55405/stat : 55405 (Common-Cleaner) S 55329 55347 55268 0 -1 4194368 956 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55410] ppid=55329 vsize=19063512 memory=-6000919468462008170 CPUtime=0 cores=1,3
/proc/55347/task/55410/stat : 55410 (Timer-0) S 55329 55347 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5709916 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3476.58 s]
# the end of solver process 55347 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.88 s, system=4.30892 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3476.5 s]
/proc/loadavg: 4.18 4.34 4.31 6/340 55694
/proc/meminfo: memFree=116089904/131249996 swapFree=33010684/33010684
[pid=55347] ppid=55329 vsize=19063512 memory=5709916 CPUtime=3600.06 cores=1,3
/proc/55347/stat : 55347 (java) S 55329 55347 55268 0 -1 4194304 147797 0 99 0 359578 428 0 0 20 0 20 0 51754244 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
/proc/55347/statm: 4765878 1427479 5478 1 0 1441486 0
[pid=55347/tid=55373] ppid=55329 vsize=19063512 memory=5709916 CPUtime=3449.11 cores=1,3
/proc/55347/task/55373/stat : 55373 (java) R 55329 55347 55268 0 -1 4194368 69614 0 99 0 344812 99 0 0 20 0 20 0 51754246 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55392] ppid=55329 vsize=19063512 memory=5709916 CPUtime=0 cores=1,3
/proc/55347/task/55392/stat : 55392 (Finalizer) S 55329 55347 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754248 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55405] ppid=55329 vsize=19063512 memory=5709916 CPUtime=0 cores=1,3
/proc/55347/task/55405/stat : 55405 (Common-Cleaner) S 55329 55347 55268 0 -1 4194368 956 0 0 0 0 0 0 0 20 0 20 0 51754249 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
[pid=55347/tid=55410] ppid=55329 vsize=19063512 memory=-6000919468462008170 CPUtime=0 cores=1,3
/proc/55347/task/55410/stat : 55410 (Timer-0) S 55329 55347 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754266 19521036288 1427479 18446744073709551615 94577176813568 94577176817264 140728606244000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94577176825080 94577176825872 94577203249152 140728606251390 140728606251494 140728606251494 140728606257096 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5709916 KiB
Child status: 143
Real time (s): 3476.58
CPU time (s): 3600.19
CPU user time (s): 3595.88
CPU system time (s): 4.30892
CPU usage (%): 103.556
Max. virtual memory (cumulated for all children) (KiB): 19066088
Max. memory (cumulated for all children) (KiB): 5709916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.88
system time used= 4.30892
maximum resident set size= 5710684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149508
page faults= 99
swaps= 0
block input operations= 0
block output operations= 18016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 197988
involuntary context switches= 16299
# summary of solver processes directly reported to runsolver:
# pid: 55347
# total CPU time (s): 3600.19
# total CPU user time (s): 3595.88
# total CPU system time (s): 4.30892
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19755 second user time and 17.2315 second system time
The end