381.97/383.33 c initialize IPBHS solver
381.97/383.33 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
381.97/383.33 c optimizer = "gurobi"
381.97/383.33 c pbsolver = "roundingsat"
381.97/383.33 c load symmetries from file ""
381.97/383.33 c set time limit for symmetry computation to 100 seconds.
381.97/383.33 c set interchangeable summation variable limit to 3
381.97/383.33 c set abs symmetric core budget per WCE-iteration to 100
381.97/383.33 c set rel symmetric core budget per WCE-iteration to 0
381.97/383.33 c set lit symmetric core budget per WCE-iteration to 0
381.97/383.33 c set sym generation to 's'
381.97/383.33 c set abstraction set creation to 10 iterations without LB change
381.97/383.33 c set abstraction set inputs to 0
381.97/383.33 c set abstraction set cluster min size to 2
381.97/383.33 c set abstraction set cluster max size to 100000000
381.97/383.33 c set abstraction set cluster activation limit to 2
381.97/383.33 c enable abstraction set require equal cost
381.97/383.33 c set abstraction set assumptions to 0
381.97/383.33 c set abstraction set constraint type to 0
381.97/383.33 c set abstract core extraction strategy to b
381.97/383.33 c set core extraction strategy to 2
381.97/383.33 c set core extraction shuffles 10
381.97/383.33 c set cores per iteration to 5
381.97/383.33 c set optimizer bound usage strategy to 2
381.97/383.33 c set optimizer max non-optimal iterations to 1000
381.97/383.33 c set small core cardinality limit to 2
381.97/383.33 c set max coef in cores to 1000000000
381.97/383.33 c set SIS iterations to 5
381.97/383.33 c set SIS budget abs to 1000
381.97/383.33 c set SIS budget rel to 0.05
381.97/383.33 c limit for coefficient in constraints and objective to 9223372036854775807
381.97/383.33 c will solve HOME/instance-4431641-1721157824.opb
381.97/383.33 c [0.08] solve iteration 1, LB=0, UB=3451261
381.97/383.33 c [18.77] solve iteration 2, LB=5, UB=74789
381.97/383.33 c [26.84] solve iteration 3, LB=15724, UB=28749
381.97/383.33 c [35.51] solve iteration 4, LB=15724, UB=28749
381.97/383.33 c [44.17] solve iteration 5, LB=15726, UB=27725
381.97/383.33 c [53.64] solve iteration 6, LB=15727, UB=27724
381.97/383.33 c [59.24] solve iteration 7, LB=15727, UB=21580
381.97/383.33 c [62.8] solve iteration 8, LB=15728, UB=19867
381.97/383.33 c [67.59] solve iteration 9, LB=15729, UB=19197
381.97/383.33 c [69.81] solve iteration 10, LB=15729, UB=19197
381.97/383.33 c [73.47] solve iteration 11, LB=15729, UB=19195
381.97/383.33 c [75.51] solve iteration 12, LB=15729, UB=18840
381.97/383.33 c [77.25] solve iteration 13, LB=15729, UB=18840
381.97/383.33 c [78.52] solve iteration 14, LB=15729, UB=18835
381.97/383.33 c [80.32] solve iteration 15, LB=15729, UB=18835
381.97/383.33 c [97.4] solve iteration 16, LB=15729, UB=18835
381.97/383.33 c [99.06] solve iteration 17, LB=15730, UB=18835
381.97/383.33 c [99.86] solve iteration 18, LB=15730, UB=18835
381.97/383.33 c [100.92] solve iteration 19, LB=15730, UB=18834
381.97/383.33 c [101.99] solve iteration 20, LB=15730, UB=18832
381.97/383.33 c [123.79] solve iteration 21, LB=15730, UB=18832
381.97/383.33 c [124.63] solve iteration 22, LB=15730, UB=18832
381.97/383.33 c [127.18] solve iteration 23, LB=15730, UB=18832
381.97/383.33 c [128.52] solve iteration 24, LB=15730, UB=18832
381.97/383.33 c [129.9] solve iteration 25, LB=15730, UB=18832
381.97/383.33 c [153.68] solve iteration 26, LB=15730, UB=18832
381.97/383.33 c [154.53] solve iteration 27, LB=15730, UB=18494
381.97/383.33 c [155.42] solve iteration 28, LB=15730, UB=18493
381.97/383.33 c [156] solve iteration 29, LB=15730, UB=18493
381.97/383.33 c [156.86] solve iteration 30, LB=15730, UB=18492
381.97/383.33 c [187.1] solve iteration 31, LB=15730, UB=18488
381.97/383.33 c [193.56] solve iteration 32, LB=15731, UB=15780
381.97/383.33 c [201.13] solve iteration 33, LB=15733, UB=15780
381.97/383.33 c [205.66] solve iteration 34, LB=15734, UB=15778
381.97/383.33 c [210.24] solve iteration 35, LB=15737, UB=15778
381.97/383.33 c [214.46] solve iteration 36, LB=15737, UB=15777
381.97/383.33 c [217.64] solve iteration 37, LB=15737, UB=15775
381.97/383.33 c [221.5] solve iteration 38, LB=15737, UB=15775
381.97/383.33 c [225.13] solve iteration 39, LB=15737, UB=15775
381.97/383.33 c [264.09] solve iteration 40, LB=15737, UB=15775
381.97/383.33 c [268.83] solve iteration 41, LB=15737, UB=15775
381.97/383.33 c [272.06] solve iteration 42, LB=15737, UB=15772
381.97/383.33 c [275.05] solve iteration 43, LB=15737, UB=15772
381.97/383.33 c [277.73] solve iteration 44, LB=15737, UB=15772
381.97/383.33 c [280.08] solve iteration 45, LB=15737, UB=15762
381.97/383.33 c [282.76] solve iteration 46, LB=15737, UB=15762
381.97/383.33 c [285.8] solve iteration 47, LB=15737, UB=15762
381.97/383.33 c [288.99] solve iteration 48, LB=15738, UB=15762
381.97/383.33 c [292.16] solve iteration 49, LB=15739, UB=15762
381.97/383.33 c [322.56] solve iteration 50, LB=15740, UB=15762
381.97/383.33 c [324.43] solve iteration 51, LB=15740, UB=15757
381.97/383.33 c [326.9] solve iteration 52, LB=15740, UB=15757
381.97/383.33 c [328.84] solve iteration 53, LB=15740, UB=15757
2014.30/2020.16 c [330.98] solve iteration 54, LB=15740, UB=15757
2014.30/2020.16 c [366.48] solve iteration 55, LB=15740, UB=15757
2014.30/2020.16 c [368.71] solve iteration 56, LB=15740, UB=15757
2014.30/2020.16 c [370.48] solve iteration 57, LB=15740, UB=15757
2014.30/2020.16 c [372.36] solve iteration 58, LB=15740, UB=15757
2014.30/2020.16 c [374.75] solve iteration 59, LB=15740, UB=15757
2014.30/2020.16 c [416.03] solve iteration 60, LB=15740, UB=15757
2014.30/2020.16 c [417.34] solve iteration 61, LB=15740, UB=15757
2014.30/2020.16 c [419.56] solve iteration 62, LB=15740, UB=15757
2014.30/2020.16 c [422.08] solve iteration 63, LB=15740, UB=15757
2014.30/2020.16 c [423.42] solve iteration 64, LB=15740, UB=15757
2014.30/2020.16 c [471.14] solve iteration 65, LB=15740, UB=15757
2014.30/2020.16 c [473.12] solve iteration 66, LB=15740, UB=15757
2014.30/2020.16 c [476.93] solve iteration 67, LB=15740, UB=15757
2014.30/2020.16 c [478.05] solve iteration 68, LB=15740, UB=15753
2014.30/2020.16 c [480.5] solve iteration 69, LB=15740, UB=15753
2014.30/2020.16 c [539.29] solve iteration 70, LB=15740, UB=15753
2014.30/2020.16 c [541.64] solve iteration 71, LB=15740, UB=15753
2014.30/2020.16 c [543.19] solve iteration 72, LB=15740, UB=15753
2014.30/2020.16 c [544.77] solve iteration 73, LB=15740, UB=15753
2014.30/2020.16 c [546.15] solve iteration 74, LB=15740, UB=15753
2014.30/2020.16 c [624.64] solve iteration 75, LB=15740, UB=15753
2014.30/2020.16 c [627.32] solve iteration 76, LB=15740, UB=15753
2014.30/2020.16 c [628.66] solve iteration 77, LB=15740, UB=15752
2014.30/2020.16 c [630.43] solve iteration 78, LB=15740, UB=15752
2014.30/2020.16 c [632.18] solve iteration 79, LB=15740, UB=15752
2014.30/2020.16 c [708.31] solve iteration 80, LB=15740, UB=15752
2014.30/2020.16 c [709.32] solve iteration 81, LB=15740, UB=15751
2014.30/2020.16 c [710.65] solve iteration 82, LB=15740, UB=15751
2014.30/2020.16 c [711.66] solve iteration 83, LB=15740, UB=15751
2014.30/2020.16 c [712.74] solve iteration 84, LB=15740, UB=15751
2014.30/2020.16 c [777.74] solve iteration 85, LB=15740, UB=15751
2014.30/2020.16 c [778.54] solve iteration 86, LB=15740, UB=15751
2014.30/2020.16 c [780.45] solve iteration 87, LB=15740, UB=15751
2014.30/2020.16 c [781.25] solve iteration 88, LB=15740, UB=15751
2014.30/2020.16 c [782.42] solve iteration 89, LB=15740, UB=15751
2014.30/2020.16 c [876.41] solve iteration 90, LB=15740, UB=15751
2014.30/2020.16 c [880.05] solve iteration 91, LB=15740, UB=15751
2014.30/2020.16 c [881.92] solve iteration 92, LB=15741, UB=15751
2014.30/2020.16 c [883.22] solve iteration 93, LB=15741, UB=15751
2014.30/2020.16 c [884.57] solve iteration 94, LB=15741, UB=15751
2014.30/2020.16 c [885.46] solve iteration 95, LB=15746, UB=15751
2014.30/2020.16 c [886.36] solve iteration 96, LB=15746, UB=15751
2014.30/2020.16 c [887.73] solve iteration 97, LB=15746, UB=15751
2014.30/2020.16 c [888.66] solve iteration 98, LB=15746, UB=15751
2014.30/2020.16 c [890.13] solve iteration 99, LB=15746, UB=15751
2014.30/2020.16 c [1000.99] solve iteration 100, LB=15746, UB=15751
2014.30/2020.16 c [1001.96] solve iteration 101, LB=15746, UB=15751
2014.30/2020.16 c [1002.9] solve iteration 102, LB=15746, UB=15751
2014.30/2020.16 c [1003.8] solve iteration 103, LB=15746, UB=15749
2014.30/2020.16 c [1004.77] solve iteration 104, LB=15746, UB=15749
2014.30/2020.16 c [1130.06] solve iteration 105, LB=15746, UB=15749
2014.30/2020.16 c [1131.88] solve iteration 106, LB=15746, UB=15749
2014.30/2020.16 c [1132.99] solve iteration 107, LB=15746, UB=15749
2014.30/2020.16 c [1134.47] solve iteration 108, LB=15746, UB=15749
2014.30/2020.16 c [1135.94] solve iteration 109, LB=15746, UB=15749
2014.30/2020.16 c [1220.72] solve iteration 110, LB=15746, UB=15749
2014.30/2020.16 c [1222.43] solve iteration 111, LB=15746, UB=15749
2014.30/2020.16 c [1224.07] solve iteration 112, LB=15746, UB=15749
2014.30/2020.16 c [1224.91] solve iteration 113, LB=15746, UB=15749
2014.30/2020.16 c [1227.03] solve iteration 114, LB=15746, UB=15749
2014.30/2020.16 c [1344.2] solve iteration 115, LB=15746, UB=15749
2014.30/2020.16 c [1346.43] solve iteration 116, LB=15746, UB=15749
2014.30/2020.16 c [1348.17] solve iteration 117, LB=15746, UB=15749
2014.30/2020.16 c [1350.19] solve iteration 118, LB=15746, UB=15749
2014.30/2020.16 c [1351.34] solve iteration 119, LB=15746, UB=15749
2014.30/2020.16 c [1510.16] solve iteration 120, LB=15746, UB=15749
2014.30/2020.16 c [1511.83] solve iteration 121, LB=15746, UB=15749
2014.30/2020.16 c [1512.97] solve iteration 122, LB=15746, UB=15749
2014.30/2020.16 c [1514.69] solve iteration 123, LB=15746, UB=15749
2014.30/2020.16 c [1517.21] solve iteration 124, LB=15746, UB=15749
2014.30/2020.16 c [1691.05] solve iteration 125, LB=15746, UB=15749
2014.30/2020.16 c [1692.37] solve iteration 126, LB=15746, UB=15749
2014.30/2020.16 c [1694.09] solve iteration 127, LB=15746, UB=15749
2014.30/2020.16 c [1694.96] solve iteration 128, LB=15746, UB=15749
2014.30/2020.16 c [1696.2] solve iteration 129, LB=15746, UB=15749
2014.30/2020.16 c [1837.14] solve iteration 130, LB=15746, UB=15749
2014.30/2020.16 c [1838.23] solve iteration 131, LB=15746, UB=15749
2014.30/2020.16 c [1839.81] solve iteration 132, LB=15746, UB=15749
2014.30/2020.16 c [1840.83] solve iteration 133, LB=15746, UB=15749
2014.30/2020.16 c [1842.87] solve iterat
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (59538 MiB free)
memory of node 1: 64473 MiB (59911 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431641-1721157824/watcher-4431641-1721157824 -o /tmp/evaluation-result-4431641-1721157824/solver-4431641-1721157824 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721150572-867630 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431641-1721157824.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=871835, runsolver pid=871832
[startup+0.100088 s]*
/proc/loadavg: 4.12 4.15 4.12 5/264 871837
/proc/meminfo: memFree=122300892/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=102104 memory=21816 CPUtime=0.09 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 4665 0 0 0 9 0 0 0 20 0 1 0 167946237 104554496 5454 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 25526 5454 1613 46 0 6141 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112032 KiB
Current children cumulated memory: 24440 KiB
[startup+0.205794 s]*
/proc/loadavg: 4.12 4.15 4.12 5/264 871837
/proc/meminfo: memFree=122286288/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=116432 memory=35964 CPUtime=0.2 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 7949 0 0 0 18 2 0 0 20 0 1 0 167946237 119226368 8991 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 29108 8991 1613 46 0 9723 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 126360 KiB
Current children cumulated memory: 38588 KiB
[startup+0.305675 s]*
/proc/loadavg: 4.12 4.15 4.12 5/264 871837
/proc/meminfo: memFree=122272640/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=133072 memory=49600 CPUtime=0.3 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 10300 0 0 0 28 2 0 0 20 0 1 0 167946237 136265728 12400 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 33268 12400 1613 46 0 13883 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 143000 KiB
Current children cumulated memory: 52224 KiB
[startup+0.700285 s]
/proc/loadavg: 4.12 4.15 4.12 5/264 871837
/proc/meminfo: memFree=122243244/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=182572 memory=88204 CPUtime=0.69 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 17883 0 0 0 58 11 0 0 20 0 1 0 167946237 186953728 22051 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 45643 22051 1693 46 0 26258 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 192500 KiB
Current children cumulated memory: 90828 KiB
[startup+1.50028 s]
/proc/loadavg: 4.12 4.15 4.12 5/265 871838
/proc/meminfo: memFree=122198356/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=319536 memory=187404 CPUtime=1.48 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 38107 0 0 0 124 24 0 0 20 0 2 0 167946237 327204864 46851 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 79884 46851 3449 46 0 52479 0
[pid=871837/tid=871838] ppid=871835 vsize=319536 memory=11560 CPUtime=0 cores=0,2
/proc/871837/task/871838/stat : 871838 (ld-linux-x86-64) S 871835 871835 867620 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 167946335 327204864 46851 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 329464 KiB
Current children cumulated memory: 190028 KiB
[startup+3.10598 s]
/proc/loadavg: 4.12 4.15 4.12 6/265 871838
/proc/meminfo: memFree=122138668/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=319536 memory=187764 CPUtime=3.08 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 42683 0 0 0 256 52 0 0 20 0 2 0 167946237 327204864 46941 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 79884 46941 3512 46 0 52479 0
[pid=871837/tid=871838] ppid=871835 vsize=319536 memory=0 CPUtime=0 cores=0,2
/proc/871837/task/871838/stat : 871838 (ld-linux-x86-64) S 871835 871835 867620 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 167946335 327204864 46941 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 329464 KiB
Current children cumulated memory: 190388 KiB
[startup+6.30028 s]
/proc/loadavg: 4.11 4.14 4.12 5/265 871838
/proc/meminfo: memFree=122134420/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=319536 memory=187764 CPUtime=6.27 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 47474 0 0 0 510 117 0 0 20 0 2 0 167946237 327204864 46941 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 79884 46941 3512 46 0 52479 0
[pid=871837/tid=871838] ppid=871835 vsize=319536 memory=2624 CPUtime=0 cores=0,2
/proc/871837/task/871838/stat : 871838 (ld-linux-x86-64) S 871835 871835 867620 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 167946335 327204864 46941 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 329464 KiB
Current children cumulated memory: 190388 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.14 4.12 5/265 871841
/proc/meminfo: memFree=122126108/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=319536 memory=187768 CPUtime=12.66 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 59240 0 0 0 1012 254 0 0 20 0 2 0 167946237 327204864 46942 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 79884 46942 3512 46 0 52479 0
[pid=871837/tid=871838] ppid=871835 vsize=319536 memory=2624 CPUtime=0 cores=0,2
/proc/871837/task/871838/stat : 871838 (ld-linux-x86-64) S 871835 871835 867620 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 2 0 167946335 327204864 46942 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 329464 KiB
Current children cumulated memory: 190392 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.13 4.12 5/265 871842
/proc/meminfo: memFree=121770820/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=340040 memory=210068 CPUtime=25.42 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 88352 0 0 0 1989 553 0 0 20 0 2 0 167946237 348200960 52517 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 85010 52517 3751 46 0 57605 0
[pid=871837/tid=871838] ppid=871835 vsize=340040 memory=2624 CPUtime=0 cores=0,2
/proc/871837/task/871838/stat : 871838 (ld-linux-x86-64) S 871835 871835 867620 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 2 0 167946335 348200960 52517 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 349968 KiB
Current children cumulated memory: 212692 KiB
[startup+51.1059 s]
/proc/loadavg: 4.12 4.14 4.12 5/265 871847
/proc/meminfo: memFree=121557728/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=342976 memory=213976 CPUtime=50.95 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 138558 0 0 0 3991 1104 0 0 20 0 2 0 167946237 351207424 53494 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 85744 53494 3767 46 0 58339 0
[pid=871837/tid=871838] ppid=871835 vsize=342976 memory=2624 CPUtime=0.01 cores=0,2
/proc/871837/task/871838/stat : 871838 (ld-linux-x86-64) S 871835 871835 867620 0 -1 1077936192 41 0 0 0 0 1 0 0 20 0 2 0 167946335 351207424 53494 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 352904 KiB
Current children cumulated memory: 216600 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/265 872238
/proc/meminfo: memFree=121236336/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=375656 memory=245360 CPUtime=101.94 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 215014 0 0 0 8038 2156 0 0 20 0 2 0 167946237 384671744 61340 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 93914 61340 3767 46 0 66509 0
[pid=871837/tid=871838] ppid=871835 vsize=375656 memory=2624 CPUtime=0.04 cores=0,2
/proc/871837/task/871838/stat : 871838 (ld-linux-x86-64) S 871835 871835 867620 0 -1 1077936192 51 0 0 0 1 3 0 0 20 0 2 0 167946335 384671744 61340 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 385584 KiB
Current children cumulated memory: 247984 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/265 872248
/proc/meminfo: memFree=120641164/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=902840 memory=698224 CPUtime=161.73 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 332531 0 0 0 13296 2877 0 0 20 0 2 0 167946237 924508160 174556 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 225710 174556 3767 46 0 198305 0
################
# More data... #
################
/proc/871837/statm: 1160300 948793 3973 46 0 1132895 0
[pid=871837/tid=871838] ppid=871835 vsize=4641200 memory=2624 CPUtime=2.59 cores=0,2
/proc/871837/task/871838/stat : 871838 (ld-linux-x86-64) S 871835 871835 867620 0 -1 1077936192 278 0 0 0 90 169 0 0 20 0 2 0 167946335 4752588800 948793 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
Current children cumulated CPU time: 3153.49 s
Current children cumulated vsize: 4651128 KiB
Current children cumulated memory: 3797796 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.14 5/262 873743
/proc/meminfo: memFree=112926360/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=4641200 memory=3795172 CPUtime=3213.33 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 12058993 0 0 0 295675 25658 0 0 20 0 2 0 167946237 4752588800 948793 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 1160300 948793 3973 46 0 1132895 0
[pid=871837/tid=871838] ppid=871835 vsize=4641200 memory=2624 CPUtime=2.65 cores=0,2
/proc/871837/task/871838/stat : 871838 (ld-linux-x86-64) S 871835 871835 867620 0 -1 1077936192 283 0 0 0 92 173 0 0 20 0 2 0 167946335 4752588800 948793 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
Current children cumulated CPU time: 3213.33 s
Current children cumulated vsize: 4651128 KiB
Current children cumulated memory: 3797796 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.14 4.14 5/262 873753
/proc/meminfo: memFree=112913292/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=4641928 memory=3795684 CPUtime=3273.12 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 12315072 0 0 0 301489 25823 0 0 20 0 2 0 167946237 4753334272 948921 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 1160482 948921 3973 46 0 1133077 0
[pid=871837/tid=871838] ppid=871835 vsize=4641928 memory=3795484 CPUtime=2.71 cores=0,2
/proc/871837/task/871838/stat : 871838 (ld-linux-x86-64) S 871835 871835 867620 0 -1 1077936192 288 0 0 0 94 177 0 0 20 0 2 0 167946335 4753334272 948921 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
Current children cumulated CPU time: 3273.12 s
Current children cumulated vsize: 4651856 KiB
Current children cumulated memory: 3798308 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.15 4.14 5/262 873763
/proc/meminfo: memFree=112899920/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=4641928 memory=3795740 CPUtime=3332.99 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 12570522 0 0 0 307190 26109 0 0 20 0 2 0 167946237 4753334272 948935 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 1160482 948935 3973 46 0 1133077 0
[pid=871837/tid=871838] ppid=871835 vsize=4641928 memory=2624 CPUtime=2.78 cores=0,2
/proc/871837/task/871838/stat : 871838 (ld-linux-x86-64) S 871835 871835 867620 0 -1 1077936192 293 0 0 0 96 182 0 0 20 0 2 0 167946335 4753334272 948935 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
Current children cumulated CPU time: 3332.99 s
Current children cumulated vsize: 4651856 KiB
Current children cumulated memory: 3798364 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/265 873778
/proc/meminfo: memFree=112894140/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=4641928 memory=3795788 CPUtime=3392.85 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 12820737 0 0 0 312868 26417 0 0 20 0 2 0 167946237 4753334272 948947 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 1160482 948947 3973 46 0 1133077 0
[pid=871837/tid=871838] ppid=871835 vsize=4641928 memory=2624 CPUtime=2.84 cores=0,2
/proc/871837/task/871838/stat : 871838 (ld-linux-x86-64) S 871835 871835 867620 0 -1 1077936192 298 0 0 0 98 186 0 0 20 0 2 0 167946335 4753334272 948947 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 4651856 KiB
Current children cumulated memory: 3798412 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.12 4.13 5/265 873790
/proc/meminfo: memFree=112880624/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=4641928 memory=3796068 CPUtime=3452.72 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 13068323 0 0 0 318687 26585 0 0 20 0 2 0 167946237 4753334272 949017 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 1160482 949017 3973 46 0 1133077 0
[pid=871837/tid=871838] ppid=871835 vsize=4641928 memory=2624 CPUtime=2.91 cores=0,2
/proc/871837/task/871838/stat : 871838 (ld-linux-x86-64) S 871835 871835 867620 0 -1 1077936192 303 0 0 0 100 191 0 0 20 0 2 0 167946335 4753334272 949017 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 4651856 KiB
Current children cumulated memory: 3798692 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.12 5/265 873800
/proc/meminfo: memFree=112823776/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=4641928 memory=3873408 CPUtime=3512.59 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 13323498 0 0 0 324319 26940 0 0 20 0 2 0 167946237 4753334272 968352 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 1160482 968352 3973 46 0 1133077 0
[pid=871837/tid=871838] ppid=871835 vsize=4641928 memory=3831236 CPUtime=2.97 cores=0,2
/proc/871837/task/871838/stat : 871838 (ld-linux-x86-64) S 871835 871835 867620 0 -1 1077936192 307 0 0 0 103 194 0 0 20 0 2 0 167946335 4753334272 968352 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 4651856 KiB
Current children cumulated memory: 3876032 KiB
[startup+3582.3 s]
/proc/loadavg: 3.85 4.06 4.10 4/256 873842
/proc/meminfo: memFree=117857752/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=4659384 memory=3960784 CPUtime=3572.46 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 13940796 0 0 0 329952 27294 0 0 20 0 2 0 167946237 4771209216 990196 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 1164846 990196 3973 46 0 1137441 0
[pid=871837/tid=871838] ppid=871835 vsize=4659384 memory=2624 CPUtime=3.04 cores=0,2
/proc/871837/task/871838/stat : 871838 (ld-linux-x86-64) S 871835 871835 867620 0 -1 1077936192 308 0 0 0 105 199 0 0 20 0 2 0 167946335 4771209216 990196 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 4669312 KiB
Current children cumulated memory: 3963408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 3.56 3.97 4.07 4/256 873848
/proc/meminfo: memFree=117854012/131524600 swapFree=131071996/131071996
[pid=871835] ppid=871832 vsize=9928 memory=2624 CPUtime=0 cores=0,2
/proc/871835/stat : 871835 (run-glibc-2.34.) S 871832 871835 867620 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 167946237 10166272 656 134679101440 94214233448448 94214234527768 140735866973088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94214236626224 94214236673412 94214258655232 140735866979275 140735866979420 140735866979420 140735866986435 0
/proc/871835/statm: 2482 656 575 264 0 133 0
[pid=871837] ppid=871835 vsize=4659384 memory=3964132 CPUtime=3600 cores=0,2
/proc/871837/stat : 871837 (ld-linux-x86-64) R 871835 871835 867620 0 -1 4194304 13951846 0 0 0 332370 27630 0 0 20 0 2 0 167946237 4771209216 991033 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
/proc/871837/statm: 1164846 991033 3973 46 0 1137441 0
[pid=871837/tid=871838] ppid=871835 vsize=4659384 memory=2624 CPUtime=3.07 cores=0,2
/proc/871837/task/871838/stat : 871838 (ld-linux-x86-64) S 871835 871835 867620 0 -1 1077936192 313 0 0 0 106 201 0 0 20 0 2 0 167946335 4771209216 991033 134679101440 140318009532416 140318009720028 140725926099632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140318011820928 140318011830376 93825010372608 140725926105955 140725926106107 140725926106107 140725926113202 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 4669312 KiB
Current children cumulated memory: 3966756 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 871835 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.001569 s
[startup+3610.01 s]
# the end of solver process 871837 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3323.71 s, system=276.411 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+3610.01 s]*
/proc/loadavg: 3.51 3.95 4.06 4/254 873848
/proc/meminfo: memFree=121056148/131524600 swapFree=131071996/131071996
Current cumulated CPU time of completed processes: 0.001569 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.01
CPU time (s): 3600.12
CPU user time (s): 3323.71
CPU system time (s): 276.411
CPU usage (%): 99.7259
Max. virtual memory (cumulated for all children) (KiB): 4669312
Max. memory (cumulated for all children) (KiB): 3966756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3323.71
system time used= 276.411
maximum resident set size= 3964132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13952050
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= 357492
involuntary context switches= 24692
# summary of solver processes directly reported to runsolver:
# pid: 871835,871837
# total CPU time (s): 3600.12
# total CPU user time (s): 3323.71
# total CPU system time (s): 276.411
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1125 second user time and 11.5851 second system time
The end