runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (54495 MiB free)
memory of node 1: 64510 MiB (59799 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451011-1721424760/watcher-4451011-1721424760 -o /tmp/evaluation-result-4451011-1721424760/solver-4451011-1721424760 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721421240-1021654 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4451011-1721424760.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1023728, runsolver pid=1023725
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.30 4.54 4.38 6/332 1023746
/proc/meminfo: memFree=116990376/131524600 swapFree=131071996/131071996
[pid=1023728] ppid=1023725 vsize=18975048 memory=68428 CPUtime=0.14 cores=1,3
/proc/1023728/stat : 1023728 (java) S 1023725 1023728 1021642 0 -1 1077936128 7055 0 0 0 12 2 0 0 20 0 18 0 194640876 19430449152 17107 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
/proc/1023728/statm: 4743762 17107 5633 1 0 549330 0
[pid=1023728/tid=1023730] ppid=1023725 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/1023728/task/1023730/stat : 1023730 (java) R 1023725 1023728 1021642 0 -1 4194368 5632 0 0 0 7 1 0 0 20 0 18 0 194640876 19430449152 17107 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023739] ppid=1023725 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/1023728/task/1023739/stat : 1023739 (Finalizer) S 1023725 1023728 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194640879 19430449152 17107 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023746] ppid=1023725 vsize=18975048 memory=14979970577492358 CPUtime=0 cores=1,3
/proc/1023728/task/1023746/stat : 1023746 (Common-Cleaner) S 1023725 1023728 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194640879 19430449152 17107 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68428 KiB
[startup+0.206625 s]*
/proc/loadavg: 4.30 4.54 4.38 7/332 1023746
/proc/meminfo: memFree=116961540/131524600 swapFree=131071996/131071996
[pid=1023728] ppid=1023725 vsize=18975048 memory=101780 CPUtime=0.33 cores=1,3
/proc/1023728/stat : 1023728 (java) S 1023725 1023728 1021642 0 -1 1077936128 7598 0 0 0 31 2 0 0 20 0 18 0 194640876 19430449152 25445 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
/proc/1023728/statm: 4743762 25445 5755 1 0 549684 0
[pid=1023728/tid=1023730] ppid=1023725 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=1,3
/proc/1023728/task/1023730/stat : 1023730 (java) S 1023725 1023728 1021642 0 -1 1077936192 5926 0 0 0 17 2 0 0 20 0 18 0 194640876 19430449152 25445 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023739] ppid=1023725 vsize=18975048 memory=17986 CPUtime=0 cores=1,3
/proc/1023728/task/1023739/stat : 1023739 (Finalizer) S 1023725 1023728 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194640879 19430449152 25445 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023746] ppid=1023725 vsize=18975048 memory=13855165887284967 CPUtime=0 cores=1,3
/proc/1023728/task/1023746/stat : 1023746 (Common-Cleaner) S 1023725 1023728 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194640879 19430449152 25445 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 101780 KiB
[startup+0.311623 s]*
/proc/loadavg: 4.30 4.54 4.38 7/333 1023747
/proc/meminfo: memFree=116947488/131524600 swapFree=131071996/131071996
[pid=1023728] ppid=1023725 vsize=19041928 memory=111648 CPUtime=0.5 cores=1,3
/proc/1023728/stat : 1023728 (java) S 1023725 1023728 1021642 0 -1 1077936128 8537 0 0 0 47 3 0 0 20 0 19 0 194640876 19498934272 27912 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
/proc/1023728/statm: 4760482 27912 5878 1 0 550334 0
[pid=1023728/tid=1023730] ppid=1023725 vsize=19041928 memory=-7596549454003464544 CPUtime=0.26 cores=1,3
/proc/1023728/task/1023730/stat : 1023730 (java) R 1023725 1023728 1021642 0 -1 4194368 6012 0 0 0 24 2 0 0 20 0 19 0 194640876 19498934272 27912 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023739] ppid=1023725 vsize=19041928 memory=0 CPUtime=0 cores=1,3
/proc/1023728/task/1023739/stat : 1023739 (Finalizer) S 1023725 1023728 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194640879 19498934272 27912 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023746] ppid=1023725 vsize=19041928 memory=0 CPUtime=0 cores=1,3
/proc/1023728/task/1023746/stat : 1023746 (Common-Cleaner) S 1023725 1023728 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194640879 19498934272 27912 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023747] ppid=1023725 vsize=19041928 memory=0 CPUtime=0 cores=1,3
/proc/1023728/task/1023747/stat : 1023747 (Timer-0) S 1023725 1023728 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194640900 19498934272 27912 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041928 KiB
Current children cumulated memory: 111648 KiB
[startup+0.70026 s]
/proc/loadavg: 4.35 4.55 4.39 6/334 1023748
/proc/meminfo: memFree=116884164/131524600 swapFree=131071996/131071996
[pid=1023728] ppid=1023725 vsize=19108176 memory=175104 CPUtime=1.22 cores=1,3
/proc/1023728/stat : 1023728 (java) S 1023725 1023728 1021642 0 -1 1077936128 12219 0 0 0 117 5 0 0 20 0 20 0 194640876 19566772224 43776 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
/proc/1023728/statm: 4777044 43776 5878 1 0 552747 0
[pid=1023728/tid=1023730] ppid=1023725 vsize=19108176 memory=13072 CPUtime=0.58 cores=1,3
/proc/1023728/task/1023730/stat : 1023730 (java) R 1023725 1023728 1021642 0 -1 4194368 6058 0 0 0 55 3 0 0 20 0 20 0 194640876 19566772224 43776 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023739] ppid=1023725 vsize=19108176 memory=13072 CPUtime=0 cores=1,3
/proc/1023728/task/1023739/stat : 1023739 (Finalizer) S 1023725 1023728 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 43776 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023746] ppid=1023725 vsize=19108176 memory=117636 CPUtime=0 cores=1,3
/proc/1023728/task/1023746/stat : 1023746 (Common-Cleaner) S 1023725 1023728 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 43776 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023747] ppid=1023725 vsize=19108176 memory=5528 CPUtime=0 cores=1,3
/proc/1023728/task/1023747/stat : 1023747 (Timer-0) S 1023725 1023728 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194640900 19566772224 43776 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175104 KiB
[startup+1.50562 s]
/proc/loadavg: 4.35 4.55 4.39 6/334 1023748
/proc/meminfo: memFree=116842452/131524600 swapFree=131071996/131071996
[pid=1023728] ppid=1023725 vsize=19108176 memory=457076 CPUtime=2.82 cores=1,3
/proc/1023728/stat : 1023728 (java) S 1023725 1023728 1021642 0 -1 1077936128 21180 0 0 0 272 10 0 0 20 0 20 0 194640876 19566772224 114269 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
/proc/1023728/statm: 4777044 114269 5894 1 0 557521 0
[pid=1023728/tid=1023730] ppid=1023725 vsize=19108176 memory=13072 CPUtime=1.35 cores=1,3
/proc/1023728/task/1023730/stat : 1023730 (java) R 1023725 1023728 1021642 0 -1 4194368 6350 0 0 0 128 7 0 0 20 0 20 0 194640876 19566772224 114269 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023739] ppid=1023725 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1023728/task/1023739/stat : 1023739 (Finalizer) S 1023725 1023728 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 114269 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023746] ppid=1023725 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1023728/task/1023746/stat : 1023746 (Common-Cleaner) S 1023725 1023728 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 114269 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023747] ppid=1023725 vsize=19108176 memory=65 CPUtime=0 cores=1,3
/proc/1023728/task/1023747/stat : 1023747 (Timer-0) S 1023725 1023728 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194640900 19566772224 114269 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 457076 KiB
[startup+3.10662 s]
/proc/loadavg: 4.35 4.55 4.39 5/334 1023750
/proc/meminfo: memFree=115711740/131524600 swapFree=131071996/131071996
[pid=1023728] ppid=1023725 vsize=19108176 memory=1334852 CPUtime=5.67 cores=1,3
/proc/1023728/stat : 1023728 (java) S 1023725 1023728 1021642 0 -1 1077936128 27580 0 0 0 541 26 0 0 20 0 20 0 194640876 19566772224 333713 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
/proc/1023728/statm: 4777044 333713 5910 1 0 557629 0
[pid=1023728/tid=1023730] ppid=1023725 vsize=19108176 memory=0 CPUtime=2.9 cores=1,3
/proc/1023728/task/1023730/stat : 1023730 (java) R 1023725 1023728 1021642 0 -1 4194368 7717 0 0 0 268 22 0 0 20 0 20 0 194640876 19566772224 333713 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023739] ppid=1023725 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1023728/task/1023739/stat : 1023739 (Finalizer) S 1023725 1023728 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 333713 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023746] ppid=1023725 vsize=19108176 memory=664268 CPUtime=0 cores=1,3
/proc/1023728/task/1023746/stat : 1023746 (Common-Cleaner) S 1023725 1023728 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 333713 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023747] ppid=1023725 vsize=19108176 memory=13072 CPUtime=0 cores=1,3
/proc/1023728/task/1023747/stat : 1023747 (Timer-0) S 1023725 1023728 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194640900 19566772224 333713 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
Current children cumulated CPU time: 5.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1334852 KiB
[startup+6.30029 s]
/proc/loadavg: 4.32 4.54 4.38 5/334 1023750
/proc/meminfo: memFree=115711780/131524600 swapFree=131071996/131071996
[pid=1023728] ppid=1023725 vsize=19108176 memory=1330620 CPUtime=9.14 cores=1,3
/proc/1023728/stat : 1023728 (java) S 1023725 1023728 1021642 0 -1 1077936128 27803 0 0 0 888 26 0 0 20 0 20 0 194640876 19566772224 332655 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
/proc/1023728/statm: 4777044 332655 5910 1 0 557629 0
[pid=1023728/tid=1023730] ppid=1023725 vsize=19108176 memory=13072 CPUtime=6.03 cores=1,3
/proc/1023728/task/1023730/stat : 1023730 (java) R 1023725 1023728 1021642 0 -1 4194368 7726 0 0 0 581 22 0 0 20 0 20 0 194640876 19566772224 332655 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023739] ppid=1023725 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1023728/task/1023739/stat : 1023739 (Finalizer) S 1023725 1023728 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 332655 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023746] ppid=1023725 vsize=19108176 memory=7234012876567831662 CPUtime=0 cores=1,3
/proc/1023728/task/1023746/stat : 1023746 (Common-Cleaner) S 1023725 1023728 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 332655 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023747] ppid=1023725 vsize=19108176 memory=5516 CPUtime=0 cores=1,3
/proc/1023728/task/1023747/stat : 1023747 (Timer-0) S 1023725 1023728 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194640900 19566772224 332655 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
Current children cumulated CPU time: 9.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1330620 KiB
[startup+12.7003 s]
/proc/loadavg: 4.38 4.55 4.39 5/334 1023751
/proc/meminfo: memFree=115690904/131524600 swapFree=131071996/131071996
[pid=1023728] ppid=1023725 vsize=19108176 memory=1347108 CPUtime=15.58 cores=1,3
/proc/1023728/stat : 1023728 (java) S 1023725 1023728 1021642 0 -1 1077936128 29032 0 0 0 1532 26 0 0 20 0 20 0 194640876 19566772224 336777 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
/proc/1023728/statm: 4777044 336777 5910 1 0 557645 0
[pid=1023728/tid=1023730] ppid=1023725 vsize=19108176 memory=0 CPUtime=12.3 cores=1,3
/proc/1023728/task/1023730/stat : 1023730 (java) R 1023725 1023728 1021642 0 -1 4194368 8366 0 0 0 1208 22 0 0 20 0 20 0 194640876 19566772224 336777 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023739] ppid=1023725 vsize=19108176 memory=1347084 CPUtime=0 cores=1,3
/proc/1023728/task/1023739/stat : 1023739 (Finalizer) S 1023725 1023728 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 336777 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023746] ppid=1023725 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1023728/task/1023746/stat : 1023746 (Common-Cleaner) S 1023725 1023728 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 336777 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023747] ppid=1023725 vsize=19108176 memory=16076 CPUtime=0 cores=1,3
/proc/1023728/task/1023747/stat : 1023747 (Timer-0) S 1023725 1023728 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194640900 19566772224 336777 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
Current children cumulated CPU time: 15.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1347108 KiB
[startup+25.5003 s]
/proc/loadavg: 4.32 4.53 4.38 5/334 1023754
/proc/meminfo: memFree=115230312/131524600 swapFree=131071996/131071996
[pid=1023728] ppid=1023725 vsize=19108176 memory=1782288 CPUtime=28.57 cores=1,3
/proc/1023728/stat : 1023728 (java) S 1023725 1023728 1021642 0 -1 1077936128 34349 0 0 0 2821 36 0 0 20 0 20 0 194640876 19566772224 445572 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
/proc/1023728/statm: 4777044 445572 5910 1 0 664172 0
[pid=1023728/tid=1023730] ppid=1023725 vsize=19108176 memory=1347084 CPUtime=24.8 cores=1,3
/proc/1023728/task/1023730/stat : 1023730 (java) R 1023725 1023728 1021642 0 -1 4194368 9710 0 0 0 2451 29 0 0 20 0 20 0 194640876 19566772224 445572 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023739] ppid=1023725 vsize=19108176 memory=16076 CPUtime=0 cores=1,3
/proc/1023728/task/1023739/stat : 1023739 (Finalizer) S 1023725 1023728 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 445572 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023746] ppid=1023725 vsize=19108176 memory=3461 CPUtime=0 cores=1,3
/proc/1023728/task/1023746/stat : 1023746 (Common-Cleaner) S 1023725 1023728 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 445572 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023747] ppid=1023725 vsize=19108176 memory=1359484 CPUtime=0 cores=1,3
/proc/1023728/task/1023747/stat : 1023747 (Timer-0) S 1023725 1023728 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194640900 19566772224 445572 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
Current children cumulated CPU time: 28.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1782288 KiB
[startup+51.106 s]
/proc/loadavg: 4.47 4.54 4.39 6/334 1023825
/proc/meminfo: memFree=118188688/131524600 swapFree=131071996/131071996
[pid=1023728] ppid=1023725 vsize=19108176 memory=2300220 CPUtime=54.55 cores=1,3
/proc/1023728/stat : 1023728 (java) S 1023725 1023728 1021642 0 -1 1077936128 40255 0 0 0 5409 46 0 0 20 0 20 0 194640876 19566772224 575055 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
/proc/1023728/statm: 4777044 575055 5926 1 0 791596 0
[pid=1023728/tid=1023730] ppid=1023725 vsize=19108176 memory=11444 CPUtime=49.58 cores=1,3
/proc/1023728/task/1023730/stat : 1023730 (java) R 1023725 1023728 1021642 0 -1 4194368 12953 0 0 0 4921 37 0 0 20 0 20 0 194640876 19566772224 575055 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
################
# More data... #
################
/proc/1023728/task/1023739/stat : 1023739 (Finalizer) S 1023725 1023728 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 1163129 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023746] ppid=1023725 vsize=19108176 memory=46320 CPUtime=0 cores=1,3
/proc/1023728/task/1023746/stat : 1023746 (Common-Cleaner) S 1023725 1023728 1021642 0 -1 1077936192 2234 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 1163129 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023747] ppid=1023725 vsize=19108176 memory=4652516 CPUtime=0 cores=1,3
/proc/1023728/task/1023747/stat : 1023747 (Timer-0) S 1023725 1023728 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194640900 19566772224 1163129 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
Current children cumulated CPU time: 3218.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4652516 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.36 4.35 5/332 1025955
/proc/meminfo: memFree=111855832/131524600 swapFree=131071996/131071996
[pid=1023728] ppid=1023725 vsize=19108176 memory=4652640 CPUtime=3279.68 cores=1,3
/proc/1023728/stat : 1023728 (java) S 1023725 1023728 1021642 0 -1 1077936128 309939 0 0 0 327677 291 0 0 20 0 20 0 194640876 19566772224 1163160 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
/proc/1023728/statm: 4777044 1163160 5957 1 0 1177201 0
[pid=1023728/tid=1023730] ppid=1023725 vsize=19108176 memory=4652520 CPUtime=3123.3 cores=1,3
/proc/1023728/task/1023730/stat : 1023730 (java) R 1023725 1023728 1021642 0 -1 4194368 138165 0 0 0 312243 87 0 0 20 0 20 0 194640876 19566772224 1163160 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 196 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023739] ppid=1023725 vsize=19108176 memory=4652520 CPUtime=0 cores=1,3
/proc/1023728/task/1023739/stat : 1023739 (Finalizer) S 1023725 1023728 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 1163160 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023746] ppid=1023725 vsize=19108176 memory=-7596549454003464544 CPUtime=0 cores=1,3
/proc/1023728/task/1023746/stat : 1023746 (Common-Cleaner) S 1023725 1023728 1021642 0 -1 1077936192 2234 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 1163160 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023747] ppid=1023725 vsize=19108176 memory=4652640 CPUtime=0 cores=1,3
/proc/1023728/task/1023747/stat : 1023747 (Timer-0) S 1023725 1023728 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194640900 19566772224 1163160 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
Current children cumulated CPU time: 3279.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4652640 KiB
[startup+3282.3 s]
/proc/loadavg: 4.26 4.35 4.35 5/332 1025966
/proc/meminfo: memFree=111369852/131524600 swapFree=131071996/131071996
[pid=1023728] ppid=1023725 vsize=19108176 memory=4652644 CPUtime=3340.24 cores=1,3
/proc/1023728/stat : 1023728 (java) S 1023725 1023728 1021642 0 -1 1077936128 310547 0 0 0 333730 294 0 0 20 0 20 0 194640876 19566772224 1163161 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
/proc/1023728/statm: 4777044 1163161 5957 1 0 1177201 0
[pid=1023728/tid=1023730] ppid=1023725 vsize=19108176 memory=4652644 CPUtime=3182.06 cores=1,3
/proc/1023728/task/1023730/stat : 1023730 (java) R 1023725 1023728 1021642 0 -1 4194368 138533 0 0 0 318119 87 0 0 20 0 20 0 194640876 19566772224 1163161 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 196 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023739] ppid=1023725 vsize=19108176 memory=4652644 CPUtime=0 cores=1,3
/proc/1023728/task/1023739/stat : 1023739 (Finalizer) S 1023725 1023728 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 1163161 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023746] ppid=1023725 vsize=19108176 memory=4652640 CPUtime=0 cores=1,3
/proc/1023728/task/1023746/stat : 1023746 (Common-Cleaner) S 1023725 1023728 1021642 0 -1 1077936192 2307 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 1163161 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023747] ppid=1023725 vsize=19108176 memory=5516 CPUtime=0 cores=1,3
/proc/1023728/task/1023747/stat : 1023747 (Timer-0) S 1023725 1023728 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194640900 19566772224 1163161 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
Current children cumulated CPU time: 3340.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4652644 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.33 4.34 5/334 1026146
/proc/meminfo: memFree=111369444/131524600 swapFree=131071996/131071996
[pid=1023728] ppid=1023725 vsize=19108176 memory=4652644 CPUtime=3401.28 cores=1,3
/proc/1023728/stat : 1023728 (java) S 1023725 1023728 1021642 0 -1 1077936128 312054 0 0 0 339830 298 0 0 20 0 20 0 194640876 19566772224 1163161 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
/proc/1023728/statm: 4777044 1163161 5957 1 0 1177201 0
[pid=1023728/tid=1023730] ppid=1023725 vsize=19108176 memory=4652644 CPUtime=3240.58 cores=1,3
/proc/1023728/task/1023730/stat : 1023730 (java) R 1023725 1023728 1021642 0 -1 4194368 139843 0 0 0 323971 87 0 0 20 0 20 0 194640876 19566772224 1163161 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 199 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023739] ppid=1023725 vsize=19108176 memory=11444 CPUtime=0 cores=1,3
/proc/1023728/task/1023739/stat : 1023739 (Finalizer) S 1023725 1023728 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 1163161 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023746] ppid=1023725 vsize=19108176 memory=4652644 CPUtime=0 cores=1,3
/proc/1023728/task/1023746/stat : 1023746 (Common-Cleaner) S 1023725 1023728 1021642 0 -1 1077936192 2308 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 1163161 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023747] ppid=1023725 vsize=19108176 memory=4652644 CPUtime=0 cores=1,3
/proc/1023728/task/1023747/stat : 1023747 (Timer-0) S 1023725 1023728 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194640900 19566772224 1163161 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
Current children cumulated CPU time: 3401.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4652644 KiB
[startup+3402.3 s]
/proc/loadavg: 4.72 4.44 4.38 5/334 1026156
/proc/meminfo: memFree=111368616/131524600 swapFree=131071996/131071996
[pid=1023728] ppid=1023725 vsize=19108176 memory=4652664 CPUtime=3462.04 cores=1,3
/proc/1023728/stat : 1023728 (java) S 1023725 1023728 1021642 0 -1 1077936128 316292 0 0 0 345903 301 0 0 20 0 20 0 194640876 19566772224 1163166 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
/proc/1023728/statm: 4777044 1163166 5957 1 0 1177201 0
[pid=1023728/tid=1023730] ppid=1023725 vsize=19108176 memory=4652664 CPUtime=3298.51 cores=1,3
/proc/1023728/task/1023730/stat : 1023730 (java) R 1023725 1023728 1021642 0 -1 4194368 141098 0 0 0 329764 87 0 0 20 0 20 0 194640876 19566772224 1163166 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 199 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023739] ppid=1023725 vsize=19108176 memory=4652644 CPUtime=0 cores=1,3
/proc/1023728/task/1023739/stat : 1023739 (Finalizer) S 1023725 1023728 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 1163166 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023746] ppid=1023725 vsize=19108176 memory=11444 CPUtime=0 cores=1,3
/proc/1023728/task/1023746/stat : 1023746 (Common-Cleaner) S 1023725 1023728 1021642 0 -1 1077936192 2308 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 1163166 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023747] ppid=1023725 vsize=19108176 memory=4652664 CPUtime=0 cores=1,3
/proc/1023728/task/1023747/stat : 1023747 (Timer-0) S 1023725 1023728 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194640900 19566772224 1163166 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
Current children cumulated CPU time: 3462.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4652664 KiB
[startup+3462.3 s]
/proc/loadavg: 4.53 4.45 4.38 5/334 1026292
/proc/meminfo: memFree=113782972/131524600 swapFree=131071996/131071996
[pid=1023728] ppid=1023725 vsize=19108176 memory=4652668 CPUtime=3522.85 cores=1,3
/proc/1023728/stat : 1023728 (java) S 1023725 1023728 1021642 0 -1 1077936128 316938 0 0 0 351982 303 0 0 20 0 20 0 194640876 19566772224 1163167 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
/proc/1023728/statm: 4777044 1163167 5957 1 0 1177201 0
[pid=1023728/tid=1023730] ppid=1023725 vsize=19108176 memory=4652664 CPUtime=3356.91 cores=1,3
/proc/1023728/task/1023730/stat : 1023730 (java) R 1023725 1023728 1021642 0 -1 4194368 141463 0 0 0 335604 87 0 0 20 0 20 0 194640876 19566772224 1163167 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 205 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023739] ppid=1023725 vsize=19108176 memory=4652668 CPUtime=0 cores=1,3
/proc/1023728/task/1023739/stat : 1023739 (Finalizer) S 1023725 1023728 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 1163167 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023746] ppid=1023725 vsize=19108176 memory=4652668 CPUtime=0 cores=1,3
/proc/1023728/task/1023746/stat : 1023746 (Common-Cleaner) S 1023725 1023728 1021642 0 -1 1077936192 2382 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 1163167 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023747] ppid=1023725 vsize=19108176 memory=46320 CPUtime=0 cores=1,3
/proc/1023728/task/1023747/stat : 1023747 (Timer-0) S 1023725 1023728 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194640900 19566772224 1163167 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
Current children cumulated CPU time: 3522.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4652668 KiB
[startup+3522.3 s]
/proc/loadavg: 4.29 4.39 4.36 5/334 1026303
/proc/meminfo: memFree=112661052/131524600 swapFree=131071996/131071996
[pid=1023728] ppid=1023725 vsize=19108176 memory=4652668 CPUtime=3583.47 cores=1,3
/proc/1023728/stat : 1023728 (java) S 1023725 1023728 1021642 0 -1 1077936128 317770 0 0 0 358041 306 0 0 20 0 20 0 194640876 19566772224 1163167 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
/proc/1023728/statm: 4777044 1163167 5957 1 0 1177201 0
[pid=1023728/tid=1023730] ppid=1023725 vsize=19108176 memory=4652668 CPUtime=3415.52 cores=1,3
/proc/1023728/task/1023730/stat : 1023730 (java) R 1023725 1023728 1021642 0 -1 4194368 142223 0 0 0 341464 88 0 0 20 0 20 0 194640876 19566772224 1163167 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 208 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023739] ppid=1023725 vsize=19108176 memory=46320 CPUtime=0 cores=1,3
/proc/1023728/task/1023739/stat : 1023739 (Finalizer) S 1023725 1023728 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 1163167 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023746] ppid=1023725 vsize=19108176 memory=4652668 CPUtime=0 cores=1,3
/proc/1023728/task/1023746/stat : 1023746 (Common-Cleaner) S 1023725 1023728 1021642 0 -1 1077936192 2382 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 1163167 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023747] ppid=1023725 vsize=19108176 memory=1964 CPUtime=0 cores=1,3
/proc/1023728/task/1023747/stat : 1023747 (Timer-0) S 1023725 1023728 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194640900 19566772224 1163167 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
Current children cumulated CPU time: 3583.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4652668 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3538.7 s]
/proc/loadavg: 4.23 4.37 4.36 5/334 1026304
/proc/meminfo: memFree=112634104/131524600 swapFree=131071996/131071996
[pid=1023728] ppid=1023725 vsize=19108176 memory=4652676 CPUtime=3600.07 cores=1,3
/proc/1023728/stat : 1023728 (java) S 1023725 1023728 1021642 0 -1 1077936128 318036 0 0 0 359699 308 0 0 20 0 20 0 194640876 19566772224 1163169 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
/proc/1023728/statm: 4777044 1163169 5957 1 0 1177203 0
[pid=1023728/tid=1023730] ppid=1023725 vsize=19108176 memory=4652668 CPUtime=3431.63 cores=1,3
/proc/1023728/task/1023730/stat : 1023730 (java) R 1023725 1023728 1021642 0 -1 4194368 142483 0 0 0 343075 88 0 0 20 0 20 0 194640876 19566772224 1163169 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 211 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023739] ppid=1023725 vsize=19108176 memory=1816 CPUtime=0 cores=1,3
/proc/1023728/task/1023739/stat : 1023739 (Finalizer) S 1023725 1023728 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 1163169 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023746] ppid=1023725 vsize=19108176 memory=4652676 CPUtime=0 cores=1,3
/proc/1023728/task/1023746/stat : 1023746 (Common-Cleaner) S 1023725 1023728 1021642 0 -1 1077936192 2382 0 0 0 0 0 0 0 20 0 20 0 194640879 19566772224 1163169 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
[pid=1023728/tid=1023747] ppid=1023725 vsize=19108176 memory=11444 CPUtime=0 cores=1,3
/proc/1023728/task/1023747/stat : 1023747 (Timer-0) S 1023725 1023728 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194640900 19566772224 1163169 134679101440 94773818036224 94773818039920 140721197025216 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94773818047736 94773818048528 94773825531904 140721197028339 140721197028447 140721197028447 140721197035464 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4652676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3538.81 s]
# the end of solver process 1023728 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.12 s, system=3.10059 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3538.81 s]*
/proc/loadavg: 4.23 4.37 4.36 5/315 1026307
/proc/meminfo: memFree=117270652/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3538.81
CPU time (s): 3600.22
CPU user time (s): 3597.12
CPU system time (s): 3.10059
CPU usage (%): 101.735
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 4652676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.12
system time used= 3.10059
maximum resident set size= 4654352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321655
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 166299
involuntary context switches= 16107
# summary of solver processes directly reported to runsolver:
# pid: 1023728
# total CPU time (s): 3600.22
# total CPU user time (s): 3597.12
# total CPU system time (s): 3.10059
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41614 second user time and 20.152 second system time
The end