321.56/322.68 c initialize IPBHS solver
321.56/322.68 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
321.56/322.68 c optimizer = "gurobi"
321.56/322.68 c pbsolver = "roundingsat"
321.56/322.68 c load symmetries from file ""
321.56/322.68 c set time limit for symmetry computation to 100 seconds.
321.56/322.68 c set interchangeable summation variable limit to 3
321.56/322.68 c set abs symmetric core budget per WCE-iteration to 100
321.56/322.68 c set rel symmetric core budget per WCE-iteration to 0
321.56/322.68 c set lit symmetric core budget per WCE-iteration to 0
321.56/322.68 c set sym generation to 's'
321.56/322.68 c set abstraction set creation to 10 iterations without LB change
321.56/322.68 c set abstraction set inputs to 0
321.56/322.68 c set abstraction set cluster min size to 2
321.56/322.68 c set abstraction set cluster max size to 100000000
321.56/322.68 c set abstraction set cluster activation limit to 2
321.56/322.68 c enable abstraction set require equal cost
321.56/322.68 c set abstraction set assumptions to 0
321.56/322.68 c set abstraction set constraint type to 0
321.56/322.68 c set abstract core extraction strategy to b
321.56/322.68 c set core extraction strategy to 2
321.56/322.68 c set core extraction shuffles 10
321.56/322.68 c set cores per iteration to 5
321.56/322.68 c set optimizer bound usage strategy to 2
321.56/322.68 c set optimizer max non-optimal iterations to 1000
321.56/322.68 c set small core cardinality limit to 2
321.56/322.68 c set max coef in cores to 1000000000
321.56/322.68 c set SIS iterations to 5
321.56/322.68 c set SIS budget abs to 1000
321.56/322.68 c set SIS budget rel to 0.05
321.56/322.68 c limit for coefficient in constraints and objective to 9223372036854775807
321.56/322.68 c will solve HOME/instance-4449720-1721399503.opb
321.56/322.68 c [0] solve iteration 1, LB=0, UB=21
321.56/322.68 c [4.72] solve iteration 2, LB=0, UB=19
321.56/322.68 c [13.81] solve iteration 3, LB=1, UB=19
321.56/322.68 c [21.3] solve iteration 4, LB=1, UB=19
321.56/322.68 c [25.54] solve iteration 5, LB=1, UB=19
321.56/322.68 c [33.43] solve iteration 6, LB=1, UB=18
321.56/322.68 c [42.84] solve iteration 7, LB=1, UB=18
321.56/322.68 c [47.8] solve iteration 8, LB=1, UB=18
321.56/322.68 c [51.6] solve iteration 9, LB=1, UB=18
321.56/322.68 c [59.23] solve iteration 10, LB=1, UB=18
321.56/322.68 c [74.03] solve iteration 11, LB=1, UB=18
321.56/322.68 c [77.36] solve iteration 12, LB=1, UB=18
321.56/322.68 c [88.67] solve iteration 13, LB=1, UB=18
321.56/322.68 c [92.62] solve iteration 14, LB=1, UB=18
321.56/322.68 c [96.18] solve iteration 15, LB=1, UB=18
321.56/322.68 c [114.52] solve iteration 16, LB=1, UB=18
321.56/322.68 c [118.02] solve iteration 17, LB=1, UB=18
321.56/322.68 c [118.69] solve iteration 18, LB=1, UB=18
321.56/322.68 c [119.91] solve iteration 19, LB=2, UB=18
321.56/322.68 c [120.79] solve iteration 20, LB=2, UB=18
321.56/322.68 c [137.19] solve iteration 21, LB=2, UB=18
321.56/322.68 c [137.96] solve iteration 22, LB=2, UB=18
321.56/322.68 c [138.25] solve iteration 23, LB=2, UB=18
321.56/322.68 c [138.34] solve iteration 24, LB=2, UB=18
321.56/322.68 c [138.36] solve iteration 25, LB=2, UB=18
321.56/322.68 c [149.46] solve iteration 26, LB=2, UB=18
321.56/322.68 c [150.49] solve iteration 27, LB=2, UB=18
321.56/322.68 c [150.83] solve iteration 28, LB=2, UB=18
321.56/322.68 c [150.86] solve iteration 29, LB=2, UB=18
321.56/322.68 c [151.68] solve iteration 30, LB=2, UB=18
321.56/322.68 c [167.94] solve iteration 31, LB=2, UB=18
321.56/322.68 c [168.49] solve iteration 32, LB=2, UB=18
321.56/322.68 c [168.6] solve iteration 33, LB=2, UB=18
321.56/322.68 c [169.7] solve iteration 34, LB=2, UB=18
321.56/322.68 c [169.75] solve iteration 35, LB=2, UB=18
321.56/322.68 c [188.13] solve iteration 36, LB=2, UB=18
321.56/322.68 c [188.43] solve iteration 37, LB=2, UB=18
321.56/322.68 c [189.07] solve iteration 38, LB=2, UB=18
321.56/322.68 c [190.04] solve iteration 39, LB=3, UB=18
321.56/322.68 c [190.3] solve iteration 40, LB=3, UB=18
321.56/322.68 c [211.1] solve iteration 41, LB=3, UB=18
321.56/322.68 c [211.55] solve iteration 42, LB=3, UB=18
321.56/322.68 c [211.95] solve iteration 43, LB=3, UB=18
321.56/322.68 c [212.04] solve iteration 44, LB=3, UB=18
321.56/322.68 c [212.12] solve iteration 45, LB=3, UB=18
321.56/322.68 c [232.99] solve iteration 46, LB=3, UB=18
321.56/322.68 c [233.39] solve iteration 47, LB=3, UB=18
321.56/322.68 c [233.66] solve iteration 48, LB=3, UB=18
321.56/322.68 c [233.78] solve iteration 49, LB=3, UB=18
321.56/322.68 c [233.86] solve iteration 50, LB=3, UB=18
321.56/322.68 c [250.02] solve iteration 51, LB=3, UB=18
321.56/322.68 c [250.7] solve iteration 52, LB=3, UB=18
321.56/322.68 c [250.77] solve iteration 53, LB=3, UB=18
321.56/322.68 c [250.88] solve iteration 54, LB=3, UB=18
321.56/322.68 c [250.95] solve iteration 55, LB=3, UB=18
321.56/322.68 c [272.89] solve iteration 56, LB=3, UB=18
321.56/322.68 c [273.04] solve iteration 57, LB=3, UB=18
321.56/322.68 c [273.34] solve iteration 58, LB=3, UB=18
321.56/322.68 c [273.41] solve iteration 59, LB=3, UB=18
321.56/322.68 c [273.46] solve iteration 60, LB=3, UB=18
321.56/322.68 c [300.79] solve iteration 61, LB=3, UB=18
321.56/322.68 c [301.06] solve iteration 62, LB=3, UB=18
1536.26/1539.64 c [301.13] solve iteration 63, LB=3, UB=18
1536.26/1539.64 c [301.25] solve iteration 64, LB=3, UB=18
1536.26/1539.64 c [301.31] solve iteration 65, LB=3, UB=18
1536.26/1539.64 c [332.78] solve iteration 66, LB=3, UB=18
1536.26/1539.64 c [333.12] solve iteration 67, LB=3, UB=18
1536.26/1539.64 c [333.21] solve iteration 68, LB=3, UB=18
1536.26/1539.64 c [333.27] solve iteration 69, LB=3, UB=18
1536.26/1539.64 c [334.08] solve iteration 70, LB=3, UB=18
1536.26/1539.64 c [365.58] solve iteration 71, LB=3, UB=18
1536.26/1539.64 c [365.83] solve iteration 72, LB=3, UB=18
1536.26/1539.64 c [365.91] solve iteration 73, LB=3, UB=18
1536.26/1539.64 c [366.81] solve iteration 74, LB=3, UB=18
1536.26/1539.64 c [367.89] solve iteration 75, LB=3, UB=18
1536.26/1539.64 c [402.37] solve iteration 76, LB=3, UB=18
1536.26/1539.64 c [402.52] solve iteration 77, LB=3, UB=18
1536.26/1539.64 c [402.58] solve iteration 78, LB=3, UB=18
1536.26/1539.64 c [402.67] solve iteration 79, LB=3, UB=18
1536.26/1539.64 c [402.74] solve iteration 80, LB=3, UB=18
1536.26/1539.64 c [446.04] solve iteration 81, LB=3, UB=18
1536.26/1539.64 c [446.69] solve iteration 82, LB=3, UB=18
1536.26/1539.64 c [446.77] solve iteration 83, LB=3, UB=18
1536.26/1539.64 c [446.81] solve iteration 84, LB=3, UB=18
1536.26/1539.64 c [446.86] solve iteration 85, LB=3, UB=18
1536.26/1539.64 c [490.3] solve iteration 86, LB=3, UB=18
1536.26/1539.64 c [490.63] solve iteration 87, LB=3, UB=18
1536.26/1539.64 c [490.84] solve iteration 88, LB=3, UB=18
1536.26/1539.64 c [490.91] solve iteration 89, LB=3, UB=18
1536.26/1539.64 c [490.94] solve iteration 90, LB=3, UB=18
1536.26/1539.64 c [541.42] solve iteration 91, LB=3, UB=18
1536.26/1539.64 c [541.73] solve iteration 92, LB=3, UB=18
1536.26/1539.64 c [541.82] solve iteration 93, LB=3, UB=18
1536.26/1539.64 c [541.85] solve iteration 94, LB=3, UB=18
1536.26/1539.64 c [541.88] solve iteration 95, LB=3, UB=18
1536.26/1539.64 c [591.95] solve iteration 96, LB=3, UB=18
1536.26/1539.64 c [592.23] solve iteration 97, LB=3, UB=18
1536.26/1539.64 c [592.35] solve iteration 98, LB=3, UB=18
1536.26/1539.64 c [592.39] solve iteration 99, LB=3, UB=18
1536.26/1539.64 c [592.41] solve iteration 100, LB=3, UB=18
1536.26/1539.64 c [648.9] solve iteration 101, LB=3, UB=18
1536.26/1539.64 c [649.2] solve iteration 102, LB=3, UB=18
1536.26/1539.64 c [649.31] solve iteration 103, LB=3, UB=18
1536.26/1539.64 c [649.38] solve iteration 104, LB=3, UB=18
1536.26/1539.64 c [649.47] solve iteration 105, LB=3, UB=18
1536.26/1539.64 c [706.53] solve iteration 106, LB=3, UB=18
1536.26/1539.64 c [706.85] solve iteration 107, LB=3, UB=18
1536.26/1539.64 c [706.96] solve iteration 108, LB=3, UB=18
1536.26/1539.64 c [707.01] solve iteration 109, LB=3, UB=18
1536.26/1539.64 c [707.05] solve iteration 110, LB=3, UB=18
1536.26/1539.64 c [765.73] solve iteration 111, LB=3, UB=18
1536.26/1539.64 c [766.76] solve iteration 112, LB=3, UB=18
1536.26/1539.64 c [766.88] solve iteration 113, LB=3, UB=18
1536.26/1539.64 c [766.95] solve iteration 114, LB=3, UB=18
1536.26/1539.64 c [767.03] solve iteration 115, LB=3, UB=18
1536.26/1539.64 c [829.91] solve iteration 116, LB=3, UB=18
1536.26/1539.64 c [830.23] solve iteration 117, LB=3, UB=18
1536.26/1539.64 c [830.34] solve iteration 118, LB=3, UB=18
1536.26/1539.64 c [830.53] solve iteration 119, LB=3, UB=18
1536.26/1539.64 c [830.63] solve iteration 120, LB=3, UB=18
1536.26/1539.64 c [900.49] solve iteration 121, LB=3, UB=18
1536.26/1539.64 c [900.74] solve iteration 122, LB=3, UB=18
1536.26/1539.64 c [900.84] solve iteration 123, LB=3, UB=18
1536.26/1539.64 c [900.9] solve iteration 124, LB=3, UB=18
1536.26/1539.64 c [900.97] solve iteration 125, LB=3, UB=18
1536.26/1539.64 c [977.75] solve iteration 126, LB=3, UB=18
1536.26/1539.64 c [978.25] solve iteration 127, LB=3, UB=18
1536.26/1539.64 c [978.34] solve iteration 128, LB=3, UB=18
1536.26/1539.64 c [978.4] solve iteration 129, LB=3, UB=18
1536.26/1539.64 c [978.45] solve iteration 130, LB=3, UB=18
1536.26/1539.64 c [1061.61] solve iteration 131, LB=3, UB=18
1536.26/1539.64 c [1061.99] solve iteration 132, LB=3, UB=18
1536.26/1539.64 c [1062.35] solve iteration 133, LB=3, UB=18
1536.26/1539.64 c [1062.47] solve iteration 134, LB=3, UB=18
1536.26/1539.64 c [1062.52] solve iteration 135, LB=3, UB=18
1536.26/1539.64 c [1137.16] solve iteration 136, LB=3, UB=18
1536.26/1539.64 c [1137.37] solve iteration 137, LB=3, UB=18
1536.26/1539.64 c [1137.46] solve iteration 138, LB=3, UB=18
1536.26/1539.64 c [1137.7] solve iteration 139, LB=3, UB=18
1536.26/1539.64 c [1137.9] solve iteration 140, LB=3, UB=18
1536.26/1539.64 c [1237.07] solve iteration 141, LB=3, UB=18
1536.26/1539.64 c [1237.49] solve iteration 142, LB=3, UB=18
1536.26/1539.64 c [1237.55] solve iteration 143, LB=3, UB=18
1536.26/1539.64 c [1237.61] solve iteration 144, LB=3, UB=18
1536.26/1539.64 c [1237.65] solve iteration 145, LB=3, UB=18
1536.26/1539.64 c [1343.39] solve iteration 146, LB=3, UB=18
1536.26/1539.64 c [1343.64] solve iteration 147, LB=3, UB=18
1536.26/1539.64 c [1343.71] solve iteration 148, LB=3, UB=18
1536.26/1539.64 c [1343.77] solve iteration 149, LB=3, UB=18
1536.26/1539.64 c [1343.88] solve iteration 150, LB=3, UB=18
1536.26/1539.64 c [1467.12] solve iteration 151, LB=3, UB=18
1536.26/1539.64 c [1467.31] solve iteration 152, LB=3, UB=18
1536.26/1539.64 c [1467.39] solve iteration 153, LB=3, UB=18
1536.26/1539.64 c [1467.42] solve iteration 154, LB=3, UB=18
1536.26/1539.64 c [1467.44] solve iteration 155, LB=
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 (62058 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-4449720-1721399503/watcher-4449720-1721399503 -o /tmp/evaluation-result-4449720-1721399503/solver-4449720-1721399503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721399515-1013028 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4449720-1721399503.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=1013091, runsolver pid=1013088
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 0.16 0.12 0.09 1/265 1013095
/proc/meminfo: memFree=128349684/131524600 swapFree=131071996/131071996
[pid=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=78072 memory=2632 CPUtime=0 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) D 1013091 1013091 1013016 0 -1 4194304 206 0 2 0 0 0 0 0 20 0 1 0 192110480 79945728 658 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 0 0 0 0 0 17 1 0 0 10 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 19518 658 580 46 0 250 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 88000 KiB
Current children cumulated memory: 5336 KiB
[startup+0.204993 s]*
/proc/loadavg: 0.16 0.12 0.09 4/264 1013098
/proc/meminfo: memFree=128315464/131524600 swapFree=131071996/131071996
[pid=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=97628 memory=17492 CPUtime=0.08 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 4194304 3369 0 2 0 7 1 0 0 20 0 1 0 192110480 99971072 4373 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 0 0 0 0 0 17 1 0 0 12 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 24407 4373 1704 46 0 5022 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 107556 KiB
Current children cumulated memory: 20196 KiB
[startup+0.305626 s]*
/proc/loadavg: 0.16 0.12 0.09 4/262 1013107
/proc/meminfo: memFree=128293056/131524600 swapFree=131071996/131071996
[pid=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=148020 memory=36348 CPUtime=0.17 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 4194304 5091 0 2 0 13 4 0 0 20 0 2 0 192110480 151572480 9087 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 0 0 0 17 1 0 0 12 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 37005 9087 3277 46 0 9600 0
[pid=1013093/tid=1013107] ppid=1013091 vsize=148020 memory=-7027409196973593960 CPUtime=0 cores=1,3
/proc/1013093/task/1013107/stat : 1013107 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192110509 151572480 9087 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 157948 KiB
Current children cumulated memory: 39052 KiB
[startup+0.700179 s]
/proc/loadavg: 0.16 0.12 0.09 4/263 1013108
/proc/meminfo: memFree=128277260/131524600 swapFree=131071996/131071996
[pid=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=148592 memory=37524 CPUtime=0.57 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 4194304 5327 0 2 0 49 8 0 0 20 0 2 0 192110480 152158208 9381 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 0 0 0 17 1 0 0 12 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 37148 9381 3309 46 0 9743 0
[pid=1013093/tid=1013107] ppid=1013091 vsize=148592 memory=33020 CPUtime=0 cores=1,3
/proc/1013093/task/1013107/stat : 1013107 (ld-linux-x86-64) S 1013091 1013091 1013016 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192110509 152158208 9381 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 158520 KiB
Current children cumulated memory: 40228 KiB
[startup+1.50019 s]
/proc/loadavg: 0.16 0.12 0.09 5/262 1013136
/proc/meminfo: memFree=128268924/131524600 swapFree=131071996/131071996
[pid=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=154620 memory=41272 CPUtime=1.36 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 4194304 6324 0 2 0 122 14 0 0 20 0 2 0 192110480 158330880 10318 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 0 0 0 17 1 0 0 12 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 38655 10318 3309 46 0 11250 0
[pid=1013093/tid=1013107] ppid=1013091 vsize=154620 memory=229268139 CPUtime=0 cores=1,3
/proc/1013093/task/1013107/stat : 1013107 (ld-linux-x86-64) S 1013091 1013091 1013016 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192110509 158330880 10318 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 164548 KiB
Current children cumulated memory: 43976 KiB
[startup+3.10546 s]
/proc/loadavg: 0.16 0.12 0.09 5/270 1013148
/proc/meminfo: memFree=128241052/131524600 swapFree=131071996/131071996
[pid=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=155148 memory=43012 CPUtime=2.96 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 4194304 9742 0 2 0 268 28 0 0 20 0 2 0 192110480 158871552 10753 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 0 0 0 17 1 0 0 12 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 38787 10753 3309 46 0 11382 0
[pid=1013093/tid=1013107] ppid=1013091 vsize=155148 memory=41536 CPUtime=0 cores=1,3
/proc/1013093/task/1013107/stat : 1013107 (ld-linux-x86-64) S 1013091 1013091 1013016 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 192110509 158871552 10753 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 165076 KiB
Current children cumulated memory: 45716 KiB
[startup+6.30019 s]
/proc/loadavg: 0.46 0.18 0.12 5/270 1013148
/proc/meminfo: memFree=128234104/131524600 swapFree=131071996/131071996
[pid=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=157764 memory=47664 CPUtime=6.14 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 4194304 14272 0 2 0 560 54 0 0 20 0 2 0 192110480 161550336 11916 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 0 0 0 17 1 0 0 12 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 39441 11916 3500 46 0 12036 0
[pid=1013093/tid=1013107] ppid=1013091 vsize=157764 memory=2704 CPUtime=0 cores=1,3
/proc/1013093/task/1013107/stat : 1013107 (ld-linux-x86-64) S 1013091 1013091 1013016 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 192110509 161550336 11916 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 167692 KiB
Current children cumulated memory: 50368 KiB
[startup+12.7002 s]
/proc/loadavg: 0.75 0.25 0.14 5/270 1013150
/proc/meminfo: memFree=128224412/131524600 swapFree=131071996/131071996
[pid=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=163720 memory=52756 CPUtime=12.53 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 4194304 23966 0 2 0 1150 103 0 0 20 0 2 0 192110480 167649280 13189 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 0 0 0 17 1 0 0 12 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 40930 13189 3500 46 0 13525 0
[pid=1013093/tid=1013107] ppid=1013091 vsize=163720 memory=2704 CPUtime=0 cores=1,3
/proc/1013093/task/1013107/stat : 1013107 (ld-linux-x86-64) S 1013091 1013091 1013016 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 2 0 192110509 167649280 13189 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 173648 KiB
Current children cumulated memory: 55460 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=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=174816 memory=58488 CPUtime=25.28 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 4194304 35723 0 2 0 2337 191 0 0 20 0 2 0 192110480 179011584 14622 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 0 0 0 17 1 0 0 12 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 43704 14622 3500 46 0 16299 0
[pid=1013093/tid=1013107] ppid=1013091 vsize=174816 memory=2704 CPUtime=0 cores=1,3
/proc/1013093/task/1013107/stat : 1013107 (ld-linux-x86-64) S 1013091 1013091 1013016 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 2 0 192110509 179011584 14622 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 184744 KiB
Current children cumulated memory: 61192 KiB
[startup+51.1056 s]
/proc/loadavg: 2.40 0.74 0.31 5/270 1013156
/proc/meminfo: memFree=128174608/131524600 swapFree=131071996/131071996
[pid=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=180300 memory=68760 CPUtime=50.79 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 4194304 58208 0 2 0 4728 351 0 0 20 0 2 0 192110480 184627200 17190 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 0 0 0 17 1 0 0 12 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 45075 17190 3500 46 0 17670 0
[pid=1013093/tid=1013107] ppid=1013091 vsize=180300 memory=66668 CPUtime=0.01 cores=1,3
/proc/1013093/task/1013107/stat : 1013107 (ld-linux-x86-64) S 1013091 1013091 1013016 0 -1 1077936192 37 0 0 0 0 1 0 0 20 0 2 0 192110509 184627200 17190 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 190228 KiB
Current children cumulated memory: 71464 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.27 0.51 5/268 1013165
/proc/meminfo: memFree=128124216/131524600 swapFree=131071996/131071996
[pid=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=204932 memory=94892 CPUtime=101.8 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 4194304 82314 0 2 0 9483 697 0 0 20 0 2 0 192110480 209850368 23723 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 0 0 0 17 1 0 0 12 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 51233 23723 3500 46 0 23828 0
[pid=1013093/tid=1013107] ppid=1013091 vsize=204932 memory=2704 CPUtime=0.03 cores=1,3
/proc/1013093/task/1013107/stat : 1013107 (ld-linux-x86-64) S 1013091 1013091 1013016 0 -1 1077936192 45 0 0 0 1 2 0 0 20 0 2 0 192110509 209850368 23723 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 214860 KiB
Current children cumulated memory: 97596 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=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.26 4.27 4.09 5/263 1014733
/proc/meminfo: memFree=126934676/131524600 swapFree=131071996/131071996
[pid=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=772504 memory=539364 CPUtime=3216.21 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 4194304 644716 0 2 0 310095 11526 0 0 20 0 2 0 192110480 791044096 134841 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 0 0 0 17 1 0 0 12 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 193126 134841 3802 46 0 165721 0
[pid=1013093/tid=1013107] ppid=1013091 vsize=772504 memory=539364 CPUtime=1.95 cores=1,3
/proc/1013093/task/1013107/stat : 1013107 (ld-linux-x86-64) S 1013091 1013091 1013016 0 -1 1077936192 201 0 0 0 76 119 0 0 20 0 2 0 192110509 791044096 134841 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
Current children cumulated CPU time: 3216.21 s
Current children cumulated vsize: 782432 KiB
Current children cumulated memory: 542068 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=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=772504 memory=539364 CPUtime=3276.09 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 4194304 703864 0 2 0 315935 11674 0 0 20 0 2 0 192110480 791044096 134841 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 0 0 0 17 1 0 0 12 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 193126 134841 3802 46 0 165721 0
[pid=1013093/tid=1013107] ppid=1013091 vsize=772504 memory=2704 CPUtime=1.99 cores=1,3
/proc/1013093/task/1013107/stat : 1013107 (ld-linux-x86-64) S 1013091 1013091 1013016 0 -1 1077936192 204 0 0 0 77 122 0 0 20 0 2 0 192110509 791044096 134841 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
Current children cumulated CPU time: 3276.09 s
Current children cumulated vsize: 782432 KiB
Current children cumulated memory: 542068 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=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=775012 memory=541980 CPUtime=3335.97 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 4194304 755822 0 2 0 321783 11814 0 0 20 0 2 0 192110480 793612288 135495 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 0 0 0 17 1 0 0 12 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 193753 135495 3802 46 0 166348 0
[pid=1013093/tid=1013107] ppid=1013091 vsize=775012 memory=2704 CPUtime=2.03 cores=1,3
/proc/1013093/task/1013107/stat : 1013107 (ld-linux-x86-64) S 1013091 1013091 1013016 0 -1 1077936192 207 0 0 0 79 124 0 0 20 0 2 0 192110509 793612288 135495 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
Current children cumulated CPU time: 3335.97 s
Current children cumulated vsize: 784940 KiB
Current children cumulated memory: 544684 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=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=775012 memory=548124 CPUtime=3395.86 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 4194304 820775 0 2 0 327677 11909 0 0 20 0 2 0 192110480 793612288 137031 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 0 0 0 17 1 0 0 12 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 193753 137031 3802 46 0 166348 0
[pid=1013093/tid=1013107] ppid=1013091 vsize=775012 memory=11400 CPUtime=2.06 cores=1,3
/proc/1013093/task/1013107/stat : 1013107 (ld-linux-x86-64) S 1013091 1013091 1013016 0 -1 1077936192 210 0 0 0 80 126 0 0 20 0 2 0 192110509 793612288 137031 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
Current children cumulated CPU time: 3395.86 s
Current children cumulated vsize: 784940 KiB
Current children cumulated memory: 550828 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.27 4.14 5/265 1014944
/proc/meminfo: memFree=126887348/131524600 swapFree=131071996/131071996
[pid=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=778972 memory=574516 CPUtime=3455.75 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 4194304 871795 0 2 0 333570 12005 0 0 20 0 2 0 192110480 797667328 143629 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 0 0 0 17 1 0 0 12 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 194743 143629 3802 46 0 167338 0
[pid=1013093/tid=1013107] ppid=1013091 vsize=778972 memory=2704 CPUtime=2.11 cores=1,3
/proc/1013093/task/1013107/stat : 1013107 (ld-linux-x86-64) S 1013091 1013091 1013016 0 -1 1077936192 213 0 0 0 82 129 0 0 20 0 2 0 192110509 797667328 143629 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
Current children cumulated CPU time: 3455.75 s
Current children cumulated vsize: 788900 KiB
Current children cumulated memory: 577220 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=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=778972 memory=574516 CPUtime=3515.63 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 4194304 936921 0 2 0 339454 12109 0 0 20 0 2 0 192110480 797667328 143629 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 0 0 0 17 1 0 0 12 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 194743 143629 3802 46 0 167338 0
[pid=1013093/tid=1013107] ppid=1013091 vsize=778972 memory=2704 CPUtime=2.15 cores=1,3
/proc/1013093/task/1013107/stat : 1013107 (ld-linux-x86-64) S 1013091 1013091 1013016 0 -1 1077936192 216 0 0 0 84 131 0 0 20 0 2 0 192110509 797667328 143629 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
Current children cumulated CPU time: 3515.63 s
Current children cumulated vsize: 788900 KiB
Current children cumulated memory: 577220 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=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=781904 memory=577444 CPUtime=3575.51 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 4194304 987716 0 2 0 345349 12202 0 0 20 0 2 0 192110480 800669696 144361 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 0 0 0 17 1 0 0 12 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 195476 144361 3802 46 0 168071 0
[pid=1013093/tid=1013107] ppid=1013091 vsize=781904 memory=11400 CPUtime=2.18 cores=1,3
/proc/1013093/task/1013107/stat : 1013107 (ld-linux-x86-64) S 1013091 1013091 1013016 0 -1 1077936192 219 0 0 0 85 133 0 0 20 0 2 0 192110509 800669696 144361 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
Current children cumulated CPU time: 3575.51 s
Current children cumulated vsize: 791832 KiB
Current children cumulated memory: 580148 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3606.9 s]
/proc/loadavg: 4.17 4.22 4.13 5/264 1015024
/proc/meminfo: memFree=126878940/131524600 swapFree=131071996/131071996
[pid=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=781904 memory=577444 CPUtime=3600.06 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 4194304 993494 0 2 0 347779 12227 0 0 20 0 2 0 192110480 800669696 144361 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 0 0 0 17 1 0 0 12 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 195476 144361 3802 46 0 168071 0
[pid=1013093/tid=1013107] ppid=1013091 vsize=781904 memory=2704 CPUtime=2.19 cores=1,3
/proc/1013093/task/1013107/stat : 1013107 (ld-linux-x86-64) S 1013091 1013091 1013016 0 -1 1077936192 221 0 0 0 85 134 0 0 20 0 2 0 192110509 800669696 144361 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 791832 KiB
Current children cumulated memory: 580148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3606.91 s]
# the end of solver process 1013091 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000859 s, system=0.00087 s
[startup+3606.91 s]
# the end of solver process 1013093 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3477.8 s, system=122.277 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+3606.9 s]
/proc/loadavg: 4.17 4.22 4.13 5/264 1015024
/proc/meminfo: memFree=126878940/131524600 swapFree=131071996/131071996
[pid=1013091] ppid=1013088 vsize=9928 memory=2704 CPUtime=0 cores=1,3
/proc/1013091/stat : 1013091 (run-glibc-2.34.) S 1013088 1013091 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192110480 10166272 676 134679101440 94225026093056 94225027172376 140737433519408 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94225029270832 94225029318020 94225045790720 140737433527241 140737433527386 140737433527386 140737433534403 0
/proc/1013091/statm: 2482 676 595 264 0 133 0
[pid=1013093] ppid=1013091 vsize=781904 memory=577444 CPUtime=3600.06 cores=1,3
/proc/1013093/stat : 1013093 (ld-linux-x86-64) R 1013091 1013091 1013016 0 -1 4194304 993494 0 2 0 347779 12227 0 0 20 0 2 0 192110480 800669696 144361 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 0 0 0 17 1 0 0 12 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
/proc/1013093/statm: 195476 144361 3802 46 0 168071 0
[pid=1013093/tid=1013107] ppid=1013091 vsize=781904 memory=2704 CPUtime=2.19 cores=1,3
/proc/1013093/task/1013107/stat : 1013107 (ld-linux-x86-64) S 1013091 1013091 1013016 0 -1 1077936192 221 0 0 0 85 134 0 0 20 0 2 0 192110509 800669696 144361 134679101440 140169833979904 140169834167516 140731649313200 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140169836268416 140169836277864 93825009037312 140731649319777 140731649319929 140731649319929 140731649327026 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 791832 KiB
Current children cumulated memory: 580148 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3606.91
CPU time (s): 3600.08
CPU user time (s): 3477.8
CPU system time (s): 122.277
CPU usage (%): 99.8107
Max. virtual memory (cumulated for all children) (KiB): 838452
Max. memory (cumulated for all children) (KiB): 626672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3477.8
system time used= 122.277
maximum resident set size= 623968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 993698
page faults= 2
swaps= 0
block input operations= 528
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357339
involuntary context switches= 1476
# summary of solver processes directly reported to runsolver:
# pid: 1013091,1013093
# total CPU time (s): 3600.08
# total CPU user time (s): 3477.8
# total CPU system time (s): 122.277
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31255 second user time and 16.3713 second system time
The end