1081.51/1084.24 c initialize IPBHS solver
1081.51/1084.24 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:19:29), with Glucose 3.0, with Gurobi 10.0.1, with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
1081.51/1084.24 c optimizer = "gurobi"
1081.51/1084.24 c pbsolver = "roundingsat"
1081.51/1084.24 c load symmetries from file ""
1081.51/1084.24 c set time limit for symmetry computation to 100 seconds.
1081.51/1084.24 c set interchangeable summation variable limit to 3
1081.51/1084.24 c set abs symmetric core budget per WCE-iteration to 100
1081.51/1084.24 c set rel symmetric core budget per WCE-iteration to 0
1081.51/1084.24 c set lit symmetric core budget per WCE-iteration to 0
1081.51/1084.24 c set sym generation to 's'
1081.51/1084.24 c set abstraction set creation to 10 iterations without LB change
1081.51/1084.24 c set abstraction set inputs to 0
1081.51/1084.24 c set abstraction set cluster min size to 2
1081.51/1084.24 c set abstraction set cluster max size to 100000000
1081.51/1084.24 c set abstraction set cluster activation limit to 2
1081.51/1084.24 c enable abstraction set require equal cost
1081.51/1084.24 c set abstraction set assumptions to 0
1081.51/1084.24 c set abstraction set constraint type to 0
1081.51/1084.24 c set abstract core extraction strategy to b
1081.51/1084.24 c set core extraction strategy to 2
1081.51/1084.24 c set core extraction shuffles 10
1081.51/1084.24 c set cores per iteration to 5
1081.51/1084.24 c set optimizer bound usage strategy to 2
1081.51/1084.24 c set optimizer max non-optimal iterations to 1000
1081.51/1084.24 c set small core cardinality limit to 2
1081.51/1084.24 c set max coef in cores to 1000000000
1081.51/1084.24 c set SIS iterations to 5
1081.51/1084.24 c set SIS budget abs to 1000
1081.51/1084.24 c set SIS budget rel to 0.05
1081.51/1084.24 c limit for coefficient in constraints and objective to 9223372036854775807
1081.51/1084.24 c will solve HOME/instance-4449615-1721399502.opb
1081.51/1084.24 c [0.02] solve iteration 1, LB=0, UB=25
1081.51/1084.24 c [15.13] solve iteration 2, LB=0, UB=22
1081.51/1084.24 c [36.82] solve iteration 3, LB=1, UB=22
1081.51/1084.24 c [69.35] solve iteration 4, LB=1, UB=22
1081.51/1084.24 c [84.91] solve iteration 5, LB=1, UB=22
1081.51/1084.24 c [115.73] solve iteration 6, LB=1, UB=22
1081.51/1084.24 c [138.08] solve iteration 7, LB=1, UB=22
1081.51/1084.24 c [157.68] solve iteration 8, LB=1, UB=22
1081.51/1084.24 c [173.7] solve iteration 9, LB=1, UB=22
1081.51/1084.24 c [178.06] solve iteration 10, LB=1, UB=22
1081.51/1084.24 c [205.58] solve iteration 11, LB=1, UB=22
1081.51/1084.24 c [224.07] solve iteration 12, LB=1, UB=22
1081.51/1084.24 c [234.25] solve iteration 13, LB=1, UB=22
1081.51/1084.24 c [238.87] solve iteration 14, LB=1, UB=22
1081.51/1084.24 c [273.87] solve iteration 15, LB=1, UB=22
1081.51/1084.24 c [329.99] solve iteration 16, LB=1, UB=22
1081.51/1084.24 c [353.23] solve iteration 17, LB=1, UB=22
1081.51/1084.24 c [366.76] solve iteration 18, LB=1, UB=22
1081.51/1084.24 c [372.54] solve iteration 19, LB=1, UB=22
1081.51/1084.24 c [391.41] solve iteration 20, LB=1, UB=22
1081.51/1084.24 c [446.63] solve iteration 21, LB=1, UB=22
1081.51/1084.24 c [450.16] solve iteration 22, LB=1, UB=22
1081.51/1084.24 c [450.66] solve iteration 23, LB=1, UB=22
1081.51/1084.24 c [453.27] solve iteration 24, LB=1, UB=22
1081.51/1084.24 c [453.31] solve iteration 25, LB=1, UB=22
1081.51/1084.24 c [518.08] solve iteration 26, LB=1, UB=22
1081.51/1084.24 c [518.67] solve iteration 27, LB=1, UB=22
1081.51/1084.24 c [518.95] solve iteration 28, LB=1, UB=22
1081.51/1084.24 c [519.03] solve iteration 29, LB=1, UB=22
1081.51/1084.24 c [519.08] solve iteration 30, LB=1, UB=22
1081.51/1084.24 c [588.58] solve iteration 31, LB=1, UB=22
1081.51/1084.24 c [589.51] solve iteration 32, LB=1, UB=22
1081.51/1084.24 c [589.6] solve iteration 33, LB=1, UB=22
1081.51/1084.24 c [589.82] solve iteration 34, LB=1, UB=22
1081.51/1084.24 c [589.97] solve iteration 35, LB=2, UB=22
1081.51/1084.24 c [668.72] solve iteration 36, LB=2, UB=22
1081.51/1084.24 c [669.32] solve iteration 37, LB=2, UB=22
1081.51/1084.24 c [669.6] solve iteration 38, LB=2, UB=22
1081.51/1084.24 c [669.75] solve iteration 39, LB=2, UB=22
1081.51/1084.24 c [669.81] solve iteration 40, LB=2, UB=22
1081.51/1084.24 c [754.37] solve iteration 41, LB=2, UB=22
1081.51/1084.24 c [755.07] solve iteration 42, LB=2, UB=22
1081.51/1084.24 c [755.29] solve iteration 43, LB=2, UB=22
1081.51/1084.24 c [755.39] solve iteration 44, LB=2, UB=22
1081.51/1084.24 c [758.72] solve iteration 45, LB=2, UB=22
1081.51/1084.24 c [829.56] solve iteration 46, LB=2, UB=22
1081.51/1084.24 c [829.93] solve iteration 47, LB=2, UB=22
1081.51/1084.24 c [829.99] solve iteration 48, LB=2, UB=22
1081.51/1084.24 c [830.08] solve iteration 49, LB=2, UB=22
1081.51/1084.24 c [830.17] solve iteration 50, LB=2, UB=22
1081.51/1084.24 c [881.88] solve iteration 51, LB=2, UB=22
1081.51/1084.24 c [882.13] solve iteration 52, LB=2, UB=22
1081.51/1084.24 c [882.28] solve iteration 53, LB=2, UB=22
1081.51/1084.24 c [882.37] solve iteration 54, LB=2, UB=22
1081.51/1084.24 c [882.41] solve iteration 55, LB=2, UB=22
1081.51/1084.24 c [938.06] solve iteration 56, LB=2, UB=22
1081.51/1084.24 c [939.31] solve iteration 57, LB=2, UB=22
1081.51/1084.24 c [939.47] solve iteration 58, LB=2, UB=22
1081.51/1084.24 c [939.57] solve iteration 59, LB=2, UB=22
1081.51/1084.24 c [939.65] solve iteration 60, LB=2, UB=22
1081.51/1084.24 c [1020.28] solve iteration 61, LB=HOME/run-glibc-2.34.sh: line 2: 1013082 Terminated LD_LIBRARY_PATH=/home/evaluation/evaluation/priv/lib:/home/evaluation/evaluation/tools/lib64:/home/evaluation/evaluation/tools/lib:/usr/local/lib:/home/evaluation/evaluation/tools/glibc-2.34/lib/:/lib64 /home/evaluation/evaluation/tools/glibc-2.34/lib/ld-linux-x86-64.so.2 $*
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 (62059 MiB free)
memory of node 1: 64510 MiB (63285 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449615-1721399502/watcher-4449615-1721399502 -o /tmp/evaluation-result-4449615-1721399502/solver-4449615-1721399502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721399515-1013027 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4449615-1721399502.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=1013080, runsolver pid=1013077
[startup+0.100057 s]*
/proc/loadavg: 0.16 0.12 0.09 1/264 1013094
/proc/meminfo: memFree=128350860/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=64768 memory=1076 CPUtime=0 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) D 1013080 1013080 1013016 0 -1 4194304 77 0 2 0 0 0 0 0 20 0 1 0 192110476 66322432 269 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 0 0 0 0 0 17 4 0 0 8 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 16192 269 242 46 0 256 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 74696 KiB
Current children cumulated memory: 3744 KiB
[startup+0.204806 s]*
/proc/loadavg: 0.16 0.12 0.09 5/268 1013098
/proc/meminfo: memFree=128319844/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=93500 memory=13556 CPUtime=0.04 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 2419 0 2 0 4 0 0 0 20 0 1 0 192110476 95744000 3389 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 0 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 23375 3389 1637 46 0 3990 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 103428 KiB
Current children cumulated memory: 16224 KiB
[startup+0.305198 s]*
/proc/loadavg: 0.16 0.12 0.09 5/264 1013098
/proc/meminfo: memFree=128303760/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=107872 memory=26808 CPUtime=0.14 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 5641 0 2 0 13 1 0 0 20 0 1 0 192110476 110460928 6702 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 0 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 26968 6702 1733 46 0 7583 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 117800 KiB
Current children cumulated memory: 29476 KiB
[startup+0.70021 s]
/proc/loadavg: 0.16 0.12 0.09 3/262 1013107
/proc/meminfo: memFree=128284856/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=164576 memory=52788 CPUtime=0.52 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 9088 0 2 0 40 12 0 0 20 0 2 0 192110476 168525824 13197 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 41144 13197 3410 46 0 13739 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 174504 KiB
Current children cumulated memory: 55456 KiB
[startup+1.50021 s]
/proc/loadavg: 0.16 0.12 0.09 5/263 1013136
/proc/meminfo: memFree=128310620/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=170652 memory=58088 CPUtime=1.32 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 9873 0 2 0 113 19 0 0 20 0 2 0 192110476 174747648 14522 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 42663 14522 3410 46 0 15258 0
[pid=1013082/tid=1013108] ppid=1013080 vsize=170652 memory=11400 CPUtime=0 cores=4,6
/proc/1013082/task/1013108/stat : 1013108 (ld-linux-x86-64) S 1013080 1013080 1013016 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192110527 174747648 14522 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 180580 KiB
Current children cumulated memory: 60756 KiB
[startup+3.10538 s]
/proc/loadavg: 0.16 0.12 0.09 5/270 1013148
/proc/meminfo: memFree=128241052/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=176640 memory=64444 CPUtime=2.92 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 15748 0 2 0 259 33 0 0 20 0 2 0 192110476 180879360 16111 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 44160 16111 3410 46 0 16755 0
[pid=1013082/tid=1013108] ppid=1013080 vsize=176640 memory=53316 CPUtime=0 cores=4,6
/proc/1013082/task/1013108/stat : 1013108 (ld-linux-x86-64) S 1013080 1013080 1013016 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 192110527 180879360 16111 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 186568 KiB
Current children cumulated memory: 67112 KiB
[startup+6.3002 s]
/proc/loadavg: 0.46 0.18 0.12 5/270 1013148
/proc/meminfo: memFree=128234104/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=178224 memory=66060 CPUtime=6.11 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 23358 0 2 0 553 58 0 0 20 0 2 0 192110476 182501376 16515 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 44556 16515 3410 46 0 17151 0
[pid=1013082/tid=1013108] ppid=1013080 vsize=178224 memory=4207278402959999105 CPUtime=0 cores=4,6
/proc/1013082/task/1013108/stat : 1013108 (ld-linux-x86-64) S 1013080 1013080 1013016 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 192110527 182501376 16515 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
Current children cumulated CPU time: 6.11 s
Current children cumulated vsize: 188152 KiB
Current children cumulated memory: 68728 KiB
[startup+12.7002 s]
/proc/loadavg: 0.75 0.25 0.14 5/270 1013150
/proc/meminfo: memFree=128224528/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=186328 memory=68188 CPUtime=12.5 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 36723 0 2 0 1139 111 0 0 20 0 2 0 192110476 190799872 17047 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 46582 17047 3410 46 0 19177 0
[pid=1013082/tid=1013108] ppid=1013080 vsize=186328 memory=2668 CPUtime=0 cores=4,6
/proc/1013082/task/1013108/stat : 1013108 (ld-linux-x86-64) S 1013080 1013080 1013016 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 2 0 192110527 190799872 17047 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
Current children cumulated CPU time: 12.5 s
Current children cumulated vsize: 196256 KiB
Current children cumulated memory: 70856 KiB
[startup+25.5002 s]
/proc/loadavg: 1.47 0.43 0.20 5/270 1013151
/proc/meminfo: memFree=128201748/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=191572 memory=80048 CPUtime=25.26 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 53393 0 2 0 2329 197 0 0 20 0 2 0 192110476 196169728 20012 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 47893 20012 3584 46 0 20488 0
[pid=1013082/tid=1013108] ppid=1013080 vsize=191572 memory=2668 CPUtime=0 cores=4,6
/proc/1013082/task/1013108/stat : 1013108 (ld-linux-x86-64) S 1013080 1013080 1013016 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 2 0 192110527 196169728 20012 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 201500 KiB
Current children cumulated memory: 82716 KiB
[startup+51.1052 s]
/proc/loadavg: 2.40 0.74 0.31 5/270 1013156
/proc/meminfo: memFree=128174664/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=206776 memory=88880 CPUtime=50.8 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 78050 0 2 0 4691 389 0 0 20 0 2 0 192110476 211738624 22220 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 51694 22220 3584 46 0 24289 0
[pid=1013082/tid=1013108] ppid=1013080 vsize=206776 memory=6226342373515946595 CPUtime=0.01 cores=4,6
/proc/1013082/task/1013108/stat : 1013108 (ld-linux-x86-64) S 1013080 1013080 1013016 0 -1 1077936192 36 0 0 0 0 1 0 0 20 0 2 0 192110527 211738624 22220 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 216704 KiB
Current children cumulated memory: 91548 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.27 0.51 5/268 1013165
/proc/meminfo: memFree=128124244/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=216656 memory=104992 CPUtime=101.85 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 105736 0 2 0 9475 710 0 0 20 0 2 0 192110476 221855744 26248 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 54164 26248 3584 46 0 26759 0
[pid=1013082/tid=1013108] ppid=1013080 vsize=216656 memory=2668 CPUtime=0.03 cores=4,6
/proc/1013082/task/1013108/stat : 1013108 (ld-linux-x86-64) S 1013080 1013080 1013016 0 -1 1077936192 44 0 0 0 0 3 0 0 20 0 2 0 192110527 221855744 26248 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 226584 KiB
Current children cumulated memory: 107660 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 1.79 0.74 5/268 1013177
/proc/meminfo: memFree=128017660/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=280420 memory=166256 CPUtime=161.72 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 137941 0 2 0 15150 1022 0 0 20 0 2 0 192110476 287150080 41564 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 70105 41564 3584 46 0 42700 0
################
# More data... #
################
/proc/1013082/statm: 196720 151674 3791 46 0 169315 0
[pid=1013082/tid=1013108] ppid=1013080 vsize=786880 memory=602600 CPUtime=1.78 cores=4,6
/proc/1013082/task/1013108/stat : 1013108 (ld-linux-x86-64) S 1013080 1013080 1013016 0 -1 1077936192 198 0 0 0 62 116 0 0 20 0 2 0 192110527 805765120 151674 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
Current children cumulated CPU time: 3155.84 s
Current children cumulated vsize: 796808 KiB
Current children cumulated memory: 609364 KiB
[startup+3222.3 s]
/proc/loadavg: 4.26 4.27 4.09 5/263 1014733
/proc/meminfo: memFree=126934676/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=790840 memory=616752 CPUtime=3215.75 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 708640 0 2 0 305720 15855 0 0 20 0 2 0 192110476 809820160 154188 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 197710 154188 3791 46 0 170305 0
[pid=1013082/tid=1013108] ppid=1013080 vsize=790840 memory=602600 CPUtime=1.82 cores=4,6
/proc/1013082/task/1013108/stat : 1013108 (ld-linux-x86-64) S 1013080 1013080 1013016 0 -1 1077936192 201 0 0 0 63 119 0 0 20 0 2 0 192110527 809820160 154188 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
Current children cumulated CPU time: 3215.75 s
Current children cumulated vsize: 800768 KiB
Current children cumulated memory: 619420 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.23 4.09 5/263 1014743
/proc/meminfo: memFree=126928928/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=793612 memory=619568 CPUtime=3275.63 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 715248 0 2 0 311588 15975 0 0 20 0 2 0 192110476 812658688 154892 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 198403 154892 3791 46 0 170998 0
[pid=1013082/tid=1013108] ppid=1013080 vsize=793612 memory=2668 CPUtime=1.86 cores=4,6
/proc/1013082/task/1013108/stat : 1013108 (ld-linux-x86-64) S 1013080 1013080 1013016 0 -1 1077936192 204 0 0 0 65 121 0 0 20 0 2 0 192110527 812658688 154892 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
Current children cumulated CPU time: 3275.63 s
Current children cumulated vsize: 803540 KiB
Current children cumulated memory: 622236 KiB
[startup+3342.3 s]
/proc/loadavg: 4.58 4.35 4.14 5/263 1014754
/proc/meminfo: memFree=126925264/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=793612 memory=619568 CPUtime=3335.53 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 715898 0 2 0 317481 16072 0 0 20 0 2 0 192110476 812658688 154892 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 198403 154892 3791 46 0 170998 0
[pid=1013082/tid=1013108] ppid=1013080 vsize=793612 memory=11400 CPUtime=1.89 cores=4,6
/proc/1013082/task/1013108/stat : 1013108 (ld-linux-x86-64) S 1013080 1013080 1013016 0 -1 1077936192 207 0 0 0 66 123 0 0 20 0 2 0 192110527 812658688 154892 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
Current children cumulated CPU time: 3335.53 s
Current children cumulated vsize: 803540 KiB
Current children cumulated memory: 622236 KiB
[startup+3402.3 s]
/proc/loadavg: 4.32 4.32 4.14 5/265 1014934
/proc/meminfo: memFree=126916464/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=795592 memory=621476 CPUtime=3395.43 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 722918 0 2 0 323357 16186 0 0 20 0 2 0 192110476 814686208 155369 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 198898 155369 3791 46 0 171493 0
[pid=1013082/tid=1013108] ppid=1013080 vsize=795592 memory=621476 CPUtime=1.94 cores=4,6
/proc/1013082/task/1013108/stat : 1013108 (ld-linux-x86-64) S 1013080 1013080 1013016 0 -1 1077936192 210 0 0 0 68 126 0 0 20 0 2 0 192110527 814686208 155369 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
Current children cumulated CPU time: 3395.43 s
Current children cumulated vsize: 805520 KiB
Current children cumulated memory: 624144 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.27 4.14 5/265 1014944
/proc/meminfo: memFree=126887340/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=797572 memory=623468 CPUtime=3455.31 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 730484 0 2 0 329259 16272 0 0 20 0 2 0 192110476 816713728 155867 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 199393 155867 3791 46 0 171988 0
[pid=1013082/tid=1013108] ppid=1013080 vsize=797572 memory=621476 CPUtime=1.97 cores=4,6
/proc/1013082/task/1013108/stat : 1013108 (ld-linux-x86-64) S 1013080 1013080 1013016 0 -1 1077936192 213 0 0 0 69 128 0 0 20 0 2 0 192110527 816713728 155867 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
Current children cumulated CPU time: 3455.31 s
Current children cumulated vsize: 807500 KiB
Current children cumulated memory: 626136 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.24 4.13 5/264 1015010
/proc/meminfo: memFree=126886436/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=797572 memory=623468 CPUtime=3515.21 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 731116 0 2 0 335150 16371 0 0 20 0 2 0 192110476 816713728 155867 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 199393 155867 3791 46 0 171988 0
[pid=1013082/tid=1013108] ppid=1013080 vsize=797572 memory=2668 CPUtime=2.01 cores=4,6
/proc/1013082/task/1013108/stat : 1013108 (ld-linux-x86-64) S 1013080 1013080 1013016 0 -1 1077936192 216 0 0 0 71 130 0 0 20 0 2 0 192110527 816713728 155867 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
Current children cumulated CPU time: 3515.21 s
Current children cumulated vsize: 807500 KiB
Current children cumulated memory: 626136 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.22 4.13 5/264 1015021
/proc/meminfo: memFree=126879040/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=799024 memory=624924 CPUtime=3575.1 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 738968 0 2 0 341019 16491 0 0 20 0 2 0 192110476 818200576 156231 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 199756 156231 3791 46 0 172351 0
[pid=1013082/tid=1013108] ppid=1013080 vsize=799024 memory=2668 CPUtime=2.05 cores=4,6
/proc/1013082/task/1013108/stat : 1013108 (ld-linux-x86-64) S 1013080 1013080 1013016 0 -1 1077936192 219 0 0 0 73 132 0 0 20 0 2 0 192110527 818200576 156231 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
Current children cumulated CPU time: 3575.1 s
Current children cumulated vsize: 808952 KiB
Current children cumulated memory: 627592 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.3 s]
/proc/loadavg: 4.17 4.22 4.13 4/260 1015024
/proc/meminfo: memFree=127445852/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=799024 memory=624924 CPUtime=3600.06 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 739100 0 2 0 343480 16526 0 0 20 0 2 0 192110476 818200576 156231 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 199756 156231 3791 46 0 172351 0
[pid=1013082/tid=1013108] ppid=1013080 vsize=799024 memory=2668 CPUtime=2.06 cores=4,6
/proc/1013082/task/1013108/stat : 1013108 (ld-linux-x86-64) S 1013080 1013080 1013016 0 -1 1077936192 222 0 0 0 73 133 0 0 20 0 2 0 192110527 818200576 156231 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 808952 KiB
Current children cumulated memory: 627592 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3607.31 s]
# the end of solver process 1013080 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3434.81 s, system=165.273 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3607.3 s]
/proc/loadavg: 4.17 4.22 4.13 4/260 1015024
/proc/meminfo: memFree=127445852/131524600 swapFree=131071996/131071996
[pid=1013080] ppid=1013077 vsize=9928 memory=2668 CPUtime=0 cores=4,6
/proc/1013080/stat : 1013080 (run-glibc-2.34.) S 1013077 1013080 1013016 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 192110476 10166272 667 134679101440 93831673327616 93831674406936 140723808683824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93831676505392 93831676552580 93831697174528 140723808691145 140723808691290 140723808691290 140723808698307 0
/proc/1013080/statm: 2482 667 587 264 0 133 0
[pid=1013082] ppid=1013080 vsize=799024 memory=624924 CPUtime=3600.06 cores=4,6
/proc/1013082/stat : 1013082 (ld-linux-x86-64) R 1013080 1013080 1013016 0 -1 4194304 739100 0 2 0 343480 16526 0 0 20 0 2 0 192110476 818200576 156231 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 0 0 0 17 4 0 0 15 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
/proc/1013082/statm: 199756 156231 3791 46 0 172351 0
[pid=1013082/tid=1013108] ppid=1013080 vsize=799024 memory=2668 CPUtime=2.06 cores=4,6
/proc/1013082/task/1013108/stat : 1013108 (ld-linux-x86-64) S 1013080 1013080 1013016 0 -1 1077936192 222 0 0 0 73 133 0 0 20 0 2 0 192110527 818200576 156231 134679101440 140565003288576 140565003476188 140733762610704 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140565005577088 140565005586536 93825015021568 140733762618209 140733762618361 140733762618361 140733762625458 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 808952 KiB
Current children cumulated memory: 627592 KiB
Child status: 143
Real time (s): 3607.31
CPU time (s): 3600.08
CPU user time (s): 3434.81
CPU system time (s): 165.273
CPU usage (%): 99.7997
Max. virtual memory (cumulated for all children) (KiB): 855572
Max. memory (cumulated for all children) (KiB): 673956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3434.81
system time used= 165.273
maximum resident set size= 671288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 739313
page faults= 2
swaps= 0
block input operations= 88
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357217
involuntary context switches= 1460
# summary of solver processes directly reported to runsolver:
# pid: 1013080
# total CPU time (s): 3600.08
# total CPU user time (s): 3434.81
# total CPU system time (s): 165.273
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.72459 second user time and 17.1291 second system time
The end