runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (47875 MiB free)
memory of node 1: 64507 MiB (60638 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505822-1751485855/watcher-4505822-1751485855 -o /tmp/evaluation-result-4505822-1751485855/solver-4505822-1751485855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751476316-66853 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4505822-1751485855.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=68125, runsolver pid=68122
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 5.05 5.01 4.91 5/326 68143
/proc/meminfo: memFree=111098840/131382120 swapFree=33010416/33010684
[pid=68125] ppid=68122 vsize=18930384 memory=47152 CPUtime=0.09 cores=1,3
/proc/68125/stat : 68125 (java) S 68122 68125 66841 0 -1 4194304 5674 0 0 0 6 3 0 0 20 0 18 0 64264883 19384713216 11788 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
/proc/68125/statm: 4732596 11788 5085 1 0 546892 0
[pid=68125/tid=68127] ppid=68122 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/68125/task/68127/stat : 68127 (java) R 68122 68125 66841 0 -1 4194368 4583 0 0 0 4 2 0 0 20 0 18 0 64264885 19384713216 11788 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68136] ppid=68122 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/68125/task/68136/stat : 68136 (Finalizer) S 68122 68125 66841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 64264890 19384713216 11788 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68143] ppid=68122 vsize=18930384 memory=58494082626307 CPUtime=0 cores=1,3
/proc/68125/task/68143/stat : 68143 (Common-Cleaner) S 68122 68125 66841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 64264891 19384713216 11788 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47152 KiB
[startup+0.209713 s]*
/proc/loadavg: 5.05 5.01 4.91 5/326 68143
/proc/meminfo: memFree=111095816/131382120 swapFree=33010416/33010684
[pid=68125] ppid=68122 vsize=18930384 memory=55492 CPUtime=0.26 cores=1,3
/proc/68125/stat : 68125 (java) S 68122 68125 66841 0 -1 4194304 6529 0 0 0 22 4 0 0 20 0 18 0 64264883 19384713216 13873 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
/proc/68125/statm: 4732596 13873 5341 1 0 547611 0
[pid=68125/tid=68127] ppid=68122 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=1,3
/proc/68125/task/68127/stat : 68127 (java) R 68122 68125 66841 0 -1 4194368 5049 0 0 0 13 3 0 0 20 0 18 0 64264885 19384713216 13873 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68136] ppid=68122 vsize=18930384 memory=12896 CPUtime=0 cores=1,3
/proc/68125/task/68136/stat : 68136 (Finalizer) S 68122 68125 66841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 64264890 19384713216 13873 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68143] ppid=68122 vsize=18930384 memory=57394570986489 CPUtime=0 cores=1,3
/proc/68125/task/68143/stat : 68143 (Common-Cleaner) S 68122 68125 66841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 64264891 19384713216 13873 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55492 KiB
[startup+0.309731 s]*
/proc/loadavg: 5.05 5.01 4.91 7/326 68143
/proc/meminfo: memFree=111077920/131382120 swapFree=33010416/33010684
[pid=68125] ppid=68122 vsize=18930384 memory=73364 CPUtime=0.43 cores=1,3
/proc/68125/stat : 68125 (java) S 68122 68125 66841 0 -1 4194304 6806 0 0 0 38 5 0 0 20 0 18 0 64264883 19384713216 18341 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
/proc/68125/statm: 4732596 18341 5437 1 0 547797 0
[pid=68125/tid=68127] ppid=68122 vsize=18930384 memory=-6000919498526909545 CPUtime=0.23 cores=1,3
/proc/68125/task/68127/stat : 68127 (java) R 68122 68125 66841 0 -1 4194368 5227 0 0 0 20 3 0 0 20 0 18 0 64264885 19384713216 18341 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68136] ppid=68122 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/68125/task/68136/stat : 68136 (Finalizer) S 68122 68125 66841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 64264890 19384713216 18341 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68143] ppid=68122 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/68125/task/68143/stat : 68143 (Common-Cleaner) S 68122 68125 66841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 64264891 19384713216 18341 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 73364 KiB
[startup+0.700249 s]
/proc/loadavg: 5.05 5.01 4.91 6/326 68143
/proc/meminfo: memFree=111051896/131382120 swapFree=33010416/33010684
[pid=68125] ppid=68122 vsize=18996948 memory=154244 CPUtime=1.17 cores=1,3
/proc/68125/stat : 68125 (java) S 68122 68125 66841 0 -1 4194304 9295 0 0 0 109 8 0 0 20 0 19 0 64264883 19452874752 38561 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
/proc/68125/statm: 4749237 38561 5469 1 0 549714 0
[pid=68125/tid=68127] ppid=68122 vsize=18996948 memory=17920 CPUtime=0.59 cores=1,3
/proc/68125/task/68127/stat : 68127 (java) S 68122 68125 66841 0 -1 4194368 5273 0 0 0 54 5 0 0 20 0 19 0 64264885 19452874752 38561 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68136] ppid=68122 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/68125/task/68136/stat : 68136 (Finalizer) S 68122 68125 66841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 64264890 19452874752 39084 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68143] ppid=68122 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/68125/task/68143/stat : 68143 (Common-Cleaner) S 68122 68125 66841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 64264891 19452874752 39084 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 154244 KiB
[startup+1.50025 s]
/proc/loadavg: 5.05 5.01 4.91 6/327 68144
/proc/meminfo: memFree=110967456/131382120 swapFree=33010416/33010684
[pid=68125] ppid=68122 vsize=18996948 memory=469412 CPUtime=2.64 cores=1,3
/proc/68125/stat : 68125 (java) S 68122 68125 66841 0 -1 4194304 10431 0 0 0 248 16 0 0 20 0 19 0 64264883 19452874752 117353 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
/proc/68125/statm: 4749237 117353 5469 1 0 1180728 0
[pid=68125/tid=68127] ppid=68122 vsize=18996948 memory=3200 CPUtime=1.21 cores=1,3
/proc/68125/task/68127/stat : 68127 (java) R 68122 68125 66841 0 -1 4194368 5475 0 0 0 111 10 0 0 20 0 19 0 64264885 19452874752 117353 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68136] ppid=68122 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/68125/task/68136/stat : 68136 (Finalizer) S 68122 68125 66841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 64264890 19452874752 117353 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68143] ppid=68122 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/68125/task/68143/stat : 68143 (Common-Cleaner) S 68122 68125 66841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 64264891 19452874752 117353 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 469412 KiB
[startup+3.10582 s]
/proc/loadavg: 5.05 5.01 4.91 5/327 68144
/proc/meminfo: memFree=107766540/131382120 swapFree=33010416/33010684
[pid=68125] ppid=68122 vsize=18996948 memory=3572520 CPUtime=5.03 cores=1,3
/proc/68125/stat : 68125 (java) S 68122 68125 66841 0 -1 4194304 19761 0 0 0 423 80 0 0 20 0 19 0 64264883 19452874752 893130 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
/proc/68125/statm: 4749237 893130 5501 1 0 2034114 0
[pid=68125/tid=68127] ppid=68122 vsize=18996948 memory=11136 CPUtime=2.51 cores=1,3
/proc/68125/task/68127/stat : 68127 (java) R 68122 68125 66841 0 -1 4194368 6926 0 0 0 182 69 0 0 20 0 19 0 64264885 19452874752 893130 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68136] ppid=68122 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/68125/task/68136/stat : 68136 (Finalizer) S 68122 68125 66841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 64264890 19452874752 893130 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68143] ppid=68122 vsize=18996948 memory=5760 CPUtime=0 cores=1,3
/proc/68125/task/68143/stat : 68143 (Common-Cleaner) S 68122 68125 66841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 64264891 19452874752 893130 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
Current children cumulated CPU time: 5.03 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 3572520 KiB
[startup+6.3003 s]
/proc/loadavg: 4.97 4.99 4.90 6/328 68145
/proc/meminfo: memFree=107263600/131382120 swapFree=33010416/33010684
[pid=68125] ppid=68122 vsize=19063512 memory=3887780 CPUtime=9.38 cores=1,3
/proc/68125/stat : 68125 (java) S 68122 68125 66841 0 -1 4194304 20413 0 0 0 850 88 0 0 20 0 20 0 64264883 19521036288 971945 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
/proc/68125/statm: 4765878 971945 5533 1 0 2034546 0
[pid=68125/tid=68127] ppid=68122 vsize=19063512 memory=5760 CPUtime=5.33 cores=1,3
/proc/68125/task/68127/stat : 68127 (java) R 68122 68125 66841 0 -1 4194368 7128 0 0 0 459 74 0 0 20 0 20 0 64264885 19521036288 971945 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68136] ppid=68122 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/68125/task/68136/stat : 68136 (Finalizer) S 68122 68125 66841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 64264890 19521036288 971945 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68143] ppid=68122 vsize=19063512 memory=-6000919498526909545 CPUtime=0 cores=1,3
/proc/68125/task/68143/stat : 68143 (Common-Cleaner) S 68122 68125 66841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 64264891 19521036288 971945 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68145] ppid=68122 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/68125/task/68145/stat : 68145 (Timer-0) S 68122 68125 66841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 64265453 19521036288 971945 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
Current children cumulated CPU time: 9.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3887780 KiB
[startup+12.7005 s]
/proc/loadavg: 4.89 4.98 4.90 5/328 68145
/proc/meminfo: memFree=107262096/131382120 swapFree=33010416/33010684
[pid=68125] ppid=68122 vsize=19063512 memory=3888292 CPUtime=17.01 cores=1,3
/proc/68125/stat : 68125 (java) S 68122 68125 66841 0 -1 4194304 20535 0 0 0 1613 88 0 0 20 0 20 0 64264883 19521036288 972073 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
/proc/68125/statm: 4765878 972073 5533 1 0 2034546 0
[pid=68125/tid=68127] ppid=68122 vsize=19063512 memory=11136 CPUtime=11.71 cores=1,3
/proc/68125/task/68127/stat : 68127 (java) R 68122 68125 66841 0 -1 4194368 7129 0 0 0 1097 74 0 0 20 0 20 0 64264885 19521036288 972073 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68136] ppid=68122 vsize=19063512 memory=3887780 CPUtime=0 cores=1,3
/proc/68125/task/68136/stat : 68136 (Finalizer) S 68122 68125 66841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 64264890 19521036288 972073 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68143] ppid=68122 vsize=19063512 memory=3888292 CPUtime=0 cores=1,3
/proc/68125/task/68143/stat : 68143 (Common-Cleaner) S 68122 68125 66841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 64264891 19521036288 972073 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68145] ppid=68122 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/68125/task/68145/stat : 68145 (Timer-0) S 68122 68125 66841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 64265453 19521036288 972073 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
Current children cumulated CPU time: 17.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3888292 KiB
[startup+25.5005 s]
/proc/loadavg: 4.90 4.98 4.90 5/328 68145
/proc/meminfo: memFree=107040188/131382120 swapFree=33010416/33010684
[pid=68125] ppid=68122 vsize=19063512 memory=3888420 CPUtime=29.97 cores=1,3
/proc/68125/stat : 68125 (java) S 68122 68125 66841 0 -1 4194304 21565 0 0 0 2907 90 0 0 20 0 20 0 64264883 19521036288 972105 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
/proc/68125/statm: 4765878 972105 5533 1 0 2034546 0
[pid=68125/tid=68127] ppid=68122 vsize=19063512 memory=3888292 CPUtime=24.48 cores=1,3
/proc/68125/task/68127/stat : 68127 (java) R 68122 68125 66841 0 -1 4194368 7508 0 0 0 2374 74 0 0 20 0 20 0 64264885 19521036288 972105 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68136] ppid=68122 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/68125/task/68136/stat : 68136 (Finalizer) S 68122 68125 66841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 64264890 19521036288 972105 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68143] ppid=68122 vsize=19063512 memory=3888420 CPUtime=0 cores=1,3
/proc/68125/task/68143/stat : 68143 (Common-Cleaner) S 68122 68125 66841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 64264891 19521036288 972105 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68145] ppid=68122 vsize=19063512 memory=3888420 CPUtime=0 cores=1,3
/proc/68125/task/68145/stat : 68145 (Timer-0) S 68122 68125 66841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 64265453 19521036288 972105 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
Current children cumulated CPU time: 29.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3888420 KiB
[startup+51.1143 s]
/proc/loadavg: 4.67 4.91 4.88 6/328 68146
/proc/meminfo: memFree=107040024/131382120 swapFree=33010416/33010684
[pid=68125] ppid=68122 vsize=19063512 memory=3888420 CPUtime=55.56 cores=1,3
/proc/68125/stat : 68125 (java) S 68122 68125 66841 0 -1 4194304 22592 0 0 0 5463 93 0 0 20 0 20 0 64264883 19521036288 972105 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
/proc/68125/statm: 4765878 972105 5533 1 0 2034546 0
[pid=68125/tid=68127] ppid=68122 vsize=19063512 memory=5760 CPUtime=50.03 cores=1,3
/proc/68125/task/68127/stat : 68127 (java) R 68122 68125 66841 0 -1 4194368 8108 0 0 0 4929 74 0 0 20 0 20 0 64264885 19521036288 972105 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68136] ppid=68122 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/68125/task/68136/stat : 68136 (Finalizer) S 68122 68125 66841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 64264890 19521036288 972105 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68143] ppid=68122 vsize=19063512 memory=3888420 CPUtime=0 cores=1,3
/proc/68125/task/68143/stat : 68143 (Common-Cleaner) S 68122 68125 66841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 64264891 19521036288 972105 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68145] ppid=68122 vsize=19063512 memory=3888420 CPUtime=0 cores=1,3
/proc/68125/task/68145/stat : 68145 (Timer-0) S 68122 68125 66841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 64265453 19521036288 972105 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
Current children cumulated CPU time: 55.56 s
Current children cumulated vsize: 19063512 KiB
################
# More data... #
################
/proc/68125/task/68136/stat : 68136 (Finalizer) S 68122 68125 66841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 64264890 19521036288 972087 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68143] ppid=68122 vsize=19063512 memory=3888348 CPUtime=0 cores=1,3
/proc/68125/task/68143/stat : 68143 (Common-Cleaner) S 68122 68125 66841 0 -1 4194368 4383 0 0 0 0 0 0 0 20 0 20 0 64264891 19521036288 972087 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68145] ppid=68122 vsize=19063512 memory=3888348 CPUtime=0 cores=1,3
/proc/68125/task/68145/stat : 68145 (Timer-0) S 68122 68125 66841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 64265453 19521036288 972087 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
Current children cumulated CPU time: 3225.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3888348 KiB
[startup+3282.3 s]
/proc/loadavg: 1.09 1.54 2.08 2/253 68418
/proc/meminfo: memFree=118506628/131382120 swapFree=33010416/33010684
[pid=68125] ppid=68122 vsize=19063512 memory=3888348 CPUtime=3285.5 cores=1,3
/proc/68125/stat : 68125 (java) S 68122 68125 66841 0 -1 4194304 67244 0 0 0 328150 400 0 0 20 0 20 0 64264883 19521036288 972087 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
/proc/68125/statm: 4765878 972087 5565 1 0 2036259 0
[pid=68125/tid=68127] ppid=68122 vsize=19063512 memory=3888348 CPUtime=3272.78 cores=1,3
/proc/68125/task/68127/stat : 68127 (java) R 68122 68125 66841 0 -1 4194368 32097 0 0 0 327168 110 0 0 20 0 20 0 64264885 19521036288 972087 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68136] ppid=68122 vsize=19063512 memory=3888348 CPUtime=0 cores=1,3
/proc/68125/task/68136/stat : 68136 (Finalizer) S 68122 68125 66841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 64264890 19521036288 972087 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68143] ppid=68122 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/68125/task/68143/stat : 68143 (Common-Cleaner) S 68122 68125 66841 0 -1 4194368 4499 0 0 0 0 0 0 0 20 0 20 0 64264891 19521036288 972087 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68145] ppid=68122 vsize=19063512 memory=3888348 CPUtime=0 cores=1,3
/proc/68125/task/68145/stat : 68145 (Timer-0) S 68122 68125 66841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 64265453 19521036288 972087 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
Current children cumulated CPU time: 3285.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3888348 KiB
[startup+3342.3 s]
/proc/loadavg: 1.13 1.47 2.02 2/253 68420
/proc/meminfo: memFree=118506708/131382120 swapFree=33010416/33010684
[pid=68125] ppid=68122 vsize=19063512 memory=3888348 CPUtime=3345.42 cores=1,3
/proc/68125/stat : 68125 (java) S 68122 68125 66841 0 -1 4194304 67827 0 0 0 334136 406 0 0 20 0 20 0 64264883 19521036288 972087 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
/proc/68125/statm: 4765878 972087 5565 1 0 2036259 0
[pid=68125/tid=68127] ppid=68122 vsize=19063512 memory=17920 CPUtime=3332.58 cores=1,3
/proc/68125/task/68127/stat : 68127 (java) R 68122 68125 66841 0 -1 4194368 32515 0 0 0 333148 110 0 0 20 0 20 0 64264885 19521036288 972087 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68136] ppid=68122 vsize=19063512 memory=3888348 CPUtime=0 cores=1,3
/proc/68125/task/68136/stat : 68136 (Finalizer) S 68122 68125 66841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 64264890 19521036288 972087 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68143] ppid=68122 vsize=19063512 memory=3888348 CPUtime=0 cores=1,3
/proc/68125/task/68143/stat : 68143 (Common-Cleaner) S 68122 68125 66841 0 -1 4194368 4610 0 0 0 0 0 0 0 20 0 20 0 64264891 19521036288 972087 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68145] ppid=68122 vsize=19063512 memory=2728 CPUtime=0 cores=1,3
/proc/68125/task/68145/stat : 68145 (Timer-0) S 68122 68125 66841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 64265453 19521036288 972087 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
Current children cumulated CPU time: 3345.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3888348 KiB
[startup+3402.3 s]
/proc/loadavg: 1.10 1.39 1.96 2/253 68423
/proc/meminfo: memFree=118506960/131382120 swapFree=33010416/33010684
[pid=68125] ppid=68122 vsize=19063512 memory=3888348 CPUtime=3405.33 cores=1,3
/proc/68125/stat : 68125 (java) S 68122 68125 66841 0 -1 4194304 68785 0 0 0 340121 412 0 0 20 0 20 0 64264883 19521036288 972087 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
/proc/68125/statm: 4765878 972087 5565 1 0 2036259 0
[pid=68125/tid=68127] ppid=68122 vsize=19063512 memory=3888348 CPUtime=3392.4 cores=1,3
/proc/68125/task/68127/stat : 68127 (java) R 68122 68125 66841 0 -1 4194368 33284 0 0 0 339129 111 0 0 20 0 20 0 64264885 19521036288 972087 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68136] ppid=68122 vsize=19063512 memory=3888348 CPUtime=0 cores=1,3
/proc/68125/task/68136/stat : 68136 (Finalizer) S 68122 68125 66841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 64264890 19521036288 972087 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68143] ppid=68122 vsize=19063512 memory=17920 CPUtime=0 cores=1,3
/proc/68125/task/68143/stat : 68143 (Common-Cleaner) S 68122 68125 66841 0 -1 4194368 4689 0 0 0 0 0 0 0 20 0 20 0 64264891 19521036288 972087 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68145] ppid=68122 vsize=19063512 memory=3888348 CPUtime=0 cores=1,3
/proc/68125/task/68145/stat : 68145 (Timer-0) S 68122 68125 66841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 64265453 19521036288 972087 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
Current children cumulated CPU time: 3405.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3888348 KiB
[startup+3462.3 s]
/proc/loadavg: 1.11 1.34 1.90 2/253 68425
/proc/meminfo: memFree=118364672/131382120 swapFree=33010416/33010684
[pid=68125] ppid=68122 vsize=19063512 memory=4028612 CPUtime=3465.41 cores=1,3
/proc/68125/stat : 68125 (java) S 68122 68125 66841 0 -1 4194304 71916 0 0 0 346120 421 0 0 20 0 20 0 64264883 19521036288 1007153 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
/proc/68125/statm: 4765878 1007153 5565 1 0 2537585 0
[pid=68125/tid=68127] ppid=68122 vsize=19063512 memory=3888348 CPUtime=3451.95 cores=1,3
/proc/68125/task/68127/stat : 68127 (java) R 68122 68125 66841 0 -1 4194368 33380 0 0 0 345083 112 0 0 20 0 20 0 64264885 19521036288 1007153 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68136] ppid=68122 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/68125/task/68136/stat : 68136 (Finalizer) S 68122 68125 66841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 64264890 19521036288 1007153 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68143] ppid=68122 vsize=19063512 memory=3888348 CPUtime=0 cores=1,3
/proc/68125/task/68143/stat : 68143 (Common-Cleaner) S 68122 68125 66841 0 -1 4194368 4728 0 0 0 0 0 0 0 20 0 20 0 64264891 19521036288 1007153 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68145] ppid=68122 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/68125/task/68145/stat : 68145 (Timer-0) S 68122 68125 66841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 64265453 19521036288 1007153 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
Current children cumulated CPU time: 3465.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4028612 KiB
[startup+3522.3 s]
/proc/loadavg: 1.10 1.29 1.85 2/253 68427
/proc/meminfo: memFree=118362304/131382120 swapFree=33010416/33010684
[pid=68125] ppid=68122 vsize=19063512 memory=4032708 CPUtime=3525.31 cores=1,3
/proc/68125/stat : 68125 (java) S 68122 68125 66841 0 -1 4194304 72680 0 0 0 352104 427 0 0 20 0 20 0 64264883 19521036288 1008177 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
/proc/68125/statm: 4765878 1008177 5565 1 0 2537585 0
[pid=68125/tid=68127] ppid=68122 vsize=19063512 memory=14304 CPUtime=3511.76 cores=1,3
/proc/68125/task/68127/stat : 68127 (java) R 68122 68125 66841 0 -1 4194368 33808 0 0 0 351064 112 0 0 20 0 20 0 64264885 19521036288 1008177 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68136] ppid=68122 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/68125/task/68136/stat : 68136 (Finalizer) S 68122 68125 66841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 64264890 19521036288 1008177 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68143] ppid=68122 vsize=19063512 memory=14304 CPUtime=0.01 cores=1,3
/proc/68125/task/68143/stat : 68143 (Common-Cleaner) S 68122 68125 66841 0 -1 4194368 4842 0 0 0 0 1 0 0 20 0 20 0 64264891 19521036288 1008177 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68145] ppid=68122 vsize=19063512 memory=1920 CPUtime=0 cores=1,3
/proc/68125/task/68145/stat : 68145 (Timer-0) S 68122 68125 66841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 64265453 19521036288 1008177 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
Current children cumulated CPU time: 3525.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4032708 KiB
[startup+3582.3 s]
/proc/loadavg: 1.08 1.25 1.80 2/254 68435
/proc/meminfo: memFree=118357696/131382120 swapFree=33010416/33010684
[pid=68125] ppid=68122 vsize=19063512 memory=4036804 CPUtime=3585.23 cores=1,3
/proc/68125/stat : 68125 (java) S 68122 68125 66841 0 -1 4194304 72847 0 0 0 358089 434 0 0 20 0 20 0 64264883 19521036288 1009201 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
/proc/68125/statm: 4765878 1009201 5565 1 0 2537585 0
[pid=68125/tid=68127] ppid=68122 vsize=19063512 memory=14304 CPUtime=3571.57 cores=1,3
/proc/68125/task/68127/stat : 68127 (java) R 68122 68125 66841 0 -1 4194368 33910 0 0 0 357044 113 0 0 20 0 20 0 64264885 19521036288 1009201 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68136] ppid=68122 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/68125/task/68136/stat : 68136 (Finalizer) S 68122 68125 66841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 64264890 19521036288 1009201 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68143] ppid=68122 vsize=19063512 memory=4036804 CPUtime=0.01 cores=1,3
/proc/68125/task/68143/stat : 68143 (Common-Cleaner) S 68122 68125 66841 0 -1 4194368 4899 0 0 0 0 1 0 0 20 0 20 0 64264891 19521036288 1009201 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68145] ppid=68122 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=1,3
/proc/68125/task/68145/stat : 68145 (Timer-0) S 68122 68125 66841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 64265453 19521036288 1009201 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
Current children cumulated CPU time: 3585.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4036804 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3597.11 s]
/proc/loadavg: 1.13 1.25 1.79 2/254 68435
/proc/meminfo: memFree=118353852/131382120 swapFree=33010416/33010684
[pid=68125] ppid=68122 vsize=19063512 memory=4038852 CPUtime=3600.02 cores=1,3
/proc/68125/stat : 68125 (java) S 68122 68125 66841 0 -1 4194304 73269 0 0 0 359566 436 0 0 20 0 20 0 64264883 19521036288 1009713 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
/proc/68125/statm: 4765878 1009713 5565 1 0 2537585 0
[pid=68125/tid=68127] ppid=68122 vsize=19063512 memory=14304 CPUtime=3586.34 cores=1,3
/proc/68125/task/68127/stat : 68127 (java) R 68122 68125 66841 0 -1 4194368 34286 0 0 0 358521 113 0 0 20 0 20 0 64264885 19521036288 1009713 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68136] ppid=68122 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/68125/task/68136/stat : 68136 (Finalizer) S 68122 68125 66841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 64264890 19521036288 1009713 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68143] ppid=68122 vsize=19063512 memory=4224 CPUtime=0.01 cores=1,3
/proc/68125/task/68143/stat : 68143 (Common-Cleaner) S 68122 68125 66841 0 -1 4194368 4899 0 0 0 0 1 0 0 20 0 20 0 64264891 19521036288 1009713 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
[pid=68125/tid=68145] ppid=68122 vsize=19063512 memory=4036804 CPUtime=0 cores=1,3
/proc/68125/task/68145/stat : 68145 (Timer-0) S 68122 68125 66841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 64265453 19521036288 1009713 18446744073709551615 93907949600768 93907949604464 140730208994480 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93907949612280 93907949613072 93907980181504 140730208995713 140730208995814 140730208995814 140730209001416 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4038852 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3597.24 s]
# the end of solver process 68125 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.79 s, system=4.39398 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3597.21 s]*
/proc/loadavg: 1.13 1.25 1.79 2/236 68438
/proc/meminfo: memFree=121483196/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3597.24
CPU time (s): 3600.18
CPU user time (s): 3595.79
CPU system time (s): 4.39398
CPU usage (%): 100.082
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 4038852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.79
system time used= 4.39398
maximum resident set size= 4047784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75966
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 169537
involuntary context switches= 2422
# summary of solver processes directly reported to runsolver:
# pid: 68125
# total CPU time (s): 3600.18
# total CPU user time (s): 3595.79
# total CPU system time (s): 4.39398
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4238 second user time and 37.9912 second system time
The end