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: 63968 MiB (61223 MiB free)
memory of node 1: 64473 MiB (62416 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446011-1721329959/watcher-4446011-1721329959 -o /tmp/evaluation-result-4446011-1721329959/solver-4446011-1721329959 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721329969-971067 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4446011-1721329959.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=971319, runsolver pid=971316
[startup+0.101151 s]*
/proc/loadavg: 4.44 4.17 4.11 8/330 971337
/proc/meminfo: memFree=126473376/131524600 swapFree=131071996/131071996
[pid=971319] ppid=971316 vsize=18975048 memory=66572 CPUtime=0.14 cores=1,3
/proc/971319/stat : 971319 (java) S 971316 971319 971055 0 -1 1077936128 7096 0 0 0 12 2 0 0 20 0 18 0 185162649 19430449152 16643 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
/proc/971319/statm: 4743762 16643 5627 1 0 549373 0
[pid=971319/tid=971321] ppid=971316 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/971319/task/971321/stat : 971321 (java) R 971316 971319 971055 0 -1 1078198336 5658 0 0 0 7 1 0 0 20 0 18 0 185162649 19430449152 16643 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971330] ppid=971316 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/971319/task/971330/stat : 971330 (Finalizer) S 971316 971319 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 185162652 19430449152 16643 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971337] ppid=971316 vsize=18975048 memory=14408228826018639 CPUtime=0 cores=1,3
/proc/971319/task/971337/stat : 971337 (Common-Cleaner) S 971316 971319 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 185162652 19430449152 16643 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66572 KiB
[startup+0.212313 s]*
/proc/loadavg: 4.44 4.17 4.11 9/330 971337
/proc/meminfo: memFree=126313020/131524600 swapFree=131071996/131071996
[pid=971319] ppid=971316 vsize=19041612 memory=168140 CPUtime=0.34 cores=1,3
/proc/971319/stat : 971319 (java) S 971316 971319 971055 0 -1 1077936128 7751 0 0 0 30 4 0 0 20 0 19 0 185162649 19498610688 42035 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
/proc/971319/statm: 4760403 42035 5851 1 0 549982 0
[pid=971319/tid=971321] ppid=971316 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/971319/task/971321/stat : 971321 (java) S 971316 971319 971055 0 -1 1077936192 5987 0 0 0 15 3 0 0 20 0 19 0 185162649 19498610688 42035 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971330] ppid=971316 vsize=19041612 memory=2643 CPUtime=0 cores=1,3
/proc/971319/task/971330/stat : 971330 (Finalizer) S 971316 971319 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185162652 19498610688 42035 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971337] ppid=971316 vsize=19041612 memory=14126753849280249 CPUtime=0 cores=1,3
/proc/971319/task/971337/stat : 971337 (Common-Cleaner) S 971316 971319 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185162652 19498610688 42035 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 168140 KiB
[startup+0.305921 s]*
/proc/loadavg: 4.44 4.17 4.11 7/331 971338
/proc/meminfo: memFree=126210432/131524600 swapFree=131071996/131071996
[pid=971319] ppid=971316 vsize=19041612 memory=200224 CPUtime=0.5 cores=1,3
/proc/971319/stat : 971319 (java) S 971316 971319 971055 0 -1 1077936128 8129 0 0 0 46 4 0 0 20 0 19 0 185162649 19498610688 50056 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
/proc/971319/statm: 4760403 50056 5867 1 0 550239 0
[pid=971319/tid=971321] ppid=971316 vsize=19041612 memory=-8744978287439422140 CPUtime=0.26 cores=1,3
/proc/971319/task/971321/stat : 971321 (java) R 971316 971319 971055 0 -1 4194368 6003 0 0 0 23 3 0 0 20 0 19 0 185162649 19498610688 50056 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971330] ppid=971316 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/971319/task/971330/stat : 971330 (Finalizer) S 971316 971319 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185162652 19498610688 50056 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971337] ppid=971316 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/971319/task/971337/stat : 971337 (Common-Cleaner) S 971316 971319 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185162652 19498610688 50056 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 200224 KiB
[startup+0.700919 s]
/proc/loadavg: 4.44 4.17 4.11 9/331 971338
/proc/meminfo: memFree=125413352/131524600 swapFree=131071996/131071996
[pid=971319] ppid=971316 vsize=19041612 memory=1314392 CPUtime=1.22 cores=1,3
/proc/971319/stat : 971319 (java) S 971316 971319 971055 0 -1 1077936128 15497 0 0 0 95 27 0 0 20 0 19 0 185162649 19498610688 328598 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
/proc/971319/statm: 4760403 328598 5883 1 0 553339 0
[pid=971319/tid=971321] ppid=971316 vsize=19041612 memory=5544 CPUtime=0.64 cores=1,3
/proc/971319/task/971321/stat : 971321 (java) R 971316 971319 971055 0 -1 4194368 6547 0 0 0 39 25 0 0 20 0 19 0 185162649 19498610688 328598 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971330] ppid=971316 vsize=19041612 memory=12504 CPUtime=0 cores=1,3
/proc/971319/task/971330/stat : 971330 (Finalizer) S 971316 971319 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185162652 19498610688 328598 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971337] ppid=971316 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/971319/task/971337/stat : 971337 (Common-Cleaner) S 971316 971319 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185162652 19498610688 328598 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1314392 KiB
[startup+1.50093 s]
/proc/loadavg: 4.44 4.17 4.11 8/331 971338
/proc/meminfo: memFree=124743372/131524600 swapFree=131071996/131071996
[pid=971319] ppid=971316 vsize=19041612 memory=1331164 CPUtime=2.81 cores=1,3
/proc/971319/stat : 971319 (java) S 971316 971319 971055 0 -1 1077936128 22542 0 0 0 252 29 0 0 20 0 19 0 185162649 19498610688 332791 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
/proc/971319/statm: 4760403 332791 5883 1 0 557467 0
[pid=971319/tid=971321] ppid=971316 vsize=19041612 memory=12504 CPUtime=1.42 cores=1,3
/proc/971319/task/971321/stat : 971321 (java) R 971316 971319 971055 0 -1 4194368 6548 0 0 0 117 25 0 0 20 0 19 0 185162649 19498610688 332791 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971330] ppid=971316 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/971319/task/971330/stat : 971330 (Finalizer) S 971316 971319 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185162652 19498610688 332791 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971337] ppid=971316 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/971319/task/971337/stat : 971337 (Common-Cleaner) S 971316 971319 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185162652 19498610688 332791 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1331164 KiB
[startup+3.10571 s]
/proc/loadavg: 4.44 4.17 4.11 5/331 971338
/proc/meminfo: memFree=123007596/131524600 swapFree=131071996/131071996
[pid=971319] ppid=971316 vsize=19041612 memory=2237108 CPUtime=4.9 cores=1,3
/proc/971319/stat : 971319 (java) S 971316 971319 971055 0 -1 1077936128 23723 0 0 0 444 46 0 0 20 0 19 0 185162649 19498610688 559277 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
/proc/971319/statm: 4760403 559277 5899 1 0 787241 0
[pid=971319/tid=971321] ppid=971316 vsize=19041612 memory=0 CPUtime=2.98 cores=1,3
/proc/971319/task/971321/stat : 971321 (java) R 971316 971319 971055 0 -1 4194368 7074 0 0 0 256 42 0 0 20 0 19 0 185162649 19498610688 559277 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971330] ppid=971316 vsize=19041612 memory=12504 CPUtime=0 cores=1,3
/proc/971319/task/971330/stat : 971330 (Finalizer) S 971316 971319 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185162652 19498610688 559277 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971337] ppid=971316 vsize=19041612 memory=1333212 CPUtime=0 cores=1,3
/proc/971319/task/971337/stat : 971337 (Common-Cleaner) S 971316 971319 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185162652 19498610688 559277 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
Current children cumulated CPU time: 4.9 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2237108 KiB
[startup+6.30026 s]
/proc/loadavg: 4.40 4.16 4.11 5/331 971338
/proc/meminfo: memFree=121766820/131524600 swapFree=131071996/131071996
[pid=971319] ppid=971316 vsize=19041612 memory=2750176 CPUtime=8.15 cores=1,3
/proc/971319/stat : 971319 (java) S 971316 971319 971055 0 -1 1077936128 24678 0 0 0 757 58 0 0 20 0 19 0 185162649 19498610688 687544 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
/proc/971319/statm: 4760403 687544 5899 1 0 920936 0
[pid=971319/tid=971321] ppid=971316 vsize=19041612 memory=0 CPUtime=6.05 cores=1,3
/proc/971319/task/971321/stat : 971321 (java) R 971316 971319 971055 0 -1 4194368 7664 0 0 0 553 52 0 0 20 0 19 0 185162649 19498610688 687544 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971330] ppid=971316 vsize=19041612 memory=1331164 CPUtime=0 cores=1,3
/proc/971319/task/971330/stat : 971330 (Finalizer) S 971316 971319 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185162652 19498610688 687544 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971337] ppid=971316 vsize=19041612 memory=228489167166 CPUtime=0 cores=1,3
/proc/971319/task/971337/stat : 971337 (Common-Cleaner) S 971316 971319 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185162652 19498610688 687544 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
Current children cumulated CPU time: 8.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2750176 KiB
[startup+12.7009 s]
/proc/loadavg: 4.37 4.16 4.11 7/331 971339
/proc/meminfo: memFree=120658916/131524600 swapFree=131071996/131071996
[pid=971319] ppid=971316 vsize=19041612 memory=3264172 CPUtime=14.94 cores=1,3
/proc/971319/stat : 971319 (java) S 971316 971319 971055 0 -1 1077936128 29018 0 0 0 1425 69 0 0 20 0 19 0 185162649 19498610688 816043 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
/proc/971319/statm: 4760403 816043 5899 1 0 1048377 0
[pid=971319/tid=971321] ppid=971316 vsize=19041612 memory=3262124 CPUtime=12.14 cores=1,3
/proc/971319/task/971321/stat : 971321 (java) R 971316 971319 971055 0 -1 4194368 8732 0 0 0 1152 62 0 0 20 0 19 0 185162649 19498610688 816043 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971330] ppid=971316 vsize=19041612 memory=3259932 CPUtime=0 cores=1,3
/proc/971319/task/971330/stat : 971330 (Finalizer) S 971316 971319 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185162652 19498610688 816043 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971337] ppid=971316 vsize=19041612 memory=14418115840706192 CPUtime=0 cores=1,3
/proc/971319/task/971337/stat : 971337 (Common-Cleaner) S 971316 971319 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185162652 19498610688 816043 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
Current children cumulated CPU time: 14.94 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3264172 KiB
[startup+25.5009 s]
/proc/loadavg: 4.37 4.17 4.11 5/331 971342
/proc/meminfo: memFree=118991904/131524600 swapFree=131071996/131071996
[pid=971319] ppid=971316 vsize=19041612 memory=4235572 CPUtime=28 cores=1,3
/proc/971319/stat : 971319 (java) S 971316 971319 971055 0 -1 1077936128 38034 0 0 0 2710 90 0 0 20 0 19 0 185162649 19498610688 1058893 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
/proc/971319/statm: 4760403 1058893 5899 1 0 1288604 0
[pid=971319/tid=971321] ppid=971316 vsize=19041612 memory=4225220 CPUtime=24.3 cores=1,3
/proc/971319/task/971321/stat : 971321 (java) R 971316 971319 971055 0 -1 4194368 11488 0 0 0 2349 81 0 0 20 0 19 0 185162649 19498610688 1058893 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971330] ppid=971316 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/971319/task/971330/stat : 971330 (Finalizer) S 971316 971319 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185162652 19498610688 1058893 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971337] ppid=971316 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/971319/task/971337/stat : 971337 (Common-Cleaner) S 971316 971319 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185162652 19498610688 1058893 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
Current children cumulated CPU time: 28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4235572 KiB
[startup+51.1059 s]
/proc/loadavg: 4.24 4.15 4.11 5/331 971346
/proc/meminfo: memFree=117720176/131524600 swapFree=131071996/131071996
[pid=971319] ppid=971316 vsize=19041612 memory=5168384 CPUtime=53.84 cores=1,3
/proc/971319/stat : 971319 (java) S 971316 971319 971055 0 -1 1077936128 41902 0 0 0 5272 112 0 0 20 0 19 0 185162649 19498610688 1292096 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
/proc/971319/statm: 4760403 1292096 5899 1 0 1510030 0
[pid=971319/tid=971321] ppid=971316 vsize=19041612 memory=0 CPUtime=48.58 cores=1,3
/proc/971319/task/971321/stat : 971321 (java) R 971316 971319 971055 0 -1 4194368 13866 0 0 0 4758 100 0 0 20 0 19 0 185162649 19498610688 1292096 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971330] ppid=971316 vsize=19041612 memory=3264172 CPUtime=0 cores=1,3
/proc/971319/task/971330/stat : 971330 (Finalizer) S 971316 971319 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185162652 19498610688 1292096 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971337] ppid=971316 vsize=19041612 memory=2237108 CPUtime=0 cores=1,3
/proc/971319/task/971337/stat : 971337 (Common-Cleaner) S 971316 971319 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185162652 19498610688 1292096 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
Current children cumulated CPU time: 53.84 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5168384 KiB
[startup+102.3 s]
/proc/loadavg: 4.55 4.25 4.14 5/332 971356
/proc/meminfo: memFree=117237648/131524600 swapFree=131071996/131071996
[pid=971319] ppid=971316 vsize=19108176 memory=5294052 CPUtime=107.47 cores=1,3
/proc/971319/stat : 971319 (java) S 971316 971319 971055 0 -1 1077936128 63712 0 0 0 10624 123 0 0 20 0 20 0 185162649 19566772224 1323513 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
/proc/971319/statm: 4777044 1323513 5914 1 0 1510584 0
################
# More data... #
################
/proc/971319/task/971330/stat : 971330 (Finalizer) S 971316 971319 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185162652 19566772224 1471283 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971337] ppid=971316 vsize=19108176 memory=11476 CPUtime=0 cores=1,3
/proc/971319/task/971337/stat : 971337 (Common-Cleaner) S 971316 971319 971055 0 -1 1077936192 3797 0 0 0 0 0 0 0 20 0 20 0 185162652 19566772224 1471283 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971354] ppid=971316 vsize=19108176 memory=11476 CPUtime=0 cores=1,3
/proc/971319/task/971354/stat : 971354 (Timer-0) S 971316 971319 971055 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185171683 19566772224 1471283 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
Current children cumulated CPU time: 3227.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5885132 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.22 4.19 5/331 973181
/proc/meminfo: memFree=110903960/131524600 swapFree=131071996/131071996
[pid=971319] ppid=971316 vsize=19108176 memory=5885132 CPUtime=3287.41 cores=1,3
/proc/971319/stat : 971319 (java) S 971316 971319 971055 0 -1 1077936128 438118 0 0 0 328451 290 0 0 20 0 20 0 185162649 19566772224 1471283 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
/proc/971319/statm: 4777044 1471283 5914 1 0 1510584 0
[pid=971319/tid=971321] ppid=971316 vsize=19108176 memory=11476 CPUtime=3242.07 cores=1,3
/proc/971319/task/971321/stat : 971321 (java) R 971316 971319 971055 0 -1 4194368 238943 0 0 0 324070 137 0 0 20 0 20 0 185162649 19566772224 1471283 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 36 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971330] ppid=971316 vsize=19108176 memory=5885132 CPUtime=0 cores=1,3
/proc/971319/task/971330/stat : 971330 (Finalizer) S 971316 971319 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185162652 19566772224 1471283 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971337] ppid=971316 vsize=19108176 memory=2232 CPUtime=0 cores=1,3
/proc/971319/task/971337/stat : 971337 (Common-Cleaner) S 971316 971319 971055 0 -1 1077936192 3845 0 0 0 0 0 0 0 20 0 20 0 185162652 19566772224 1471283 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971354] ppid=971316 vsize=19108176 memory=11476 CPUtime=0 cores=1,3
/proc/971319/task/971354/stat : 971354 (Timer-0) S 971316 971319 971055 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185171683 19566772224 1471283 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
Current children cumulated CPU time: 3287.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5885132 KiB
[startup+3342.3 s]
/proc/loadavg: 4.31 4.25 4.21 5/331 973191
/proc/meminfo: memFree=110903452/131524600 swapFree=131071996/131071996
[pid=971319] ppid=971316 vsize=19108176 memory=5885132 CPUtime=3347.12 cores=1,3
/proc/971319/stat : 971319 (java) S 971316 971319 971055 0 -1 1077936128 444337 0 0 0 334419 293 0 0 20 0 20 0 185162649 19566772224 1471283 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
/proc/971319/statm: 4777044 1471283 5914 1 0 1510584 0
[pid=971319/tid=971321] ppid=971316 vsize=19108176 memory=11476 CPUtime=3301.18 cores=1,3
/proc/971319/task/971321/stat : 971321 (java) R 971316 971319 971055 0 -1 4194368 241843 0 0 0 329980 138 0 0 20 0 20 0 185162649 19566772224 1471283 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 42 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971330] ppid=971316 vsize=19108176 memory=-8744978287439422140 CPUtime=0 cores=1,3
/proc/971319/task/971330/stat : 971330 (Finalizer) S 971316 971319 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185162652 19566772224 1471283 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971337] ppid=971316 vsize=19108176 memory=5885132 CPUtime=0 cores=1,3
/proc/971319/task/971337/stat : 971337 (Common-Cleaner) S 971316 971319 971055 0 -1 1077936192 3924 0 0 0 0 0 0 0 20 0 20 0 185162652 19566772224 1471283 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971354] ppid=971316 vsize=19108176 memory=5885132 CPUtime=0 cores=1,3
/proc/971319/task/971354/stat : 971354 (Timer-0) S 971316 971319 971055 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185171683 19566772224 1471283 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
Current children cumulated CPU time: 3347.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5885132 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.24 4.20 5/332 973202
/proc/meminfo: memFree=110903136/131524600 swapFree=131071996/131071996
[pid=971319] ppid=971316 vsize=19108176 memory=5885140 CPUtime=3407.18 cores=1,3
/proc/971319/stat : 971319 (java) S 971316 971319 971055 0 -1 1077936128 451906 0 0 0 340422 296 0 0 20 0 20 0 185162649 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
/proc/971319/statm: 4777044 1471285 5914 1 0 1510584 0
[pid=971319/tid=971321] ppid=971316 vsize=19108176 memory=43800 CPUtime=3360.73 cores=1,3
/proc/971319/task/971321/stat : 971321 (java) R 971316 971319 971055 0 -1 4194368 246762 0 0 0 335935 138 0 0 20 0 20 0 185162649 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 44 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971330] ppid=971316 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/971319/task/971330/stat : 971330 (Finalizer) S 971316 971319 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185162652 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971337] ppid=971316 vsize=19108176 memory=5885140 CPUtime=0 cores=1,3
/proc/971319/task/971337/stat : 971337 (Common-Cleaner) S 971316 971319 971055 0 -1 1077936192 3971 0 0 0 0 0 0 0 20 0 20 0 185162652 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971354] ppid=971316 vsize=19108176 memory=16072 CPUtime=0 cores=1,3
/proc/971319/task/971354/stat : 971354 (Timer-0) S 971316 971319 971055 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185171683 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
Current children cumulated CPU time: 3407.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5885140 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.22 4.19 5/334 973216
/proc/meminfo: memFree=110902564/131524600 swapFree=131071996/131071996
[pid=971319] ppid=971316 vsize=19108176 memory=5885140 CPUtime=3467.17 cores=1,3
/proc/971319/stat : 971319 (java) S 971316 971319 971055 0 -1 1077936128 458022 0 0 0 346418 299 0 0 20 0 20 0 185162649 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
/proc/971319/statm: 4777044 1471285 5914 1 0 1510584 0
[pid=971319/tid=971321] ppid=971316 vsize=19108176 memory=0 CPUtime=3420.33 cores=1,3
/proc/971319/task/971321/stat : 971321 (java) R 971316 971319 971055 0 -1 4194368 250733 0 0 0 341894 139 0 0 20 0 20 0 185162649 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 44 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971330] ppid=971316 vsize=19108176 memory=5885140 CPUtime=0 cores=1,3
/proc/971319/task/971330/stat : 971330 (Finalizer) S 971316 971319 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185162652 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971337] ppid=971316 vsize=19108176 memory=5885140 CPUtime=0 cores=1,3
/proc/971319/task/971337/stat : 971337 (Common-Cleaner) S 971316 971319 971055 0 -1 1077936192 4052 0 0 0 0 0 0 0 20 0 20 0 185162652 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971354] ppid=971316 vsize=19108176 memory=11476 CPUtime=0 cores=1,3
/proc/971319/task/971354/stat : 971354 (Timer-0) S 971316 971319 971055 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185171683 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
Current children cumulated CPU time: 3467.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5885140 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.21 4.19 5/333 973228
/proc/meminfo: memFree=110902652/131524600 swapFree=131071996/131071996
[pid=971319] ppid=971316 vsize=19108176 memory=5885140 CPUtime=3527.18 cores=1,3
/proc/971319/stat : 971319 (java) S 971316 971319 971055 0 -1 1077936128 464273 0 0 0 352416 302 0 0 20 0 20 0 185162649 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
/proc/971319/statm: 4777044 1471285 5914 1 0 1510584 0
[pid=971319/tid=971321] ppid=971316 vsize=19108176 memory=5885140 CPUtime=3479.87 cores=1,3
/proc/971319/task/971321/stat : 971321 (java) R 971316 971319 971055 0 -1 4194368 253751 0 0 0 347847 140 0 0 20 0 20 0 185162649 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 44 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971330] ppid=971316 vsize=19108176 memory=5885140 CPUtime=0 cores=1,3
/proc/971319/task/971330/stat : 971330 (Finalizer) S 971316 971319 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185162652 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971337] ppid=971316 vsize=19108176 memory=5885140 CPUtime=0 cores=1,3
/proc/971319/task/971337/stat : 971337 (Common-Cleaner) S 971316 971319 971055 0 -1 1077936192 4100 0 0 0 0 0 0 0 20 0 20 0 185162652 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971354] ppid=971316 vsize=19108176 memory=5885140 CPUtime=0 cores=1,3
/proc/971319/task/971354/stat : 971354 (Timer-0) S 971316 971319 971055 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185171683 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
Current children cumulated CPU time: 3527.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5885140 KiB
[startup+3582.3 s]
/proc/loadavg: 4.34 4.25 4.20 6/332 973372
/proc/meminfo: memFree=109025040/131524600 swapFree=131071996/131071996
[pid=971319] ppid=971316 vsize=19108176 memory=5885140 CPUtime=3587.19 cores=1,3
/proc/971319/stat : 971319 (java) S 971316 971319 971055 0 -1 1077936128 470582 0 0 0 358414 305 0 0 20 0 20 0 185162649 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
/proc/971319/statm: 4777044 1471285 5914 1 0 1510584 0
[pid=971319/tid=971321] ppid=971316 vsize=19108176 memory=5885140 CPUtime=3539.33 cores=1,3
/proc/971319/task/971321/stat : 971321 (java) R 971316 971319 971055 0 -1 4194368 258028 0 0 0 353792 141 0 0 20 0 20 0 185162649 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 44 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971330] ppid=971316 vsize=19108176 memory=5544 CPUtime=0 cores=1,3
/proc/971319/task/971330/stat : 971330 (Finalizer) S 971316 971319 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185162652 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971337] ppid=971316 vsize=19108176 memory=5885140 CPUtime=0 cores=1,3
/proc/971319/task/971337/stat : 971337 (Common-Cleaner) S 971316 971319 971055 0 -1 1077936192 4180 0 0 0 0 0 0 0 20 0 20 0 185162652 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971354] ppid=971316 vsize=19108176 memory=5885140 CPUtime=0 cores=1,3
/proc/971319/task/971354/stat : 971354 (Timer-0) S 971316 971319 971055 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185171683 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
Current children cumulated CPU time: 3587.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5885140 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3595.11 s]
/proc/loadavg: 4.34 4.25 4.20 5/332 973374
/proc/meminfo: memFree=108524376/131524600 swapFree=131071996/131071996
[pid=971319] ppid=971316 vsize=19108176 memory=5885140 CPUtime=3600.01 cores=1,3
/proc/971319/stat : 971319 (java) S 971316 971319 971055 0 -1 1077936128 471356 0 0 0 359696 305 0 0 20 0 20 0 185162649 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
/proc/971319/statm: 4777044 1471285 5914 1 0 1510584 0
[pid=971319/tid=971321] ppid=971316 vsize=19108176 memory=5885140 CPUtime=3552.06 cores=1,3
/proc/971319/task/971321/stat : 971321 (java) R 971316 971319 971055 0 -1 4194368 258763 0 0 0 355065 141 0 0 20 0 20 0 185162649 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 44 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971330] ppid=971316 vsize=19108176 memory=43800 CPUtime=0 cores=1,3
/proc/971319/task/971330/stat : 971330 (Finalizer) S 971316 971319 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185162652 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971337] ppid=971316 vsize=19108176 memory=5885140 CPUtime=0 cores=1,3
/proc/971319/task/971337/stat : 971337 (Common-Cleaner) S 971316 971319 971055 0 -1 1077936192 4180 0 0 0 0 0 0 0 20 0 20 0 185162652 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
[pid=971319/tid=971354] ppid=971316 vsize=19108176 memory=5885140 CPUtime=0 cores=1,3
/proc/971319/task/971354/stat : 971354 (Timer-0) S 971316 971319 971055 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185171683 19566772224 1471285 134679101440 94503928152064 94503928155760 140724980908720 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94503928163576 94503928164368 94503955488768 140724980917236 140724980917344 140724980917344 140724980924360 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5885140 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3595.21 s]
# the end of solver process 971319 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.07 s, system=3.07513 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3595.2 s]*
/proc/loadavg: 4.34 4.25 4.20 6/315 973377
/proc/meminfo: memFree=114343488/131524600 swapFree=131071996/131071996
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): 3595.21
CPU time (s): 3600.14
CPU user time (s): 3597.07
CPU system time (s): 3.07513
CPU usage (%): 100.137
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 5885140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.07
system time used= 3.07513
maximum resident set size= 5886984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 474814
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133736
involuntary context switches= 15491
# summary of solver processes directly reported to runsolver:
# pid: 971319
# total CPU time (s): 3600.14
# total CPU user time (s): 3597.07
# total CPU system time (s): 3.07513
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54342 second user time and 17.9783 second system time
The end