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 (56771 MiB free)
memory of node 1: 64473 MiB (52591 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446431-1721337075/watcher-4446431-1721337075 -o /tmp/evaluation-result-4446431-1721337075/solver-4446431-1721337075 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721329969-971066 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4446431-1721337075.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=975369, runsolver pid=975366
Current StackSize limit: 8192 KiB
[startup+0.101713 s]*
/proc/loadavg: 4.26 4.19 4.18 6/331 975387
/proc/meminfo: memFree=111943888/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=18975048 memory=64320 CPUtime=0.13 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 7119 0 0 0 12 1 0 0 20 0 18 0 185874202 19430449152 16080 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4743762 16080 5619 1 0 549322 0
[pid=975369/tid=975371] ppid=975366 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 1077936192 5701 0 0 0 8 0 0 0 20 0 18 0 185874202 19430449152 16080 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 185874205 19430449152 16080 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=18975048 memory=14408228826018639 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 185874205 19430449152 16080 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64320 KiB
[startup+0.206082 s]*
/proc/loadavg: 4.26 4.19 4.18 5/331 975387
/proc/meminfo: memFree=111910648/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=18975048 memory=98464 CPUtime=0.32 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 7718 0 0 0 30 2 0 0 20 0 18 0 185874202 19430449152 24616 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4743762 24616 5833 1 0 549751 0
[pid=975369/tid=975371] ppid=975366 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 1077936192 6016 0 0 0 16 1 0 0 20 0 18 0 185874202 19430449152 24616 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=18975048 memory=2643 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 185874205 19430449152 24616 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=18975048 memory=14126753849280249 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 185874205 19430449152 24616 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 98464 KiB
[startup+0.312056 s]*
/proc/loadavg: 4.26 4.19 4.18 6/332 975388
/proc/meminfo: memFree=111844748/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19041612 memory=164136 CPUtime=0.5 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 9341 0 0 0 46 4 0 0 20 0 19 0 185874202 19498610688 41034 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4760403 41034 5833 1 0 551033 0
[pid=975369/tid=975371] ppid=975366 vsize=19041612 memory=-8743570895375999676 CPUtime=0.24 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 6054 0 0 0 22 2 0 0 20 0 19 0 185874202 19498610688 41034 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185874205 19498610688 41034 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 185874205 19498610688 41034 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164136 KiB
[startup+0.705858 s]
/proc/loadavg: 4.26 4.19 4.18 7/332 975388
/proc/meminfo: memFree=111472660/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19041612 memory=1114896 CPUtime=1.24 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 14314 0 0 0 101 23 0 0 20 0 19 0 185874202 19498610688 278724 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4760403 278724 5833 1 0 553100 0
[pid=975369/tid=975371] ppid=975366 vsize=19041612 memory=5544 CPUtime=0.61 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 6513 0 0 0 41 20 0 0 20 0 19 0 185874202 19498610688 278724 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19041612 memory=12504 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185874205 19498610688 278724 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 185874205 19498610688 278724 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1114896 KiB
[startup+1.50087 s]
/proc/loadavg: 4.26 4.19 4.18 6/332 975388
/proc/meminfo: memFree=110685320/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19041612 memory=1331908 CPUtime=2.81 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 24019 0 0 0 252 29 0 0 20 0 19 0 185874202 19498610688 332977 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4760403 332977 5833 1 0 558113 0
[pid=975369/tid=975371] ppid=975366 vsize=19041612 memory=12504 CPUtime=1.34 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 6710 0 0 0 110 24 0 0 20 0 19 0 185874202 19498610688 332977 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185874205 19498610688 332977 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 185874205 19498610688 332977 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1331908 KiB
[startup+3.10586 s]
/proc/loadavg: 4.26 4.19 4.18 6/333 975389
/proc/meminfo: memFree=109586228/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=2418132 CPUtime=6 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 28224 0 0 0 550 50 0 0 20 0 20 0 185874202 19566772224 604533 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 604533 5840 1 0 832559 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=0 CPUtime=2.82 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 7315 0 0 0 238 44 0 0 20 0 20 0 185874202 19566772224 604533 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=12504 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 604533 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=1891452 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 604533 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=33 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 604533 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2418132 KiB
[startup+6.30088 s]
/proc/loadavg: 4.40 4.22 4.19 5/333 975391
/proc/meminfo: memFree=109583896/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=2419920 CPUtime=11.97 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 29061 0 0 0 1147 50 0 0 20 0 20 0 185874202 19566772224 604980 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 604980 5840 1 0 832638 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=0 CPUtime=5.91 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 7743 0 0 0 547 44 0 0 20 0 20 0 185874202 19566772224 604980 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=12504 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 604980 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=2419092 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 604980 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=11476 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 604980 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 11.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2419920 KiB
[startup+12.7003 s]
/proc/loadavg: 4.37 4.22 4.19 5/333 975391
/proc/meminfo: memFree=109593212/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=2411032 CPUtime=18.65 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 34902 0 0 0 1814 51 0 0 20 0 20 0 185874202 19566772224 602758 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 602758 5855 1 0 832638 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=-8743570895375999676 CPUtime=12.15 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 10037 0 0 0 1171 44 0 0 20 0 20 0 185874202 19566772224 602758 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=2410768 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 602758 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 602758 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=12504 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 602758 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 18.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2411032 KiB
[startup+25.5003 s]
/proc/loadavg: 4.56 4.27 4.21 5/333 975462
/proc/meminfo: memFree=113480596/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=2413128 CPUtime=31.49 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 36092 0 0 0 3097 52 0 0 20 0 20 0 185874202 19566772224 603282 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 603282 5855 1 0 832638 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=11476 CPUtime=24.7 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 10708 0 0 0 2425 45 0 0 20 0 20 0 185874202 19566772224 603282 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=11476 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 603282 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=2413128 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 603282 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=2413080 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 603282 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 31.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2413128 KiB
[startup+51.1099 s]
/proc/loadavg: 4.52 4.28 4.22 5/333 975465
/proc/meminfo: memFree=111936920/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=2448332 CPUtime=57.32 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 47907 0 0 0 5677 55 0 0 20 0 20 0 185874202 19566772224 612083 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 612083 5855 1 0 832638 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=2413080 CPUtime=49.88 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) S 975366 975369 971055 0 -1 1077936192 14791 0 0 0 4943 45 0 0 20 0 20 0 185874202 19566772224 612083 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=2446284 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 612083 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=-8743570895375999676 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 612083 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 612083 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
################
# More data... #
################
/proc/meminfo: memFree=110393100/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=4311528 CPUtime=3172.8 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 357305 0 0 0 317034 246 0 0 20 0 20 0 185874202 19566772224 1077882 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 1077882 5870 1 0 1090998 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=4310420 CPUtime=3004.81 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 171154 0 0 0 300392 89 0 0 20 0 20 0 185874202 19566772224 1077882 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=16072 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077882 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=4310420 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 3093 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077882 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=4311528 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 1077882 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 3172.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4311528 KiB
[startup+3162.3 s]
/proc/loadavg: 4.41 4.22 4.19 5/334 977353
/proc/meminfo: memFree=111843780/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=4311600 CPUtime=3233.99 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 360579 0 0 0 323150 249 0 0 20 0 20 0 185874202 19566772224 1077900 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 1077900 5870 1 0 1090998 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=4310420 CPUtime=3063.04 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 173321 0 0 0 306215 89 0 0 20 0 20 0 185874202 19566772224 1077900 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 48 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=4310400 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077900 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=4311600 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 3134 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077900 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=4311528 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 1077900 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 3233.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4311600 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/334 977364
/proc/meminfo: memFree=110814068/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=4311612 CPUtime=3295.24 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 363217 0 0 0 329272 252 0 0 20 0 20 0 185874202 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 1077903 5870 1 0 1090998 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=4310420 CPUtime=3120.83 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) S 975366 975369 971055 0 -1 1077936192 175008 0 0 0 311993 90 0 0 20 0 20 0 185874202 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 52 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=4310400 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=4311600 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 3207 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=4311600 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 3295.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4311612 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/330 977374
/proc/meminfo: memFree=110813636/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=4311612 CPUtime=3356.73 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 366126 0 0 0 335418 255 0 0 20 0 20 0 185874202 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 1077903 5870 1 0 1090998 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=4311612 CPUtime=3178.96 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 176877 0 0 0 317805 91 0 0 20 0 20 0 185874202 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 52 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=4311612 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=4311612 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 3291 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=11476 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 3356.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4311612 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/332 977398
/proc/meminfo: memFree=110810072/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=4311612 CPUtime=3417.74 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 369769 0 0 0 341516 258 0 0 20 0 20 0 185874202 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 1077903 5870 1 0 1090998 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=4311612 CPUtime=3236.94 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 178992 0 0 0 323603 91 0 0 20 0 20 0 185874202 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 52 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=4311600 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=4311612 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 3339 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=4311612 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 3417.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4311612 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.18 4.18 5/333 977634
/proc/meminfo: memFree=110809520/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=4311616 CPUtime=3479.39 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 373458 0 0 0 347678 261 0 0 20 0 20 0 185874202 19566772224 1077904 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 1077904 5870 1 0 1090999 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=4311528 CPUtime=3294.78 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 181349 0 0 0 329387 91 0 0 20 0 20 0 185874202 19566772224 1077904 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 56 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=12504 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077904 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=4311616 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 3428 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077904 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=4311616 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 1077904 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 3479.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4311616 KiB
[startup+3462.3 s]
/proc/loadavg: 4.26 4.20 4.18 6/333 977644
/proc/meminfo: memFree=109115484/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=4311644 CPUtime=3541.27 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 376766 0 0 0 353863 264 0 0 20 0 20 0 185874202 19566772224 1077911 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 1077911 5870 1 0 1091000 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=4311528 CPUtime=3352.61 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 183246 0 0 0 335169 92 0 0 20 0 20 0 185874202 19566772224 1077911 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 56 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=4311644 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077911 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=12504 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 3428 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077911 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=2232 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 1077911 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 3541.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4311644 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3519.8 s]
/proc/loadavg: 4.23 4.20 4.18 5/336 977946
/proc/meminfo: memFree=109321696/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=4311652 CPUtime=3600.04 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 379758 0 0 0 359738 266 0 0 20 0 20 0 185874202 19566772224 1077913 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 1077913 5870 1 0 1091000 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=2332 CPUtime=3408.06 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 185559 0 0 0 340714 92 0 0 20 0 20 0 185874202 19566772224 1077913 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 56 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=32176 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077913 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=-8743570895375999676 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 3476 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077913 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=28664 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 1077913 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4311652 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3519.89 s]
# the end of solver process 975369 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.5 s, system=2.67811 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3519.89
CPU time (s): 3600.18
CPU user time (s): 3597.5
CPU system time (s): 2.67811
CPU usage (%): 102.281
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 4311652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.5
system time used= 2.67812
maximum resident set size= 4313272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 382644
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= 148340
involuntary context switches= 16846
# summary of solver processes directly reported to runsolver:
# pid: 975369
# total CPU time (s): 3600.18
# total CPU user time (s): 3597.5
# total CPU system time (s): 2.67811
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.60917 second user time and 17.9816 second system time
The end