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: 63837 MiB (39902 MiB free)
memory of node 1: 64465 MiB (34607 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542199-1753216365/watcher-4542199-1753216365 -o /tmp/evaluation-result-4542199-1753216365/solver-4542199-1753216365 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753209221-180195 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4542199-1753216365 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4542199-1753216365.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 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
Current StackSize limit: 8192 KiB
solver pid=181094, runsolver pid=181091
[startup+0.100072 s]*
/proc/loadavg: 4.18 4.29 4.30 5/326 181112
/proc/meminfo: memFree=76277764/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=18930384 memory=48200 CPUtime=0.1 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 5741 0 0 0 8 2 0 0 20 0 18 0 237315975 19384713216 12050 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4732596 12050 5305 1 0 546954 0
[pid=181094/tid=181096] ppid=181091 vsize=18930384 memory=4026531960 CPUtime=0.05 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 4640 0 0 0 4 1 0 0 20 0 18 0 237315977 19384713216 12050 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237315980 19384713216 12050 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=18930384 memory=56295059375534 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237315982 19384713216 12050 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48200 KiB
[startup+0.214338 s]*
/proc/loadavg: 4.18 4.29 4.30 6/326 181112
/proc/meminfo: memFree=76264092/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=18930384 memory=53180 CPUtime=0.25 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 6471 0 0 0 22 3 0 0 20 0 18 0 237315975 19384713216 13295 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4732596 13295 5337 1 0 547534 0
[pid=181094/tid=181096] ppid=181091 vsize=18930384 memory=4026990876 CPUtime=0.16 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 4985 0 0 0 14 2 0 0 20 0 18 0 237315977 19384713216 13295 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=18930384 memory=2622 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237315980 19384713216 13295 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=18930384 memory=55195547730935 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237315982 19384713216 13295 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53180 KiB
[startup+0.315803 s]*
/proc/loadavg: 4.18 4.29 4.30 5/326 181112
/proc/meminfo: memFree=76257980/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=18930384 memory=58788 CPUtime=0.38 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 6773 0 0 0 35 3 0 0 20 0 18 0 237315975 19384713216 14697 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4732596 14697 5433 1 0 547770 0
[pid=181094/tid=181096] ppid=181091 vsize=18930384 memory=-9103017756334006972 CPUtime=0.24 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 5170 0 0 0 22 2 0 0 20 0 18 0 237315977 19384713216 14697 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237315980 19384713216 14697 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237315982 19384713216 14697 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58788 KiB
[startup+0.700298 s]
/proc/loadavg: 4.18 4.29 4.30 6/326 181112
/proc/meminfo: memFree=75998924/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=18930384 memory=797272 CPUtime=0.98 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 9492 0 0 0 77 21 0 0 20 0 18 0 237315975 19384713216 199318 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4732596 199318 5433 1 0 549194 0
[pid=181094/tid=181096] ppid=181091 vsize=18930384 memory=22272 CPUtime=0.57 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 5941 0 0 0 39 18 0 0 20 0 18 0 237315977 19384713216 199318 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=18930384 memory=11008 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237315980 19384713216 199318 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=18930384 memory=3328 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237315982 19384713216 199318 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 797272 KiB
[startup+1.50028 s]
/proc/loadavg: 4.18 4.29 4.30 6/327 181113
/proc/meminfo: memFree=75260008/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=18996948 memory=1058616 CPUtime=2.3 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 11516 0 0 0 202 28 0 0 20 0 19 0 237315975 19452874752 264654 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4749237 264654 5465 1 0 673431 0
[pid=181094/tid=181096] ppid=181091 vsize=18996948 memory=3328 CPUtime=1.27 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 6155 0 0 0 104 23 0 0 20 0 19 0 237315977 19452874752 264654 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237315980 19452874752 264654 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=18996948 memory=11008 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237315982 19452874752 264654 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1058616 KiB
[startup+3.10609 s]
/proc/loadavg: 4.18 4.29 4.30 6/327 181113
/proc/meminfo: memFree=74636864/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=18996948 memory=1680648 CPUtime=4.4 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 19413 0 0 0 397 43 0 0 20 0 19 0 237315975 19452874752 420162 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4749237 420162 5529 1 0 865433 0
[pid=181094/tid=181096] ppid=181091 vsize=18996948 memory=11008 CPUtime=2.77 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 6527 0 0 0 242 35 0 0 20 0 19 0 237315977 19452874752 420162 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237315980 19452874752 420162 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=18996948 memory=5632 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237315982 19452874752 420162 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 4.4 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1680648 KiB
[startup+6.30036 s]
/proc/loadavg: 4.17 4.29 4.30 5/327 181113
/proc/meminfo: memFree=73551936/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=18996948 memory=2737956 CPUtime=7.79 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 21238 0 0 0 715 64 0 0 20 0 19 0 237315975 19452874752 684489 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4749237 684489 5529 1 0 1429438 0
[pid=181094/tid=181096] ppid=181091 vsize=18996948 memory=5632 CPUtime=5.74 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 7343 0 0 0 521 53 0 0 20 0 19 0 237315977 19452874752 684489 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237315980 19452874752 684489 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=18996948 memory=-9103017756334006972 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237315982 19452874752 684489 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 7.79 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 2737956 KiB
[startup+12.7004 s]
/proc/loadavg: 4.31 4.31 4.31 6/327 181180
/proc/meminfo: memFree=80608300/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=18996948 memory=3535896 CPUtime=14.61 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 23230 0 0 0 1379 82 0 0 20 0 19 0 237315975 19452874752 883974 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4749237 883974 5529 1 0 1738596 0
[pid=181094/tid=181096] ppid=181091 vsize=18996948 memory=2742052 CPUtime=11.64 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 8311 0 0 0 1100 64 0 0 20 0 19 0 237315977 19452874752 883974 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=18996948 memory=22272 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237315980 19452874752 883974 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=18996948 memory=3294028 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237315982 19452874752 883974 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 14.61 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 3535896 KiB
[startup+25.5005 s]
/proc/loadavg: 4.47 4.35 4.32 5/326 181246
/proc/meminfo: memFree=92340268/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=18996948 memory=4537200 CPUtime=28.26 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 24820 0 0 0 2721 105 0 0 20 0 19 0 237315975 19452874752 1134300 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4749237 1134300 5529 1 0 2095797 0
[pid=181094/tid=181096] ppid=181091 vsize=18996948 memory=4329572 CPUtime=23.36 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 8715 0 0 0 2258 78 0 0 20 0 19 0 237315977 19452874752 1134300 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=18996948 memory=-9103017756334006972 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237315980 19452874752 1134300 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=18996948 memory=-9103017756334006972 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237315982 19452874752 1134300 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 28.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 4537200 KiB
[startup+51.106 s]
/proc/loadavg: 4.47 4.35 4.32 6/328 181249
/proc/meminfo: memFree=85800600/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=19063512 memory=5987372 CPUtime=58.03 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 39972 0 0 0 5657 146 0 0 20 0 20 0 237315975 19521036288 1496843 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4765878 1496843 5529 1 0 2468163 0
[pid=181094/tid=181096] ppid=181091 vsize=19063512 memory=4317280 CPUtime=46.95 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 13487 0 0 0 4596 99 0 0 20 0 20 0 237315977 19521036288 1496843 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=19063512 memory=5834420 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237315980 19521036288 1496843 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=19063512 memory=16368 CPUtime=0 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 237315982 19521036288 1496843 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181249] ppid=181091 vsize=19063512 memory=3104 CPUtime=0 cores=0,2
/proc/181094/task/181249/stat : 181249 (Timer-0) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237320781 19521036288 1496843 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 58.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5987372 KiB
[startup+102.301 s]
/proc/loadavg: 4.40 4.36 4.32 5/329 181251
/proc/meminfo: memFree=77733828/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=19063512 memory=9729936 CPUtime=111.18 cores=0,2
################
# More data... #
################
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237315980 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=19063512 memory=16368 CPUtime=0.01 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 4125 0 0 0 0 1 0 0 20 0 20 0 237315982 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181249] ppid=181091 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/181094/task/181249/stat : 181249 (Timer-0) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237320781 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 3216.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13575404 KiB
[startup+3222.3 s]
/proc/loadavg: 4.48 4.31 4.29 5/327 181433
/proc/meminfo: memFree=34476960/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3277.3 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 361025 0 0 0 325683 2047 0 0 20 0 20 0 237315975 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4765878 3393851 5529 1 0 3408897 0
[pid=181094/tid=181096] ppid=181091 vsize=19063512 memory=22400 CPUtime=3159.29 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 208658 0 0 0 314113 1816 0 0 20 0 20 0 237315977 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237315980 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=19063512 memory=22400 CPUtime=0.01 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 4225 0 0 0 0 1 0 0 20 0 20 0 237315982 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181249] ppid=181091 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/181094/task/181249/stat : 181249 (Timer-0) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237320781 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 3277.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13575404 KiB
[startup+3282.3 s]
/proc/loadavg: 4.27 4.28 4.28 5/328 181440
/proc/meminfo: memFree=34036940/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3337.59 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 365218 0 0 0 331687 2072 0 0 20 0 20 0 237315975 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4765878 3393851 5529 1 0 3408897 0
[pid=181094/tid=181096] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3218.68 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 211595 0 0 0 320030 1838 0 0 20 0 20 0 237315977 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237315980 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=19063512 memory=16368 CPUtime=0.01 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 4315 0 0 0 0 1 0 0 20 0 20 0 237315982 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181249] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0 cores=0,2
/proc/181094/task/181249/stat : 181249 (Timer-0) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237320781 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 3337.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13575404 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.26 4.27 5/328 181442
/proc/meminfo: memFree=33518164/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3397.95 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 369806 0 0 0 337699 2096 0 0 20 0 20 0 237315975 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4765878 3393851 5529 1 0 3408897 0
[pid=181094/tid=181096] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3277.99 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 214830 0 0 0 325939 1860 0 0 20 0 20 0 237315977 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=19063512 memory=6768 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237315980 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=19063512 memory=17436 CPUtime=0.01 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 4365 0 0 0 0 1 0 0 20 0 20 0 237315982 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181249] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0 cores=0,2
/proc/181094/task/181249/stat : 181249 (Timer-0) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237320781 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 3397.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13575404 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.24 4.26 5/328 181444
/proc/meminfo: memFree=33050792/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3458.64 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 373138 0 0 0 343739 2125 0 0 20 0 20 0 237315975 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4765878 3393851 5529 1 0 3408897 0
[pid=181094/tid=181096] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3336.94 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 217032 0 0 0 331809 1885 0 0 20 0 20 0 237315977 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237315980 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=19063512 memory=-9103017756334006972 CPUtime=0.01 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 4452 0 0 0 0 1 0 0 20 0 20 0 237315982 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181249] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0 cores=0,2
/proc/181094/task/181249/stat : 181249 (Timer-0) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237320781 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 3458.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13575404 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.24 4.26 6/327 181446
/proc/meminfo: memFree=32379344/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3519.29 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 379703 0 0 0 349771 2158 0 0 20 0 20 0 237315975 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4765878 3393851 5529 1 0 3408897 0
[pid=181094/tid=181096] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3395.95 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 221632 0 0 0 337680 1915 0 0 20 0 20 0 237315977 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237315980 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0.01 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 4549 0 0 0 0 1 0 0 20 0 20 0 237315982 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181249] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0 cores=0,2
/proc/181094/task/181249/stat : 181249 (Timer-0) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237320781 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 3519.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13575404 KiB
[startup+3522.3 s]
/proc/loadavg: 3.58 4.06 4.20 4/302 181481
/proc/meminfo: memFree=56625584/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3580.52 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 384370 0 0 0 355855 2197 0 0 20 0 20 0 237315975 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4765878 3393851 5529 1 0 3408897 0
[pid=181094/tid=181096] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3454.27 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 225509 0 0 0 343477 1950 0 0 20 0 20 0 237315977 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=19063512 memory=16368 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237315980 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0.01 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 4627 0 0 0 0 1 0 0 20 0 20 0 237315982 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181249] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0 cores=0,2
/proc/181094/task/181249/stat : 181249 (Timer-0) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237320781 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 3580.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13575404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3541.7 s]
/proc/loadavg: 3.41 3.99 4.17 4/302 181482
/proc/meminfo: memFree=56504140/131382116 swapFree=33005528/33010684
[pid=181094] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3600.05 cores=0,2
/proc/181094/stat : 181094 (java) S 181091 181094 180184 0 -1 4194304 385053 0 0 0 357796 2209 0 0 20 0 20 0 237315975 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
/proc/181094/statm: 4765878 3393851 5529 1 0 3408897 0
[pid=181094/tid=181096] ppid=181091 vsize=19063512 memory=13575404 CPUtime=3473.39 cores=0,2
/proc/181094/task/181096/stat : 181096 (java) R 181091 181094 180184 0 -1 4194368 226071 0 0 0 345379 1960 0 0 20 0 20 0 237315977 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181105] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0 cores=0,2
/proc/181094/task/181105/stat : 181105 (Finalizer) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237315980 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181112] ppid=181091 vsize=19063512 memory=13575404 CPUtime=0.01 cores=0,2
/proc/181094/task/181112/stat : 181112 (Common-Cleaner) S 181091 181094 180184 0 -1 4194368 4670 0 0 0 0 1 0 0 20 0 20 0 237315982 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
[pid=181094/tid=181249] ppid=181091 vsize=19063512 memory=16368 CPUtime=0 cores=0,2
/proc/181094/task/181249/stat : 181249 (Timer-0) S 181091 181094 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237320781 19521036288 3393851 18446744073709551615 94685710716928 94685710720624 140730970998608 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94685710728440 94685710729232 94685725589504 140730971003220 140730971003364 140730971003364 140730971008968 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13575404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3541.84 s]
# the end of solver process 181094 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3578.12 s, system=22.1376 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3541.81 s]*
/proc/loadavg: 3.41 3.99 4.17 4/283 181485
/proc/meminfo: memFree=57569896/131382116 swapFree=33005528/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): 3541.84
CPU time (s): 3600.26
CPU user time (s): 3578.12
CPU system time (s): 22.1376
CPU usage (%): 101.649
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 13575404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.12
system time used= 22.1376
maximum resident set size= 13576300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388348
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21951424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120738
involuntary context switches= 13709
# summary of solver processes directly reported to runsolver:
# pid: 181094
# total CPU time (s): 3600.26
# total CPU user time (s): 3578.12
# total CPU system time (s): 22.1376
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4865 second user time and 38.0181 second system time
The end