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: 64059 MiB (58752 MiB free)
memory of node 1: 64510 MiB (55832 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429863-1721099284/watcher-4429863-1721099284 -o /tmp/evaluation-result-4429863-1721099284/solver-4429863-1721099284 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721095703-832734 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4429863-1721099284.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=835049, runsolver pid=835046
[startup+0.100699 s]*
/proc/loadavg: 4.44 4.47 4.41 5/315 835067
/proc/meminfo: memFree=117299536/131655788 swapFree=131071996/131071996
[pid=835049] ppid=835046 vsize=18975048 memory=56060 CPUtime=0.11 cores=0,2
/proc/835049/stat : 835049 (java) S 835046 835049 832724 0 -1 1077936128 6574 0 0 0 9 2 0 0 20 0 18 0 162086456 19430449152 14015 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
/proc/835049/statm: 4743762 14015 5554 1 0 550893 0
[pid=835049/tid=835051] ppid=835046 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/835049/task/835051/stat : 835051 (java) R 835046 835049 832724 0 -1 4194368 5484 0 0 0 7 1 0 0 20 0 18 0 162086456 19430449152 14015 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835060] ppid=835046 vsize=18975048 memory=228556276070 CPUtime=0 cores=0,2
/proc/835049/task/835060/stat : 835060 (Finalizer) S 835046 835049 832724 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 162086460 19430449152 14041 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835067] ppid=835046 vsize=18975048 memory=3978424728183636000 CPUtime=0 cores=0,2
/proc/835049/task/835067/stat : 835067 (Common-Cleaner) S 835046 835049 832724 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 162086460 19430449152 14041 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56060 KiB
[startup+0.218644 s]*
/proc/loadavg: 4.44 4.47 4.41 5/315 835067
/proc/meminfo: memFree=117288572/131655788 swapFree=131071996/131071996
[pid=835049] ppid=835046 vsize=18975048 memory=64856 CPUtime=0.25 cores=0,2
/proc/835049/stat : 835049 (java) S 835046 835049 832724 0 -1 1077936128 7239 0 0 0 22 3 0 0 20 0 18 0 162086456 19430449152 16214 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
/proc/835049/statm: 4743762 16214 5559 1 0 551431 0
[pid=835049/tid=835051] ppid=835046 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/835049/task/835051/stat : 835051 (java) R 835046 835049 832724 0 -1 1077936192 5751 0 0 0 17 2 0 0 20 0 18 0 162086456 19430449152 16214 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835060] ppid=835046 vsize=18975048 memory=694 CPUtime=0 cores=0,2
/proc/835049/task/835060/stat : 835060 (Finalizer) S 835046 835049 832724 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 162086460 19430449152 16214 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835067] ppid=835046 vsize=18975048 memory=14135562894328173 CPUtime=0 cores=0,2
/proc/835049/task/835067/stat : 835067 (Common-Cleaner) S 835046 835049 832724 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 162086460 19430449152 16214 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64856 KiB
[startup+0.316475 s]*
/proc/loadavg: 4.44 4.47 4.41 6/315 835067
/proc/meminfo: memFree=117287452/131655788 swapFree=131071996/131071996
[pid=835049] ppid=835046 vsize=18975048 memory=66612 CPUtime=0.38 cores=0,2
/proc/835049/stat : 835049 (java) S 835046 835049 832724 0 -1 1077936128 7536 0 0 0 35 3 0 0 20 0 18 0 162086456 19430449152 16653 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
/proc/835049/statm: 4743762 16653 5741 1 0 551632 0
[pid=835049/tid=835051] ppid=835046 vsize=18975048 memory=-8744137143931478716 CPUtime=0.27 cores=0,2
/proc/835049/task/835051/stat : 835051 (java) R 835046 835049 832724 0 -1 1077936192 5919 0 0 0 25 2 0 0 20 0 18 0 162086456 19430449152 16653 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835060] ppid=835046 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/835049/task/835060/stat : 835060 (Finalizer) S 835046 835049 832724 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 162086460 19430449152 16653 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835067] ppid=835046 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/835049/task/835067/stat : 835067 (Common-Cleaner) S 835046 835049 832724 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 162086460 19430449152 16653 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66612 KiB
[startup+0.700352 s]
/proc/loadavg: 4.44 4.47 4.41 7/316 835068
/proc/meminfo: memFree=117278788/131655788 swapFree=131071996/131071996
[pid=835049] ppid=835046 vsize=19041612 memory=95452 CPUtime=1.05 cores=0,2
/proc/835049/stat : 835049 (java) S 835046 835049 832724 0 -1 1077936128 9375 0 0 0 100 5 0 0 20 0 19 0 162086456 19498610688 23863 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
/proc/835049/statm: 4760403 23863 5862 1 0 552635 0
[pid=835049/tid=835051] ppid=835046 vsize=19041612 memory=5576 CPUtime=0.6 cores=0,2
/proc/835049/task/835051/stat : 835051 (java) R 835046 835049 832724 0 -1 4194368 6155 0 0 0 57 3 0 0 20 0 19 0 162086456 19498610688 23863 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835060] ppid=835046 vsize=19041612 memory=12676 CPUtime=0 cores=0,2
/proc/835049/task/835060/stat : 835060 (Finalizer) S 835046 835049 832724 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 162086460 19498610688 23863 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835067] ppid=835046 vsize=19041612 memory=279295549563560 CPUtime=0 cores=0,2
/proc/835049/task/835067/stat : 835067 (Common-Cleaner) S 835046 835049 832724 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 162086460 19498610688 23863 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835068] ppid=835046 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/835049/task/835068/stat : 835068 (Timer-0) S 835046 835049 832724 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 162086500 19498610688 23863 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 95452 KiB
[startup+1.5087 s]
/proc/loadavg: 4.44 4.47 4.41 6/316 835068
/proc/meminfo: memFree=117203476/131655788 swapFree=131071996/131071996
[pid=835049] ppid=835046 vsize=19108176 memory=178640 CPUtime=2.64 cores=0,2
/proc/835049/stat : 835049 (java) S 835046 835049 832724 0 -1 1077936128 17347 0 0 0 257 7 0 0 20 0 20 0 162086456 19566772224 44660 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
/proc/835049/statm: 4777044 44660 5910 1 0 555897 0
[pid=835049/tid=835051] ppid=835046 vsize=19108176 memory=12676 CPUtime=1.32 cores=0,2
/proc/835049/task/835051/stat : 835051 (java) R 835046 835049 832724 0 -1 4194368 6825 0 0 0 128 4 0 0 20 0 20 0 162086456 19566772224 44660 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835060] ppid=835046 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/835049/task/835060/stat : 835060 (Finalizer) S 835046 835049 832724 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 44660 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835067] ppid=835046 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/835049/task/835067/stat : 835067 (Common-Cleaner) S 835046 835049 832724 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 44660 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835068] ppid=835046 vsize=19108176 memory=279295549416720 CPUtime=0 cores=0,2
/proc/835049/task/835068/stat : 835068 (Timer-0) S 835046 835049 832724 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162086500 19566772224 44660 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178640 KiB
[startup+3.10669 s]
/proc/loadavg: 4.44 4.47 4.41 7/317 835069
/proc/meminfo: memFree=116697568/131655788 swapFree=131071996/131071996
[pid=835049] ppid=835046 vsize=19108176 memory=706844 CPUtime=5.73 cores=0,2
/proc/835049/stat : 835049 (java) S 835046 835049 832724 0 -1 1077936128 19411 0 0 0 557 16 0 0 20 0 20 0 162086456 19566772224 176711 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
/proc/835049/statm: 4777044 176711 5910 1 0 556150 0
[pid=835049/tid=835051] ppid=835046 vsize=19108176 memory=0 CPUtime=2.89 cores=0,2
/proc/835049/task/835051/stat : 835051 (java) R 835046 835049 832724 0 -1 4194368 7791 0 0 0 277 12 0 0 20 0 20 0 162086456 19566772224 176711 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835060] ppid=835046 vsize=19108176 memory=12676 CPUtime=0 cores=0,2
/proc/835049/task/835060/stat : 835060 (Finalizer) S 835046 835049 832724 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 176711 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835067] ppid=835046 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/835049/task/835067/stat : 835067 (Common-Cleaner) S 835046 835049 832724 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 176711 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835068] ppid=835046 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/835049/task/835068/stat : 835068 (Timer-0) S 835046 835049 832724 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162086500 19566772224 176711 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
Current children cumulated CPU time: 5.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 706844 KiB
[startup+6.30035 s]
/proc/loadavg: 4.49 4.48 4.42 7/317 835069
/proc/meminfo: memFree=115973448/131655788 swapFree=131071996/131071996
[pid=835049] ppid=835046 vsize=19108176 memory=1373000 CPUtime=10.13 cores=0,2
/proc/835049/stat : 835049 (java) S 835046 835049 832724 0 -1 1077936128 32826 0 0 0 981 32 0 0 20 0 20 0 162086456 19566772224 343250 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
/proc/835049/statm: 4777044 343250 5909 1 0 563239 0
[pid=835049/tid=835051] ppid=835046 vsize=19108176 memory=12676 CPUtime=6 cores=0,2
/proc/835049/task/835051/stat : 835051 (java) R 835046 835049 832724 0 -1 4194368 8700 0 0 0 577 23 0 0 20 0 20 0 162086456 19566772224 343250 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835060] ppid=835046 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/835049/task/835060/stat : 835060 (Finalizer) S 835046 835049 832724 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 343250 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835067] ppid=835046 vsize=19108176 memory=5450909891216438826 CPUtime=0 cores=0,2
/proc/835049/task/835067/stat : 835067 (Common-Cleaner) S 835046 835049 832724 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 343250 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835068] ppid=835046 vsize=19108176 memory=178640 CPUtime=0 cores=0,2
/proc/835049/task/835068/stat : 835068 (Timer-0) S 835046 835049 832724 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162086500 19566772224 343250 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
Current children cumulated CPU time: 10.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1373000 KiB
[startup+12.7005 s]
/proc/loadavg: 4.53 4.48 4.42 5/317 835071
/proc/meminfo: memFree=115577912/131655788 swapFree=131071996/131071996
[pid=835049] ppid=835046 vsize=19108176 memory=1770748 CPUtime=17.94 cores=0,2
/proc/835049/stat : 835049 (java) S 835046 835049 832724 0 -1 1077936128 35906 0 0 0 1753 41 0 0 20 0 20 0 162086456 19566772224 442687 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
/proc/835049/statm: 4777044 442687 5925 1 0 669765 0
[pid=835049/tid=835051] ppid=835046 vsize=19108176 memory=0 CPUtime=12.2 cores=0,2
/proc/835049/task/835051/stat : 835051 (java) R 835046 835049 832724 0 -1 4194368 9090 0 0 0 1189 31 0 0 20 0 20 0 162086456 19566772224 442687 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835060] ppid=835046 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/835049/task/835060/stat : 835060 (Finalizer) S 835046 835049 832724 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 442687 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835067] ppid=835046 vsize=19108176 memory=1762304 CPUtime=0 cores=0,2
/proc/835049/task/835067/stat : 835067 (Common-Cleaner) S 835046 835049 832724 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 442687 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835068] ppid=835046 vsize=19108176 memory=12676 CPUtime=0 cores=0,2
/proc/835049/task/835068/stat : 835068 (Timer-0) S 835046 835049 832724 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162086500 19566772224 442687 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
Current children cumulated CPU time: 17.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1770748 KiB
[startup+25.5005 s]
/proc/loadavg: 4.41 4.46 4.41 5/317 835072
/proc/meminfo: memFree=115054872/131655788 swapFree=131071996/131071996
[pid=835049] ppid=835046 vsize=19108176 memory=2272340 CPUtime=30.83 cores=0,2
/proc/835049/stat : 835049 (java) S 835046 835049 832724 0 -1 1077936128 41441 0 0 0 3031 52 0 0 20 0 20 0 162086456 19566772224 568085 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
/proc/835049/statm: 4777044 568085 5925 1 0 797191 0
[pid=835049/tid=835051] ppid=835046 vsize=19108176 memory=1762304 CPUtime=24.55 cores=0,2
/proc/835049/task/835051/stat : 835051 (java) R 835046 835049 832724 0 -1 4194368 11514 0 0 0 2414 41 0 0 20 0 20 0 162086456 19566772224 568085 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835060] ppid=835046 vsize=19108176 memory=-8744137143931478716 CPUtime=0 cores=0,2
/proc/835049/task/835060/stat : 835060 (Finalizer) S 835046 835049 832724 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 568085 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835067] ppid=835046 vsize=19108176 memory=42936 CPUtime=0 cores=0,2
/proc/835049/task/835067/stat : 835067 (Common-Cleaner) S 835046 835049 832724 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 568085 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835068] ppid=835046 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/835049/task/835068/stat : 835068 (Timer-0) S 835046 835049 832724 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162086500 19566772224 568085 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
Current children cumulated CPU time: 30.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2272340 KiB
[startup+51.1132 s]
/proc/loadavg: 4.33 4.44 4.41 5/317 835079
/proc/meminfo: memFree=114457792/131655788 swapFree=131071996/131071996
[pid=835049] ppid=835046 vsize=19108176 memory=2853292 CPUtime=56.74 cores=0,2
/proc/835049/stat : 835049 (java) S 835046 835049 832724 0 -1 1077936128 50066 0 0 0 5608 66 0 0 20 0 20 0 162086456 19566772224 713323 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
/proc/835049/statm: 4777044 713323 5925 1 0 930883 0
[pid=835049/tid=835051] ppid=835046 vsize=19108176 memory=2826572 CPUtime=49.25 cores=0,2
/proc/835049/task/835051/stat : 835051 (java) R 835046 835049 832724 0 -1 4194368 14560 0 0 0 4873 52 0 0 20 0 20 0 162086456 19566772224 713323 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835060] ppid=835046 vsize=19108176 memory=42936 CPUtime=0 cores=0,2
/proc/835049/task/835060/stat : 835060 (Finalizer) S 835046 835049 832724 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 713323 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
################
# More data... #
################
[pid=835049/tid=835068] ppid=835046 vsize=19108176 memory=4574700 CPUtime=0 cores=0,2
/proc/835049/task/835068/stat : 835068 (Timer-0) S 835046 835049 832724 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162086500 19566772224 1143676 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
Current children cumulated CPU time: 3228.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4574704 KiB
[startup+3282.3 s]
/proc/loadavg: 4.37 4.42 4.35 5/321 837145
/proc/meminfo: memFree=115016864/131655788 swapFree=131071996/131071996
[pid=835049] ppid=835046 vsize=19108176 memory=4574720 CPUtime=3287.99 cores=0,2
/proc/835049/stat : 835049 (java) S 835046 835049 832724 0 -1 1077936128 328642 0 0 0 328449 350 0 0 20 0 20 0 162086456 19566772224 1143680 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
/proc/835049/statm: 4777044 1143680 5925 1 0 1181554 0
[pid=835049/tid=835051] ppid=835046 vsize=19108176 memory=4574708 CPUtime=3251.72 cores=0,2
/proc/835049/task/835051/stat : 835051 (java) R 835046 835049 832724 0 -1 4194368 154031 0 0 0 325083 89 0 0 20 0 20 0 162086456 19566772224 1143680 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 46 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835060] ppid=835046 vsize=19108176 memory=4574716 CPUtime=0 cores=0,2
/proc/835049/task/835060/stat : 835060 (Finalizer) S 835046 835049 832724 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 1143680 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835067] ppid=835046 vsize=19108176 memory=4574716 CPUtime=0 cores=0,2
/proc/835049/task/835067/stat : 835067 (Common-Cleaner) S 835046 835049 832724 0 -1 1077936192 3749 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 1143680 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835068] ppid=835046 vsize=19108176 memory=4574716 CPUtime=0 cores=0,2
/proc/835049/task/835068/stat : 835068 (Timer-0) S 835046 835049 832724 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162086500 19566772224 1143680 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
Current children cumulated CPU time: 3287.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4574720 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.40 4.35 5/321 837156
/proc/meminfo: memFree=114925572/131655788 swapFree=131071996/131071996
[pid=835049] ppid=835046 vsize=19108176 memory=4652912 CPUtime=3348.38 cores=0,2
/proc/835049/stat : 835049 (java) S 835046 835049 832724 0 -1 1077936128 345264 0 0 0 334477 361 0 0 20 0 20 0 162086456 19566772224 1163228 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
/proc/835049/statm: 4777044 1163228 5922 1 0 1181756 0
[pid=835049/tid=835051] ppid=835046 vsize=19108176 memory=4574708 CPUtime=3311.1 cores=0,2
/proc/835049/task/835051/stat : 835051 (java) R 835046 835049 832724 0 -1 4194368 157244 0 0 0 331020 90 0 0 20 0 20 0 162086456 19566772224 1163228 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 46 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835060] ppid=835046 vsize=19108176 memory=42936 CPUtime=0 cores=0,2
/proc/835049/task/835060/stat : 835060 (Finalizer) S 835046 835049 832724 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 1163228 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835067] ppid=835046 vsize=19108176 memory=4652912 CPUtime=0 cores=0,2
/proc/835049/task/835067/stat : 835067 (Common-Cleaner) S 835046 835049 832724 0 -1 1077936192 3780 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 1163228 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835068] ppid=835046 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/835049/task/835068/stat : 835068 (Timer-0) S 835046 835049 832724 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162086500 19566772224 1163228 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
Current children cumulated CPU time: 3348.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4652912 KiB
[startup+3402.3 s]
/proc/loadavg: 4.37 4.39 4.35 5/319 837167
/proc/meminfo: memFree=114898144/131655788 swapFree=131071996/131071996
[pid=835049] ppid=835046 vsize=19108176 memory=4653172 CPUtime=3409.31 cores=0,2
/proc/835049/stat : 835049 (java) S 835046 835049 832724 0 -1 1077936128 357668 0 0 0 340561 370 0 0 20 0 20 0 162086456 19566772224 1163293 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
/proc/835049/statm: 4777044 1163293 5922 1 0 1181763 0
[pid=835049/tid=835051] ppid=835046 vsize=19108176 memory=42936 CPUtime=3370.58 cores=0,2
/proc/835049/task/835051/stat : 835051 (java) R 835046 835049 832724 0 -1 4194368 157912 0 0 0 336968 90 0 0 20 0 20 0 162086456 19566772224 1163293 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 46 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835060] ppid=835046 vsize=19108176 memory=4653168 CPUtime=0 cores=0,2
/proc/835049/task/835060/stat : 835060 (Finalizer) S 835046 835049 832724 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 1163293 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835067] ppid=835046 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/835049/task/835067/stat : 835067 (Common-Cleaner) S 835046 835049 832724 0 -1 1077936192 3847 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 1163293 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835068] ppid=835046 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/835049/task/835068/stat : 835068 (Timer-0) S 835046 835049 832724 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162086500 19566772224 1163293 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
Current children cumulated CPU time: 3409.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653172 KiB
[startup+3462.3 s]
/proc/loadavg: 4.37 4.38 4.35 5/317 837180
/proc/meminfo: memFree=114870732/131655788 swapFree=131071996/131071996
[pid=835049] ppid=835046 vsize=19108176 memory=4653196 CPUtime=3472.37 cores=0,2
/proc/835049/stat : 835049 (java) S 835046 835049 832724 0 -1 1077936128 372503 0 0 0 346852 385 0 0 20 0 20 0 162086456 19566772224 1163299 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
/proc/835049/statm: 4777044 1163299 5922 1 0 1181763 0
[pid=835049/tid=835051] ppid=835046 vsize=19108176 memory=42936 CPUtime=3429.9 cores=0,2
/proc/835049/task/835051/stat : 835051 (java) R 835046 835049 832724 0 -1 4194368 160210 0 0 0 342900 90 0 0 20 0 20 0 162086456 19566772224 1163299 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 46 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835060] ppid=835046 vsize=19108176 memory=4653172 CPUtime=0 cores=0,2
/proc/835049/task/835060/stat : 835060 (Finalizer) S 835046 835049 832724 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 1163299 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835067] ppid=835046 vsize=19108176 memory=4653196 CPUtime=0 cores=0,2
/proc/835049/task/835067/stat : 835067 (Common-Cleaner) S 835046 835049 832724 0 -1 1077936192 3847 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 1163299 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835068] ppid=835046 vsize=19108176 memory=4653188 CPUtime=0 cores=0,2
/proc/835049/task/835068/stat : 835068 (Timer-0) S 835046 835049 832724 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162086500 19566772224 1163299 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
Current children cumulated CPU time: 3472.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653196 KiB
[startup+3522.31 s]
/proc/loadavg: 4.54 4.43 4.37 6/317 837190
/proc/meminfo: memFree=114857624/131655788 swapFree=131071996/131071996
[pid=835049] ppid=835046 vsize=19108176 memory=4653200 CPUtime=3534.85 cores=0,2
/proc/835049/stat : 835049 (java) S 835046 835049 832724 0 -1 1077936128 373937 0 0 0 353088 397 0 0 20 0 20 0 162086456 19566772224 1163300 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
/proc/835049/statm: 4777044 1163300 5922 1 0 1181763 0
[pid=835049/tid=835051] ppid=835046 vsize=19108176 memory=4653192 CPUtime=3489.25 cores=0,2
/proc/835049/task/835051/stat : 835051 (java) R 835046 835049 832724 0 -1 4194368 161133 0 0 0 348835 90 0 0 20 0 20 0 162086456 19566772224 1163300 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 46 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835060] ppid=835046 vsize=19108176 memory=4653172 CPUtime=0 cores=0,2
/proc/835049/task/835060/stat : 835060 (Finalizer) S 835046 835049 832724 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 1163300 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835067] ppid=835046 vsize=19108176 memory=4653168 CPUtime=0 cores=0,2
/proc/835049/task/835067/stat : 835067 (Common-Cleaner) S 835046 835049 832724 0 -1 1077936192 3880 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 1163300 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835068] ppid=835046 vsize=19108176 memory=4653200 CPUtime=0 cores=0,2
/proc/835049/task/835068/stat : 835068 (Timer-0) S 835046 835049 832724 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162086500 19566772224 1163300 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
Current children cumulated CPU time: 3534.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653200 KiB
[startup+3582.3 s]
/proc/loadavg: 4.52 4.46 4.38 5/320 837274
/proc/meminfo: memFree=112402332/131655788 swapFree=131071996/131071996
[pid=835049] ppid=835046 vsize=19108176 memory=4653224 CPUtime=3597.55 cores=0,2
/proc/835049/stat : 835049 (java) S 835046 835049 832724 0 -1 1077936128 388525 0 0 0 359345 410 0 0 20 0 20 0 162086456 19566772224 1163306 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
/proc/835049/statm: 4777044 1163306 5922 1 0 1181763 0
[pid=835049/tid=835051] ppid=835046 vsize=19108176 memory=4653224 CPUtime=3548.46 cores=0,2
/proc/835049/task/835051/stat : 835051 (java) R 835046 835049 832724 0 -1 4194368 162776 0 0 0 354755 91 0 0 20 0 20 0 162086456 19566772224 1163306 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 46 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835060] ppid=835046 vsize=19108176 memory=4653216 CPUtime=0 cores=0,2
/proc/835049/task/835060/stat : 835060 (Finalizer) S 835046 835049 832724 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 1163306 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835067] ppid=835046 vsize=19108176 memory=-8744137143931478716 CPUtime=0 cores=0,2
/proc/835049/task/835067/stat : 835067 (Common-Cleaner) S 835046 835049 832724 0 -1 1077936192 3929 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 1163306 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835068] ppid=835046 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/835049/task/835068/stat : 835068 (Timer-0) S 835046 835049 832724 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162086500 19566772224 1163306 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
Current children cumulated CPU time: 3597.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653224 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3584.8 s]
/proc/loadavg: 4.52 4.46 4.38 5/320 837274
/proc/meminfo: memFree=112400152/131655788 swapFree=131071996/131071996
[pid=835049] ppid=835046 vsize=19108176 memory=4653224 CPUtime=3600.06 cores=0,2
/proc/835049/stat : 835049 (java) S 835046 835049 832724 0 -1 1077936128 388529 0 0 0 359595 411 0 0 20 0 20 0 162086456 19566772224 1163306 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
/proc/835049/statm: 4777044 1163306 5922 1 0 1181763 0
[pid=835049/tid=835051] ppid=835046 vsize=19108176 memory=31900 CPUtime=3550.93 cores=0,2
/proc/835049/task/835051/stat : 835051 (java) R 835046 835049 832724 0 -1 4194368 162776 0 0 0 355002 91 0 0 20 0 20 0 162086456 19566772224 1163306 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 46 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835060] ppid=835046 vsize=19108176 memory=19312 CPUtime=0 cores=0,2
/proc/835049/task/835060/stat : 835060 (Finalizer) S 835046 835049 832724 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 1163306 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835067] ppid=835046 vsize=19108176 memory=26356 CPUtime=0 cores=0,2
/proc/835049/task/835067/stat : 835067 (Common-Cleaner) S 835046 835049 832724 0 -1 1077936192 3929 0 0 0 0 0 0 0 20 0 20 0 162086460 19566772224 1163306 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
[pid=835049/tid=835068] ppid=835046 vsize=19108176 memory=4653224 CPUtime=0 cores=0,2
/proc/835049/task/835068/stat : 835068 (Timer-0) S 835046 835049 832724 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 162086500 19566772224 1163306 134679101440 94705611620352 94705611624048 140735397515440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3584.93 s]
# the end of solver process 835049 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.13 s, system=4.14476 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584.91 s]
/proc/loadavg: 4.52 4.46 4.38 5/320 837274
/proc/meminfo: memFree=112400152/131655788 swapFree=131071996/131071996
[pid=835049] ppid=835046 vsize=19307868 memory=4654652 CPUtime=3600.24 cores=0,2
/proc/835049/stat : 835049 (java) R 835046 835049 832724 0 -1 1077936128 390627 0 0 0 359613 411 0 0 20 0 11 0 162086456 19771256832 1163643 134679101440 94705611620352 94705611624048 140735397515440 0 0 256 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94705611631864 94705611632656 94705631412224 140735397520373 140735397520481 140735397520481 140735397527496 0
/proc/835049/statm: 4826967 1163643 6060 1 0 1182696 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4654652 KiB
Child status: 143
Real time (s): 3584.93
CPU time (s): 3600.28
CPU user time (s): 3596.13
CPU system time (s): 4.14476
CPU usage (%): 100.428
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4654652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.13
system time used= 4.14476
maximum resident set size= 4654864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390627
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 173760
involuntary context switches= 27068
# summary of solver processes directly reported to runsolver:
# pid: 835049
# total CPU time (s): 3600.28
# total CPU user time (s): 3596.13
# total CPU system time (s): 4.14476
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7471 second user time and 37.8869 second system time
The end