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 (60062 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-4446461-1721337089/watcher-4446461-1721337089 -o /tmp/evaluation-result-4446461-1721337089/solver-4446461-1721337089 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721329969-971065 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4446461-1721337089.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=975440, runsolver pid=975437
[startup+0.100476 s]*
/proc/loadavg: 4.37 4.22 4.19 7/331 975458
/proc/meminfo: memFree=115315692/131524600 swapFree=131071996/131071996
[pid=975440] ppid=975437 vsize=18975048 memory=63652 CPUtime=0.13 cores=0,2
/proc/975440/stat : 975440 (java) S 975437 975440 971055 0 -1 1077936128 7247 0 0 0 12 1 0 0 20 0 18 0 185875564 19430449152 15913 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
/proc/975440/statm: 4743762 15913 5738 1 0 549373 0
[pid=975440/tid=975442] ppid=975437 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/975440/task/975442/stat : 975442 (java) R 975437 975440 971055 0 -1 1077936192 5755 0 0 0 7 1 0 0 20 0 18 0 185875564 19430449152 15913 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975451] ppid=975437 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/975440/task/975451/stat : 975451 (Finalizer) S 975437 975440 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 185875567 19430449152 15913 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975458] ppid=975437 vsize=18975048 memory=14408228826018639 CPUtime=0 cores=0,2
/proc/975440/task/975458/stat : 975458 (Common-Cleaner) S 975437 975440 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 185875567 19430449152 15913 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63652 KiB
[startup+0.206148 s]*
/proc/loadavg: 4.37 4.22 4.19 7/331 975458
/proc/meminfo: memFree=115301236/131524600 swapFree=131071996/131071996
[pid=975440] ppid=975437 vsize=18975048 memory=78488 CPUtime=0.34 cores=0,2
/proc/975440/stat : 975440 (java) S 975437 975440 971055 0 -1 1077936128 7774 0 0 0 32 2 0 0 20 0 18 0 185875564 19430449152 19622 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
/proc/975440/statm: 4743762 19622 5846 1 0 549679 0
[pid=975440/tid=975442] ppid=975437 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/975440/task/975442/stat : 975442 (java) R 975437 975440 971055 0 -1 4194368 6015 0 0 0 16 2 0 0 20 0 18 0 185875564 19430449152 19622 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975451] ppid=975437 vsize=18975048 memory=2643 CPUtime=0 cores=0,2
/proc/975440/task/975451/stat : 975451 (Finalizer) S 975437 975440 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 185875567 19430449152 19622 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975458] ppid=975437 vsize=18975048 memory=14126753849280249 CPUtime=0 cores=0,2
/proc/975440/task/975458/stat : 975458 (Common-Cleaner) S 975437 975440 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 185875567 19430449152 19622 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 78488 KiB
[startup+0.306148 s]*
/proc/loadavg: 4.37 4.22 4.19 7/331 975458
/proc/meminfo: memFree=115266260/131524600 swapFree=131071996/131071996
[pid=975440] ppid=975437 vsize=18975048 memory=112992 CPUtime=0.53 cores=0,2
/proc/975440/stat : 975440 (java) S 975437 975440 971055 0 -1 1077936128 9283 0 0 0 50 3 0 0 20 0 18 0 185875564 19430449152 28248 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
/proc/975440/statm: 4743762 28248 5846 1 0 550671 0
[pid=975440/tid=975442] ppid=975437 vsize=18975048 memory=-8672356626756575932 CPUtime=0.27 cores=0,2
/proc/975440/task/975442/stat : 975442 (java) R 975437 975440 971055 0 -1 4194368 6031 0 0 0 25 2 0 0 20 0 18 0 185875564 19430449152 28248 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975451] ppid=975437 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/975440/task/975451/stat : 975451 (Finalizer) S 975437 975440 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 185875567 19430449152 28248 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975458] ppid=975437 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/975440/task/975458/stat : 975458 (Common-Cleaner) S 975437 975440 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 185875567 19430449152 28248 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 112992 KiB
[startup+0.701151 s]
/proc/loadavg: 4.37 4.22 4.19 7/332 975459
/proc/meminfo: memFree=115209876/131524600 swapFree=131071996/131071996
[pid=975440] ppid=975437 vsize=19041612 memory=566732 CPUtime=1.23 cores=0,2
/proc/975440/stat : 975440 (java) S 975437 975440 971055 0 -1 1077936128 12983 0 0 0 110 13 0 0 20 0 19 0 185875564 19498610688 141683 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
/proc/975440/statm: 4760403 141683 5894 1 0 553134 0
[pid=975440/tid=975442] ppid=975437 vsize=19041612 memory=5544 CPUtime=0.62 cores=0,2
/proc/975440/task/975442/stat : 975442 (java) R 975437 975440 971055 0 -1 4194368 6258 0 0 0 51 11 0 0 20 0 19 0 185875564 19498610688 141683 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975451] ppid=975437 vsize=19041612 memory=12504 CPUtime=0 cores=0,2
/proc/975440/task/975451/stat : 975451 (Finalizer) S 975437 975440 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185875567 19498610688 141683 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975458] ppid=975437 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/975440/task/975458/stat : 975458 (Common-Cleaner) S 975437 975440 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185875567 19498610688 141683 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 566732 KiB
[startup+1.50115 s]
/proc/loadavg: 4.37 4.22 4.19 7/332 975459
/proc/meminfo: memFree=114056672/131524600 swapFree=131071996/131071996
[pid=975440] ppid=975437 vsize=19108176 memory=1322804 CPUtime=2.79 cores=0,2
/proc/975440/stat : 975440 (java) S 975437 975440 971055 0 -1 1077936128 22080 0 0 0 249 30 0 0 20 0 20 0 185875564 19566772224 330701 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
/proc/975440/statm: 4777044 330701 5894 1 0 557364 0
[pid=975440/tid=975442] ppid=975437 vsize=19108176 memory=12504 CPUtime=1.37 cores=0,2
/proc/975440/task/975442/stat : 975442 (java) R 975437 975440 971055 0 -1 4194368 6705 0 0 0 112 25 0 0 20 0 20 0 185875564 19566772224 330701 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975451] ppid=975437 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/975440/task/975451/stat : 975451 (Finalizer) S 975437 975440 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 330701 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975458] ppid=975437 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/975440/task/975458/stat : 975458 (Common-Cleaner) S 975437 975440 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 330701 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322804 KiB
[startup+3.10714 s]
/proc/loadavg: 4.66 4.28 4.21 6/333 975460
/proc/meminfo: memFree=114052492/131524600 swapFree=131071996/131071996
[pid=975440] ppid=975437 vsize=19108176 memory=1324480 CPUtime=5.96 cores=0,2
/proc/975440/stat : 975440 (java) S 975437 975440 971055 0 -1 1077936128 22509 0 0 0 566 30 0 0 20 0 20 0 185875564 19566772224 331120 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
/proc/975440/statm: 4777044 331120 5894 1 0 557401 0
[pid=975440/tid=975442] ppid=975437 vsize=19108176 memory=198340509722 CPUtime=2.94 cores=0,2
/proc/975440/task/975442/stat : 975442 (java) R 975437 975440 971055 0 -1 4194368 6762 0 0 0 269 25 0 0 20 0 20 0 185875564 19566772224 331120 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975451] ppid=975437 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/975440/task/975451/stat : 975451 (Finalizer) S 975437 975440 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 331120 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975458] ppid=975437 vsize=19108176 memory=12504 CPUtime=0 cores=0,2
/proc/975440/task/975458/stat : 975458 (Common-Cleaner) S 975437 975440 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 331120 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975460] ppid=975437 vsize=19108176 memory=1323064 CPUtime=0 cores=0,2
/proc/975440/task/975460/stat : 975460 (Timer-0) S 975437 975440 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185875673 19566772224 331120 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1324480 KiB
[startup+6.30115 s]
/proc/loadavg: 4.66 4.28 4.21 5/333 975460
/proc/meminfo: memFree=114029372/131524600 swapFree=131071996/131071996
[pid=975440] ppid=975437 vsize=19108176 memory=1394684 CPUtime=10.46 cores=0,2
/proc/975440/stat : 975440 (java) S 975437 975440 971055 0 -1 1077936128 31000 0 0 0 1013 33 0 0 20 0 20 0 185875564 19566772224 348671 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
/proc/975440/statm: 4777044 348671 5925 1 0 1083791 0
[pid=975440/tid=975442] ppid=975437 vsize=19108176 memory=0 CPUtime=6.06 cores=0,2
/proc/975440/task/975442/stat : 975442 (java) R 975437 975440 971055 0 -1 4194368 7624 0 0 0 579 27 0 0 20 0 20 0 185875564 19566772224 348671 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975451] ppid=975437 vsize=19108176 memory=12504 CPUtime=0 cores=0,2
/proc/975440/task/975451/stat : 975451 (Finalizer) S 975437 975440 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 348671 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975458] ppid=975437 vsize=19108176 memory=1323592 CPUtime=0 cores=0,2
/proc/975440/task/975458/stat : 975458 (Common-Cleaner) S 975437 975440 971055 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 348671 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975460] ppid=975437 vsize=19108176 memory=1319936 CPUtime=0 cores=0,2
/proc/975440/task/975460/stat : 975460 (Timer-0) S 975437 975440 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185875673 19566772224 348671 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
Current children cumulated CPU time: 10.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1394684 KiB
[startup+12.7011 s]
/proc/loadavg: 4.56 4.27 4.21 5/333 975462
/proc/meminfo: memFree=113449792/131524600 swapFree=131071996/131071996
[pid=975440] ppid=975437 vsize=19108176 memory=2001364 CPUtime=17.47 cores=0,2
/proc/975440/stat : 975440 (java) S 975437 975440 971055 0 -1 1077936128 33239 0 0 0 1701 46 0 0 20 0 20 0 185875564 19566772224 500341 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
/proc/975440/statm: 4777044 500341 5925 1 0 1083791 0
[pid=975440/tid=975442] ppid=975437 vsize=19108176 memory=1905108 CPUtime=12.4 cores=0,2
/proc/975440/task/975442/stat : 975442 (java) R 975437 975440 971055 0 -1 4194368 8456 0 0 0 1201 39 0 0 20 0 20 0 185875564 19566772224 500341 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975451] ppid=975437 vsize=19108176 memory=11476 CPUtime=0 cores=0,2
/proc/975440/task/975451/stat : 975451 (Finalizer) S 975437 975440 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 500341 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975458] ppid=975437 vsize=19108176 memory=6084193141507318611 CPUtime=0 cores=0,2
/proc/975440/task/975458/stat : 975458 (Common-Cleaner) S 975437 975440 971055 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 500341 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975460] ppid=975437 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/975440/task/975460/stat : 975460 (Timer-0) S 975437 975440 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185875673 19566772224 500341 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
Current children cumulated CPU time: 17.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2001364 KiB
[startup+25.5002 s]
/proc/loadavg: 4.47 4.26 4.21 5/333 975464
/proc/meminfo: memFree=112688300/131524600 swapFree=131071996/131071996
[pid=975440] ppid=975437 vsize=19108176 memory=2679252 CPUtime=30.17 cores=0,2
/proc/975440/stat : 975440 (java) S 975437 975440 971055 0 -1 1077936128 34469 0 0 0 2958 59 0 0 20 0 20 0 185875564 19566772224 669813 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
/proc/975440/statm: 4777044 669813 5925 1 0 1083791 0
[pid=975440/tid=975442] ppid=975437 vsize=19108176 memory=6084193141507318611 CPUtime=25.1 cores=0,2
/proc/975440/task/975442/stat : 975442 (java) R 975437 975440 971055 0 -1 4194368 9629 0 0 0 2458 52 0 0 20 0 20 0 185875564 19566772224 669813 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975451] ppid=975437 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/975440/task/975451/stat : 975451 (Finalizer) S 975437 975440 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 669813 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975458] ppid=975437 vsize=19108176 memory=5552 CPUtime=0 cores=0,2
/proc/975440/task/975458/stat : 975458 (Common-Cleaner) S 975437 975440 971055 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 669813 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975460] ppid=975437 vsize=19108176 memory=-8672356626756575932 CPUtime=0 cores=0,2
/proc/975440/task/975460/stat : 975460 (Timer-0) S 975437 975440 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185875673 19566772224 669813 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
Current children cumulated CPU time: 30.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2679252 KiB
[startup+51.106 s]
/proc/loadavg: 4.52 4.29 4.22 8/333 975536
/proc/meminfo: memFree=114568132/131524600 swapFree=131071996/131071996
[pid=975440] ppid=975437 vsize=19108176 memory=3474244 CPUtime=55.96 cores=0,2
/proc/975440/stat : 975440 (java) S 975437 975440 971055 0 -1 1077936128 44774 0 0 0 5518 78 0 0 20 0 20 0 185875564 19566772224 868561 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
/proc/975440/statm: 4777044 868561 5925 1 0 1083825 0
[pid=975440/tid=975442] ppid=975437 vsize=19108176 memory=3402396 CPUtime=50.52 cores=0,2
/proc/975440/task/975442/stat : 975442 (java) R 975437 975440 971055 0 -1 4194368 12335 0 0 0 4983 69 0 0 20 0 20 0 185875564 19566772224 868561 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975451] ppid=975437 vsize=19108176 memory=11476 CPUtime=0 cores=0,2
/proc/975440/task/975451/stat : 975451 (Finalizer) S 975437 975440 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 868561 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975458] ppid=975437 vsize=19108176 memory=11476 CPUtime=0 cores=0,2
/proc/975440/task/975458/stat : 975458 (Common-Cleaner) S 975437 975440 971055 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 868561 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975460] ppid=975437 vsize=19108176 memory=11476 CPUtime=0 cores=0,2
/proc/975440/task/975460/stat : 975460 (Timer-0) S 975437 975440 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185875673 19566772224 868561 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
################
# More data... #
################
/proc/meminfo: memFree=110813956/131524600 swapFree=131071996/131071996
[pid=975440] ppid=975437 vsize=19108176 memory=4793672 CPUtime=3231.48 cores=0,2
/proc/975440/stat : 975440 (java) S 975437 975440 971055 0 -1 1077936128 328723 0 0 0 322847 301 0 0 20 0 20 0 185875564 19566772224 1198418 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
/proc/975440/statm: 4777044 1198418 5972 1 0 1211217 0
[pid=975440/tid=975442] ppid=975437 vsize=19108176 memory=4793660 CPUtime=3194.96 cores=0,2
/proc/975440/task/975442/stat : 975442 (java) R 975437 975440 971055 0 -1 4194368 120946 0 0 0 319376 120 0 0 20 0 20 0 185875564 19566772224 1198418 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975451] ppid=975437 vsize=19108176 memory=4793672 CPUtime=0 cores=0,2
/proc/975440/task/975451/stat : 975451 (Finalizer) S 975437 975440 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 1198418 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975458] ppid=975437 vsize=19108176 memory=43908 CPUtime=0 cores=0,2
/proc/975440/task/975458/stat : 975458 (Common-Cleaner) S 975437 975440 971055 0 -1 1077936192 4259 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 1198418 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975460] ppid=975437 vsize=19108176 memory=4793672 CPUtime=0 cores=0,2
/proc/975440/task/975460/stat : 975460 (Timer-0) S 975437 975440 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185875673 19566772224 1198418 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
Current children cumulated CPU time: 3231.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4793672 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/330 977377
/proc/meminfo: memFree=110813608/131524600 swapFree=131071996/131071996
[pid=975440] ppid=975437 vsize=19108176 memory=4793700 CPUtime=3291.79 cores=0,2
/proc/975440/stat : 975440 (java) S 975437 975440 971055 0 -1 1077936128 332807 0 0 0 328874 305 0 0 20 0 20 0 185875564 19566772224 1198425 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
/proc/975440/statm: 4777044 1198425 5972 1 0 1211217 0
[pid=975440/tid=975442] ppid=975437 vsize=19108176 memory=4793676 CPUtime=3254.16 cores=0,2
/proc/975440/task/975442/stat : 975442 (java) R 975437 975440 971055 0 -1 4194368 122107 0 0 0 325295 121 0 0 20 0 20 0 185875564 19566772224 1198425 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975451] ppid=975437 vsize=19108176 memory=12504 CPUtime=0 cores=0,2
/proc/975440/task/975451/stat : 975451 (Finalizer) S 975437 975440 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 1198425 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975458] ppid=975437 vsize=19108176 memory=11476 CPUtime=0 cores=0,2
/proc/975440/task/975458/stat : 975458 (Common-Cleaner) S 975437 975440 971055 0 -1 1077936192 4354 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 1198425 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975460] ppid=975437 vsize=19108176 memory=-4421386509183247456 CPUtime=0 cores=0,2
/proc/975440/task/975460/stat : 975460 (Timer-0) S 975437 975440 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185875673 19566772224 1198425 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
Current children cumulated CPU time: 3291.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4793700 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/332 977401
/proc/meminfo: memFree=110810180/131524600 swapFree=131071996/131071996
[pid=975440] ppid=975437 vsize=19108176 memory=4795748 CPUtime=3351.88 cores=0,2
/proc/975440/stat : 975440 (java) S 975437 975440 971055 0 -1 1077936128 336793 0 0 0 334880 308 0 0 20 0 20 0 185875564 19566772224 1198937 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
/proc/975440/statm: 4777044 1198937 5972 1 0 1211217 0
[pid=975440/tid=975442] ppid=975437 vsize=19108176 memory=12504 CPUtime=3313.52 cores=0,2
/proc/975440/task/975442/stat : 975442 (java) R 975437 975440 971055 0 -1 4194368 123847 0 0 0 331230 122 0 0 20 0 20 0 185875564 19566772224 1198937 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975451] ppid=975437 vsize=19108176 memory=-4421386509183247456 CPUtime=0 cores=0,2
/proc/975440/task/975451/stat : 975451 (Finalizer) S 975437 975440 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 1198937 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975458] ppid=975437 vsize=19108176 memory=4795748 CPUtime=0 cores=0,2
/proc/975440/task/975458/stat : 975458 (Common-Cleaner) S 975437 975440 971055 0 -1 1077936192 4354 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 1198937 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975460] ppid=975437 vsize=19108176 memory=4795748 CPUtime=0 cores=0,2
/proc/975440/task/975460/stat : 975460 (Timer-0) S 975437 975440 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185875673 19566772224 1198937 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
Current children cumulated CPU time: 3351.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4795748 KiB
[startup+3402.3 s]
/proc/loadavg: 4.32 4.20 4.19 5/333 977637
/proc/meminfo: memFree=110809556/131524600 swapFree=131071996/131071996
[pid=975440] ppid=975437 vsize=19108176 memory=4795764 CPUtime=3411.81 cores=0,2
/proc/975440/stat : 975440 (java) S 975437 975440 971055 0 -1 1077936128 338743 0 0 0 340870 311 0 0 20 0 20 0 185875564 19566772224 1198941 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
/proc/975440/statm: 4777044 1198941 5972 1 0 1211217 0
[pid=975440/tid=975442] ppid=975437 vsize=19108176 memory=4795748 CPUtime=3373.02 cores=0,2
/proc/975440/task/975442/stat : 975442 (java) R 975437 975440 971055 0 -1 4194368 125073 0 0 0 337180 122 0 0 20 0 20 0 185875564 19566772224 1198941 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975451] ppid=975437 vsize=19108176 memory=4795748 CPUtime=0 cores=0,2
/proc/975440/task/975451/stat : 975451 (Finalizer) S 975437 975440 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 1198941 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975458] ppid=975437 vsize=19108176 memory=4795748 CPUtime=0 cores=0,2
/proc/975440/task/975458/stat : 975458 (Common-Cleaner) S 975437 975440 971055 0 -1 1077936192 4449 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 1198941 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975460] ppid=975437 vsize=19108176 memory=4795764 CPUtime=0 cores=0,2
/proc/975440/task/975460/stat : 975460 (Timer-0) S 975437 975440 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185875673 19566772224 1198941 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
Current children cumulated CPU time: 3411.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4795764 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/333 977648
/proc/meminfo: memFree=109115492/131524600 swapFree=131071996/131071996
[pid=975440] ppid=975437 vsize=19108176 memory=4795788 CPUtime=3471.79 cores=0,2
/proc/975440/stat : 975440 (java) S 975437 975440 971055 0 -1 1077936128 342714 0 0 0 346865 314 0 0 20 0 20 0 185875564 19566772224 1198947 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
/proc/975440/statm: 4777044 1198947 5972 1 0 1211217 0
[pid=975440/tid=975442] ppid=975437 vsize=19108176 memory=4795748 CPUtime=3432.57 cores=0,2
/proc/975440/task/975442/stat : 975442 (java) R 975437 975440 971055 0 -1 4194368 126378 0 0 0 343135 122 0 0 20 0 20 0 185875564 19566772224 1198947 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975451] ppid=975437 vsize=19108176 memory=4795748 CPUtime=0 cores=0,2
/proc/975440/task/975451/stat : 975451 (Finalizer) S 975437 975440 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 1198947 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975458] ppid=975437 vsize=19108176 memory=4795788 CPUtime=0 cores=0,2
/proc/975440/task/975458/stat : 975458 (Common-Cleaner) S 975437 975440 971055 0 -1 1077936192 4547 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 1198947 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975460] ppid=975437 vsize=19108176 memory=4795788 CPUtime=0 cores=0,2
/proc/975440/task/975460/stat : 975460 (Timer-0) S 975437 975440 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185875673 19566772224 1198947 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
Current children cumulated CPU time: 3471.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4795788 KiB
[startup+3522.3 s]
/proc/loadavg: 3.96 4.14 4.16 4/311 977984
/proc/meminfo: memFree=113629112/131524600 swapFree=131071996/131071996
[pid=975440] ppid=975437 vsize=19108176 memory=4795796 CPUtime=3531.75 cores=0,2
/proc/975440/stat : 975440 (java) S 975437 975440 971055 0 -1 1077936128 347462 0 0 0 352859 316 0 0 20 0 20 0 185875564 19566772224 1198949 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
/proc/975440/statm: 4777044 1198949 5972 1 0 1211217 0
[pid=975440/tid=975442] ppid=975437 vsize=19108176 memory=4795788 CPUtime=3492.13 cores=0,2
/proc/975440/task/975442/stat : 975442 (java) R 975437 975440 971055 0 -1 4194368 128822 0 0 0 349090 123 0 0 20 0 20 0 185875564 19566772224 1198949 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975451] ppid=975437 vsize=19108176 memory=4795796 CPUtime=0 cores=0,2
/proc/975440/task/975451/stat : 975451 (Finalizer) S 975437 975440 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 1198949 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975458] ppid=975437 vsize=19108176 memory=4795796 CPUtime=0 cores=0,2
/proc/975440/task/975458/stat : 975458 (Common-Cleaner) S 975437 975440 971055 0 -1 1077936192 4655 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 1198949 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975460] ppid=975437 vsize=19108176 memory=4795796 CPUtime=0 cores=0,2
/proc/975440/task/975460/stat : 975460 (Timer-0) S 975437 975440 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185875673 19566772224 1198949 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
Current children cumulated CPU time: 3531.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4795796 KiB
[startup+3582.3 s]
/proc/loadavg: 3.41 3.95 4.09 4/311 977995
/proc/meminfo: memFree=113629152/131524600 swapFree=131071996/131071996
[pid=975440] ppid=975437 vsize=19108176 memory=4795796 CPUtime=3591.73 cores=0,2
/proc/975440/stat : 975440 (java) S 975437 975440 971055 0 -1 1077936128 351750 0 0 0 358854 319 0 0 20 0 20 0 185875564 19566772224 1198949 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
/proc/975440/statm: 4777044 1198949 5972 1 0 1211217 0
[pid=975440/tid=975442] ppid=975437 vsize=19108176 memory=11476 CPUtime=3551.74 cores=0,2
/proc/975440/task/975442/stat : 975442 (java) R 975437 975440 971055 0 -1 4194368 130840 0 0 0 355050 124 0 0 20 0 20 0 185875564 19566772224 1198949 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975451] ppid=975437 vsize=19108176 memory=4795796 CPUtime=0 cores=0,2
/proc/975440/task/975451/stat : 975451 (Finalizer) S 975437 975440 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 1198949 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975458] ppid=975437 vsize=19108176 memory=4795796 CPUtime=0 cores=0,2
/proc/975440/task/975458/stat : 975458 (Common-Cleaner) S 975437 975440 971055 0 -1 1077936192 4739 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 1198949 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975460] ppid=975437 vsize=19108176 memory=2232 CPUtime=0 cores=0,2
/proc/975440/task/975460/stat : 975460 (Timer-0) S 975437 975440 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185875673 19566772224 1198949 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
Current children cumulated CPU time: 3591.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4795796 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3590.6 s]
/proc/loadavg: 3.38 3.93 4.09 4/311 977997
/proc/meminfo: memFree=113629156/131524600 swapFree=131071996/131071996
[pid=975440] ppid=975437 vsize=19108176 memory=4795796 CPUtime=3600.01 cores=0,2
/proc/975440/stat : 975440 (java) S 975437 975440 971055 0 -1 1077936128 351984 0 0 0 359681 320 0 0 20 0 20 0 185875564 19566772224 1198949 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
/proc/975440/statm: 4777044 1198949 5972 1 0 1211217 0
[pid=975440/tid=975442] ppid=975437 vsize=19108176 memory=4795796 CPUtime=3560 cores=0,2
/proc/975440/task/975442/stat : 975442 (java) R 975437 975440 971055 0 -1 4194368 131074 0 0 0 355876 124 0 0 20 0 20 0 185875564 19566772224 1198949 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975451] ppid=975437 vsize=19108176 memory=5552 CPUtime=0 cores=0,2
/proc/975440/task/975451/stat : 975451 (Finalizer) S 975437 975440 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 1198949 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975458] ppid=975437 vsize=19108176 memory=-8672356626756575932 CPUtime=0 cores=0,2
/proc/975440/task/975458/stat : 975458 (Common-Cleaner) S 975437 975440 971055 0 -1 1077936192 4739 0 0 0 0 0 0 0 20 0 20 0 185875567 19566772224 1198949 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
[pid=975440/tid=975460] ppid=975437 vsize=19108176 memory=28196 CPUtime=0 cores=0,2
/proc/975440/task/975460/stat : 975460 (Timer-0) S 975437 975440 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185875673 19566772224 1198949 134679101440 94822104813568 94822104817264 140729122316000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94822104825080 94822104825872 94822129840128 140729122321396 140729122321504 140729122321504 140729122328520 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4795796 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3590.67 s]
# the end of solver process 975440 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.91 s, system=3.22311 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3590.67
CPU time (s): 3600.13
CPU user time (s): 3596.91
CPU system time (s): 3.22311
CPU usage (%): 100.263
Max. virtual memory (cumulated for all children) (KiB): 19110968
Max. memory (cumulated for all children) (KiB): 4795796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.91
system time used= 3.22311
maximum resident set size= 4797352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355567
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145320
involuntary context switches= 27724
# summary of solver processes directly reported to runsolver:
# pid: 975440
# total CPU time (s): 3600.13
# total CPU user time (s): 3596.91
# total CPU system time (s): 3.22311
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.87115 second user time and 18.4707 second system time
The end