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 (62320 MiB free)
memory of node 1: 64465 MiB (63767 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508142-1751508662/watcher-4508142-1751508662 -o /tmp/evaluation-result-4508142-1751508662/solver-4508142-1751508662 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751508662-73424 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4508142-1751508662.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=73474, runsolver pid=73465
[startup+0.100058 s]*
/proc/loadavg: 0.88 1.21 2.18 9/333 73552
/proc/meminfo: memFree=129052812/131249996 swapFree=33006296/33010684
[pid=73474] ppid=73465 vsize=18930384 memory=53048 CPUtime=0.1 cores=0,2
/proc/73474/stat : 73474 (java) S 73465 73474 73414 0 -1 4194304 6402 0 83 0 8 2 0 0 20 0 18 0 66543659 19384713216 13262 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
/proc/73474/statm: 4732596 13262 5315 1 0 547531 0
[pid=73474/tid=73486] ppid=73465 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/73474/task/73486/stat : 73486 (java) R 73465 73474 73414 0 -1 4194368 4928 0 70 0 5 1 0 0 20 0 18 0 66543662 19384713216 13262 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73516] ppid=73465 vsize=18930384 memory=2630 CPUtime=0 cores=0,2
/proc/73474/task/73516/stat : 73516 (Finalizer) S 73465 73474 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66543664 19384713216 13262 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73530] ppid=73465 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/73474/task/73530/stat : 73530 (Common-Cleaner) S 73465 73474 73414 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 66543664 19384713216 13262 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53048 KiB
[startup+0.205064 s]*
/proc/loadavg: 0.88 1.21 2.18 14/333 73552
/proc/meminfo: memFree=129023260/131249996 swapFree=33006296/33010684
[pid=73474] ppid=73465 vsize=18930384 memory=64044 CPUtime=0.29 cores=0,2
/proc/73474/stat : 73474 (java) S 73465 73474 73414 0 -1 4194304 7035 0 83 0 26 3 0 0 20 0 18 0 66543659 19384713216 16011 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
/proc/73474/statm: 4732596 16011 5411 1 0 547941 0
[pid=73474/tid=73486] ppid=73465 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=0,2
/proc/73474/task/73486/stat : 73486 (java) R 73465 73474 73414 0 -1 4194368 5326 0 70 0 14 2 0 0 20 0 18 0 66543662 19384713216 16011 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73516] ppid=73465 vsize=18930384 memory=2630 CPUtime=0 cores=0,2
/proc/73474/task/73516/stat : 73516 (Finalizer) S 73465 73474 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66543664 19384713216 16011 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73530] ppid=73465 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/73474/task/73530/stat : 73530 (Common-Cleaner) S 73465 73474 73414 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 66543664 19384713216 16011 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64044 KiB
[startup+0.305911 s]*
/proc/loadavg: 0.88 1.21 2.18 11/333 73552
/proc/meminfo: memFree=128867968/131249996 swapFree=33006296/33010684
[pid=73474] ppid=73465 vsize=18930384 memory=106024 CPUtime=0.48 cores=0,2
/proc/73474/stat : 73474 (java) S 73465 73474 73414 0 -1 4194304 8746 0 83 0 44 4 0 0 20 0 18 0 66543659 19384713216 26506 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
/proc/73474/statm: 4732596 26506 5411 1 0 549112 0
[pid=73474/tid=73486] ppid=73465 vsize=18930384 memory=-6000919476984768872 CPUtime=0.22 cores=0,2
/proc/73474/task/73486/stat : 73486 (java) R 73465 73474 73414 0 -1 4194368 5372 0 70 0 20 2 0 0 20 0 18 0 66543662 19384713216 26506 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73516] ppid=73465 vsize=18930384 memory=-4421386504753997920 CPUtime=0 cores=0,2
/proc/73474/task/73516/stat : 73516 (Finalizer) S 73465 73474 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66543664 19384713216 26506 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73530] ppid=73465 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/73474/task/73530/stat : 73530 (Common-Cleaner) S 73465 73474 73414 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 66543664 19384713216 26506 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 106024 KiB
[startup+0.700226 s]
/proc/loadavg: 0.88 1.21 2.18 15/341 73560
/proc/meminfo: memFree=128640004/131249996 swapFree=33006296/33010684
[pid=73474] ppid=73465 vsize=19063512 memory=182000 CPUtime=1.24 cores=0,2
/proc/73474/stat : 73474 (java) S 73465 73474 73414 0 -1 4194304 16738 0 83 0 117 7 0 0 20 0 20 0 66543659 19521036288 45500 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
/proc/73474/statm: 4765878 45500 5475 1 0 554579 0
[pid=73474/tid=73486] ppid=73465 vsize=19063512 memory=14976 CPUtime=0.51 cores=0,2
/proc/73474/task/73486/stat : 73486 (java) R 73465 73474 73414 0 -1 4194368 5515 0 70 0 48 3 0 0 20 0 20 0 66543662 19521036288 45500 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73516] ppid=73465 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/73474/task/73516/stat : 73516 (Finalizer) S 73465 73474 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 45500 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73530] ppid=73465 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/73474/task/73530/stat : 73530 (Common-Cleaner) S 73465 73474 73414 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 45500 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73558] ppid=73465 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/73474/task/73558/stat : 73558 (Timer-0) S 73465 73474 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543706 19521036288 45500 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182000 KiB
[startup+1.5002 s]
/proc/loadavg: 0.88 1.21 2.18 10/341 73560
/proc/meminfo: memFree=128538196/131249996 swapFree=33006296/33010684
[pid=73474] ppid=73465 vsize=19063512 memory=201992 CPUtime=2.79 cores=0,2
/proc/73474/stat : 73474 (java) S 73465 73474 73414 0 -1 4194304 21042 0 83 0 270 9 0 0 20 0 20 0 66543659 19521036288 50498 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
/proc/73474/statm: 4765878 50498 5475 1 0 554606 0
[pid=73474/tid=73486] ppid=73465 vsize=19063512 memory=0 CPUtime=1.19 cores=0,2
/proc/73474/task/73486/stat : 73486 (java) R 73465 73474 73414 0 -1 4194368 5786 0 70 0 115 4 0 0 20 0 20 0 66543662 19521036288 50498 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73516] ppid=73465 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/73474/task/73516/stat : 73516 (Finalizer) S 73465 73474 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 50498 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73530] ppid=73465 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/73474/task/73530/stat : 73530 (Common-Cleaner) S 73465 73474 73414 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 50498 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73558] ppid=73465 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/73474/task/73558/stat : 73558 (Timer-0) S 73465 73474 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543706 19521036288 50498 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 201992 KiB
[startup+3.10496 s]
/proc/loadavg: 1.53 1.34 2.22 9/341 73560
/proc/meminfo: memFree=126354564/131249996 swapFree=33006296/33010684
[pid=73474] ppid=73465 vsize=19063512 memory=511072 CPUtime=5.96 cores=0,2
/proc/73474/stat : 73474 (java) S 73465 73474 73414 0 -1 4194304 25126 0 83 0 579 17 0 0 20 0 20 0 66543659 19521036288 127768 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
/proc/73474/statm: 4765878 127768 5475 1 0 876295 0
[pid=73474/tid=73486] ppid=73465 vsize=19063512 memory=10752 CPUtime=2.65 cores=0,2
/proc/73474/task/73486/stat : 73486 (java) R 73465 73474 73414 0 -1 4194368 6355 0 70 0 255 10 0 0 20 0 20 0 66543662 19521036288 127768 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73516] ppid=73465 vsize=19063512 memory=-6000919485574703464 CPUtime=0 cores=0,2
/proc/73474/task/73516/stat : 73516 (Finalizer) S 73465 73474 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 127768 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73530] ppid=73465 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/73474/task/73530/stat : 73530 (Common-Cleaner) S 73465 73474 73414 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 127768 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73558] ppid=73465 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/73474/task/73558/stat : 73558 (Timer-0) S 73465 73474 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543706 19521036288 127768 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 511072 KiB
[startup+6.3002 s]
/proc/loadavg: 1.53 1.34 2.22 8/341 73560
/proc/meminfo: memFree=122542832/131249996 swapFree=33006296/33010684
[pid=73474] ppid=73465 vsize=19063512 memory=1408236 CPUtime=10.34 cores=0,2
/proc/73474/stat : 73474 (java) S 73465 73474 73414 0 -1 4194304 30622 0 83 0 1000 34 0 0 20 0 20 0 66543659 19521036288 352059 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
/proc/73474/statm: 4765878 352059 5475 1 0 1055513 0
[pid=73474/tid=73486] ppid=73465 vsize=19063512 memory=0 CPUtime=5.75 cores=0,2
/proc/73474/task/73486/stat : 73486 (java) R 73465 73474 73414 0 -1 4194368 6793 0 70 0 550 25 0 0 20 0 20 0 66543662 19521036288 352059 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73516] ppid=73465 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/73474/task/73516/stat : 73516 (Finalizer) S 73465 73474 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 352059 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73530] ppid=73465 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/73474/task/73530/stat : 73530 (Common-Cleaner) S 73465 73474 73414 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 352059 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73558] ppid=73465 vsize=19063512 memory=207056 CPUtime=0 cores=0,2
/proc/73474/task/73558/stat : 73558 (Timer-0) S 73465 73474 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543706 19521036288 352059 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
Current children cumulated CPU time: 10.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1408236 KiB
[startup+12.7002 s]
/proc/loadavg: 1.98 1.44 2.24 6/341 73560
/proc/meminfo: memFree=119724416/131249996 swapFree=33006296/33010684
[pid=73474] ppid=73465 vsize=19063512 memory=2162244 CPUtime=16.9 cores=0,2
/proc/73474/stat : 73474 (java) S 73465 73474 73414 0 -1 4194304 32367 0 83 0 1642 48 0 0 20 0 20 0 66543659 19521036288 540561 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
/proc/73474/statm: 4765878 540561 5507 1 0 1055577 0
[pid=73474/tid=73486] ppid=73465 vsize=19063512 memory=207056 CPUtime=12.04 cores=0,2
/proc/73474/task/73486/stat : 73486 (java) R 73465 73474 73414 0 -1 4194368 8293 0 70 0 1165 39 0 0 20 0 20 0 66543662 19521036288 540561 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73516] ppid=73465 vsize=19063512 memory=2162244 CPUtime=0 cores=0,2
/proc/73474/task/73516/stat : 73516 (Finalizer) S 73465 73474 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 540561 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73530] ppid=73465 vsize=19063512 memory=1854956 CPUtime=0 cores=0,2
/proc/73474/task/73530/stat : 73530 (Common-Cleaner) S 73465 73474 73414 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 540561 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73558] ppid=73465 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/73474/task/73558/stat : 73558 (Timer-0) S 73465 73474 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543706 19521036288 540561 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
Current children cumulated CPU time: 16.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2162244 KiB
[startup+25.5002 s]
/proc/loadavg: 2.29 1.53 2.26 6/341 73560
/proc/meminfo: memFree=118946552/131249996 swapFree=33006296/33010684
[pid=73474] ppid=73465 vsize=19063512 memory=2584280 CPUtime=29.97 cores=0,2
/proc/73474/stat : 73474 (java) S 73465 73474 73414 0 -1 4194304 37496 0 83 0 2940 57 0 0 20 0 20 0 66543659 19521036288 646070 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
/proc/73474/statm: 4765878 646070 5507 1 0 1055579 0
[pid=73474/tid=73486] ppid=73465 vsize=19063512 memory=2162244 CPUtime=24.62 cores=0,2
/proc/73474/task/73486/stat : 73486 (java) R 73465 73474 73414 0 -1 4194368 10120 0 70 0 2418 44 0 0 20 0 20 0 66543662 19521036288 646070 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73516] ppid=73465 vsize=19063512 memory=2385600 CPUtime=0 cores=0,2
/proc/73474/task/73516/stat : 73516 (Finalizer) S 73465 73474 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 646070 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73530] ppid=73465 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/73474/task/73530/stat : 73530 (Common-Cleaner) S 73465 73474 73414 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 646070 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73558] ppid=73465 vsize=19063512 memory=2584280 CPUtime=0 cores=0,2
/proc/73474/task/73558/stat : 73558 (Timer-0) S 73465 73474 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543706 19521036288 646070 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
Current children cumulated CPU time: 29.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2584280 KiB
[startup+51.1051 s]
/proc/loadavg: 3.06 1.77 2.32 6/341 73561
/proc/meminfo: memFree=118827664/131249996 swapFree=33006296/33010684
[pid=73474] ppid=73465 vsize=19063512 memory=2625352 CPUtime=56.09 cores=0,2
/proc/73474/stat : 73474 (java) S 73465 73474 73414 0 -1 4194304 42783 0 83 0 5549 60 0 0 20 0 20 0 66543659 19521036288 656338 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
/proc/73474/statm: 4765878 656338 5507 1 0 1055579 0
[pid=73474/tid=73486] ppid=73465 vsize=19063512 memory=2623292 CPUtime=49.66 cores=0,2
/proc/73474/task/73486/stat : 73486 (java) R 73465 73474 73414 0 -1 4194368 12639 0 70 0 4921 45 0 0 20 0 20 0 66543662 19521036288 656338 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73516] ppid=73465 vsize=19063512 memory=2617140 CPUtime=0 cores=0,2
/proc/73474/task/73516/stat : 73516 (Finalizer) S 73465 73474 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 656338 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73530] ppid=73465 vsize=19063512 memory=-6000919485574703464 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/meminfo: memFree=114972408/131249996 swapFree=33006296/33010684
[pid=73474] ppid=73465 vsize=19063512 memory=3590924 CPUtime=3181.79 cores=0,2
/proc/73474/stat : 73474 (java) S 73465 73474 73414 0 -1 4194304 138260 0 83 0 317970 209 0 0 20 0 20 0 66543659 19521036288 897731 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
/proc/73474/statm: 4765878 897731 5539 1 0 1056095 0
[pid=73474/tid=73486] ppid=73465 vsize=19063512 memory=3582712 CPUtime=3132.88 cores=0,2
/proc/73474/task/73486/stat : 73486 (java) R 73465 73474 73414 0 -1 4194368 74875 0 70 0 313199 89 0 0 20 0 20 0 66543662 19521036288 897731 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73516] ppid=73465 vsize=19063512 memory=3582712 CPUtime=0 cores=0,2
/proc/73474/task/73516/stat : 73516 (Finalizer) S 73465 73474 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 897731 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73530] ppid=73465 vsize=19063512 memory=-6000919485574703464 CPUtime=0 cores=0,2
/proc/73474/task/73530/stat : 73530 (Common-Cleaner) S 73465 73474 73414 0 -1 4194368 1994 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 897731 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73558] ppid=73465 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/73474/task/73558/stat : 73558 (Timer-0) S 73465 73474 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543706 19521036288 897731 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
Current children cumulated CPU time: 3181.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3590924 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.14 4.12 6/339 73728
/proc/meminfo: memFree=114959796/131249996 swapFree=33006296/33010684
[pid=73474] ppid=73465 vsize=19063512 memory=3597084 CPUtime=3242.3 cores=0,2
/proc/73474/stat : 73474 (java) S 73465 73474 73414 0 -1 4194304 139469 0 83 0 324019 211 0 0 20 0 20 0 66543659 19521036288 899271 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
/proc/73474/statm: 4765878 899271 5539 1 0 1056095 0
[pid=73474/tid=73486] ppid=73465 vsize=19063512 memory=3582712 CPUtime=3192.29 cores=0,2
/proc/73474/task/73486/stat : 73486 (java) R 73465 73474 73414 0 -1 4194368 75337 0 70 0 319140 89 0 0 20 0 20 0 66543662 19521036288 899271 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73516] ppid=73465 vsize=19063512 memory=2760 CPUtime=0 cores=0,2
/proc/73474/task/73516/stat : 73516 (Finalizer) S 73465 73474 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 899271 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73530] ppid=73465 vsize=19063512 memory=3597084 CPUtime=0 cores=0,2
/proc/73474/task/73530/stat : 73530 (Common-Cleaner) S 73465 73474 73414 0 -1 4194368 2068 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 899271 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73558] ppid=73465 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/73474/task/73558/stat : 73558 (Timer-0) S 73465 73474 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543706 19521036288 899271 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
Current children cumulated CPU time: 3242.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3597084 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.12 6/339 73731
/proc/meminfo: memFree=114932352/131249996 swapFree=33006296/33010684
[pid=73474] ppid=73465 vsize=19063512 memory=3613496 CPUtime=3302.75 cores=0,2
/proc/73474/stat : 73474 (java) S 73465 73474 73414 0 -1 4194304 141204 0 83 0 330062 213 0 0 20 0 20 0 66543659 19521036288 903374 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
/proc/73474/statm: 4765878 903374 5539 1 0 1056104 0
[pid=73474/tid=73486] ppid=73465 vsize=19063512 memory=3607344 CPUtime=3251.7 cores=0,2
/proc/73474/task/73486/stat : 73486 (java) R 73465 73474 73414 0 -1 4194368 76800 0 70 0 325080 90 0 0 20 0 20 0 66543662 19521036288 903374 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73516] ppid=73465 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/73474/task/73516/stat : 73516 (Finalizer) S 73465 73474 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 903374 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73530] ppid=73465 vsize=19063512 memory=3607344 CPUtime=0 cores=0,2
/proc/73474/task/73530/stat : 73530 (Common-Cleaner) S 73465 73474 73414 0 -1 4194368 2068 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 903374 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73558] ppid=73465 vsize=19063512 memory=3609400 CPUtime=0 cores=0,2
/proc/73474/task/73558/stat : 73558 (Timer-0) S 73465 73474 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543706 19521036288 903374 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
Current children cumulated CPU time: 3302.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3613496 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.16 4.13 6/340 73737
/proc/meminfo: memFree=114902452/131249996 swapFree=33006296/33010684
[pid=73474] ppid=73465 vsize=19063512 memory=3633976 CPUtime=3362.97 cores=0,2
/proc/73474/stat : 73474 (java) S 73465 73474 73414 0 -1 4194304 143119 0 83 0 336081 216 0 0 20 0 20 0 66543659 19521036288 908494 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
/proc/73474/statm: 4765878 908494 5539 1 0 1056104 0
[pid=73474/tid=73486] ppid=73465 vsize=19063512 memory=10752 CPUtime=3311.16 cores=0,2
/proc/73474/task/73486/stat : 73486 (java) R 73465 73474 73414 0 -1 4194368 78204 0 70 0 331025 91 0 0 20 0 20 0 66543662 19521036288 908494 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73516] ppid=73465 vsize=19063512 memory=3627832 CPUtime=0 cores=0,2
/proc/73474/task/73516/stat : 73516 (Finalizer) S 73465 73474 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 908494 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73530] ppid=73465 vsize=19063512 memory=3619640 CPUtime=0 cores=0,2
/proc/73474/task/73530/stat : 73530 (Common-Cleaner) S 73465 73474 73414 0 -1 4194368 2141 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 908494 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73558] ppid=73465 vsize=19063512 memory=3633976 CPUtime=0 cores=0,2
/proc/73474/task/73558/stat : 73558 (Timer-0) S 73465 73474 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543706 19521036288 908494 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
Current children cumulated CPU time: 3362.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3633976 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.16 4.13 6/341 73742
/proc/meminfo: memFree=114872880/131249996 swapFree=33006296/33010684
[pid=73474] ppid=73465 vsize=19063512 memory=3654456 CPUtime=3423.16 cores=0,2
/proc/73474/stat : 73474 (java) S 73465 73474 73414 0 -1 4194304 144379 0 83 0 342098 218 0 0 20 0 20 0 66543659 19521036288 913614 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
/proc/73474/statm: 4765878 913614 5539 1 0 1056104 0
[pid=73474/tid=73486] ppid=73465 vsize=19063512 memory=865 CPUtime=3370.62 cores=0,2
/proc/73474/task/73486/stat : 73486 (java) R 73465 73474 73414 0 -1 4194368 78955 0 70 0 336971 91 0 0 20 0 20 0 66543662 19521036288 913614 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73516] ppid=73465 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/73474/task/73516/stat : 73516 (Finalizer) S 73465 73474 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 913614 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73530] ppid=73465 vsize=19063512 memory=3650360 CPUtime=0 cores=0,2
/proc/73474/task/73530/stat : 73530 (Common-Cleaner) S 73465 73474 73414 0 -1 4194368 2216 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 913614 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73558] ppid=73465 vsize=19063512 memory=3648312 CPUtime=0 cores=0,2
/proc/73474/task/73558/stat : 73558 (Timer-0) S 73465 73474 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543706 19521036288 913614 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
Current children cumulated CPU time: 3423.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3654456 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.12 6/341 73744
/proc/meminfo: memFree=114840028/131249996 swapFree=33006296/33010684
[pid=73474] ppid=73465 vsize=19063512 memory=3670848 CPUtime=3483.32 cores=0,2
/proc/73474/stat : 73474 (java) S 73465 73474 73414 0 -1 4194304 145898 0 83 0 348110 222 0 0 20 0 20 0 66543659 19521036288 917712 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
/proc/73474/statm: 4765878 917712 5539 1 0 1056104 0
[pid=73474/tid=73486] ppid=73465 vsize=19063512 memory=865 CPUtime=3430.15 cores=0,2
/proc/73474/task/73486/stat : 73486 (java) R 73465 73474 73414 0 -1 4194368 80139 0 70 0 342924 91 0 0 20 0 20 0 66543662 19521036288 917712 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73516] ppid=73465 vsize=19063512 memory=3664704 CPUtime=0 cores=0,2
/proc/73474/task/73516/stat : 73516 (Finalizer) S 73465 73474 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 917712 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73530] ppid=73465 vsize=19063512 memory=3666752 CPUtime=0 cores=0,2
/proc/73474/task/73530/stat : 73530 (Common-Cleaner) S 73465 73474 73414 0 -1 4194368 2216 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 917712 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73558] ppid=73465 vsize=19063512 memory=-6000919485574703464 CPUtime=0 cores=0,2
/proc/73474/task/73558/stat : 73558 (Timer-0) S 73465 73474 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543706 19521036288 917712 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
Current children cumulated CPU time: 3483.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3670848 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.15 4.12 6/341 73746
/proc/meminfo: memFree=114803376/131249996 swapFree=33006296/33010684
[pid=73474] ppid=73465 vsize=19063512 memory=3687232 CPUtime=3543.52 cores=0,2
/proc/73474/stat : 73474 (java) S 73465 73474 73414 0 -1 4194304 147549 0 83 0 354128 224 0 0 20 0 20 0 66543659 19521036288 921808 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
/proc/73474/statm: 4765878 921808 5539 1 0 1056104 0
[pid=73474/tid=73486] ppid=73465 vsize=19063512 memory=14848 CPUtime=3489.67 cores=0,2
/proc/73474/task/73486/stat : 73486 (java) R 73465 73474 73414 0 -1 4194368 81244 0 70 0 348875 92 0 0 20 0 20 0 66543662 19521036288 921808 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73516] ppid=73465 vsize=19063512 memory=3685184 CPUtime=0 cores=0,2
/proc/73474/task/73516/stat : 73516 (Finalizer) S 73465 73474 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 921808 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73530] ppid=73465 vsize=19063512 memory=-6000919485574703464 CPUtime=0 cores=0,2
/proc/73474/task/73530/stat : 73530 (Common-Cleaner) S 73465 73474 73414 0 -1 4194368 2288 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 921808 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73558] ppid=73465 vsize=19063512 memory=3687232 CPUtime=0 cores=0,2
/proc/73474/task/73558/stat : 73558 (Timer-0) S 73465 73474 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543706 19521036288 921808 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
Current children cumulated CPU time: 3543.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3687232 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3578.6 s]
/proc/loadavg: 4.12 4.13 4.12 5/321 73897
/proc/meminfo: memFree=118426872/131249996 swapFree=33006296/33010684
[pid=73474] ppid=73465 vsize=19063512 memory=3705664 CPUtime=3600.02 cores=0,2
/proc/73474/stat : 73474 (java) S 73465 73474 73414 0 -1 4194304 149206 0 83 0 359774 228 0 0 20 0 20 0 66543659 19521036288 926416 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
/proc/73474/statm: 4765878 926416 5539 1 0 1056104 0
[pid=73474/tid=73486] ppid=73465 vsize=19063512 memory=2760 CPUtime=3545.5 cores=0,2
/proc/73474/task/73486/stat : 73486 (java) R 73465 73474 73414 0 -1 4194368 82524 0 70 0 354457 93 0 0 20 0 20 0 66543662 19521036288 926416 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73516] ppid=73465 vsize=19063512 memory=21824 CPUtime=0 cores=0,2
/proc/73474/task/73516/stat : 73516 (Finalizer) S 73465 73474 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 926416 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73530] ppid=73465 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/73474/task/73530/stat : 73530 (Common-Cleaner) S 73465 73474 73414 0 -1 4194368 2288 0 0 0 0 0 0 0 20 0 20 0 66543664 19521036288 926416 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
[pid=73474/tid=73558] ppid=73465 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/73474/task/73558/stat : 73558 (Timer-0) S 73465 73474 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543706 19521036288 926416 18446744073709551615 93983809822720 93983809826416 140735954098432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93983809834232 93983809835024 93983810400256 140735954106750 140735954106854 140735954106854 140735954112456 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3705664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3578.7 s]
# the end of solver process 73474 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.91 s, system=2.29999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3578.7
CPU time (s): 3600.21
CPU user time (s): 3597.91
CPU system time (s): 2.29999
CPU usage (%): 100.601
Max. virtual memory (cumulated for all children) (KiB): 19064648
Max. memory (cumulated for all children) (KiB): 3705664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.91
system time used= 2.29999
maximum resident set size= 3706432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151731
page faults= 83
swaps= 0
block input operations= 0
block output operations= 10856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130443
involuntary context switches= 11158
# summary of solver processes directly reported to runsolver:
# pid: 73474
# total CPU time (s): 3600.21
# total CPU user time (s): 3597.91
# total CPU system time (s): 2.29999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83218 second user time and 14.2685 second system time
The end