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: 63931 MiB (62725 MiB free)
memory of node 1: 64510 MiB (63824 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424449-1720874154/watcher-4424449-1720874154 -o /tmp/evaluation-result-4424449-1720874154/solver-4424449-1720874154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1720874164-703830 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424449-1720874154.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=704056, runsolver pid=704053
[startup+0.100361 s]*
/proc/loadavg: 0.09 0.09 0.09 7/311 704075
/proc/meminfo: memFree=129529380/131524600 swapFree=131071996/131071996
[pid=704056] ppid=704053 vsize=18975048 memory=65048 CPUtime=0.13 cores=1,3
/proc/704056/stat : 704056 (java) S 704053 704056 703818 0 -1 1077936128 7045 0 0 0 11 2 0 0 20 0 18 0 139580292 19430449152 16262 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
/proc/704056/statm: 4743762 16262 5766 1 0 549317 0
[pid=704056/tid=704058] ppid=704053 vsize=18975048 memory=4026532157 CPUtime=0.07 cores=1,3
/proc/704056/task/704058/stat : 704058 (java) R 704053 704056 703818 0 -1 1077936192 5628 0 0 0 6 1 0 0 20 0 18 0 139580292 19430449152 16262 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704067] ppid=704053 vsize=18975048 memory=215671374179 CPUtime=0 cores=1,3
/proc/704056/task/704067/stat : 704067 (Finalizer) S 704053 704056 703818 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139580295 19430449152 16262 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704074] ppid=704053 vsize=18975048 memory=14418102955825768 CPUtime=0 cores=1,3
/proc/704056/task/704074/stat : 704074 (Common-Cleaner) S 704053 704056 703818 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 139580296 19430449152 16262 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65048 KiB
[startup+0.206757 s]*
/proc/loadavg: 0.09 0.09 0.09 11/333 704102
/proc/meminfo: memFree=129471808/131524600 swapFree=131071996/131071996
[pid=704056] ppid=704053 vsize=18975048 memory=77764 CPUtime=0.32 cores=1,3
/proc/704056/stat : 704056 (java) S 704053 704056 703818 0 -1 1077936128 7636 0 0 0 30 2 0 0 20 0 18 0 139580292 19430449152 19441 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
/proc/704056/statm: 4743762 19441 5836 1 0 549716 0
[pid=704056/tid=704058] ppid=704053 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/704056/task/704058/stat : 704058 (java) R 704053 704056 703818 0 -1 4194368 5933 0 0 0 16 2 0 0 20 0 18 0 139580292 19430449152 19441 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704067] ppid=704053 vsize=18975048 memory=17986 CPUtime=0 cores=1,3
/proc/704056/task/704067/stat : 704067 (Finalizer) S 704053 704056 703818 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139580295 19430449152 19441 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704074] ppid=704053 vsize=18975048 memory=13855165887284967 CPUtime=0 cores=1,3
/proc/704056/task/704074/stat : 704074 (Common-Cleaner) S 704053 704056 703818 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 139580296 19430449152 19441 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 77764 KiB
[startup+0.312759 s]*
/proc/loadavg: 0.09 0.09 0.09 13/334 704103
/proc/meminfo: memFree=129367012/131524600 swapFree=131071996/131071996
[pid=704056] ppid=704053 vsize=19041612 memory=165260 CPUtime=0.53 cores=1,3
/proc/704056/stat : 704056 (java) S 704053 704056 703818 0 -1 1077936128 9068 0 0 0 48 5 0 0 20 0 19 0 139580292 19498610688 41315 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
/proc/704056/statm: 4760403 41315 5851 1 0 550808 0
[pid=704056/tid=704058] ppid=704053 vsize=19041612 memory=-9103299218559640252 CPUtime=0.26 cores=1,3
/proc/704056/task/704058/stat : 704058 (java) R 704053 704056 703818 0 -1 4194368 5984 0 0 0 23 3 0 0 20 0 19 0 139580292 19498610688 41315 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704067] ppid=704053 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/704056/task/704067/stat : 704067 (Finalizer) S 704053 704056 703818 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139580295 19498610688 41315 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704074] ppid=704053 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/704056/task/704074/stat : 704074 (Common-Cleaner) S 704053 704056 703818 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 139580296 19498610688 41315 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 165260 KiB
[startup+0.70076 s]
/proc/loadavg: 0.09 0.09 0.09 11/335 704104
/proc/meminfo: memFree=128963852/131524600 swapFree=131071996/131071996
[pid=704056] ppid=704053 vsize=19041612 memory=670252 CPUtime=1.26 cores=1,3
/proc/704056/stat : 704056 (java) S 704053 704056 703818 0 -1 1077936128 13790 0 0 0 110 16 0 0 20 0 19 0 139580292 19498610688 167563 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
/proc/704056/statm: 4760403 167563 5851 1 0 553095 0
[pid=704056/tid=704058] ppid=704053 vsize=19041612 memory=35028 CPUtime=0.6 cores=1,3
/proc/704056/task/704058/stat : 704058 (java) R 704053 704056 703818 0 -1 4194368 6219 0 0 0 47 13 0 0 20 0 19 0 139580292 19498610688 167563 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704067] ppid=704053 vsize=19041612 memory=13072 CPUtime=0 cores=1,3
/proc/704056/task/704067/stat : 704067 (Finalizer) S 704053 704056 703818 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139580295 19498610688 167563 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704074] ppid=704053 vsize=19041612 memory=2280 CPUtime=0 cores=1,3
/proc/704056/task/704074/stat : 704074 (Common-Cleaner) S 704053 704056 703818 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 139580296 19498610688 167563 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 670252 KiB
[startup+1.50076 s]
/proc/loadavg: 0.09 0.09 0.09 9/335 704104
/proc/meminfo: memFree=126923708/131524600 swapFree=131071996/131071996
[pid=704056] ppid=704053 vsize=19041612 memory=3250584 CPUtime=2.69 cores=1,3
/proc/704056/stat : 704056 (java) S 704053 704056 703818 0 -1 1077936128 23672 0 0 0 200 69 0 0 20 0 19 0 139580292 19498610688 812646 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
/proc/704056/statm: 4760403 812646 5851 1 0 1083760 0
[pid=704056/tid=704058] ppid=704053 vsize=19041612 memory=13072 CPUtime=1.36 cores=1,3
/proc/704056/task/704058/stat : 704058 (java) S 704053 704056 703818 0 -1 1077936192 7459 0 0 0 72 64 0 0 20 0 19 0 139580292 19498610688 812646 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704067] ppid=704053 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/704056/task/704067/stat : 704067 (Finalizer) S 704053 704056 703818 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139580295 19498610688 812646 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704074] ppid=704053 vsize=19041612 memory=33 CPUtime=0 cores=1,3
/proc/704056/task/704074/stat : 704074 (Common-Cleaner) S 704053 704056 703818 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 139580296 19498610688 812646 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3250584 KiB
[startup+3.10884 s]
/proc/loadavg: 0.64 0.20 0.13 7/336 704105
/proc/meminfo: memFree=123149292/131524600 swapFree=131071996/131071996
[pid=704056] ppid=704053 vsize=19108176 memory=3253700 CPUtime=4.6 cores=1,3
/proc/704056/stat : 704056 (java) S 704053 704056 703818 0 -1 1077936128 23996 0 0 0 391 69 0 0 20 0 20 0 139580292 19566772224 813425 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
/proc/704056/statm: 4777044 813425 5888 1 0 1084203 0
[pid=704056/tid=704058] ppid=704053 vsize=19108176 memory=33 CPUtime=2.9 cores=1,3
/proc/704056/task/704058/stat : 704058 (java) R 704053 704056 703818 0 -1 4194368 7576 0 0 0 226 64 0 0 20 0 20 0 139580292 19566772224 813425 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704067] ppid=704053 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/704056/task/704067/stat : 704067 (Finalizer) S 704053 704056 703818 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139580295 19566772224 813425 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704074] ppid=704053 vsize=19108176 memory=13072 CPUtime=0 cores=1,3
/proc/704056/task/704074/stat : 704074 (Common-Cleaner) S 704053 704056 703818 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139580296 19566772224 813425 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704105] ppid=704053 vsize=19108176 memory=5516 CPUtime=0 cores=1,3
/proc/704056/task/704105/stat : 704105 (Timer-0) S 704053 704056 703818 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139580586 19566772224 813425 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
Current children cumulated CPU time: 4.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3253700 KiB
[startup+6.30031 s]
/proc/loadavg: 0.64 0.20 0.13 5/336 704105
/proc/meminfo: memFree=120950548/131524600 swapFree=131071996/131071996
[pid=704056] ppid=704053 vsize=19108176 memory=3245452 CPUtime=9.07 cores=1,3
/proc/704056/stat : 704056 (java) S 704053 704056 703818 0 -1 1077936128 24361 0 0 0 837 70 0 0 20 0 20 0 139580292 19566772224 811363 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
/proc/704056/statm: 4777044 811363 5888 1 0 1084256 0
[pid=704056/tid=704058] ppid=704053 vsize=19108176 memory=33 CPUtime=6.02 cores=1,3
/proc/704056/task/704058/stat : 704058 (java) R 704053 704056 703818 0 -1 4194368 7660 0 0 0 538 64 0 0 20 0 20 0 139580292 19566772224 811363 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704067] ppid=704053 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/704056/task/704067/stat : 704067 (Finalizer) S 704053 704056 703818 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139580295 19566772224 811363 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704074] ppid=704053 vsize=19108176 memory=5516 CPUtime=0 cores=1,3
/proc/704056/task/704074/stat : 704074 (Common-Cleaner) S 704053 704056 703818 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139580296 19566772224 811363 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704105] ppid=704053 vsize=19108176 memory=-8960028455413916348 CPUtime=0 cores=1,3
/proc/704056/task/704105/stat : 704105 (Timer-0) S 704053 704056 703818 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139580586 19566772224 811363 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
Current children cumulated CPU time: 9.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3245452 KiB
[startup+12.7003 s]
/proc/loadavg: 1.16 0.33 0.17 7/336 704174
/proc/meminfo: memFree=121168876/131524600 swapFree=131071996/131071996
[pid=704056] ppid=704053 vsize=19108176 memory=3245460 CPUtime=15.94 cores=1,3
/proc/704056/stat : 704056 (java) S 704053 704056 703818 0 -1 1077936128 24663 0 0 0 1524 70 0 0 20 0 20 0 139580292 19566772224 811365 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
/proc/704056/statm: 4777044 811365 5888 1 0 1084256 0
[pid=704056/tid=704058] ppid=704053 vsize=19108176 memory=33 CPUtime=12.4 cores=1,3
/proc/704056/task/704058/stat : 704058 (java) R 704053 704056 703818 0 -1 4194368 7883 0 0 0 1176 64 0 0 20 0 20 0 139580292 19566772224 811365 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704067] ppid=704053 vsize=19108176 memory=3245460 CPUtime=0 cores=1,3
/proc/704056/task/704067/stat : 704067 (Finalizer) S 704053 704056 703818 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139580295 19566772224 811365 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704074] ppid=704053 vsize=19108176 memory=11436 CPUtime=0 cores=1,3
/proc/704056/task/704074/stat : 704074 (Common-Cleaner) S 704053 704056 703818 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139580296 19566772224 811365 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704105] ppid=704053 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/704056/task/704105/stat : 704105 (Timer-0) S 704053 704056 703818 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139580586 19566772224 811365 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
Current children cumulated CPU time: 15.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3245460 KiB
[startup+25.5003 s]
/proc/loadavg: 1.67 0.47 0.22 5/336 704175
/proc/meminfo: memFree=120614392/131524600 swapFree=131071996/131071996
[pid=704056] ppid=704053 vsize=19108176 memory=3246264 CPUtime=29.13 cores=1,3
/proc/704056/stat : 704056 (java) S 704053 704056 703818 0 -1 1077936128 31017 0 0 0 2842 71 0 0 20 0 20 0 139580292 19566772224 811566 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
/proc/704056/statm: 4777044 811566 5904 1 0 1084256 0
[pid=704056/tid=704058] ppid=704053 vsize=19108176 memory=33 CPUtime=25.13 cores=1,3
/proc/704056/task/704058/stat : 704058 (java) R 704053 704056 703818 0 -1 4194368 8438 0 0 0 2449 64 0 0 20 0 20 0 139580292 19566772224 811566 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704067] ppid=704053 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/704056/task/704067/stat : 704067 (Finalizer) S 704053 704056 703818 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139580295 19566772224 811566 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704074] ppid=704053 vsize=19108176 memory=3246160 CPUtime=0 cores=1,3
/proc/704056/task/704074/stat : 704074 (Common-Cleaner) S 704053 704056 703818 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 139580296 19566772224 811566 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704105] ppid=704053 vsize=19108176 memory=2683 CPUtime=0 cores=1,3
/proc/704056/task/704105/stat : 704105 (Timer-0) S 704053 704056 703818 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139580586 19566772224 811566 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
Current children cumulated CPU time: 29.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3246264 KiB
[startup+51.1065 s]
/proc/loadavg: 2.52 0.77 0.32 5/336 704180
/proc/meminfo: memFree=120515384/131524600 swapFree=131071996/131071996
[pid=704056] ppid=704053 vsize=19108176 memory=3246964 CPUtime=55.44 cores=1,3
/proc/704056/stat : 704056 (java) S 704053 704056 703818 0 -1 1077936128 43204 0 0 0 5471 73 0 0 20 0 20 0 139580292 19566772224 811741 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
/proc/704056/statm: 4777044 811741 5904 1 0 1084881 0
[pid=704056/tid=704058] ppid=704053 vsize=19108176 memory=13072 CPUtime=50.64 cores=1,3
/proc/704056/task/704058/stat : 704058 (java) R 704053 704056 703818 0 -1 4194368 10173 0 0 0 4999 65 0 0 20 0 20 0 139580292 19566772224 811741 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704067] ppid=704053 vsize=19108176 memory=3246960 CPUtime=0 cores=1,3
/proc/704056/task/704067/stat : 704067 (Finalizer) S 704053 704056 703818 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139580295 19566772224 811741 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704074] ppid=704053 vsize=19108176 memory=3246952 CPUtime=0 cores=1,3
/proc/704056/task/704074/stat : 704074 (Common-Cleaner) S 704053 704056 703818 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 139580296 19566772224 811741 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704105] ppid=704053 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/704056/task/704105/stat : 704105 (Timer-0) S 704053 704056 703818 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139580586 19566772224 811741 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
################
# More data... #
################
/proc/meminfo: memFree=116506700/131524600 swapFree=131071996/131071996
[pid=704056] ppid=704053 vsize=19174740 memory=4274132 CPUtime=3279.71 cores=1,3
/proc/704056/stat : 704056 (java) S 704053 704056 703818 0 -1 1077936128 283635 0 0 0 327706 265 0 0 20 0 21 0 139580292 19634933760 1068533 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
/proc/704056/statm: 4793685 1068533 5920 1 0 1086940 0
[pid=704056/tid=704058] ppid=704053 vsize=19174740 memory=4274056 CPUtime=3256.9 cores=1,3
/proc/704056/task/704058/stat : 704058 (java) R 704053 704056 703818 0 -1 4194368 120769 0 0 0 325603 87 0 0 20 0 21 0 139580292 19634933760 1068533 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704067] ppid=704053 vsize=19174740 memory=4207304 CPUtime=0 cores=1,3
/proc/704056/task/704067/stat : 704067 (Finalizer) S 704053 704056 703818 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139580295 19634933760 1068533 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704074] ppid=704053 vsize=19174740 memory=11436 CPUtime=0 cores=1,3
/proc/704056/task/704074/stat : 704074 (Common-Cleaner) S 704053 704056 703818 0 -1 1077936192 5416 0 0 0 0 0 0 0 20 0 21 0 139580296 19634933760 1068533 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704105] ppid=704053 vsize=19174740 memory=4274132 CPUtime=0 cores=1,3
/proc/704056/task/704105/stat : 704105 (Timer-0) S 704053 704056 703818 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 139580586 19634933760 1068533 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
Current children cumulated CPU time: 3279.71 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4274132 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.20 4.07 5/335 705964
/proc/meminfo: memFree=116496068/131524600 swapFree=131071996/131071996
[pid=704056] ppid=704053 vsize=19174740 memory=4274184 CPUtime=3339.28 cores=1,3
/proc/704056/stat : 704056 (java) S 704053 704056 703818 0 -1 1077936128 289200 0 0 0 333660 268 0 0 20 0 21 0 139580292 19634933760 1068546 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
/proc/704056/statm: 4793685 1068546 5920 1 0 1086940 0
[pid=704056/tid=704058] ppid=704053 vsize=19174740 memory=4207304 CPUtime=3316.08 cores=1,3
/proc/704056/task/704058/stat : 704058 (java) R 704053 704056 703818 0 -1 4194368 124076 0 0 0 331520 88 0 0 20 0 21 0 139580292 19634933760 1068546 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704067] ppid=704053 vsize=19174740 memory=11436 CPUtime=0 cores=1,3
/proc/704056/task/704067/stat : 704067 (Finalizer) S 704053 704056 703818 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139580295 19634933760 1068546 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704074] ppid=704053 vsize=19174740 memory=4274132 CPUtime=0 cores=1,3
/proc/704056/task/704074/stat : 704074 (Common-Cleaner) S 704053 704056 703818 0 -1 1077936192 5540 0 0 0 0 0 0 0 20 0 21 0 139580296 19634933760 1068546 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704105] ppid=704053 vsize=19174740 memory=4274132 CPUtime=0 cores=1,3
/proc/704056/task/704105/stat : 704105 (Timer-0) S 704053 704056 703818 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 139580586 19634933760 1068546 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
Current children cumulated CPU time: 3339.28 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4274184 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.16 4.07 5/335 705974
/proc/meminfo: memFree=116487400/131524600 swapFree=131071996/131071996
[pid=704056] ppid=704053 vsize=19174740 memory=4274272 CPUtime=3399.41 cores=1,3
/proc/704056/stat : 704056 (java) S 704053 704056 703818 0 -1 1077936128 292391 0 0 0 339670 271 0 0 20 0 21 0 139580292 19634933760 1068568 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
/proc/704056/statm: 4793685 1068568 5920 1 0 1086940 0
[pid=704056/tid=704058] ppid=704053 vsize=19174740 memory=5516 CPUtime=3375.71 cores=1,3
/proc/704056/task/704058/stat : 704058 (java) R 704053 704056 703818 0 -1 4194368 126452 0 0 0 337483 88 0 0 20 0 21 0 139580292 19634933760 1068568 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704067] ppid=704053 vsize=19174740 memory=4274184 CPUtime=0 cores=1,3
/proc/704056/task/704067/stat : 704067 (Finalizer) S 704053 704056 703818 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139580295 19634933760 1068568 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704074] ppid=704053 vsize=19174740 memory=5516 CPUtime=0 cores=1,3
/proc/704056/task/704074/stat : 704074 (Common-Cleaner) S 704053 704056 703818 0 -1 1077936192 5610 0 0 0 0 0 0 0 20 0 21 0 139580296 19634933760 1068568 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704105] ppid=704053 vsize=19174740 memory=4274268 CPUtime=0 cores=1,3
/proc/704056/task/704105/stat : 704105 (Timer-0) S 704053 704056 703818 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 139580586 19634933760 1068568 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
Current children cumulated CPU time: 3399.41 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4274272 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.16 4.07 5/335 705985
/proc/meminfo: memFree=116480780/131524600 swapFree=131071996/131071996
[pid=704056] ppid=704053 vsize=19174740 memory=4274276 CPUtime=3459.37 cores=1,3
/proc/704056/stat : 704056 (java) S 704053 704056 703818 0 -1 1077936128 296749 0 0 0 345663 274 0 0 20 0 21 0 139580292 19634933760 1068569 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
/proc/704056/statm: 4793685 1068569 5920 1 0 1086941 0
[pid=704056/tid=704058] ppid=704053 vsize=19174740 memory=4274184 CPUtime=3435.43 cores=1,3
/proc/704056/task/704058/stat : 704058 (java) R 704053 704056 703818 0 -1 4194368 128908 0 0 0 343454 89 0 0 20 0 21 0 139580292 19634933760 1068569 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704067] ppid=704053 vsize=19174740 memory=5516 CPUtime=0 cores=1,3
/proc/704056/task/704067/stat : 704067 (Finalizer) S 704053 704056 703818 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139580295 19634933760 1068569 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704074] ppid=704053 vsize=19174740 memory=4274276 CPUtime=0 cores=1,3
/proc/704056/task/704074/stat : 704074 (Common-Cleaner) S 704053 704056 703818 0 -1 1077936192 5682 0 0 0 0 0 0 0 20 0 21 0 139580296 19634933760 1068569 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704105] ppid=704053 vsize=19174740 memory=4274276 CPUtime=0 cores=1,3
/proc/704056/task/704105/stat : 704105 (Timer-0) S 704053 704056 703818 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 139580586 19634933760 1068569 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
Current children cumulated CPU time: 3459.37 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4274276 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.07 5/335 705996
/proc/meminfo: memFree=116469952/131524600 swapFree=131071996/131071996
[pid=704056] ppid=704053 vsize=19174740 memory=4278632 CPUtime=3521.38 cores=1,3
/proc/704056/stat : 704056 (java) S 704053 704056 703818 0 -1 1077936128 313055 0 0 0 351858 280 0 0 20 0 21 0 139580292 19634933760 1069658 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
/proc/704056/statm: 4793685 1069658 5920 1 0 1086955 0
[pid=704056/tid=704058] ppid=704053 vsize=19174740 memory=4274276 CPUtime=3494.5 cores=1,3
/proc/704056/task/704058/stat : 704058 (java) R 704053 704056 703818 0 -1 4194368 130888 0 0 0 349361 89 0 0 20 0 21 0 139580292 19634933760 1069658 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704067] ppid=704053 vsize=19174740 memory=4274276 CPUtime=0 cores=1,3
/proc/704056/task/704067/stat : 704067 (Finalizer) S 704053 704056 703818 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139580295 19634933760 1069658 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704074] ppid=704053 vsize=19174740 memory=4278632 CPUtime=0 cores=1,3
/proc/704056/task/704074/stat : 704074 (Common-Cleaner) S 704053 704056 703818 0 -1 1077936192 5720 0 0 0 0 0 0 0 20 0 21 0 139580296 19634933760 1069658 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704105] ppid=704053 vsize=19174740 memory=11436 CPUtime=0 cores=1,3
/proc/704056/task/704105/stat : 704105 (Timer-0) S 704053 704056 703818 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 139580586 19634933760 1069658 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
Current children cumulated CPU time: 3521.38 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4278632 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.07 5/332 706007
/proc/meminfo: memFree=116463572/131524600 swapFree=131071996/131071996
[pid=704056] ppid=704053 vsize=19174740 memory=4278644 CPUtime=3580.86 cores=1,3
/proc/704056/stat : 704056 (java) S 704053 704056 703818 0 -1 1077936128 316462 0 0 0 357803 283 0 0 20 0 21 0 139580292 19634933760 1069661 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
/proc/704056/statm: 4793685 1069661 5920 1 0 1086955 0
[pid=704056/tid=704058] ppid=704053 vsize=19174740 memory=4278632 CPUtime=3553.82 cores=1,3
/proc/704056/task/704058/stat : 704058 (java) R 704053 704056 703818 0 -1 4194368 132736 0 0 0 355292 90 0 0 20 0 21 0 139580292 19634933760 1069661 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704067] ppid=704053 vsize=19174740 memory=11436 CPUtime=0 cores=1,3
/proc/704056/task/704067/stat : 704067 (Finalizer) S 704053 704056 703818 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139580295 19634933760 1069661 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704074] ppid=704053 vsize=19174740 memory=19060 CPUtime=0 cores=1,3
/proc/704056/task/704074/stat : 704074 (Common-Cleaner) S 704053 704056 703818 0 -1 1077936192 5845 0 0 0 0 0 0 0 20 0 21 0 139580296 19634933760 1069661 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704105] ppid=704053 vsize=19174740 memory=4278644 CPUtime=0 cores=1,3
/proc/704056/task/704105/stat : 704105 (Timer-0) S 704053 704056 703818 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 139580586 19634933760 1069661 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
Current children cumulated CPU time: 3580.86 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4278644 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3601.5 s]
/proc/loadavg: 4.06 4.12 4.07 5/332 706010
/proc/meminfo: memFree=116461492/131524600 swapFree=131071996/131071996
[pid=704056] ppid=704053 vsize=19174740 memory=4278644 CPUtime=3600.01 cores=1,3
/proc/704056/stat : 704056 (java) S 704053 704056 703818 0 -1 1077936128 318237 0 0 0 359718 283 0 0 20 0 21 0 139580292 19634933760 1069661 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
/proc/704056/statm: 4793685 1069661 5920 1 0 1086955 0
[pid=704056/tid=704058] ppid=704053 vsize=19174740 memory=11436 CPUtime=3572.96 cores=1,3
/proc/704056/task/704058/stat : 704058 (java) R 704053 704056 703818 0 -1 4194368 134441 0 0 0 357206 90 0 0 20 0 21 0 139580292 19634933760 1069661 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704067] ppid=704053 vsize=19174740 memory=39296 CPUtime=0 cores=1,3
/proc/704056/task/704067/stat : 704067 (Finalizer) S 704053 704056 703818 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139580295 19634933760 1069661 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704074] ppid=704053 vsize=19174740 memory=-8960028455413916348 CPUtime=0 cores=1,3
/proc/704056/task/704074/stat : 704074 (Common-Cleaner) S 704053 704056 703818 0 -1 1077936192 5845 0 0 0 0 0 0 0 20 0 21 0 139580296 19634933760 1069661 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704105] ppid=704053 vsize=19174740 memory=4278644 CPUtime=0 cores=1,3
/proc/704056/task/704105/stat : 704105 (Timer-0) S 704053 704056 703818 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 139580586 19634933760 1069661 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4278644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3601.58 s]
# the end of solver process 704056 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.3 s, system=2.8566 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3601.5 s]
/proc/loadavg: 4.06 4.12 4.07 5/332 706010
/proc/meminfo: memFree=116461492/131524600 swapFree=131071996/131071996
[pid=704056] ppid=704053 vsize=19174740 memory=4278644 CPUtime=3600.01 cores=1,3
/proc/704056/stat : 704056 (java) S 704053 704056 703818 0 -1 1077936128 318237 0 0 0 359718 283 0 0 20 0 21 0 139580292 19634933760 1069661 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
/proc/704056/statm: 4793685 1069661 5920 1 0 1086955 0
[pid=704056/tid=704058] ppid=704053 vsize=19174740 memory=11436 CPUtime=3572.96 cores=1,3
/proc/704056/task/704058/stat : 704058 (java) R 704053 704056 703818 0 -1 4194368 134441 0 0 0 357206 90 0 0 20 0 21 0 139580292 19634933760 1069661 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704067] ppid=704053 vsize=19174740 memory=39296 CPUtime=0 cores=1,3
/proc/704056/task/704067/stat : 704067 (Finalizer) S 704053 704056 703818 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139580295 19634933760 1069661 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704074] ppid=704053 vsize=19174740 memory=-8960028455413916348 CPUtime=0 cores=1,3
/proc/704056/task/704074/stat : 704074 (Common-Cleaner) S 704053 704056 703818 0 -1 1077936192 5845 0 0 0 0 0 0 0 20 0 21 0 139580296 19634933760 1069661 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
[pid=704056/tid=704105] ppid=704053 vsize=19174740 memory=4278644 CPUtime=0 cores=1,3
/proc/704056/task/704105/stat : 704105 (Timer-0) S 704053 704056 703818 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 139580586 19634933760 1069661 134679101440 94229436026880 94229436030576 140724613335520 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94229436038392 94229436039184 94229444390912 140724613342166 140724613342279 140724613342279 140724613349320 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4278644 KiB
Child status: 143
Real time (s): 3601.58
CPU time (s): 3600.16
CPU user time (s): 3597.3
CPU system time (s): 2.8566
CPU usage (%): 99.9605
Max. virtual memory (cumulated for all children) (KiB): 19174740
Max. memory (cumulated for all children) (KiB): 4278644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.3
system time used= 2.85659
maximum resident set size= 4280172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322265
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109189
involuntary context switches= 17583
# summary of solver processes directly reported to runsolver:
# pid: 704056
# total CPU time (s): 3600.16
# total CPU user time (s): 3597.3
# total CPU system time (s): 2.8566
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.92095 second user time and 19.6438 second system time
The end