27.05/27.29 c initialize IPBHS solver
27.05/27.29 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
27.05/27.29 c optimizer = "gurobi"
27.05/27.29 c pbsolver = "roundingsat"
27.05/27.29 c load symmetries from file ""
27.05/27.29 c set time limit for symmetry computation to 100 seconds.
27.05/27.29 c set interchangeable summation variable limit to 3
27.05/27.29 c set abs symmetric core budget per WCE-iteration to 100
27.05/27.29 c set rel symmetric core budget per WCE-iteration to 0
27.05/27.29 c set lit symmetric core budget per WCE-iteration to 0
27.05/27.29 c set sym generation to 's'
27.05/27.29 c set abstraction set creation to 10 iterations without LB change
27.05/27.29 c set abstraction set inputs to 0
27.05/27.29 c set abstraction set cluster min size to 2
27.05/27.29 c set abstraction set cluster max size to 100000000
27.05/27.29 c set abstraction set cluster activation limit to 2
27.05/27.29 c enable abstraction set require equal cost
27.05/27.29 c set abstraction set assumptions to 0
27.05/27.29 c set abstraction set constraint type to 0
27.05/27.29 c set abstract core extraction strategy to b
27.05/27.29 c set core extraction strategy to 2
27.05/27.29 c set core extraction shuffles 10
27.05/27.29 c set cores per iteration to 5
27.05/27.29 c set optimizer bound usage strategy to 2
27.05/27.29 c set optimizer max non-optimal iterations to 1000
27.05/27.29 c set small core cardinality limit to 2
27.05/27.29 c set max coef in cores to 1000000000
27.05/27.29 c set SIS iterations to 5
27.05/27.29 c set SIS budget abs to 1000
27.05/27.29 c set SIS budget rel to 0.05
27.05/27.29 c limit for coefficient in constraints and objective to 9223372036854775807
27.05/27.29 c will solve HOME/instance-4431405-1721067546.opb
27.05/27.29 c [0.02] solve iteration 1, LB=0, UB=325
27.05/27.29 c [0.44] solve iteration 2, LB=48, UB=74
27.05/27.29 c [0.87] solve iteration 3, LB=48, UB=74
27.05/27.29 c [1.12] solve iteration 4, LB=48, UB=74
27.05/27.29 c [1.46] solve iteration 5, LB=48, UB=74
27.05/27.29 c [1.6] solve iteration 6, LB=48, UB=72
27.05/27.29 c [1.76] solve iteration 7, LB=48, UB=72
27.05/27.29 c [1.81] solve iteration 8, LB=49, UB=72
27.05/27.29 c [1.91] solve iteration 9, LB=49, UB=70
27.05/27.29 c [2.04] solve iteration 10, LB=50, UB=70
27.05/27.29 c [2.64] solve iteration 11, LB=50, UB=70
27.05/27.29 c [2.71] solve iteration 12, LB=50, UB=70
27.05/27.29 c [2.8] solve iteration 13, LB=50, UB=70
27.05/27.29 c [2.92] solve iteration 14, LB=50, UB=70
27.05/27.29 c [3.02] solve iteration 15, LB=50, UB=70
27.05/27.29 c [3.45] solve iteration 16, LB=50, UB=70
27.05/27.29 c [3.94] solve iteration 17, LB=50, UB=70
27.05/27.29 c [5.2] solve iteration 18, LB=50, UB=70
27.05/27.29 c [5.28] solve iteration 19, LB=50, UB=70
27.05/27.29 c [5.35] solve iteration 20, LB=50, UB=70
27.05/27.29 c [5.63] solve iteration 21, LB=50, UB=68
27.05/27.29 c [5.77] solve iteration 22, LB=50, UB=68
27.05/27.29 c [6.24] solve iteration 23, LB=50, UB=68
27.05/27.29 c [6.35] solve iteration 24, LB=50, UB=68
27.05/27.29 c [6.48] solve iteration 25, LB=50, UB=68
27.05/27.29 c [7.42] solve iteration 26, LB=50, UB=68
27.05/27.29 c [7.9] solve iteration 27, LB=50, UB=68
27.05/27.29 c [8.06] solve iteration 28, LB=50, UB=68
27.05/27.29 c [8.22] solve iteration 29, LB=50, UB=68
27.05/27.29 c [8.33] solve iteration 30, LB=50, UB=68
27.05/27.29 c [9.14] solve iteration 31, LB=50, UB=68
27.05/27.29 c [9.71] solve iteration 32, LB=50, UB=68
27.05/27.29 c [9.84] solve iteration 33, LB=50, UB=68
27.05/27.29 c [10.09] solve iteration 34, LB=50, UB=68
27.05/27.29 c [10.35] solve iteration 35, LB=50, UB=68
27.05/27.29 c [11.37] solve iteration 36, LB=50, UB=68
27.05/27.29 c [11.66] solve iteration 37, LB=50, UB=68
27.05/27.29 c [11.83] solve iteration 38, LB=50, UB=68
27.05/27.29 c [12] solve iteration 39, LB=50, UB=68
27.05/27.29 c [12.14] solve iteration 40, LB=50, UB=68
27.05/27.29 c [13.93] solve iteration 41, LB=50, UB=68
27.05/27.29 c [14.12] solve iteration 42, LB=50, UB=68
27.05/27.29 c [14.31] solve iteration 43, LB=50, UB=68
27.05/27.29 c [14.5] solve iteration 44, LB=50, UB=68
27.05/27.29 c [14.61] solve iteration 45, LB=50, UB=68
27.05/27.29 c [16.17] solve iteration 46, LB=50, UB=68
27.05/27.29 c [16.33] solve iteration 47, LB=50, UB=68
27.05/27.29 c [16.57] solve iteration 48, LB=50, UB=68
27.05/27.29 c [17.7] solve iteration 49, LB=50, UB=68
27.05/27.29 c [17.89] solve iteration 50, LB=50, UB=68
27.05/27.29 c [19.6] solve iteration 51, LB=50, UB=68
27.05/27.29 c [19.82] solve iteration 52, LB=50, UB=68
27.05/27.29 c [20.11] solve iteration 53, LB=50, UB=68
27.05/27.29 c [20.36] solve iteration 54, LB=50, UB=68
27.05/27.29 c [20.61] solve iteration 55, LB=51, UB=68
27.05/27.29 c [22.8] solve iteration 56, LB=51, UB=68
27.05/27.29 c [22.93] solve iteration 57, LB=51, UB=68
27.05/27.29 c [23.14] solve iteration 58, LB=51, UB=68
27.05/27.29 c [23.29] solve iteration 59, LB=51, UB=68
27.05/27.29 c [23.41] solve iteration 60, LB=51, UB=68
27.05/27.29 c [26.1] solve iteration 61, LB=51, UB=68
27.05/27.29 c [26.27] solve iteration 62, LB=51, UB=68
478.87/480.11 c [28.02] solve iteration 63, LB=51, UB=68
478.87/480.11 c [28.25] solve iteration 64, LB=51, UB=68
478.87/480.11 c [28.41] solve iteration 65, LB=51, UB=68
478.87/480.11 c [30.99] solve iteration 66, LB=51, UB=68
478.87/480.11 c [31.11] solve iteration 67, LB=51, UB=68
478.87/480.11 c [33.43] solve iteration 68, LB=51, UB=68
478.87/480.11 c [33.57] solve iteration 69, LB=51, UB=68
478.87/480.11 c [34.04] solve iteration 70, LB=52, UB=68
478.87/480.11 c [37.42] solve iteration 71, LB=52, UB=68
478.87/480.11 c [37.72] solve iteration 72, LB=52, UB=68
478.87/480.11 c [38.09] solve iteration 73, LB=52, UB=68
478.87/480.11 c [38.25] solve iteration 74, LB=52, UB=68
478.87/480.11 c [38.39] solve iteration 75, LB=52, UB=68
478.87/480.11 c [44.96] solve iteration 76, LB=52, UB=68
478.87/480.11 c [45.15] solve iteration 77, LB=52, UB=68
478.87/480.11 c [45.53] solve iteration 78, LB=52, UB=68
478.87/480.11 c [45.79] solve iteration 79, LB=52, UB=68
478.87/480.11 c [46.25] solve iteration 80, LB=52, UB=68
478.87/480.11 c [53.4] solve iteration 81, LB=52, UB=68
478.87/480.11 c [53.61] solve iteration 82, LB=52, UB=68
478.87/480.11 c [54.86] solve iteration 83, LB=52, UB=68
478.87/480.11 c [55.48] solve iteration 84, LB=52, UB=68
478.87/480.11 c [58.18] solve iteration 85, LB=52, UB=68
478.87/480.11 c [66.52] solve iteration 86, LB=52, UB=68
478.87/480.11 c [66.92] solve iteration 87, LB=52, UB=68
478.87/480.11 c [67.27] solve iteration 88, LB=52, UB=68
478.87/480.11 c [68.44] solve iteration 89, LB=52, UB=68
478.87/480.11 c [68.99] solve iteration 90, LB=52, UB=68
478.87/480.11 c [75.13] solve iteration 91, LB=52, UB=66
478.87/480.11 c [75.42] solve iteration 92, LB=52, UB=66
478.87/480.11 c [75.62] solve iteration 93, LB=52, UB=66
478.87/480.11 c [76.11] solve iteration 94, LB=52, UB=66
478.87/480.11 c [76.74] solve iteration 95, LB=52, UB=66
478.87/480.11 c [83.66] solve iteration 96, LB=52, UB=66
478.87/480.11 c [84.16] solve iteration 97, LB=52, UB=66
478.87/480.11 c [84.69] solve iteration 98, LB=52, UB=66
478.87/480.11 c [86.58] solve iteration 99, LB=52, UB=66
478.87/480.11 c [87.1] solve iteration 100, LB=52, UB=66
478.87/480.11 c [99.21] solve iteration 101, LB=52, UB=66
478.87/480.11 c [99.55] solve iteration 102, LB=52, UB=66
478.87/480.11 c [100.11] solve iteration 103, LB=52, UB=66
478.87/480.11 c [100.53] solve iteration 104, LB=52, UB=66
478.87/480.11 c [101.57] solve iteration 105, LB=52, UB=66
478.87/480.11 c [118] solve iteration 106, LB=52, UB=66
478.87/480.11 c [118.45] solve iteration 107, LB=52, UB=66
478.87/480.11 c [120.32] solve iteration 108, LB=60, UB=66
478.87/480.11 c [120.82] solve iteration 109, LB=60, UB=66
478.87/480.11 c [121.37] solve iteration 110, LB=60, UB=66
478.87/480.11 c [121.92] solve iteration 111, LB=60, UB=66
478.87/480.11 c [122.81] solve iteration 112, LB=60, UB=66
478.87/480.11 c [137.27] solve iteration 113, LB=60, UB=66
478.87/480.11 c [137.61] solve iteration 114, LB=60, UB=66
478.87/480.11 c [138.7] solve iteration 115, LB=60, UB=66
478.87/480.11 c [139.24] solve iteration 116, LB=60, UB=66
478.87/480.11 c [139.56] solve iteration 117, LB=60, UB=66
478.87/480.11 c [153.4] solve iteration 118, LB=60, UB=66
478.87/480.11 c [154.05] solve iteration 119, LB=60, UB=66
478.87/480.11 c [155.86] solve iteration 120, LB=60, UB=66
478.87/480.11 c [156.37] solve iteration 121, LB=60, UB=66
478.87/480.11 c [157.49] solve iteration 122, LB=60, UB=66
478.87/480.11 c [181.24] solve iteration 123, LB=60, UB=66
478.87/480.11 c [182.47] solve iteration 124, LB=60, UB=66
478.87/480.11 c [182.95] solve iteration 125, LB=60, UB=66
478.87/480.11 c [183.56] solve iteration 126, LB=60, UB=66
478.87/480.11 c [184.52] solve iteration 127, LB=60, UB=66
478.87/480.11 c [213.95] solve iteration 128, LB=60, UB=66
478.87/480.11 c [214.61] solve iteration 129, LB=60, UB=66
478.87/480.11 c [215.21] solve iteration 130, LB=60, UB=66
478.87/480.11 c [215.91] solve iteration 131, LB=60, UB=66
478.87/480.11 c [220.96] solve iteration 132, LB=60, UB=66
478.87/480.11 c [244.18] solve iteration 133, LB=60, UB=66
478.87/480.11 c [245.95] solve iteration 134, LB=60, UB=66
478.87/480.11 c [246.62] solve iteration 135, LB=60, UB=66
478.87/480.11 c [248.73] solve iteration 136, LB=60, UB=66
478.87/480.11 c [249.3] solve iteration 137, LB=60, UB=66
478.87/480.11 c [287.2] solve iteration 138, LB=60, UB=66
478.87/480.11 c [288.03] solve iteration 139, LB=60, UB=66
478.87/480.11 c [291.33] solve iteration 140, LB=60, UB=66
478.87/480.11 c [292.08] solve iteration 141, LB=60, UB=66
478.87/480.11 c [293.11] solve iteration 142, LB=60, UB=66
478.87/480.11 c [342.74] solve iteration 143, LB=60, UB=66
478.87/480.11 c [343.37] solve iteration 144, LB=60, UB=66
478.87/480.11 c [344.08] solve iteration 145, LB=60, UB=66
478.87/480.11 c [345.51] solve iteration 146, LB=60, UB=66
478.87/480.11 c [346.41] solve iteration 147, LB=60, UB=66
478.87/480.11 c [381.54] solve iteration 148, LB=60, UB=66
478.87/480.11 c [383.29] solve iteration 149, LB=60, UB=66
478.87/480.11 c [384.62] solve iteration 150, LB=60, UB=66
478.87/480.11 c [396.11] solve iteration 151, LB=60, UB=66
478.87/480.11 c [405.8] solve iteration 152, LB=60, UB=66
478.87/480.11 c [452.92] solve iteration 153, LB=60, UB=66
478.87/480.11 c [470.38] solve iteration 154, LB=60, UB=66
478.87/480.11 c [474.43] solve iteration 1HOME/run-glibc-2.34.sh: line 2: 810182 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: 64059 MiB (62355 MiB free)
memory of node 1: 64510 MiB (62420 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431405-1721067546/watcher-4431405-1721067546 -o /tmp/evaluation-result-4431405-1721067546/solver-4431405-1721067546 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721063543-807736 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431405-1721067546.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
Current StackSize limit: 8192 KiB
solver pid=810180, runsolver pid=810177
[startup+0.100813 s]*
/proc/loadavg: 4.11 4.20 4.15 5/249 810183
/proc/meminfo: memFree=127758604/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=137704 memory=26080 CPUtime=0.09 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 2198 0 0 0 6 3 0 0 20 0 2 0 158913833 141008896 6520 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 34426 6520 3773 46 0 7021 0
[pid=810182/tid=810183] ppid=810180 vsize=137704 memory=4026561614 CPUtime=0 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 158913839 141008896 6520 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 147632 KiB
Current children cumulated memory: 28700 KiB
[startup+0.216814 s]*
/proc/loadavg: 4.11 4.20 4.15 5/249 810183
/proc/meminfo: memFree=127758268/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=137704 memory=26080 CPUtime=0.18 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 2218 0 0 0 13 5 0 0 20 0 2 0 158913833 141008896 6520 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 34426 6520 3773 46 0 7021 0
[pid=810182/tid=810183] ppid=810180 vsize=137704 memory=3471202400344241230 CPUtime=0 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 158913839 141008896 6520 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 147632 KiB
Current children cumulated memory: 28700 KiB
[startup+0.319811 s]*
/proc/loadavg: 4.11 4.20 4.15 5/249 810183
/proc/meminfo: memFree=127758268/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=137704 memory=26524 CPUtime=0.28 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 2248 0 0 0 23 5 0 0 20 0 2 0 158913833 141008896 6631 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 34426 6631 3821 46 0 7021 0
[pid=810182/tid=810183] ppid=810180 vsize=137704 memory=-9115220318247742310 CPUtime=0 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) R 810180 810180 807724 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 158913839 141008896 6631 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 147632 KiB
Current children cumulated memory: 29144 KiB
[startup+0.700449 s]
/proc/loadavg: 4.11 4.20 4.15 5/249 810183
/proc/meminfo: memFree=127756668/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=138808 memory=27496 CPUtime=0.66 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 2456 0 0 0 57 9 0 0 20 0 2 0 158913833 142139392 6874 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 34702 6874 3869 46 0 7297 0
[pid=810182/tid=810183] ppid=810180 vsize=138808 memory=32604 CPUtime=0 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 158913839 142139392 6874 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 148736 KiB
Current children cumulated memory: 30116 KiB
[startup+1.5004 s]
/proc/loadavg: 4.11 4.20 4.15 5/249 810183
/proc/meminfo: memFree=127755632/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=139964 memory=28552 CPUtime=1.45 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 2719 0 0 0 132 13 0 0 20 0 2 0 158913833 143323136 7138 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 34991 7138 3869 46 0 7586 0
[pid=810182/tid=810183] ppid=810180 vsize=139964 memory=11648 CPUtime=0 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 158913839 143323136 7138 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 149892 KiB
Current children cumulated memory: 31172 KiB
[startup+3.11296 s]
/proc/loadavg: 4.11 4.20 4.15 6/249 810183
/proc/meminfo: memFree=127712312/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=146348 memory=33708 CPUtime=3.06 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 5296 0 0 0 280 26 0 0 20 0 2 0 158913833 149860352 8427 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 36587 8427 3885 46 0 9182 0
[pid=810182/tid=810183] ppid=810180 vsize=146348 memory=2620 CPUtime=0 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 158913839 149860352 8427 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 156276 KiB
Current children cumulated memory: 36328 KiB
[startup+6.30038 s]
/proc/loadavg: 4.10 4.20 4.15 5/249 810184
/proc/meminfo: memFree=127736452/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=147212 memory=35084 CPUtime=6.24 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 8793 0 0 0 587 37 0 0 20 0 2 0 158913833 150745088 8771 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 36803 8771 3885 46 0 9398 0
[pid=810182/tid=810183] ppid=810180 vsize=147212 memory=2620 CPUtime=0 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 2 0 158913839 150745088 8771 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 157140 KiB
Current children cumulated memory: 37704 KiB
[startup+12.7004 s]
/proc/loadavg: 4.10 4.19 4.15 4/249 810184
/proc/meminfo: memFree=127715764/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=152024 memory=40992 CPUtime=12.61 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 17213 0 0 0 1206 55 0 0 20 0 2 0 158913833 155672576 10248 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 38006 10248 3900 46 0 10601 0
[pid=810182/tid=810183] ppid=810180 vsize=152024 memory=40500 CPUtime=0 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 2 0 158913839 155672576 10248 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 161952 KiB
Current children cumulated memory: 43612 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.20 4.15 5/249 810187
/proc/meminfo: memFree=127683552/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=158500 memory=41756 CPUtime=25.35 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 29075 0 0 0 2453 82 0 0 20 0 2 0 158913833 162304000 10439 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 39625 10439 3900 46 0 12220 0
[pid=810182/tid=810183] ppid=810180 vsize=158500 memory=11648 CPUtime=0.02 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 23 0 0 0 0 2 0 0 20 0 2 0 158913839 162304000 10439 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 168428 KiB
Current children cumulated memory: 44376 KiB
[startup+51.1129 s]
/proc/loadavg: 4.09 4.18 4.14 5/249 810191
/proc/meminfo: memFree=127569244/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=175868 memory=56612 CPUtime=50.88 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 57428 0 0 0 4957 131 0 0 20 0 2 0 158913833 180088832 14153 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 43967 14153 3900 46 0 16562 0
[pid=810182/tid=810183] ppid=810180 vsize=175868 memory=2620 CPUtime=0.05 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 32 0 0 0 1 4 0 0 20 0 2 0 158913839 180088832 14153 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 185796 KiB
Current children cumulated memory: 59232 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.17 4.14 5/251 810203
/proc/meminfo: memFree=127450952/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=184608 memory=69712 CPUtime=101.91 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 84279 0 0 0 9998 193 0 0 20 0 2 0 158913833 189038592 17428 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 46152 17428 3995 46 0 18747 0
[pid=810182/tid=810183] ppid=810180 vsize=184608 memory=2620 CPUtime=0.11 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 40 0 0 0 3 8 0 0 20 0 2 0 158913839 189038592 17428 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 194536 KiB
Current children cumulated memory: 72332 KiB
[startup+162.3 s]
################
# More data... #
################
/proc/810182/statm: 75690 42286 3995 46 0 48285 0
[pid=810182/tid=810183] ppid=810180 vsize=302760 memory=2620 CPUtime=4.01 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 176 0 0 0 128 273 0 0 20 0 2 0 158913839 310026240 42286 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 3156.36 s
Current children cumulated vsize: 312688 KiB
Current children cumulated memory: 171764 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.26 4.29 5/251 812093
/proc/meminfo: memFree=129119524/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=302760 memory=169144 CPUtime=3216.28 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 676696 0 0 0 320240 1388 0 0 20 0 2 0 158913833 310026240 42286 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 75690 42286 3995 46 0 48285 0
[pid=810182/tid=810183] ppid=810180 vsize=302760 memory=169144 CPUtime=4.09 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 178 0 0 0 131 278 0 0 20 0 2 0 158913839 310026240 42286 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 3216.28 s
Current children cumulated vsize: 312688 KiB
Current children cumulated memory: 171764 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.24 4.27 5/251 812103
/proc/meminfo: memFree=128992900/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=302760 memory=172268 CPUtime=3276.2 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 685266 0 0 0 326206 1414 0 0 20 0 2 0 158913833 310026240 43067 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 75690 43067 3995 46 0 48285 0
[pid=810182/tid=810183] ppid=810180 vsize=302760 memory=2620 CPUtime=4.17 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 180 0 0 0 133 284 0 0 20 0 2 0 158913839 310026240 43067 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 3276.2 s
Current children cumulated vsize: 312688 KiB
Current children cumulated memory: 174888 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.21 4.26 5/251 812114
/proc/meminfo: memFree=128935804/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=302760 memory=172268 CPUtime=3336.15 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 685557 0 0 0 332186 1429 0 0 20 0 2 0 158913833 310026240 43067 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 75690 43067 3995 46 0 48285 0
[pid=810182/tid=810183] ppid=810180 vsize=302760 memory=2620 CPUtime=4.26 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 182 0 0 0 135 291 0 0 20 0 2 0 158913839 310026240 43067 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 3336.15 s
Current children cumulated vsize: 312688 KiB
Current children cumulated memory: 174888 KiB
[startup+3402.3 s]
/proc/loadavg: 4.91 4.39 4.32 5/249 812125
/proc/meminfo: memFree=128910356/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=302760 memory=172268 CPUtime=3396.08 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 685849 0 0 0 338165 1443 0 0 20 0 2 0 158913833 310026240 43067 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 75690 43067 3995 46 0 48285 0
[pid=810182/tid=810183] ppid=810180 vsize=302760 memory=2620 CPUtime=4.35 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 184 0 0 0 139 296 0 0 20 0 2 0 158913839 310026240 43067 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 3396.08 s
Current children cumulated vsize: 312688 KiB
Current children cumulated memory: 174888 KiB
[startup+3462.3 s]
/proc/loadavg: 4.96 4.54 4.38 5/249 812135
/proc/meminfo: memFree=128908256/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=302760 memory=172268 CPUtime=3456 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 686150 0 0 0 344141 1459 0 0 20 0 2 0 158913833 310026240 43067 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 75690 43067 3995 46 0 48285 0
[pid=810182/tid=810183] ppid=810180 vsize=302760 memory=2620 CPUtime=4.45 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 186 0 0 0 142 303 0 0 20 0 2 0 158913839 310026240 43067 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 3456 s
Current children cumulated vsize: 312688 KiB
Current children cumulated memory: 174888 KiB
[startup+3522.3 s]
/proc/loadavg: 4.41 4.45 4.36 5/249 812145
/proc/meminfo: memFree=128904480/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=306000 memory=170176 CPUtime=3515.88 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 698814 0 0 0 350113 1475 0 0 20 0 2 0 158913833 313344000 42544 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 76500 42544 3995 46 0 49095 0
[pid=810182/tid=810183] ppid=810180 vsize=306000 memory=2620 CPUtime=4.54 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 188 0 0 0 145 309 0 0 20 0 2 0 158913839 313344000 42544 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 3515.88 s
Current children cumulated vsize: 315928 KiB
Current children cumulated memory: 172796 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.39 4.34 5/249 812155
/proc/meminfo: memFree=128882204/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=306000 memory=170364 CPUtime=3575.85 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 699116 0 0 0 356093 1492 0 0 20 0 2 0 158913833 313344000 42591 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 76500 42591 3995 46 0 49095 0
[pid=810182/tid=810183] ppid=810180 vsize=306000 memory=170364 CPUtime=4.63 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 190 0 0 0 148 315 0 0 20 0 2 0 158913839 313344000 42591 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 3575.85 s
Current children cumulated vsize: 315928 KiB
Current children cumulated memory: 172984 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3606.5 s]
/proc/loadavg: 4.21 4.37 4.33 5/249 812161
/proc/meminfo: memFree=128881724/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=306000 memory=170364 CPUtime=3600.02 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 699419 0 0 0 358503 1499 0 0 20 0 2 0 158913833 313344000 42591 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 76500 42591 3995 46 0 49095 0
[pid=810182/tid=810183] ppid=810180 vsize=306000 memory=2620 CPUtime=4.67 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 192 0 0 0 148 319 0 0 20 0 2 0 158913839 313344000 42591 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 315928 KiB
Current children cumulated memory: 172984 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3606.51 s]
# the end of solver process 810180 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3585.05 s, system=14.9972 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3606.5 s]
/proc/loadavg: 4.21 4.37 4.33 5/249 812161
/proc/meminfo: memFree=128881724/131655788 swapFree=131071996/131071996
[pid=810180] ppid=810177 vsize=9928 memory=2620 CPUtime=0 cores=1,3
/proc/810180/stat : 810180 (run-glibc-2.34.) S 810177 810180 807724 0 -1 4194304 200 0 0 0 0 0 0 0 20 0 1 0 158913833 10166272 655 134679101440 94243705909248 94243706988568 140721905157696 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94243709087024 94243709134212 94243735384064 140721905165259 140721905165404 140721905165404 140721905172419 0
/proc/810180/statm: 2482 655 574 264 0 133 0
[pid=810182] ppid=810180 vsize=306000 memory=170364 CPUtime=3600.02 cores=1,3
/proc/810182/stat : 810182 (ld-linux-x86-64) R 810180 810180 807724 0 -1 4194304 699419 0 0 0 358503 1499 0 0 20 0 2 0 158913833 313344000 42591 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
/proc/810182/statm: 76500 42591 3995 46 0 49095 0
[pid=810182/tid=810183] ppid=810180 vsize=306000 memory=2620 CPUtime=4.67 cores=1,3
/proc/810182/task/810183/stat : 810183 (ld-linux-x86-64) S 810180 810180 807724 0 -1 1077936192 192 0 0 0 148 319 0 0 20 0 2 0 158913839 313344000 42591 134679101440 140628730953728 140628731141340 140723042292448 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140628733242240 140628733251688 93825017413632 140723042300771 140723042300923 140723042300923 140723042308018 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 315928 KiB
Current children cumulated memory: 172984 KiB
Child status: 143
Real time (s): 3606.51
CPU time (s): 3600.04
CPU user time (s): 3585.05
CPU system time (s): 14.9972
CPU usage (%): 99.8208
Max. virtual memory (cumulated for all children) (KiB): 318676
Max. memory (cumulated for all children) (KiB): 177340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.05
system time used= 14.9972
maximum resident set size= 174720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 699631
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 353716
involuntary context switches= 1373
# summary of solver processes directly reported to runsolver:
# pid: 810180
# total CPU time (s): 3600.04
# total CPU user time (s): 3585.05
# total CPU system time (s): 14.9972
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9277 second user time and 39.4513 second system time
The end