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 (58554 MiB free)
memory of node 1: 64473 MiB (56849 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460038-1721943043/watcher-4460038-1721943043 -o /tmp/evaluation-result-4460038-1721943043/solver-4460038-1721943043 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721939462-308133 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4460038-1721943043.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
Current StackSize limit: 8192 KiB
solver pid=310428, runsolver pid=310425
[startup+0.100112 s]*
/proc/loadavg: 4.32 4.26 4.14 5/333 310446
/proc/meminfo: memFree=118127076/131524600 swapFree=131057784/131071996
[pid=310428] ppid=310425 vsize=18975048 memory=66548 CPUtime=0.14 cores=4,6
/proc/310428/stat : 310428 (java) S 310425 310428 308122 0 -1 1077936128 7203 0 0 0 12 2 0 0 20 0 18 0 30827298 19430449152 16637 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
/proc/310428/statm: 4743762 16637 5502 1 0 549357 0
[pid=310428/tid=310430] ppid=310425 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/310428/task/310430/stat : 310430 (java) R 310425 310428 308122 0 -1 4194368 5759 0 0 0 7 2 0 0 20 0 18 0 30827298 19430449152 16637 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310439] ppid=310425 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/310428/task/310439/stat : 310439 (Finalizer) S 310425 310428 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30827301 19430449152 16637 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310446] ppid=310425 vsize=18975048 memory=14130048090825542 CPUtime=0 cores=4,6
/proc/310428/task/310446/stat : 310446 (Common-Cleaner) S 310425 310428 308122 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 30827301 19430449152 16637 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66548 KiB
[startup+0.205864 s]*
/proc/loadavg: 4.32 4.26 4.14 7/333 310446
/proc/meminfo: memFree=118121084/131524600 swapFree=131057784/131071996
[pid=310428] ppid=310425 vsize=18975048 memory=72856 CPUtime=0.34 cores=4,6
/proc/310428/stat : 310428 (java) S 310425 310428 308122 0 -1 1077936128 7589 0 0 0 31 3 0 0 20 0 18 0 30827298 19430449152 18214 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
/proc/310428/statm: 4743762 18214 5685 1 0 549675 0
[pid=310428/tid=310430] ppid=310425 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/310428/task/310430/stat : 310430 (java) R 310425 310428 308122 0 -1 4194368 6032 0 0 0 17 2 0 0 20 0 18 0 30827298 19430449152 18214 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310439] ppid=310425 vsize=18975048 memory=1631257 CPUtime=0 cores=4,6
/proc/310428/task/310439/stat : 310439 (Finalizer) S 310425 310428 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30827301 19430449152 18214 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310446] ppid=310425 vsize=18975048 memory=15816698926204594 CPUtime=0 cores=4,6
/proc/310428/task/310446/stat : 310446 (Common-Cleaner) S 310425 310428 308122 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 30827301 19430449152 18214 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 72856 KiB
[startup+0.305873 s]*
/proc/loadavg: 4.32 4.26 4.14 8/333 310448
/proc/meminfo: memFree=118103300/131524600 swapFree=131057784/131071996
[pid=310428] ppid=310425 vsize=18975048 memory=90688 CPUtime=0.53 cores=4,6
/proc/310428/stat : 310428 (java) S 310425 310428 308122 0 -1 1077936128 8549 0 0 0 49 4 0 0 20 0 18 0 30827298 19430449152 22672 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
/proc/310428/statm: 4743762 22672 5812 1 0 549980 0
[pid=310428/tid=310430] ppid=310425 vsize=18975048 memory=-8816753311385035452 CPUtime=0.27 cores=4,6
/proc/310428/task/310430/stat : 310430 (java) R 310425 310428 308122 0 -1 4194368 6057 0 0 0 24 3 0 0 20 0 18 0 30827298 19430449152 22672 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310439] ppid=310425 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/310428/task/310439/stat : 310439 (Finalizer) S 310425 310428 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30827301 19430449152 22672 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310446] ppid=310425 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/310428/task/310446/stat : 310446 (Common-Cleaner) S 310425 310428 308122 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 30827301 19430449152 22672 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 90688 KiB
[startup+0.700866 s]
/proc/loadavg: 4.32 4.26 4.14 7/333 310448
/proc/meminfo: memFree=118041468/131524600 swapFree=131057784/131071996
[pid=310428] ppid=310425 vsize=19108176 memory=184644 CPUtime=1.28 cores=4,6
/proc/310428/stat : 310428 (java) S 310425 310428 308122 0 -1 1077936128 14678 0 0 0 121 7 0 0 20 0 20 0 30827298 19566772224 46161 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
/proc/310428/statm: 4777044 46161 5855 1 0 554525 0
[pid=310428/tid=310430] ppid=310425 vsize=19108176 memory=5592 CPUtime=0.63 cores=4,6
/proc/310428/task/310430/stat : 310430 (java) R 310425 310428 308122 0 -1 4194368 6220 0 0 0 58 5 0 0 20 0 20 0 30827298 19566772224 46161 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310439] ppid=310425 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/310428/task/310439/stat : 310439 (Finalizer) S 310425 310428 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 46161 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310446] ppid=310425 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/310428/task/310446/stat : 310446 (Common-Cleaner) S 310425 310428 308122 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 46161 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184644 KiB
[startup+1.50288 s]
/proc/loadavg: 4.32 4.26 4.14 7/335 310450
/proc/meminfo: memFree=118007948/131524600 swapFree=131057784/131071996
[pid=310428] ppid=310425 vsize=19108176 memory=191556 CPUtime=2.88 cores=4,6
/proc/310428/stat : 310428 (java) S 310425 310428 308122 0 -1 1077936128 22505 0 0 0 280 8 0 0 20 0 20 0 30827298 19566772224 47889 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
/proc/310428/statm: 4777044 47889 5871 1 0 555381 0
[pid=310428/tid=310430] ppid=310425 vsize=19108176 memory=12264 CPUtime=1.39 cores=4,6
/proc/310428/task/310430/stat : 310430 (java) R 310425 310428 308122 0 -1 4194368 6639 0 0 0 134 5 0 0 20 0 20 0 30827298 19566772224 47889 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310439] ppid=310425 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/310428/task/310439/stat : 310439 (Finalizer) S 310425 310428 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 47889 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310446] ppid=310425 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/310428/task/310446/stat : 310446 (Common-Cleaner) S 310425 310428 308122 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 47889 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310450] ppid=310425 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/310428/task/310450/stat : 310450 (Timer-0) S 310425 310428 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30827359 19566772224 47889 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191556 KiB
[startup+3.10686 s]
/proc/loadavg: 4.32 4.26 4.14 5/335 310450
/proc/meminfo: memFree=117992248/131524600 swapFree=131057784/131071996
[pid=310428] ppid=310425 vsize=19108176 memory=201808 CPUtime=5.4 cores=4,6
/proc/310428/stat : 310428 (java) S 310425 310428 308122 0 -1 1077936128 24375 0 0 0 531 9 0 0 20 0 20 0 30827298 19566772224 50452 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
/proc/310428/statm: 4777044 50452 5871 1 0 555731 0
[pid=310428/tid=310430] ppid=310425 vsize=19108176 memory=0 CPUtime=2.93 cores=4,6
/proc/310428/task/310430/stat : 310430 (java) R 310425 310428 308122 0 -1 4194368 7031 0 0 0 288 5 0 0 20 0 20 0 30827298 19566772224 50452 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310439] ppid=310425 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/310428/task/310439/stat : 310439 (Finalizer) S 310425 310428 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 50452 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310446] ppid=310425 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/310428/task/310446/stat : 310446 (Common-Cleaner) S 310425 310428 308122 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 50452 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310450] ppid=310425 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/310428/task/310450/stat : 310450 (Timer-0) S 310425 310428 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30827359 19566772224 50452 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
Current children cumulated CPU time: 5.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 201808 KiB
[startup+6.30086 s]
/proc/loadavg: 4.37 4.28 4.15 5/335 310450
/proc/meminfo: memFree=117840692/131524600 swapFree=131057784/131071996
[pid=310428] ppid=310425 vsize=19108176 memory=381756 CPUtime=9.19 cores=4,6
/proc/310428/stat : 310428 (java) S 310425 310428 308122 0 -1 1077936128 24681 0 0 0 905 14 0 0 20 0 20 0 30827298 19566772224 95439 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
/proc/310428/statm: 4777044 95439 5871 1 0 555736 0
[pid=310428/tid=310430] ppid=310425 vsize=19108176 memory=0 CPUtime=6.08 cores=4,6
/proc/310428/task/310430/stat : 310430 (java) R 310425 310428 308122 0 -1 4194368 7211 0 0 0 600 8 0 0 20 0 20 0 30827298 19566772224 95439 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310439] ppid=310425 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/310428/task/310439/stat : 310439 (Finalizer) S 310425 310428 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 95439 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310446] ppid=310425 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/310428/task/310446/stat : 310446 (Common-Cleaner) S 310425 310428 308122 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 95439 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310450] ppid=310425 vsize=19108176 memory=75776 CPUtime=0 cores=4,6
/proc/310428/task/310450/stat : 310450 (Timer-0) S 310425 310428 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30827359 19566772224 95439 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
Current children cumulated CPU time: 9.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 381756 KiB
[startup+12.7009 s]
/proc/loadavg: 4.34 4.27 4.15 5/335 310451
/proc/meminfo: memFree=117105960/131524600 swapFree=131057784/131071996
[pid=310428] ppid=310425 vsize=19108176 memory=1135256 CPUtime=15.93 cores=4,6
/proc/310428/stat : 310428 (java) S 310425 310428 308122 0 -1 1077936128 30756 0 0 0 1563 30 0 0 20 0 20 0 30827298 19566772224 283814 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
/proc/310428/statm: 4777044 283814 5871 1 0 555736 0
[pid=310428/tid=310430] ppid=310425 vsize=19108176 memory=185436 CPUtime=12.42 cores=4,6
/proc/310428/task/310430/stat : 310430 (java) R 310425 310428 308122 0 -1 4194368 8670 0 0 0 1218 24 0 0 20 0 20 0 30827298 19566772224 283814 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310439] ppid=310425 vsize=19108176 memory=1024964 CPUtime=0 cores=4,6
/proc/310428/task/310439/stat : 310439 (Finalizer) S 310425 310428 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 283814 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310446] ppid=310425 vsize=19108176 memory=201808 CPUtime=0 cores=4,6
/proc/310428/task/310446/stat : 310446 (Common-Cleaner) S 310425 310428 308122 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 283814 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310450] ppid=310425 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/310428/task/310450/stat : 310450 (Timer-0) S 310425 310428 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30827359 19566772224 283814 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
Current children cumulated CPU time: 15.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1135256 KiB
[startup+25.5003 s]
/proc/loadavg: 4.56 4.32 4.16 5/334 310453
/proc/meminfo: memFree=116789688/131524600 swapFree=131057784/131071996
[pid=310428] ppid=310425 vsize=19108176 memory=1340804 CPUtime=29.22 cores=4,6
/proc/310428/stat : 310428 (java) S 310425 310428 308122 0 -1 1077936128 36603 0 0 0 2887 35 0 0 20 0 20 0 30827298 19566772224 335201 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
/proc/310428/statm: 4777044 335201 5871 1 0 555752 0
[pid=310428/tid=310430] ppid=310425 vsize=19108176 memory=1024964 CPUtime=25.1 cores=4,6
/proc/310428/task/310430/stat : 310430 (java) R 310425 310428 308122 0 -1 4194368 9803 0 0 0 2482 28 0 0 20 0 20 0 30827298 19566772224 335201 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310439] ppid=310425 vsize=19108176 memory=1340784 CPUtime=0 cores=4,6
/proc/310428/task/310439/stat : 310439 (Finalizer) S 310425 310428 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 335201 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310446] ppid=310425 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/310428/task/310446/stat : 310446 (Common-Cleaner) S 310425 310428 308122 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 335201 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310450] ppid=310425 vsize=19108176 memory=6944652177228980320 CPUtime=0 cores=4,6
/proc/310428/task/310450/stat : 310450 (Timer-0) S 310425 310428 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30827359 19566772224 335201 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
Current children cumulated CPU time: 29.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1340804 KiB
[startup+51.1057 s]
/proc/loadavg: 4.44 4.31 4.17 5/334 310458
/proc/meminfo: memFree=116723252/131524600 swapFree=131057784/131071996
[pid=310428] ppid=310425 vsize=19108176 memory=1363516 CPUtime=55.02 cores=4,6
/proc/310428/stat : 310428 (java) S 310425 310428 308122 0 -1 1077936128 44447 0 0 0 5465 37 0 0 20 0 20 0 30827298 19566772224 340879 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
/proc/310428/statm: 4777044 340879 5871 1 0 555752 0
[pid=310428/tid=310430] ppid=310425 vsize=19108176 memory=1340868 CPUtime=50.54 cores=4,6
/proc/310428/task/310430/stat : 310430 (java) R 310425 310428 308122 0 -1 4194368 11894 0 0 0 5026 28 0 0 20 0 20 0 30827298 19566772224 340879 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310439] ppid=310425 vsize=19108176 memory=1340876 CPUtime=0 cores=4,6
/proc/310428/task/310439/stat : 310439 (Finalizer) S 310425 310428 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 340879 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310446] ppid=310425 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/310428/task/310446/stat : 310446 (Common-Cleaner) S 310425 310428 308122 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 340879 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
################
# More data... #
################
/proc/meminfo: memFree=124171116/131524600 swapFree=131057784/131071996
[pid=310428] ppid=310425 vsize=19108176 memory=2184008 CPUtime=3180.89 cores=4,6
/proc/310428/stat : 310428 (java) S 310425 310428 308122 0 -1 1077936128 274531 0 0 0 317902 187 0 0 20 0 20 0 30827298 19566772224 546002 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
/proc/310428/statm: 4777044 546002 5883 1 0 556197 0
[pid=310428/tid=310430] ppid=310425 vsize=19108176 memory=2184008 CPUtime=3146.02 cores=4,6
/proc/310428/task/310430/stat : 310430 (java) R 310425 310428 308122 0 -1 4194368 92585 0 0 0 314561 41 0 0 20 0 20 0 30827298 19566772224 546002 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310439] ppid=310425 vsize=19108176 memory=2184008 CPUtime=0 cores=4,6
/proc/310428/task/310439/stat : 310439 (Finalizer) S 310425 310428 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 546002 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310446] ppid=310425 vsize=19108176 memory=2184008 CPUtime=0 cores=4,6
/proc/310428/task/310446/stat : 310446 (Common-Cleaner) S 310425 310428 308122 0 -1 1077936192 3580 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 546002 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310450] ppid=310425 vsize=19108176 memory=7824611291531876763 CPUtime=0 cores=4,6
/proc/310428/task/310450/stat : 310450 (Timer-0) S 310425 310428 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30827359 19566772224 546002 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
Current children cumulated CPU time: 3180.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184008 KiB
[startup+3222.3 s]
/proc/loadavg: 1.09 1.10 1.23 2/256 312269
/proc/meminfo: memFree=124170540/131524600 swapFree=131057784/131071996
[pid=310428] ppid=310425 vsize=19108176 memory=2184084 CPUtime=3243.19 cores=4,6
/proc/310428/stat : 310428 (java) S 310425 310428 308122 0 -1 1077936128 287520 0 0 0 324128 191 0 0 20 0 20 0 30827298 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
/proc/310428/statm: 4777044 546021 5899 1 0 556197 0
[pid=310428/tid=310430] ppid=310425 vsize=19108176 memory=2184008 CPUtime=3205.7 cores=4,6
/proc/310428/task/310430/stat : 310430 (java) R 310425 310428 308122 0 -1 4194368 94518 0 0 0 320528 42 0 0 20 0 20 0 30827298 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310439] ppid=310425 vsize=19108176 memory=2184008 CPUtime=0 cores=4,6
/proc/310428/task/310439/stat : 310439 (Finalizer) S 310425 310428 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310446] ppid=310425 vsize=19108176 memory=2184008 CPUtime=0 cores=4,6
/proc/310428/task/310446/stat : 310446 (Common-Cleaner) S 310425 310428 308122 0 -1 1077936192 3619 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310450] ppid=310425 vsize=19108176 memory=2184008 CPUtime=0 cores=4,6
/proc/310428/task/310450/stat : 310450 (Timer-0) S 310425 310428 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30827359 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
Current children cumulated CPU time: 3243.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184084 KiB
[startup+3282.3 s]
/proc/loadavg: 1.08 1.09 1.22 2/256 312282
/proc/meminfo: memFree=124169448/131524600 swapFree=131057784/131071996
[pid=310428] ppid=310425 vsize=19108176 memory=2184084 CPUtime=3304.35 cores=4,6
/proc/310428/stat : 310428 (java) S 310425 310428 308122 0 -1 1077936128 288753 0 0 0 330241 194 0 0 20 0 20 0 30827298 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
/proc/310428/statm: 4777044 546021 5899 1 0 556197 0
[pid=310428/tid=310430] ppid=310425 vsize=19108176 memory=-8816753311385035452 CPUtime=3265.44 cores=4,6
/proc/310428/task/310430/stat : 310430 (java) R 310425 310428 308122 0 -1 4194368 95473 0 0 0 326502 42 0 0 20 0 20 0 30827298 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310439] ppid=310425 vsize=19108176 memory=2184084 CPUtime=0 cores=4,6
/proc/310428/task/310439/stat : 310439 (Finalizer) S 310425 310428 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310446] ppid=310425 vsize=19108176 memory=76008 CPUtime=0 cores=4,6
/proc/310428/task/310446/stat : 310446 (Common-Cleaner) S 310425 310428 308122 0 -1 1077936192 3658 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310450] ppid=310425 vsize=19108176 memory=104 CPUtime=0 cores=4,6
/proc/310428/task/310450/stat : 310450 (Timer-0) S 310425 310428 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30827359 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
Current children cumulated CPU time: 3304.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184084 KiB
[startup+3342.3 s]
/proc/loadavg: 1.14 1.10 1.21 2/252 312675
/proc/meminfo: memFree=124168436/131524600 swapFree=131057784/131071996
[pid=310428] ppid=310425 vsize=19108176 memory=2184084 CPUtime=3364.33 cores=4,6
/proc/310428/stat : 310428 (java) S 310425 310428 308122 0 -1 1077936128 292504 0 0 0 336237 196 0 0 20 0 20 0 30827298 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
/proc/310428/statm: 4777044 546021 5899 1 0 556197 0
[pid=310428/tid=310430] ppid=310425 vsize=19108176 memory=2184084 CPUtime=3325.21 cores=4,6
/proc/310428/task/310430/stat : 310430 (java) R 310425 310428 308122 0 -1 4194368 97842 0 0 0 332479 42 0 0 20 0 20 0 30827298 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310439] ppid=310425 vsize=19108176 memory=2184084 CPUtime=0 cores=4,6
/proc/310428/task/310439/stat : 310439 (Finalizer) S 310425 310428 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310446] ppid=310425 vsize=19108176 memory=76008 CPUtime=0 cores=4,6
/proc/310428/task/310446/stat : 310446 (Common-Cleaner) S 310425 310428 308122 0 -1 1077936192 3728 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310450] ppid=310425 vsize=19108176 memory=2184084 CPUtime=0 cores=4,6
/proc/310428/task/310450/stat : 310450 (Timer-0) S 310425 310428 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30827359 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
Current children cumulated CPU time: 3364.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184084 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.10 1.20 2/252 312686
/proc/meminfo: memFree=124167764/131524600 swapFree=131057784/131071996
[pid=310428] ppid=310425 vsize=19108176 memory=2184084 CPUtime=3426.68 cores=4,6
/proc/310428/stat : 310428 (java) S 310425 310428 308122 0 -1 1077936128 300760 0 0 0 342470 198 0 0 20 0 20 0 30827298 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
/proc/310428/statm: 4777044 546021 5899 1 0 556197 0
[pid=310428/tid=310430] ppid=310425 vsize=19108176 memory=2184084 CPUtime=3384.89 cores=4,6
/proc/310428/task/310430/stat : 310430 (java) R 310425 310428 308122 0 -1 4194368 99951 0 0 0 338447 42 0 0 20 0 20 0 30827298 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310439] ppid=310425 vsize=19108176 memory=2248 CPUtime=0 cores=4,6
/proc/310428/task/310439/stat : 310439 (Finalizer) S 310425 310428 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310446] ppid=310425 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/310428/task/310446/stat : 310446 (Common-Cleaner) S 310425 310428 308122 0 -1 1077936192 3767 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310450] ppid=310425 vsize=19108176 memory=2184084 CPUtime=0 cores=4,6
/proc/310428/task/310450/stat : 310450 (Timer-0) S 310425 310428 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30827359 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
Current children cumulated CPU time: 3426.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184084 KiB
[startup+3462.3 s]
/proc/loadavg: 1.16 1.11 1.19 2/252 312697
/proc/meminfo: memFree=124166976/131524600 swapFree=131057784/131071996
[pid=310428] ppid=310425 vsize=19108176 memory=2184084 CPUtime=3487.88 cores=4,6
/proc/310428/stat : 310428 (java) S 310425 310428 308122 0 -1 1077936128 305672 0 0 0 348587 201 0 0 20 0 20 0 30827298 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
/proc/310428/statm: 4777044 546021 5899 1 0 556197 0
[pid=310428/tid=310430] ppid=310425 vsize=19108176 memory=2184084 CPUtime=3444.61 cores=4,6
/proc/310428/task/310430/stat : 310430 (java) R 310425 310428 308122 0 -1 4194368 101887 0 0 0 344419 42 0 0 20 0 20 0 30827298 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310439] ppid=310425 vsize=19108176 memory=2184084 CPUtime=0 cores=4,6
/proc/310428/task/310439/stat : 310439 (Finalizer) S 310425 310428 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310446] ppid=310425 vsize=19108176 memory=2184084 CPUtime=0 cores=4,6
/proc/310428/task/310446/stat : 310446 (Common-Cleaner) S 310425 310428 308122 0 -1 1077936192 3836 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310450] ppid=310425 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/310428/task/310450/stat : 310450 (Timer-0) S 310425 310428 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30827359 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
Current children cumulated CPU time: 3487.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184084 KiB
[startup+3522.3 s]
/proc/loadavg: 1.12 1.10 1.18 2/254 312877
/proc/meminfo: memFree=124166224/131524600 swapFree=131057784/131071996
[pid=310428] ppid=310425 vsize=19108176 memory=2184084 CPUtime=3549.1 cores=4,6
/proc/310428/stat : 310428 (java) S 310425 310428 308122 0 -1 1077936128 310518 0 0 0 354707 203 0 0 20 0 20 0 30827298 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
/proc/310428/statm: 4777044 546021 5899 1 0 556197 0
[pid=310428/tid=310430] ppid=310425 vsize=19108176 memory=2184084 CPUtime=3504.32 cores=4,6
/proc/310428/task/310430/stat : 310430 (java) R 310425 310428 308122 0 -1 4194368 103620 0 0 0 350390 42 0 0 20 0 20 0 30827298 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310439] ppid=310425 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/310428/task/310439/stat : 310439 (Finalizer) S 310425 310428 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310446] ppid=310425 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/310428/task/310446/stat : 310446 (Common-Cleaner) S 310425 310428 308122 0 -1 1077936192 3905 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310450] ppid=310425 vsize=19108176 memory=2184084 CPUtime=0 cores=4,6
/proc/310428/task/310450/stat : 310450 (Timer-0) S 310425 310428 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30827359 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
Current children cumulated CPU time: 3549.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184084 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3572 s]*
/proc/loadavg: 1.11 1.10 1.18 2/254 312888
/proc/meminfo: memFree=124165628/131524600 swapFree=131057784/131071996
[pid=310428] ppid=310425 vsize=19108176 memory=2184084 CPUtime=3600.01 cores=4,6
/proc/310428/stat : 310428 (java) S 310425 310428 308122 0 -1 1077936128 315104 0 0 0 359795 206 0 0 20 0 20 0 30827298 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
/proc/310428/statm: 4777044 546021 5899 1 0 556197 0
[pid=310428/tid=310430] ppid=310425 vsize=19108176 memory=-8816753311385035452 CPUtime=3553.76 cores=4,6
/proc/310428/task/310430/stat : 310430 (java) R 310425 310428 308122 0 -1 4194368 105192 0 0 0 355333 43 0 0 20 0 20 0 30827298 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310439] ppid=310425 vsize=19108176 memory=25656 CPUtime=0 cores=4,6
/proc/310428/task/310439/stat : 310439 (Finalizer) S 310425 310428 308122 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310446] ppid=310425 vsize=19108176 memory=32420 CPUtime=0 cores=4,6
/proc/310428/task/310446/stat : 310446 (Common-Cleaner) S 310425 310428 308122 0 -1 1077936192 3979 0 0 0 0 0 0 0 20 0 20 0 30827301 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
[pid=310428/tid=310450] ppid=310425 vsize=19108176 memory=5664 CPUtime=0 cores=4,6
/proc/310428/task/310450/stat : 310450 (Timer-0) S 310425 310428 308122 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30827359 19566772224 546021 134679101440 94887627030528 94887627034224 140723110638800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94887627042040 94887627042832 94887646457856 140723110642676 140723110642784 140723110642784 140723110649800 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3572.05 s]
# the end of solver process 310428 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.03 s, system=2.07165 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3572.05
CPU time (s): 3600.1
CPU user time (s): 3598.03
CPU system time (s): 2.07165
CPU usage (%): 100.785
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2184084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.03
system time used= 2.07165
maximum resident set size= 2185004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316899
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114388
involuntary context switches= 6586
# summary of solver processes directly reported to runsolver:
# pid: 310428
# total CPU time (s): 3600.1
# total CPU user time (s): 3598.03
# total CPU system time (s): 2.07165
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88441 second user time and 16.6059 second system time
The end