0.55/1.09 c initialize IPBHS solver
0.55/1.09 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
0.55/1.09 c optimizer = "gurobi"
0.55/1.09 c pbsolver = "roundingsat"
0.55/1.09 c load symmetries from file ""
0.55/1.09 c set time limit for symmetry computation to 100 seconds.
0.55/1.09 c set interchangeable summation variable limit to 3
0.55/1.09 c find symmetric cores by applying each permutation and add them to optimizer
0.55/1.09 c set abs symmetric core budget per WCE-iteration to 100
0.55/1.09 c set rel symmetric core budget per WCE-iteration to 0
0.55/1.09 c set lit symmetric core budget per WCE-iteration to 0
0.55/1.09 c set sym generation to 's'
0.55/1.09 c set abstraction set creation to 10 iterations without LB change
0.55/1.09 c set abstraction set inputs to 0
0.55/1.09 c set abstraction set cluster min size to 2
0.55/1.09 c set abstraction set cluster max size to 100000000
0.55/1.09 c set abstraction set cluster activation limit to 2
0.55/1.09 c enable abstraction set require equal cost
0.55/1.09 c set abstraction set assumptions to 0
0.55/1.09 c set abstraction set constraint type to 0
0.55/1.09 c set abstract core extraction strategy to b
0.55/1.09 c set core extraction strategy to 2
0.55/1.09 c set core extraction shuffles 10
0.55/1.09 c set cores per iteration to 5
0.55/1.09 c set optimizer bound usage strategy to 2
0.55/1.09 c set optimizer max non-optimal iterations to 1000
0.55/1.09 c set small core cardinality limit to 2
0.55/1.09 c set max coef in cores to 1000000000
0.55/1.09 c set SIS iterations to 5
0.55/1.09 c set SIS budget abs to 1000
0.55/1.09 c set SIS budget rel to 0.05
0.55/1.09 c limit for coefficient in constraints and objective to 9223372036854775807
0.55/1.09 c will solve HOME/instance-4449614-1721865095.opb
2776.41/2782.69 c [4.3] solve iteration 1, LB=0, UB=25
2776.41/2782.69 c [19.4] solve iteration 2, LB=0, UB=22
2776.41/2782.69 c [40.96] solve iteration 3, LB=1, UB=22
2776.41/2782.69 c [134.15] solve iteration 4, LB=2, UB=22
2776.41/2782.69 c [204.55] solve iteration 5, LB=2, UB=22
2776.41/2782.69 c [269.5] solve iteration 6, LB=2, UB=22
2776.41/2782.69 c [379.16] solve iteration 7, LB=2, UB=22
2776.41/2782.69 c [440.2] solve iteration 8, LB=2, UB=22
2776.41/2782.69 c [483.38] solve iteration 9, LB=2, UB=22
2776.41/2782.69 c [499.7] solve iteration 10, LB=2, UB=22
2776.41/2782.69 c [544.58] solve iteration 11, LB=2, UB=22
2776.41/2782.69 c [550.79] solve iteration 12, LB=2, UB=22
2776.41/2782.69 c [554.99] solve iteration 13, LB=2, UB=22
2776.41/2782.69 c [564.49] solve iteration 14, LB=4, UB=22
2776.41/2782.69 c [567.28] solve iteration 15, LB=4, UB=22
2776.41/2782.69 c [638.53] solve iteration 16, LB=4, UB=22
2776.41/2782.69 c [641.45] solve iteration 17, LB=4, UB=22
2776.41/2782.69 c [642.81] solve iteration 18, LB=4, UB=22
2776.41/2782.69 c [643.33] solve iteration 19, LB=4, UB=22
2776.41/2782.69 c [643.66] solve iteration 20, LB=4, UB=22
2776.41/2782.69 c [724.22] solve iteration 21, LB=4, UB=22
2776.41/2782.69 c [742] solve iteration 22, LB=4, UB=22
2776.41/2782.69 c [743.14] solve iteration 23, LB=4, UB=22
2776.41/2782.69 c [748.47] solve iteration 24, LB=4, UB=22
2776.41/2782.69 c [748.9] solve iteration 25, LB=4, UB=22
2776.41/2782.69 c [832.52] solve iteration 26, LB=4, UB=22
2776.41/2782.69 c [834.98] solve iteration 27, LB=4, UB=22
2776.41/2782.69 c [835.09] solve iteration 28, LB=4, UB=22
2776.41/2782.69 c [835.2] solve iteration 29, LB=4, UB=22
2776.41/2782.69 c [835.28] solve iteration 30, LB=4, UB=22
2776.41/2782.69 c [936.93] solve iteration 31, LB=4, UB=22
2776.41/2782.69 c [938.49] solve iteration 32, LB=4, UB=22
2776.41/2782.69 c [938.86] solve iteration 33, LB=4, UB=22
2776.41/2782.69 c [939.43] solve iteration 34, LB=4, UB=22
2776.41/2782.69 c [939.56] solve iteration 35, LB=4, UB=22
2776.41/2782.69 c [1010.34] solve iteration 36, LB=4, UB=22
2776.41/2782.69 c [1010.9] solve iteration 37, LB=4, UB=22
2776.41/2782.69 c [1011.03] solve iteration 38, LB=4, UB=22
2776.41/2782.69 c [1011.34] solve iteration 39, LB=4, UB=22
2776.41/2782.69 c [1011.47] solve iteration 40, LB=4, UB=22
2776.41/2782.69 c [1096.14] solve iteration 41, LB=4, UB=22
2776.41/2782.69 c [1096.8] solve iteration 42, LB=4, UB=22
2776.41/2782.69 c [1096.92] solve iteration 43, LB=4, UB=22
2776.41/2782.69 c [1097.18] solve iteration 44, LB=4, UB=22
2776.41/2782.69 c [1097.35] solve iteration 45, LB=4, UB=22
2776.41/2782.69 c [1206.19] solve iteration 46, LB=4, UB=22
2776.41/2782.69 c [1206.81] solve iteration 47, LB=4, UB=22
2776.41/2782.69 c [1206.93] solve iteration 48, LB=4, UB=22
2776.41/2782.69 c [1207.05] solve iteration 49, LB=4, UB=22
2776.41/2782.69 c [1207.18] solve iteration 50, LB=4, UB=22
2776.41/2782.69 c [1325.83] solve iteration 51, LB=4, UB=22
2776.41/2782.69 c [1326.65] solve iteration 52, LB=4, UB=22
2776.41/2782.69 c [1326.92] solve iteration 53, LB=4, UB=22
2776.41/2782.69 c [1327.14] solve iteration 54, LB=4, UB=22
2776.41/2782.69 c [1327.27] solve iteration 55, LB=4, UB=22
2776.41/2782.69 c [1450.25] solve iteration 56, LB=4, UB=22
2776.41/2782.69 c [1451.01] solve iteration 57, LB=4, UB=22
2776.41/2782.69 c [1451.19] solve iteration 58, LB=4, UB=22
2776.41/2782.69 c [1451.33] solve iteration 59, LB=4, UB=22
2776.41/2782.69 c [1451.5] solve iteration 60, LB=4, UB=22
2776.41/2782.69 c [1572.03] solve iteration 61, LB=4, UB=22
2776.41/2782.69 c [1572.58] solve iteration 62, LB=4, UB=22
2776.41/2782.69 c [1572.72] solve iteration 63, LB=4, UB=22
2776.41/2782.69 c [1573.08] solve iteration 64, LB=4, UB=22
2776.41/2782.69 c [1573.26] solve iteration 65, LB=4, UB=22
2776.41/2782.69 c [1720.5] solve iteration 66, LB=4, UB=22
2776.41/2782.69 c [1721.27] solve iteration 67, LB=4, UB=22
2776.41/2782.69 c [1721.55] solve iteration 68, LB=4, UB=22
2776.41/2782.69 c [1721.71] solve iteration 69, LB=4, UB=22
2776.41/2782.69 c [1721.86] solve iteration 70, LB=4, UB=22
2776.41/2782.69 c [1887.15] solve iteration 71, LB=4, UB=22
2776.41/2782.69 c [1887.66] solve iteration 72, LB=4, UB=22
2776.41/2782.69 c [1887.84] solve iteration 73, LB=4, UB=22
2776.41/2782.69 c [1888.05] solve iteration 74, LB=4, UB=22
2776.41/2782.69 c [1888.22] solve iteration 75, LB=4, UB=22
2776.41/2782.69 c [2032.65] solve iteration 76, LB=4, UB=22
2776.41/2782.69 c [2033.96] solve iteration 77, LB=4, UB=22
2776.41/2782.69 c [2034.15] solve iteration 78, LB=4, UB=22
2776.41/2782.69 c [2034.33] solve iteration 79, LB=4, UB=22
2776.41/2782.69 c [2034.52] solve iteration 80, LB=4, UB=22
2776.41/2782.69 c [2211.94] solve iteration 81, LB=4, UB=22
2776.41/2782.69 c [2212.8] solve iteration 82, LB=4, UB=22
2776.41/2782.69 c [2213] solve iteration 83, LB=4, UB=22
2776.41/2782.69 c [2213.31] solve iteration 84, LB=4, UB=22
2776.41/2782.69 c [2213.54] solve iteration 85, LB=4, UB=22
2776.41/2782.69 c [2430.77] solve iteration 86, LB=4, UB=22
2776.41/2782.69 c [2431.45] solve iteration 87, LB=4, UB=22
2776.41/2782.69 c [2431.72] solve iteration 88, LB=4, UB=22
2776.41/2782.69 c [2431.92] solve iteration 89, LB=4, UB=22
2776.41/2782.69 c [2432.18] solve iteration 90, LB=4, UB=22
2776.41/2782.69 c [2647.74] solve iteration 91, LB=4, UB=22
2776.41/2782.69 c [2648.3] solve iteration 92, LB=4, UB=22
2776.41/2782.69 c [2648.51] solve iteration 93, LB=4, UB=22
2776.41/2782.69 c [2648.81] solve iteration 94, LB=4, UB=22
2776.41/2782.69 c [2649.06] solve iteration
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (58586 MiB free)
memory of node 1: 64473 MiB (60313 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449614-1721865095/watcher-4449614-1721865095 -o /tmp/evaluation-result-4449614-1721865095/solver-4449614-1721865095 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721865095-210686 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4449614-1721865095.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=210749, runsolver pid=210743
Current StackSize limit: 8192 KiB
[startup+0.100055 s]*
/proc/loadavg: 0.05 0.08 0.09 1/261 210754
/proc/meminfo: memFree=121751340/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=53496 memory=452 CPUtime=0 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) D 210749 210749 210674 0 -1 4194304 65 0 2 0 0 0 0 0 20 0 1 0 23037538 54779904 113 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 0 0 0 0 0 17 1 0 0 9 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 13374 113 93 46 0 229 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 63424 KiB
Current children cumulated memory: 3224 KiB
[startup+0.205828 s]*
/proc/loadavg: 0.05 0.08 0.09 2/261 210754
/proc/meminfo: memFree=121749628/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=62712 memory=804 CPUtime=0 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) D 210749 210749 210674 0 -1 4194304 80 0 2 0 0 0 0 0 20 0 1 0 23037538 64217088 201 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 0 0 0 0 0 17 1 0 0 19 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 15678 201 174 46 0 254 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 72640 KiB
Current children cumulated memory: 3576 KiB
[startup+0.304976 s]*
/proc/loadavg: 0.05 0.08 0.09 1/261 210754
/proc/meminfo: memFree=121747768/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=78072 memory=1288 CPUtime=0 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) D 210749 210749 210674 0 -1 4194304 127 0 2 0 0 0 0 0 20 0 1 0 23037538 79945728 322 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 0 0 0 0 0 17 1 0 0 25 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 19518 322 282 46 0 275 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 88000 KiB
Current children cumulated memory: 4060 KiB
[startup+0.700257 s]
/proc/loadavg: 0.05 0.08 0.09 2/262 210755
/proc/meminfo: memFree=121725256/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=119688 memory=40676 CPUtime=0.25 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) R 210749 210749 210674 0 -1 4194304 7641 0 5 0 17 8 0 0 20 0 1 0 23037538 122560512 10169 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 0 0 0 0 0 17 1 0 0 42 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 29922 10169 1678 46 0 10537 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 129616 KiB
Current children cumulated memory: 43448 KiB
[startup+1.50028 s]
/proc/loadavg: 0.21 0.11 0.10 3/256 210789
/proc/meminfo: memFree=121581108/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=288908 memory=155988 CPUtime=1.04 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) R 210749 210749 210674 0 -1 4194304 32132 0 5 0 88 16 0 0 20 0 2 0 23037538 295841792 38997 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 0 0 0 17 1 0 0 42 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 72227 38997 3003 46 0 41191 0
[pid=210753/tid=210775] ppid=210749 vsize=288908 memory=15000 CPUtime=0 cores=1,3
/proc/210753/task/210775/stat : 210775 (ld-linux-x86-64) S 210749 210749 210674 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23037619 295841792 38997 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 298836 KiB
Current children cumulated memory: 158760 KiB
[startup+3.10565 s]
/proc/loadavg: 0.21 0.11 0.10 5/253 211200
/proc/meminfo: memFree=121605700/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=288908 memory=156840 CPUtime=2.64 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) R 210749 210749 210674 0 -1 4194304 36801 0 5 0 247 17 0 0 20 0 2 0 23037538 295841792 39210 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 0 0 0 17 1 0 0 42 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 72227 39210 3003 46 0 41191 0
[pid=210753/tid=210775] ppid=210749 vsize=288908 memory=0 CPUtime=0 cores=1,3
/proc/210753/task/210775/stat : 210775 (ld-linux-x86-64) S 210749 210749 210674 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 23037619 295841792 39210 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 298836 KiB
Current children cumulated memory: 159612 KiB
[startup+6.30026 s]
/proc/loadavg: 0.51 0.18 0.12 5/267 211291
/proc/meminfo: memFree=121522136/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=287376 memory=159268 CPUtime=5.81 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) R 210749 210749 210674 0 -1 4194304 64045 0 5 0 552 29 0 0 20 0 2 0 23037538 294273024 39817 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 0 0 0 17 1 0 0 42 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 71844 39817 3648 46 0 40808 0
[pid=210753/tid=210775] ppid=210749 vsize=287376 memory=159268 CPUtime=0 cores=1,3
/proc/210753/task/210775/stat : 210775 (ld-linux-x86-64) S 210749 210749 210674 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 23037619 294273024 39817 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
Current children cumulated CPU time: 5.81 s
Current children cumulated vsize: 297304 KiB
Current children cumulated memory: 162040 KiB
[startup+12.7003 s]
/proc/loadavg: 0.87 0.26 0.14 5/267 211293
/proc/meminfo: memFree=121473628/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=287376 memory=161452 CPUtime=12.2 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) R 210749 210749 210674 0 -1 4194304 75907 0 5 0 1142 78 0 0 20 0 2 0 23037538 294273024 40363 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 0 0 0 17 1 0 0 42 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 71844 40363 3648 46 0 40808 0
[pid=210753/tid=210775] ppid=210749 vsize=287376 memory=11624 CPUtime=0 cores=1,3
/proc/210753/task/210775/stat : 210775 (ld-linux-x86-64) S 210749 210749 210674 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 2 0 23037619 294273024 40363 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
Current children cumulated CPU time: 12.2 s
Current children cumulated vsize: 297304 KiB
Current children cumulated memory: 164224 KiB
[startup+25.5003 s]
/proc/loadavg: 1.43 0.40 0.19 5/267 211389
/proc/meminfo: memFree=121438164/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=294556 memory=166552 CPUtime=24.98 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) R 210749 210749 210674 0 -1 4194304 92746 0 5 0 2311 187 0 0 20 0 2 0 23037538 301625344 41638 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 0 0 0 17 1 0 0 42 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 73639 41638 3838 46 0 42603 0
[pid=210753/tid=210775] ppid=210749 vsize=294556 memory=166552 CPUtime=0 cores=1,3
/proc/210753/task/210775/stat : 210775 (ld-linux-x86-64) S 210749 210749 210674 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 2 0 23037619 301625344 41638 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
Current children cumulated CPU time: 24.98 s
Current children cumulated vsize: 304484 KiB
Current children cumulated memory: 169324 KiB
[startup+51.1056 s]
/proc/loadavg: 2.44 0.74 0.31 5/267 211394
/proc/meminfo: memFree=121385452/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=306232 memory=175016 CPUtime=50.51 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) R 210749 210749 210674 0 -1 4194304 119550 0 5 0 4675 376 0 0 20 0 2 0 23037538 313581568 43754 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 0 0 0 17 1 0 0 42 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 76558 43754 3997 46 0 45522 0
[pid=210753/tid=210775] ppid=210749 vsize=306232 memory=2772 CPUtime=0.01 cores=1,3
/proc/210753/task/210775/stat : 210775 (ld-linux-x86-64) S 210749 210749 210674 0 -1 1077936192 33 0 0 0 0 1 0 0 20 0 2 0 23037619 313581568 43754 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
Current children cumulated CPU time: 50.51 s
Current children cumulated vsize: 316160 KiB
Current children cumulated memory: 177788 KiB
[startup+102.3 s]
/proc/loadavg: 3.43 1.28 0.52 5/267 211449
/proc/meminfo: memFree=121395604/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=306232 memory=181160 CPUtime=101.61 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) R 210749 210749 210674 0 -1 4194304 143190 0 5 0 9506 655 0 0 20 0 2 0 23037538 313581568 45290 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 0 0 0 17 1 0 0 42 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 76558 45290 3997 46 0 45522 0
[pid=210753/tid=210775] ppid=210749 vsize=306232 memory=11624 CPUtime=0.04 cores=1,3
/proc/210753/task/210775/stat : 210775 (ld-linux-x86-64) S 210749 210749 210674 0 -1 1077936192 40 0 0 0 1 3 0 0 20 0 2 0 23037619 313581568 45290 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
Current children cumulated CPU time: 101.61 s
Current children cumulated vsize: 316160 KiB
Current children cumulated memory: 183932 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 1.83 0.76 5/267 211460
/proc/meminfo: memFree=121354536/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=325200 memory=187368 CPUtime=161.46 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) R 210749 210749 210674 0 -1 4194304 169242 0 5 0 15210 936 0 0 20 0 2 0 23037538 333004800 46842 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 0 0 0 17 1 0 0 42 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 81300 46842 4013 46 0 50264 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.23 4.16 4.04 5/263 213247
/proc/meminfo: memFree=120701296/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=891196 memory=666860 CPUtime=3215.44 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) R 210749 210749 210674 0 -1 4194304 625719 0 5 0 306912 14632 0 0 20 0 2 0 23037538 912584704 166715 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 0 0 0 17 1 0 0 42 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 222799 166715 4013 46 0 191763 0
[pid=210753/tid=210775] ppid=210749 vsize=891196 memory=666860 CPUtime=2.49 cores=1,3
/proc/210753/task/210775/stat : 210775 (ld-linux-x86-64) S 210749 210749 210674 0 -1 1077936192 197 0 0 0 97 152 0 0 20 0 2 0 23037619 912584704 166715 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
Current children cumulated CPU time: 3215.44 s
Current children cumulated vsize: 901124 KiB
Current children cumulated memory: 669632 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.16 4.05 5/261 213257
/proc/meminfo: memFree=120698496/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=891196 memory=666860 CPUtime=3275.35 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) R 210749 210749 210674 0 -1 4194304 626434 0 5 0 312647 14888 0 0 20 0 2 0 23037538 912584704 166715 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 0 0 0 17 1 0 0 42 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 222799 166715 4013 46 0 191763 0
[pid=210753/tid=210775] ppid=210749 vsize=891196 memory=11624 CPUtime=2.54 cores=1,3
/proc/210753/task/210775/stat : 210775 (ld-linux-x86-64) S 210749 210749 210674 0 -1 1077936192 200 0 0 0 99 155 0 0 20 0 2 0 23037619 912584704 166715 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
Current children cumulated CPU time: 3275.35 s
Current children cumulated vsize: 901124 KiB
Current children cumulated memory: 669632 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.20 4.07 5/261 213267
/proc/meminfo: memFree=120690524/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=898276 memory=673920 CPUtime=3335.23 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) R 210749 210749 210674 0 -1 4194304 635975 0 5 0 318427 15096 0 0 20 0 2 0 23037538 919834624 168480 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 0 0 0 17 1 0 0 42 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 224569 168480 4013 46 0 193533 0
[pid=210753/tid=210775] ppid=210749 vsize=898276 memory=2772 CPUtime=2.59 cores=1,3
/proc/210753/task/210775/stat : 210775 (ld-linux-x86-64) S 210749 210749 210674 0 -1 1077936192 204 0 0 0 101 158 0 0 20 0 2 0 23037619 919834624 168480 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
Current children cumulated CPU time: 3335.23 s
Current children cumulated vsize: 908204 KiB
Current children cumulated memory: 676692 KiB
[startup+3402.3 s]
/proc/loadavg: 4.32 4.21 4.08 5/261 213279
/proc/meminfo: memFree=120686312/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=903160 memory=678648 CPUtime=3395.14 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) R 210749 210749 210674 0 -1 4194304 644066 0 5 0 324305 15209 0 0 20 0 2 0 23037538 924835840 169662 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 0 0 0 17 1 0 0 42 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 225790 169662 4013 46 0 194754 0
[pid=210753/tid=210775] ppid=210749 vsize=903160 memory=2772 CPUtime=2.64 cores=1,3
/proc/210753/task/210775/stat : 210775 (ld-linux-x86-64) S 210749 210749 210674 0 -1 1077936192 207 0 0 0 103 161 0 0 20 0 2 0 23037619 924835840 169662 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
Current children cumulated CPU time: 3395.14 s
Current children cumulated vsize: 913088 KiB
Current children cumulated memory: 681420 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.18 4.08 5/261 213290
/proc/meminfo: memFree=120679448/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=903160 memory=678828 CPUtime=3455.05 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) R 210749 210749 210674 0 -1 4194304 644800 0 5 0 330192 15313 0 0 20 0 2 0 23037538 924835840 169707 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 0 0 0 17 1 0 0 42 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 225790 169707 4013 46 0 194754 0
[pid=210753/tid=210775] ppid=210749 vsize=903160 memory=11624 CPUtime=2.69 cores=1,3
/proc/210753/task/210775/stat : 210775 (ld-linux-x86-64) S 210749 210749 210674 0 -1 1077936192 211 0 0 0 105 164 0 0 20 0 2 0 23037619 924835840 169707 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
Current children cumulated CPU time: 3455.05 s
Current children cumulated vsize: 913088 KiB
Current children cumulated memory: 681600 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.16 4.08 5/262 213304
/proc/meminfo: memFree=120648124/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=912796 memory=706940 CPUtime=3514.96 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) R 210749 210749 210674 0 -1 4194304 655578 0 5 0 336042 15454 0 0 20 0 2 0 23037538 934703104 176735 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 0 0 0 17 1 0 0 42 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 228199 176735 4013 46 0 197163 0
[pid=210753/tid=210775] ppid=210749 vsize=912796 memory=68496 CPUtime=2.74 cores=1,3
/proc/210753/task/210775/stat : 210775 (ld-linux-x86-64) S 210749 210749 210674 0 -1 1077936192 214 0 0 0 107 167 0 0 20 0 2 0 23037619 934703104 176735 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
Current children cumulated CPU time: 3514.96 s
Current children cumulated vsize: 922724 KiB
Current children cumulated memory: 709712 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.18 4.09 5/262 213315
/proc/meminfo: memFree=120644452/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=912796 memory=706940 CPUtime=3574.87 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) R 210749 210749 210674 0 -1 4194304 656440 0 5 0 341856 15631 0 0 20 0 2 0 23037538 934703104 176735 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 0 0 0 17 1 0 0 42 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 228199 176735 4013 46 0 197163 0
[pid=210753/tid=210775] ppid=210749 vsize=912796 memory=2772 CPUtime=2.79 cores=1,3
/proc/210753/task/210775/stat : 210775 (ld-linux-x86-64) S 210749 210749 210674 0 -1 1077936192 217 0 0 0 109 170 0 0 20 0 2 0 23037619 934703104 176735 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
Current children cumulated CPU time: 3574.87 s
Current children cumulated vsize: 922724 KiB
Current children cumulated memory: 709712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.5 s]
/proc/loadavg: 4.19 4.18 4.09 5/262 213319
/proc/meminfo: memFree=120648452/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=868808 memory=699976 CPUtime=3600.01 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) R 210749 210749 210674 0 -1 4194304 661273 0 5 0 344301 15700 0 0 20 0 2 0 23037538 889659392 174994 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 0 0 0 17 1 0 0 42 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 217202 174994 4013 46 0 186166 0
[pid=210753/tid=210775] ppid=210749 vsize=868808 memory=2772 CPUtime=2.81 cores=1,3
/proc/210753/task/210775/stat : 210775 (ld-linux-x86-64) S 210749 210749 210674 0 -1 1077936192 220 0 0 0 110 171 0 0 20 0 2 0 23037619 889659392 174994 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 878736 KiB
Current children cumulated memory: 702748 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.51 s]
# the end of solver process 210749 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001581 s, system=0 s
[startup+3607.51 s]
# the end of solver process 210753 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3443.02 s, system=157.013 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3607.5 s]
/proc/loadavg: 4.19 4.18 4.09 5/262 213319
/proc/meminfo: memFree=120648452/131524600 swapFree=131060368/131071996
[pid=210749] ppid=210743 vsize=9928 memory=2772 CPUtime=0 cores=1,3
/proc/210749/stat : 210749 (run-glibc-2.34.) S 210743 210749 210674 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 23037538 10166272 693 134679101440 94309604962304 94309606041624 140728995845680 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94309608140080 94309608187268 94309625241600 140728995849155 140728995849312 140728995849312 140728995856323 0
/proc/210749/statm: 2482 693 612 264 0 133 0
[pid=210753] ppid=210749 vsize=868808 memory=699976 CPUtime=3600.01 cores=1,3
/proc/210753/stat : 210753 (ld-linux-x86-64) R 210749 210749 210674 0 -1 4194304 661273 0 5 0 344301 15700 0 0 20 0 2 0 23037538 889659392 174994 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 0 0 0 17 1 0 0 42 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
/proc/210753/statm: 217202 174994 4013 46 0 186166 0
[pid=210753/tid=210775] ppid=210749 vsize=868808 memory=2772 CPUtime=2.81 cores=1,3
/proc/210753/task/210775/stat : 210775 (ld-linux-x86-64) S 210749 210749 210674 0 -1 1077936192 220 0 0 0 110 171 0 0 20 0 2 0 23037619 889659392 174994 134679101440 140245019316224 140245019503836 140736497233728 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140245021604736 140245021614184 93825023676416 140736497242971 140736497243135 140736497243135 140736497250226 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 878736 KiB
Current children cumulated memory: 702748 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3607.51
CPU time (s): 3600.04
CPU user time (s): 3443.02
CPU system time (s): 157.013
CPU usage (%): 99.7928
Max. virtual memory (cumulated for all children) (KiB): 969344
Max. memory (cumulated for all children) (KiB): 756068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3443.02
system time used= 157.013
maximum resident set size= 753296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 661482
page faults= 5
swaps= 0
block input operations= 392
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357410
involuntary context switches= 2257
# summary of solver processes directly reported to runsolver:
# pid: 210749,210753
# total CPU time (s): 3600.04
# total CPU user time (s): 3443.02
# total CPU system time (s): 157.013
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38461 second user time and 18.0404 second system time
The end