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: 63708 MiB (60918 MiB free)
memory of node 1: 64465 MiB (62138 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485005-1751297510/watcher-4485005-1751297510 -o /tmp/evaluation-result-4485005-1751297510/solver-4485005-1751297510 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751290313-40357 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4485005-1751297510 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4485005-1751297510.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 FSIZE limit: 102400000 KiB
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=41273, runsolver pid=41270
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.18 4.14 4.10 5/317 41294
/proc/meminfo: memFree=125978920/131249996 swapFree=33010684/33010684
[pid=41273] ppid=41270 vsize=18930384 memory=55536 CPUtime=0.12 cores=4,6
/proc/41273/stat : 41273 (java) S 41270 41273 40346 0 -1 4194304 6543 0 0 0 10 2 0 0 20 0 18 0 45429448 19384713216 13884 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
/proc/41273/statm: 4732596 13884 5333 1 0 547603 0
[pid=41273/tid=41275] ppid=41270 vsize=18930384 memory=4026531959 CPUtime=0.07 cores=4,6
/proc/41273/task/41275/stat : 41275 (java) R 41270 41273 40346 0 -1 4194368 5051 0 0 0 6 1 0 0 20 0 18 0 45429449 19384713216 13884 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41284] ppid=41270 vsize=18930384 memory=215637821742 CPUtime=0 cores=4,6
/proc/41273/task/41284/stat : 41284 (Finalizer) S 41270 41273 40346 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45429451 19384713216 13884 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41291] ppid=41270 vsize=18930384 memory=33750 CPUtime=0 cores=4,6
/proc/41273/task/41291/stat : 41291 (Common-Cleaner) S 41270 41273 40346 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 45429452 19384713216 13884 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55536 KiB
[startup+0.205765 s]*
/proc/loadavg: 4.18 4.14 4.10 6/316 41307
/proc/meminfo: memFree=125984348/131249996 swapFree=33010684/33010684
[pid=41273] ppid=41270 vsize=18930384 memory=66336 CPUtime=0.31 cores=4,6
/proc/41273/stat : 41273 (java) S 41270 41273 40346 0 -1 4194304 7093 0 0 0 28 3 0 0 20 0 18 0 45429448 19384713216 16584 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
/proc/41273/statm: 4732596 16584 5429 1 0 547955 0
[pid=41273/tid=41275] ppid=41270 vsize=18930384 memory=4026663031 CPUtime=0.17 cores=4,6
/proc/41273/task/41275/stat : 41275 (java) R 41270 41273 40346 0 -1 4194368 5371 0 0 0 15 2 0 0 20 0 18 0 45429449 19384713216 16584 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41284] ppid=41270 vsize=18930384 memory=215637821742 CPUtime=0 cores=4,6
/proc/41273/task/41284/stat : 41284 (Finalizer) S 41270 41273 40346 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45429451 19384713216 16584 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41291] ppid=41270 vsize=18930384 memory=33750 CPUtime=0 cores=4,6
/proc/41273/task/41291/stat : 41291 (Common-Cleaner) S 41270 41273 40346 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 45429452 19384713216 16584 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66336 KiB
[startup+0.305742 s]*
/proc/loadavg: 4.18 4.14 4.10 7/317 41312
/proc/meminfo: memFree=125895464/131249996 swapFree=33010684/33010684
[pid=41273] ppid=41270 vsize=18996948 memory=154336 CPUtime=0.5 cores=4,6
/proc/41273/stat : 41273 (java) S 41270 41273 40346 0 -1 4194304 8551 0 0 0 45 5 0 0 20 0 19 0 45429448 19452874752 38584 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
/proc/41273/statm: 4749237 38584 5461 1 0 549124 0
[pid=41273/tid=41275] ppid=41270 vsize=18996948 memory=-7824251494390519912 CPUtime=0.26 cores=4,6
/proc/41273/task/41275/stat : 41275 (java) R 41270 41273 40346 0 -1 4194368 5422 0 0 0 23 3 0 0 20 0 19 0 45429449 19452874752 38584 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41284] ppid=41270 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/41273/task/41284/stat : 41284 (Finalizer) S 41270 41273 40346 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 45429451 19452874752 38584 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41291] ppid=41270 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/41273/task/41291/stat : 41291 (Common-Cleaner) S 41270 41273 40346 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 45429452 19452874752 38584 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 154336 KiB
[startup+0.700209 s]
/proc/loadavg: 4.18 4.14 4.10 7/338 41340
/proc/meminfo: memFree=125783404/131249996 swapFree=33010684/33010684
[pid=41273] ppid=41270 vsize=19063512 memory=326964 CPUtime=1.24 cores=4,6
/proc/41273/stat : 41273 (java) S 41270 41273 40346 0 -1 4194304 17001 0 0 0 114 10 0 0 20 0 20 0 45429448 19521036288 81741 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
/proc/41273/statm: 4765878 81741 5525 1 0 552940 0
[pid=41273/tid=41275] ppid=41270 vsize=19063512 memory=17536 CPUtime=0.59 cores=4,6
/proc/41273/task/41275/stat : 41275 (java) R 41270 41273 40346 0 -1 4194368 5646 0 0 0 53 6 0 0 20 0 20 0 45429449 19521036288 81741 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41284] ppid=41270 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/41273/task/41284/stat : 41284 (Finalizer) S 41270 41273 40346 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45429451 19521036288 81741 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41291] ppid=41270 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/41273/task/41291/stat : 41291 (Common-Cleaner) S 41270 41273 40346 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 45429452 19521036288 81741 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 326964 KiB
[startup+1.50024 s]
/proc/loadavg: 4.18 4.14 4.10 7/341 41343
/proc/meminfo: memFree=125498648/131249996 swapFree=33010684/33010684
[pid=41273] ppid=41270 vsize=19063512 memory=462068 CPUtime=2.82 cores=4,6
/proc/41273/stat : 41273 (java) S 41270 41273 40346 0 -1 4194304 20524 0 0 0 269 13 0 0 20 0 20 0 45429448 19521036288 115517 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
/proc/41273/statm: 4765878 115517 5525 1 0 555180 0
[pid=41273/tid=41275] ppid=41270 vsize=19063512 memory=3328 CPUtime=1.33 cores=4,6
/proc/41273/task/41275/stat : 41275 (java) R 41270 41273 40346 0 -1 4194368 5758 0 0 0 125 8 0 0 20 0 20 0 45429449 19521036288 115517 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41284] ppid=41270 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/41273/task/41284/stat : 41284 (Finalizer) S 41270 41273 40346 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45429451 19521036288 115517 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41291] ppid=41270 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/41273/task/41291/stat : 41291 (Common-Cleaner) S 41270 41273 40346 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 45429452 19521036288 115517 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41341] ppid=41270 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/41273/task/41341/stat : 41341 (Timer-0) S 41270 41273 40346 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45429510 19521036288 115517 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 462068 KiB
[startup+3.10567 s]
/proc/loadavg: 4.32 4.17 4.11 7/341 41343
/proc/meminfo: memFree=124544628/131249996 swapFree=33010684/33010684
[pid=41273] ppid=41270 vsize=19063512 memory=903804 CPUtime=5.93 cores=4,6
/proc/41273/stat : 41273 (java) S 41270 41273 40346 0 -1 4194304 28114 0 0 0 569 24 0 0 20 0 20 0 45429448 19521036288 225951 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
/proc/41273/statm: 4765878 225951 5557 1 0 764087 0
[pid=41273/tid=41275] ppid=41270 vsize=19063512 memory=10752 CPUtime=2.84 cores=4,6
/proc/41273/task/41275/stat : 41275 (java) R 41270 41273 40346 0 -1 4194368 6377 0 0 0 268 16 0 0 20 0 20 0 45429449 19521036288 225951 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41284] ppid=41270 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/41273/task/41284/stat : 41284 (Finalizer) S 41270 41273 40346 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45429451 19521036288 225951 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41291] ppid=41270 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/41273/task/41291/stat : 41291 (Common-Cleaner) S 41270 41273 40346 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 45429452 19521036288 225951 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41341] ppid=41270 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/41273/task/41341/stat : 41341 (Timer-0) S 41270 41273 40346 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45429510 19521036288 225951 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
Current children cumulated CPU time: 5.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 903804 KiB
[startup+6.30024 s]
/proc/loadavg: 4.32 4.17 4.11 8/341 41410
/proc/meminfo: memFree=124587652/131249996 swapFree=33010684/33010684
[pid=41273] ppid=41270 vsize=19063512 memory=1561712 CPUtime=10.65 cores=4,6
/proc/41273/stat : 41273 (java) S 41270 41273 40346 0 -1 4194304 35523 0 0 0 1026 39 0 0 20 0 20 0 45429448 19521036288 390428 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
/proc/41273/statm: 4765878 390428 5557 1 0 974994 0
[pid=41273/tid=41275] ppid=41270 vsize=19063512 memory=0 CPUtime=5.88 cores=4,6
/proc/41273/task/41275/stat : 41275 (java) R 41270 41273 40346 0 -1 4194368 7542 0 0 0 562 26 0 0 20 0 20 0 45429449 19521036288 390428 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41284] ppid=41270 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/41273/task/41284/stat : 41284 (Finalizer) S 41270 41273 40346 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45429451 19521036288 390428 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41291] ppid=41270 vsize=19063512 memory=1437384 CPUtime=0 cores=4,6
/proc/41273/task/41291/stat : 41291 (Common-Cleaner) S 41270 41273 40346 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 45429452 19521036288 390428 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41341] ppid=41270 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/41273/task/41341/stat : 41341 (Timer-0) S 41270 41273 40346 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45429510 19521036288 390428 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
Current children cumulated CPU time: 10.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1561712 KiB
[startup+12.7002 s]
/proc/loadavg: 4.42 4.20 4.12 6/341 41410
/proc/meminfo: memFree=121750868/131249996 swapFree=33010684/33010684
[pid=41273] ppid=41270 vsize=19063512 memory=2081896 CPUtime=17.44 cores=4,6
/proc/41273/stat : 41273 (java) S 41270 41273 40346 0 -1 4194304 36081 0 0 0 1696 48 0 0 20 0 20 0 45429448 19521036288 520474 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
/proc/41273/statm: 4765878 520474 5557 1 0 975045 0
[pid=41273/tid=41275] ppid=41270 vsize=19063512 memory=2081896 CPUtime=12.19 cores=4,6
/proc/41273/task/41275/stat : 41275 (java) R 41270 41273 40346 0 -1 4194368 7878 0 0 0 1185 34 0 0 20 0 20 0 45429449 19521036288 520474 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41284] ppid=41270 vsize=19063512 memory=-6000919507032894315 CPUtime=0 cores=4,6
/proc/41273/task/41284/stat : 41284 (Finalizer) S 41270 41273 40346 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45429451 19521036288 520474 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41291] ppid=41270 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/41273/task/41291/stat : 41291 (Common-Cleaner) S 41270 41273 40346 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 45429452 19521036288 520474 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41341] ppid=41270 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/41273/task/41341/stat : 41341 (Timer-0) S 41270 41273 40346 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45429510 19521036288 520474 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
Current children cumulated CPU time: 17.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2081896 KiB
[startup+25.5002 s]
/proc/loadavg: 4.36 4.19 4.11 6/341 41411
/proc/meminfo: memFree=120505040/131249996 swapFree=33010684/33010684
[pid=41273] ppid=41270 vsize=19063512 memory=2232492 CPUtime=31.01 cores=4,6
/proc/41273/stat : 41273 (java) S 41270 41273 40346 0 -1 4194304 45582 0 0 0 3048 53 0 0 20 0 20 0 45429448 19521036288 558123 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
/proc/41273/statm: 4765878 558123 5557 1 0 975063 0
[pid=41273/tid=41275] ppid=41270 vsize=19063512 memory=0 CPUtime=24.79 cores=4,6
/proc/41273/task/41275/stat : 41275 (java) R 41270 41273 40346 0 -1 4194368 10104 0 0 0 2444 35 0 0 20 0 20 0 45429449 19521036288 558123 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41284] ppid=41270 vsize=19063512 memory=-6000919507032894315 CPUtime=0 cores=4,6
/proc/41273/task/41284/stat : 41284 (Finalizer) S 41270 41273 40346 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45429451 19521036288 558123 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41291] ppid=41270 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/41273/task/41291/stat : 41291 (Common-Cleaner) S 41270 41273 40346 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 45429452 19521036288 558123 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41341] ppid=41270 vsize=19063512 memory=2078084 CPUtime=0 cores=4,6
/proc/41273/task/41341/stat : 41341 (Timer-0) S 41270 41273 40346 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45429510 19521036288 558123 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
Current children cumulated CPU time: 31.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2232492 KiB
[startup+51.1057 s]
/proc/loadavg: 4.43 4.23 4.13 5/340 41411
/proc/meminfo: memFree=118035716/131249996 swapFree=33010684/33010684
[pid=41273] ppid=41270 vsize=19063512 memory=2619408 CPUtime=57.45 cores=4,6
/proc/41273/stat : 41273 (java) S 41270 41273 40346 0 -1 4194304 54615 0 0 0 5681 64 0 0 20 0 20 0 45429448 19521036288 654852 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
/proc/41273/statm: 4765878 654852 5557 1 0 975181 0
[pid=41273/tid=41275] ppid=41270 vsize=19063512 memory=2619408 CPUtime=49.98 cores=4,6
/proc/41273/task/41275/stat : 41275 (java) R 41270 41273 40346 0 -1 4194368 13973 0 0 0 4958 40 0 0 20 0 20 0 45429449 19521036288 654852 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41284] ppid=41270 vsize=19063512 memory=2619408 CPUtime=0 cores=4,6
/proc/41273/task/41284/stat : 41284 (Finalizer) S 41270 41273 40346 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45429451 19521036288 654852 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41291] ppid=41270 vsize=19063512 memory=2580448 CPUtime=0 cores=4,6
/proc/41273/task/41291/stat : 41291 (Common-Cleaner) S 41270 41273 40346 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 45429452 19521036288 654852 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
################
# More data... #
################
/proc/meminfo: memFree=113754952/131249996 swapFree=33010684/33010684
[pid=41273] ppid=41270 vsize=19063512 memory=3850016 CPUtime=3169.23 cores=4,6
/proc/41273/stat : 41273 (java) S 41270 41273 40346 0 -1 4194304 192098 0 0 0 316662 261 0 0 20 0 20 0 45429448 19521036288 962504 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
/proc/41273/statm: 4765878 962504 5557 1 0 975681 0
[pid=41273/tid=41275] ppid=41270 vsize=19063512 memory=3850016 CPUtime=3065.89 cores=4,6
/proc/41273/task/41275/stat : 41275 (java) R 41270 41273 40346 0 -1 4194368 85028 0 0 0 306485 104 0 0 20 0 20 0 45429449 19521036288 962504 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41284] ppid=41270 vsize=19063512 memory=3850016 CPUtime=0 cores=4,6
/proc/41273/task/41284/stat : 41284 (Finalizer) S 41270 41273 40346 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45429451 19521036288 962504 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41291] ppid=41270 vsize=19063512 memory=3850016 CPUtime=0 cores=4,6
/proc/41273/task/41291/stat : 41291 (Common-Cleaner) S 41270 41273 40346 0 -1 4194368 1598 0 0 0 0 0 0 0 20 0 20 0 45429452 19521036288 962504 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41341] ppid=41270 vsize=19063512 memory=17536 CPUtime=0 cores=4,6
/proc/41273/task/41341/stat : 41341 (Timer-0) S 41270 41273 40346 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45429510 19521036288 962504 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
Current children cumulated CPU time: 3169.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3850016 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.22 4.19 5/341 41585
/proc/meminfo: memFree=113749100/131249996 swapFree=33010684/33010684
[pid=41273] ppid=41270 vsize=19063512 memory=3850016 CPUtime=3229.61 cores=4,6
/proc/41273/stat : 41273 (java) S 41270 41273 40346 0 -1 4194304 193379 0 0 0 322696 265 0 0 20 0 20 0 45429448 19521036288 962504 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
/proc/41273/statm: 4765878 962504 5557 1 0 975681 0
[pid=41273/tid=41275] ppid=41270 vsize=19063512 memory=3850016 CPUtime=3125.18 cores=4,6
/proc/41273/task/41275/stat : 41275 (java) R 41270 41273 40346 0 -1 4194368 85623 0 0 0 312412 106 0 0 20 0 20 0 45429449 19521036288 962504 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41284] ppid=41270 vsize=19063512 memory=3850016 CPUtime=0 cores=4,6
/proc/41273/task/41284/stat : 41284 (Finalizer) S 41270 41273 40346 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45429451 19521036288 962504 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41291] ppid=41270 vsize=19063512 memory=3850016 CPUtime=0 cores=4,6
/proc/41273/task/41291/stat : 41291 (Common-Cleaner) S 41270 41273 40346 0 -1 4194368 1663 0 0 0 0 0 0 0 20 0 20 0 45429452 19521036288 962504 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41341] ppid=41270 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/41273/task/41341/stat : 41341 (Timer-0) S 41270 41273 40346 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45429510 19521036288 962504 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
Current children cumulated CPU time: 3229.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3850016 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.22 4.19 5/341 41588
/proc/meminfo: memFree=113723016/131249996 swapFree=33010684/33010684
[pid=41273] ppid=41270 vsize=19063512 memory=3850016 CPUtime=3289.91 cores=4,6
/proc/41273/stat : 41273 (java) S 41270 41273 40346 0 -1 4194304 194546 0 0 0 328722 269 0 0 20 0 20 0 45429448 19521036288 962504 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
/proc/41273/statm: 4765878 962504 5557 1 0 975681 0
[pid=41273/tid=41275] ppid=41270 vsize=19063512 memory=3850016 CPUtime=3184.53 cores=4,6
/proc/41273/task/41275/stat : 41275 (java) R 41270 41273 40346 0 -1 4194368 86675 0 0 0 318346 107 0 0 20 0 20 0 45429449 19521036288 962504 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41284] ppid=41270 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/41273/task/41284/stat : 41284 (Finalizer) S 41270 41273 40346 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45429451 19521036288 962504 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41291] ppid=41270 vsize=19063512 memory=3850016 CPUtime=0 cores=4,6
/proc/41273/task/41291/stat : 41291 (Common-Cleaner) S 41270 41273 40346 0 -1 4194368 1697 0 0 0 0 0 0 0 20 0 20 0 45429452 19521036288 962504 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41341] ppid=41270 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/41273/task/41341/stat : 41341 (Timer-0) S 41270 41273 40346 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45429510 19521036288 962504 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
Current children cumulated CPU time: 3289.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3850016 KiB
[startup+3282.3 s]
/proc/loadavg: 4.27 4.24 4.20 5/341 41590
/proc/meminfo: memFree=113693576/131249996 swapFree=33010684/33010684
[pid=41273] ppid=41270 vsize=19063512 memory=3850144 CPUtime=3351.49 cores=4,6
/proc/41273/stat : 41273 (java) S 41270 41273 40346 0 -1 4194304 199151 0 0 0 334876 273 0 0 20 0 20 0 45429448 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
/proc/41273/statm: 4765878 962536 5557 1 0 975702 0
[pid=41273/tid=41275] ppid=41270 vsize=19063512 memory=14976 CPUtime=3243.75 cores=4,6
/proc/41273/task/41275/stat : 41275 (java) R 41270 41273 40346 0 -1 4194368 89026 0 0 0 324266 109 0 0 20 0 20 0 45429449 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41284] ppid=41270 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/41273/task/41284/stat : 41284 (Finalizer) S 41270 41273 40346 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45429451 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41291] ppid=41270 vsize=19063512 memory=3850016 CPUtime=0 cores=4,6
/proc/41273/task/41291/stat : 41291 (Common-Cleaner) S 41270 41273 40346 0 -1 4194368 1737 0 0 0 0 0 0 0 20 0 20 0 45429452 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41341] ppid=41270 vsize=19063512 memory=3850144 CPUtime=0 cores=4,6
/proc/41273/task/41341/stat : 41341 (Timer-0) S 41270 41273 40346 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45429510 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
Current children cumulated CPU time: 3351.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3850144 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.24 4.20 5/342 41594
/proc/meminfo: memFree=113710456/131249996 swapFree=33010684/33010684
[pid=41273] ppid=41270 vsize=19063512 memory=3850144 CPUtime=3414.63 cores=4,6
/proc/41273/stat : 41273 (java) S 41270 41273 40346 0 -1 4194304 203110 0 0 0 341184 279 0 0 20 0 20 0 45429448 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
/proc/41273/statm: 4765878 962536 5557 1 0 975702 0
[pid=41273/tid=41275] ppid=41270 vsize=19063512 memory=17536 CPUtime=3302.97 cores=4,6
/proc/41273/task/41275/stat : 41275 (java) R 41270 41273 40346 0 -1 4194368 90752 0 0 0 330186 111 0 0 20 0 20 0 45429449 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41284] ppid=41270 vsize=19063512 memory=21996 CPUtime=0 cores=4,6
/proc/41273/task/41284/stat : 41284 (Finalizer) S 41270 41273 40346 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45429451 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41291] ppid=41270 vsize=19063512 memory=3850144 CPUtime=0 cores=4,6
/proc/41273/task/41291/stat : 41291 (Common-Cleaner) S 41270 41273 40346 0 -1 4194368 1777 0 0 0 0 0 0 0 20 0 20 0 45429452 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41341] ppid=41270 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/41273/task/41341/stat : 41341 (Timer-0) S 41270 41273 40346 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45429510 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
Current children cumulated CPU time: 3414.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3850144 KiB
[startup+3402.3 s]
/proc/loadavg: 4.39 4.27 4.21 5/341 41602
/proc/meminfo: memFree=113723204/131249996 swapFree=33010684/33010684
[pid=41273] ppid=41270 vsize=19063512 memory=3850144 CPUtime=3478 cores=4,6
/proc/41273/stat : 41273 (java) S 41270 41273 40346 0 -1 4194304 203927 0 0 0 347517 283 0 0 20 0 20 0 45429448 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
/proc/41273/statm: 4765878 962536 5557 1 0 975704 0
[pid=41273/tid=41275] ppid=41270 vsize=19063512 memory=21996 CPUtime=3362.25 cores=4,6
/proc/41273/task/41275/stat : 41275 (java) R 41270 41273 40346 0 -1 4194368 91515 0 0 0 336113 112 0 0 20 0 20 0 45429449 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41284] ppid=41270 vsize=19063512 memory=3850144 CPUtime=0 cores=4,6
/proc/41273/task/41284/stat : 41284 (Finalizer) S 41270 41273 40346 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45429451 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41291] ppid=41270 vsize=19063512 memory=3850144 CPUtime=0 cores=4,6
/proc/41273/task/41291/stat : 41291 (Common-Cleaner) S 41270 41273 40346 0 -1 4194368 1777 0 0 0 0 0 0 0 20 0 20 0 45429452 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41341] ppid=41270 vsize=19063512 memory=3850144 CPUtime=0 cores=4,6
/proc/41273/task/41341/stat : 41341 (Timer-0) S 41270 41273 40346 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45429510 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
Current children cumulated CPU time: 3478 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3850144 KiB
[startup+3462.3 s]
/proc/loadavg: 4.36 4.30 4.22 5/340 41604
/proc/meminfo: memFree=113715316/131249996 swapFree=33010684/33010684
[pid=41273] ppid=41270 vsize=19063512 memory=3850144 CPUtime=3541.6 cores=4,6
/proc/41273/stat : 41273 (java) S 41270 41273 40346 0 -1 4194304 208278 0 0 0 353872 288 0 0 20 0 20 0 45429448 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
/proc/41273/statm: 4765878 962536 5557 1 0 975704 0
[pid=41273/tid=41275] ppid=41270 vsize=19063512 memory=21996 CPUtime=3421.54 cores=4,6
/proc/41273/task/41275/stat : 41275 (java) R 41270 41273 40346 0 -1 4194368 93769 0 0 0 342040 114 0 0 20 0 20 0 45429449 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41284] ppid=41270 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/41273/task/41284/stat : 41284 (Finalizer) S 41270 41273 40346 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45429451 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41291] ppid=41270 vsize=19063512 memory=3850144 CPUtime=0 cores=4,6
/proc/41273/task/41291/stat : 41291 (Common-Cleaner) S 41270 41273 40346 0 -1 4194368 1817 0 0 0 0 0 0 0 20 0 20 0 45429452 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41341] ppid=41270 vsize=19063512 memory=3850144 CPUtime=0 cores=4,6
/proc/41273/task/41341/stat : 41341 (Timer-0) S 41270 41273 40346 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45429510 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
Current children cumulated CPU time: 3541.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3850144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3517 s]*
/proc/loadavg: 4.20 4.26 4.21 5/344 41611
/proc/meminfo: memFree=113712748/131249996 swapFree=33010684/33010684
[pid=41273] ppid=41270 vsize=19063512 memory=3850144 CPUtime=3600.09 cores=4,6
/proc/41273/stat : 41273 (java) S 41270 41273 40346 0 -1 4194304 211010 0 0 0 359716 293 0 0 20 0 20 0 45429448 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
/proc/41273/statm: 4765878 962536 5557 1 0 975704 0
[pid=41273/tid=41275] ppid=41270 vsize=19063512 memory=-6000919476951280491 CPUtime=3475.59 cores=4,6
/proc/41273/task/41275/stat : 41275 (java) R 41270 41273 40346 0 -1 4194368 95588 0 0 0 347443 116 0 0 20 0 20 0 45429449 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41284] ppid=41270 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/41273/task/41284/stat : 41284 (Finalizer) S 41270 41273 40346 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45429451 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41291] ppid=41270 vsize=19063512 memory=9344 CPUtime=0 cores=4,6
/proc/41273/task/41291/stat : 41291 (Common-Cleaner) S 41270 41273 40346 0 -1 4194368 1863 0 0 0 0 0 0 0 20 0 20 0 45429452 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
[pid=41273/tid=41341] ppid=41270 vsize=19063512 memory=26512 CPUtime=0 cores=4,6
/proc/41273/task/41341/stat : 41341 (Timer-0) S 41270 41273 40346 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45429510 19521036288 962536 18446744073709551615 94694756106240 94694756109936 140722113608976 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94694756117752 94694756118544 94694760005632 140722113612077 140722113612262 140722113612262 140722113617864 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3850144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3517.11 s]
# the end of solver process 41273 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.32 s, system=2.94703 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3517.11
CPU time (s): 3600.27
CPU user time (s): 3597.32
CPU system time (s): 2.94703
CPU usage (%): 102.365
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 3850144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.32
system time used= 2.94703
maximum resident set size= 3850912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212631
page faults= 0
swaps= 0
block input operations= 0
block output operations= 174616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123827
involuntary context switches= 14056
# summary of solver processes directly reported to runsolver:
# pid: 41273
# total CPU time (s): 3600.27
# total CPU user time (s): 3597.32
# total CPU system time (s): 2.94703
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18848 second user time and 17.6256 second system time
The end