0.37/0.86 c initialize IPBHS solver
0.37/0.86 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:19:29), with Glucose 3.0, with Gurobi 10.0.1, with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
0.37/0.86 c optimizer = "gurobi"
0.37/0.86 c pbsolver = "roundingsat"
0.37/0.86 c load symmetries from file ""
0.37/0.86 c set time limit for symmetry computation to 100 seconds.
0.37/0.86 c set interchangeable summation variable limit to 3
0.37/0.86 c find symmetric cores by applying each permutation and add them to optimizer
0.37/0.86 c set abs symmetric core budget per WCE-iteration to 100
0.37/0.86 c set rel symmetric core budget per WCE-iteration to 0
0.37/0.86 c set lit symmetric core budget per WCE-iteration to 0
0.37/0.86 c set sym generation to 's'
0.37/0.86 c set abstraction set creation to 10 iterations without LB change
0.37/0.86 c set abstraction set inputs to 0
0.37/0.86 c set abstraction set cluster min size to 2
0.37/0.86 c set abstraction set cluster max size to 100000000
0.37/0.86 c set abstraction set cluster activation limit to 2
0.37/0.86 c enable abstraction set require equal cost
0.37/0.86 c set abstraction set assumptions to 0
0.37/0.86 c set abstraction set constraint type to 0
0.37/0.86 c set abstract core extraction strategy to b
0.37/0.86 c set core extraction strategy to 2
0.37/0.86 c set core extraction shuffles 10
0.37/0.86 c set cores per iteration to 5
0.37/0.86 c set optimizer bound usage strategy to 2
0.37/0.86 c set optimizer max non-optimal iterations to 1000
0.37/0.86 c set small core cardinality limit to 2
0.37/0.86 c set max coef in cores to 1000000000
0.37/0.86 c set SIS iterations to 5
0.37/0.86 c set SIS budget abs to 1000
0.37/0.86 c set SIS budget rel to 0.05
0.37/0.86 c limit for coefficient in constraints and objective to 9223372036854775807
0.37/0.86 c will solve HOME/instance-4430944-1721152924.opb
127.77/128.61 c [2.25] solve iteration 1, LB=-15645564, UB=1
127.77/128.61 c [2.44] solve iteration 2, LB=-64085, UB=0
127.77/128.61 c [2.6] solve iteration 3, LB=-64085, UB=-3468
127.77/128.61 c [2.74] solve iteration 4, LB=-64085, UB=-4186
127.77/128.61 c [2.91] solve iteration 5, LB=-64085, UB=-4186
127.77/128.61 c [3.08] solve iteration 6, LB=-64085, UB=-4357
127.77/128.61 c [3.27] solve iteration 7, LB=-64085, UB=-4357
127.77/128.61 c [3.43] solve iteration 8, LB=-64085, UB=-4357
127.77/128.61 c [3.61] solve iteration 9, LB=-64085, UB=-7213
127.77/128.61 c [3.84] solve iteration 10, LB=-64085, UB=-7213
127.77/128.61 c [4.09] solve iteration 11, LB=-64085, UB=-7535
127.77/128.61 c [4.31] solve iteration 12, LB=-64085, UB=-7738
127.77/128.61 c [4.55] solve iteration 13, LB=-64085, UB=-7738
127.77/128.61 c [4.78] solve iteration 14, LB=-64085, UB=-7738
127.77/128.61 c [5.09] solve iteration 15, LB=-64085, UB=-7738
127.77/128.61 c [5.68] solve iteration 16, LB=-64085, UB=-7750
127.77/128.61 c [6] solve iteration 17, LB=-64085, UB=-7750
127.77/128.61 c [6.29] solve iteration 18, LB=-64085, UB=-7750
127.77/128.61 c [6.58] solve iteration 19, LB=-64085, UB=-7750
127.77/128.61 c [6.84] solve iteration 20, LB=-64085, UB=-7750
127.77/128.61 c [7.19] solve iteration 21, LB=-64085, UB=-7812
127.77/128.61 c [7.52] solve iteration 22, LB=-64085, UB=-7812
127.77/128.61 c [7.82] solve iteration 23, LB=-64085, UB=-7812
127.77/128.61 c [8.14] solve iteration 24, LB=-64085, UB=-7812
127.77/128.61 c [8.53] solve iteration 25, LB=-64085, UB=-7812
127.77/128.61 c [8.94] solve iteration 26, LB=-64085, UB=-8069
127.77/128.61 c [9.3] solve iteration 27, LB=-64085, UB=-8069
127.77/128.61 c [9.63] solve iteration 28, LB=-64085, UB=-8069
127.77/128.61 c [9.95] solve iteration 29, LB=-64085, UB=-8069
127.77/128.61 c [10.28] solve iteration 30, LB=-64085, UB=-8069
127.77/128.61 c [32.84] solve iteration 31, LB=-64085, UB=-8227
127.77/128.61 c [33.17] solve iteration 32, LB=-64085, UB=-8227
127.77/128.61 c [33.51] solve iteration 33, LB=-64085, UB=-8227
127.77/128.61 c [33.85] solve iteration 34, LB=-64085, UB=-8227
127.77/128.61 c [34.23] solve iteration 35, LB=-64085, UB=-8227
127.77/128.61 c [34.58] solve iteration 36, LB=-64085, UB=-8525
127.77/128.61 c [34.98] solve iteration 37, LB=-64085, UB=-8525
127.77/128.61 c [35.34] solve iteration 38, LB=-64085, UB=-8525
127.77/128.61 c [35.72] solve iteration 39, LB=-64085, UB=-8525
127.77/128.61 c [36.13] solve iteration 40, LB=-64085, UB=-8525
127.77/128.61 c [39.58] solve iteration 41, LB=-64085, UB=-8575
127.77/128.61 c [40.12] solve iteration 42, LB=-64085, UB=-8575
127.77/128.61 c [40.55] solve iteration 43, LB=-64085, UB=-8575
127.77/128.61 c [40.96] solve iteration 44, LB=-64085, UB=-8575
127.77/128.61 c [41.4] solve iteration 45, LB=-64085, UB=-8575
127.77/128.61 c [41.88] solve iteration 46, LB=-64085, UB=-8603
127.77/128.61 c [42.36] solve iteration 47, LB=-64085, UB=-8603
127.77/128.61 c [42.87] solve iteration 48, LB=-64085, UB=-8603
127.77/128.61 c [43.38] solve iteration 49, LB=-64085, UB=-8999
127.77/128.61 c [43.93] solve iteration 50, LB=-64085, UB=-8999
127.77/128.61 c [44.61] solve iteration 51, LB=-64085, UB=-9255
127.77/128.61 c [45.28] solve iteration 52, LB=-64085, UB=-9255
127.77/128.61 c [45.87] solve iteration 53, LB=-64085, UB=-9255
127.77/128.61 c [46.54] solve iteration 54, LB=-64085, UB=-9255
127.77/128.61 c [47.19] solve iteration 55, LB=-64085, UB=-9255
127.77/128.61 c [49.07] solve iteration 56, LB=-64085, UB=-9387
127.77/128.61 c [49.82] solve iteration 57, LB=-64085, UB=-9387
127.77/128.61 c [50.71] solve iteration 58, LB=-64085, UB=-11017
127.77/128.61 c [51.74] solve iteration 59, LB=-64085, UB=-12680
127.77/128.61 c [52.79] solve iteration 60, LB=-64085, UB=-12680
127.77/128.61 c [59.71] solve iteration 61, LB=-64085, UB=-12751
127.77/128.61 c [60.77] solve iteration 62, LB=-64085, UB=-12751
127.77/128.61 c [61.75] solve iteration 63, LB=-64085, UB=-12751
127.77/128.61 c [62.71] solve iteration 64, LB=-64085, UB=-13924
127.77/128.61 c [63.83] solve iteration 65, LB=-64085, UB=-13924
127.77/128.61 c [65.08] solve iteration 66, LB=-64085, UB=-14153
127.77/128.61 c [66.11] solve iteration 67, LB=-64085, UB=-14153
127.77/128.61 c [67.13] solve iteration 68, LB=-64085, UB=-14153
127.77/128.61 c [68.16] solve iteration 69, LB=-64085, UB=-14153
127.77/128.61 c [69.25] solve iteration 70, LB=-64085, UB=-14153
127.77/128.61 c [70.33] solve iteration 71, LB=-64085, UB=-14473
127.77/128.61 c [71.48] solve iteration 72, LB=-64085, UB=-14473
127.77/128.61 c [72.64] solve iteration 73, LB=-64085, UB=-14828
127.77/128.61 c [73.96] solve iteration 74, LB=-64085, UB=-16493
127.77/128.61 c [75.05] solve iteration 75, LB=-64085, UB=-16493
127.77/128.61 c [103.24] solve iteration 76, LB=-64085, UB=-16561
127.77/128.61 c [104.6] solve iteration 77, LB=-64085, UB=-16561
127.77/128.61 c [105.94] solve iteration 78, LB=-64085, UB=-16561
127.77/128.61 c [107.51] solve iteration 79, LB=-64085, UB=-16561
127.77/128.61 c [109.17] solve iteration 80, LB=-64085, UB=-16561
127.77/128.61 c [123.24] solve iteration 81, LB=-64085, UB=-16606
127.77/128.61 c [124.6] solve iteration 82, LB=-64085, UB=-16606
127.77/128.61 c [125.81] solve iteration 83, LB=-64085, UB=-16606
1041.41/1044.23 c [127.09] solve iteration 84, LB=-64085, UB=-16606
1041.41/1044.23 c [128.41] solve iteration 85, LB=-64085, UB=-16606
1041.41/1044.23 c [130.38] solve iteration 86, LB=-64085, UB=-16898
1041.41/1044.23 c [131.79] solve iteration 87, LB=-64085, UB=-16898
1041.41/1044.23 c [133.13] solve iteration 88, LB=-64085, UB=-16898
1041.41/1044.23 c [134.6] solve iteration 89, LB=-64085, UB=-16898
1041.41/1044.23 c [135.92] solve iteration 90, LB=-64085, UB=-16898
1041.41/1044.23 c [170.27] solve iteration 91, LB=-64085, UB=-17104
1041.41/1044.23 c [173.42] solve iteration 92, LB=-64085, UB=-17104
1041.41/1044.23 c [175.96] solve iteration 93, LB=-64085, UB=-17104
1041.41/1044.23 c [178.38] solve iteration 94, LB=-64085, UB=-17104
1041.41/1044.23 c [180.73] solve iteration 95, LB=-64085, UB=-17104
1041.41/1044.23 c [276.84] solve iteration 96, LB=-64085, UB=-17104
1041.41/1044.23 c [280.29] solve iteration 97, LB=-64085, UB=-17104
1041.41/1044.23 c [284.71] solve iteration 98, LB=-64085, UB=-17104
1041.41/1044.23 c [287.93] solve iteration 99, LB=-64085, UB=-17104
1041.41/1044.23 c [291.18] solve iteration 100, LB=-64085, UB=-17104
1041.41/1044.23 c [301.62] solve iteration 101, LB=-64085, UB=-17239
1041.41/1044.23 c [306.14] solve iteration 102, LB=-64085, UB=-17239
1041.41/1044.23 c [309.14] solve iteration 103, LB=-64085, UB=-17239
1041.41/1044.23 c [314.49] solve iteration 104, LB=-64085, UB=-17239
1041.41/1044.23 c [318.14] solve iteration 105, LB=-64085, UB=-17239
1041.41/1044.23 c [383.1] solve iteration 106, LB=-64085, UB=-17294
1041.41/1044.23 c [388.52] solve iteration 107, LB=-64085, UB=-17294
1041.41/1044.23 c [393.49] solve iteration 108, LB=-64085, UB=-17294
1041.41/1044.23 c [398.64] solve iteration 109, LB=-64085, UB=-17294
1041.41/1044.23 c [402.74] solve iteration 110, LB=-64085, UB=-17294
1041.41/1044.23 c [408.88] solve iteration 111, LB=-64085, UB=-17328
1041.41/1044.23 c [414.98] solve iteration 112, LB=-64085, UB=-17328
1041.41/1044.23 c [421.17] solve iteration 113, LB=-64085, UB=-17328
1041.41/1044.23 c [427.6] solve iteration 114, LB=-64085, UB=-17328
1041.41/1044.23 c [432.52] solve iteration 115, LB=-64085, UB=-17328
1041.41/1044.23 c [444.5] solve iteration 116, LB=-64085, UB=-17424
1041.41/1044.23 c [449.11] solve iteration 117, LB=-64085, UB=-17424
1041.41/1044.23 c [455.46] solve iteration 118, LB=-64085, UB=-17424
1041.41/1044.23 c [459.36] solve iteration 119, LB=-64085, UB=-17424
1041.41/1044.23 c [464.01] solve iteration 120, LB=-64085, UB=-17424
1041.41/1044.23 c [521.75] solve iteration 121, LB=-64085, UB=-18037
1041.41/1044.23 c [523.69] solve iteration 122, LB=-64085, UB=-18037
1041.41/1044.23 c [525.66] solve iteration 123, LB=-64085, UB=-18037
1041.41/1044.23 c [527.66] solve iteration 124, LB=-64085, UB=-18037
1041.41/1044.23 c [529.7] solve iteration 125, LB=-64085, UB=-18037
1041.41/1044.23 c [532.49] solve iteration 126, LB=-64085, UB=-18040
1041.41/1044.23 c [591.76] solve iteration 127, LB=-64085, UB=-18040
1041.41/1044.23 c [593.8] solve iteration 128, LB=-64085, UB=-18040
1041.41/1044.23 c [595.83] solve iteration 129, LB=-64085, UB=-18040
1041.41/1044.23 c [597.94] solve iteration 130, LB=-64085, UB=-18040
1041.41/1044.23 c [608.05] solve iteration 131, LB=-64085, UB=-18128
1041.41/1044.23 c [610.49] solve iteration 132, LB=-64085, UB=-18128
1041.41/1044.23 c [612.84] solve iteration 133, LB=-64085, UB=-18128
1041.41/1044.23 c [615.15] solve iteration 134, LB=-64085, UB=-18128
1041.41/1044.23 c [617.62] solve iteration 135, LB=-64085, UB=-18128
1041.41/1044.23 c [708.74] solve iteration 136, LB=-64085, UB=-18354
1041.41/1044.23 c [711.44] solve iteration 137, LB=-64085, UB=-18354
1041.41/1044.23 c [713.39] solve iteration 138, LB=-64085, UB=-18354
1041.41/1044.23 c [715.4] solve iteration 139, LB=-64085, UB=-18354
1041.41/1044.23 c [717.48] solve iteration 140, LB=-64085, UB=-18354
1041.41/1044.23 c [750.76] solve iteration 141, LB=-64085, UB=-18448
1041.41/1044.23 c [753.56] solve iteration 142, LB=-64085, UB=-18448
1041.41/1044.23 c [756.04] solve iteration 143, LB=-64085, UB=-18448
1041.41/1044.23 c [758.64] solve iteration 144, LB=-64085, UB=-18448
1041.41/1044.23 c [761.35] solve iteration 145, LB=-64085, UB=-18448
1041.41/1044.23 c [985.4] solve iteration 146, LB=-64085, UB=-18448
1041.41/1044.23 c [988.84] solve iteration 147, LB=-64085, UB=-18448
1041.41/1044.23 c [992.13] solve iteration 148, LB=-64085, UB=-18448
1041.41/1044.23 c [994.95] solve iteration 149, LB=-64085, UB=-18448
1041.41/1044.23 c [997.78] solve iteration 150, LB=-64085, UB=-18448
1041.41/1044.23 c [1013.27] solve iteration 151, LB=-64085, UB=-18684
1041.41/1044.23 c [1015.47] solve iteration 152, LB=-64085, UB=-18684
1041.41/1044.23 c [1017.73] solve iteration 153, LB=-64085, UB=-18684
1041.41/1044.23 c [1020.05] solve iteration 154, LB=-64085, UB=-18684
1041.41/1044.23 c [1022.33] solve iteration 155, LB=-64085, UB=-18684
1041.41/1044.23 c [1025.83] solve iteration 156, LB=-64085, UB=-19092
1041.41/1044.23 c [1028.57] solve iteration 157, LB=-64085, UB=-19092
1041.41/1044.23 c [1031.03] solve iteration 158, LB=-64085, UB=-19092
1041.41/1044.23 c [1033.41] solve iteration 159, LB=-64085, UB=-19092
1041.41/1044.23 c [1035.86] solve iteration 160, LB=-64085, UB
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 (60648 MiB free)
memory of node 1: 64473 MiB (60037 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430944-1721152924/watcher-4430944-1721152924 -o /tmp/evaluation-result-4430944-1721152924/solver-4430944-1721152924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721152937-865561 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4430944-1721152924.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=865621, runsolver pid=865606
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 1.10 1.15 1.85 4/266 865629
/proc/meminfo: memFree=123578732/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=62712 memory=848 CPUtime=0 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) D 865621 865621 865549 0 -1 4194304 83 0 1 0 0 0 0 0 20 0 1 0 167457447 64217088 212 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 0 0 0 0 0 17 1 0 0 10 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 15678 212 186 46 0 254 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 72640 KiB
Current children cumulated memory: 3472 KiB
[startup+0.206608 s]*
/proc/loadavg: 1.10 1.15 1.85 4/266 865629
/proc/meminfo: memFree=123576420/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=78072 memory=1268 CPUtime=0 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) D 865621 865621 865549 0 -1 4194304 161 0 1 0 0 0 0 0 20 0 1 0 167457447 79945728 317 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 0 0 0 0 0 17 1 0 0 21 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 19518 317 278 46 0 250 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 88000 KiB
Current children cumulated memory: 3892 KiB
[startup+0.305457 s]*
/proc/loadavg: 1.10 1.15 1.85 3/266 865629
/proc/meminfo: memFree=123572528/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=78072 memory=3432 CPUtime=0 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) D 865621 865621 865549 0 -1 4194304 309 0 2 0 0 0 0 0 20 0 1 0 167457447 79945728 858 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 0 0 0 0 0 17 1 0 0 34 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 19518 858 683 46 0 133 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 88000 KiB
Current children cumulated memory: 6056 KiB
[startup+0.700237 s]
/proc/loadavg: 1.33 1.19 1.87 7/266 865629
/proc/meminfo: memFree=123484144/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=209688 memory=91576 CPUtime=0.27 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) R 865621 865621 865549 0 -1 4194304 19685 0 13 0 22 5 0 0 20 0 2 0 167457447 214720512 22894 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 0 0 0 17 1 0 0 45 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 52422 22894 2677 46 0 25017 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 219616 KiB
Current children cumulated memory: 94200 KiB
[startup+1.5002 s]
/proc/loadavg: 1.33 1.19 1.87 8/271 865634
/proc/meminfo: memFree=123178320/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=241488 memory=123488 CPUtime=1.08 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) R 865621 865621 865549 0 -1 4194304 29068 0 13 0 101 7 0 0 20 0 2 0 167457447 247283712 30872 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 0 0 0 17 1 0 0 45 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 60372 30872 2678 46 0 32967 0
[pid=865629/tid=865634] ppid=865621 vsize=241488 memory=11648 CPUtime=0 cores=1,3
/proc/865629/task/865634/stat : 865634 (ld-linux-x86-64) S 865621 865621 865549 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 167457506 247283712 30872 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 251416 KiB
Current children cumulated memory: 126112 KiB
[startup+3.10656 s]
/proc/loadavg: 1.33 1.19 1.87 8/272 865635
/proc/meminfo: memFree=122654412/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=241488 memory=128044 CPUtime=2.66 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) R 865621 865621 865549 0 -1 4194304 43251 0 51 0 258 8 0 0 20 0 2 0 167457447 247283712 32011 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 0 0 0 17 1 0 0 46 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 60372 32011 3792 46 0 32967 0
[pid=865629/tid=865634] ppid=865621 vsize=241488 memory=0 CPUtime=0 cores=1,3
/proc/865629/task/865634/stat : 865634 (ld-linux-x86-64) S 865621 865621 865549 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 167457506 247283712 32011 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 251416 KiB
Current children cumulated memory: 130668 KiB
[startup+6.30027 s]
/proc/loadavg: 1.55 1.24 1.88 9/272 865635
/proc/meminfo: memFree=122320364/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=242908 memory=129896 CPUtime=5.84 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) R 865621 865621 865549 0 -1 4194304 82363 0 52 0 564 20 0 0 20 0 2 0 167457447 248737792 32474 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 0 0 0 17 1 0 0 46 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 60727 32474 3803 46 0 33322 0
[pid=865629/tid=865634] ppid=865621 vsize=242908 memory=-8753519445651973729 CPUtime=0 cores=1,3
/proc/865629/task/865634/stat : 865634 (ld-linux-x86-64) S 865621 865621 865549 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 2 0 167457506 248737792 32474 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 252836 KiB
Current children cumulated memory: 132520 KiB
[startup+12.7002 s]
/proc/loadavg: 1.75 1.29 1.89 9/272 865637
/proc/meminfo: memFree=122156760/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=285040 memory=154964 CPUtime=12.24 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) R 865621 865621 865549 0 -1 4194304 211176 0 52 0 1166 58 0 0 20 0 2 0 167457447 291880960 38741 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 0 0 0 17 1 0 0 46 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 71260 38741 3803 46 0 43855 0
[pid=865629/tid=865634] ppid=865621 vsize=285040 memory=8113691611646696859 CPUtime=0 cores=1,3
/proc/865629/task/865634/stat : 865634 (ld-linux-x86-64) S 865621 865621 865549 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 2 0 167457506 291880960 38741 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
Current children cumulated CPU time: 12.24 s
Current children cumulated vsize: 294968 KiB
Current children cumulated memory: 157588 KiB
[startup+25.5002 s]
/proc/loadavg: 2.09 1.38 1.91 8/272 865638
/proc/meminfo: memFree=122164528/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=301216 memory=169184 CPUtime=25.02 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) R 865621 865621 865549 0 -1 4194304 227437 0 52 0 2439 63 0 0 20 0 2 0 167457447 308445184 42296 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 0 0 0 17 1 0 0 46 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 75304 42296 3803 46 0 47899 0
[pid=865629/tid=865634] ppid=865621 vsize=301216 memory=129896 CPUtime=0 cores=1,3
/proc/865629/task/865634/stat : 865634 (ld-linux-x86-64) S 865621 865621 865549 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 2 0 167457506 308445184 42296 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
Current children cumulated CPU time: 25.02 s
Current children cumulated vsize: 311144 KiB
Current children cumulated memory: 171808 KiB
[startup+51.1067 s]
/proc/loadavg: 2.92 1.65 1.99 9/272 865643
/proc/meminfo: memFree=121954152/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=448048 memory=307868 CPUtime=50.58 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) R 865621 865621 865549 0 -1 4194304 408119 0 52 0 4935 123 0 0 20 0 2 0 167457447 458801152 76967 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 0 0 0 17 1 0 0 46 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 112012 76967 3803 46 0 84607 0
[pid=865629/tid=865634] ppid=865621 vsize=448048 memory=2624 CPUtime=0.02 cores=1,3
/proc/865629/task/865634/stat : 865634 (ld-linux-x86-64) S 865621 865621 865549 0 -1 1077936192 29 0 0 0 0 2 0 0 20 0 2 0 167457506 458801152 76967 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
Current children cumulated CPU time: 50.58 s
Current children cumulated vsize: 457976 KiB
Current children cumulated memory: 310492 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.03 2.10 9/270 865652
/proc/meminfo: memFree=121715092/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=548164 memory=413000 CPUtime=101.57 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) R 865621 865621 865549 0 -1 4194304 503672 0 52 0 9995 162 0 0 20 0 2 0 167457447 561319936 103250 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 0 0 0 17 1 0 0 46 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 137041 103250 3805 46 0 109636 0
[pid=865629/tid=865634] ppid=865621 vsize=548164 memory=2624 CPUtime=0.04 cores=1,3
/proc/865629/task/865634/stat : 865634 (ld-linux-x86-64) S 865621 865621 865549 0 -1 1077936192 36 0 0 0 1 3 0 0 20 0 2 0 167457506 561319936 103250 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
Current children cumulated CPU time: 101.57 s
Current children cumulated vsize: 558092 KiB
Current children cumulated memory: 415624 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 2.43 2.24 9/270 865663
/proc/meminfo: memFree=121306452/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=799420 memory=627644 CPUtime=161.34 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) R 865621 865621 865549 0 -1 4194304 641325 0 52 0 15927 207 0 0 20 0 2 0 167457447 818606080 156911 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 0 0 0 17 1 0 0 46 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 199855 156911 3805 46 0 172450 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 5.30 4.49 4.17 7/265 866873
/proc/meminfo: memFree=113019544/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=3908884 memory=3083136 CPUtime=3156.18 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) R 865621 865621 865549 0 -1 4194304 6593924 0 52 0 314205 1413 0 0 20 0 2 0 167457447 4002697216 770784 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 0 0 0 17 1 0 0 46 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 977221 770784 3805 46 0 949816 0
[pid=865629/tid=865634] ppid=865621 vsize=3908884 memory=2624 CPUtime=1.73 cores=1,3
/proc/865629/task/865634/stat : 865634 (ld-linux-x86-64) S 865621 865621 865549 0 -1 1077936192 198 0 0 0 58 115 0 0 20 0 2 0 167457506 4002697216 770784 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
Current children cumulated CPU time: 3156.18 s
Current children cumulated vsize: 3918812 KiB
Current children cumulated memory: 3085760 KiB
[startup+3222.3 s]
/proc/loadavg: 4.53 4.41 4.16 7/265 867267
/proc/meminfo: memFree=112810076/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=3918544 memory=3088844 CPUtime=3216.07 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) R 865621 865621 865549 0 -1 4194304 6774908 0 52 0 320172 1435 0 0 20 0 2 0 167457447 4012589056 772211 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 0 0 0 17 1 0 0 46 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 979636 772211 3805 46 0 952231 0
[pid=865629/tid=865634] ppid=865621 vsize=3918544 memory=2624 CPUtime=1.79 cores=1,3
/proc/865629/task/865634/stat : 865634 (ld-linux-x86-64) S 865621 865621 865549 0 -1 1077936192 202 0 0 0 60 119 0 0 20 0 2 0 167457506 4012589056 772211 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
Current children cumulated CPU time: 3216.07 s
Current children cumulated vsize: 3928472 KiB
Current children cumulated memory: 3091468 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.35 4.16 7/265 867277
/proc/meminfo: memFree=112729852/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=3900848 memory=3075804 CPUtime=3275.97 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) R 865621 865621 865549 0 -1 4194304 6952855 0 52 0 326138 1459 0 0 20 0 2 0 167457447 3994468352 768951 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 0 0 0 17 1 0 0 46 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 975212 768951 3805 46 0 947807 0
[pid=865629/tid=865634] ppid=865621 vsize=3900848 memory=3082948 CPUtime=1.82 cores=1,3
/proc/865629/task/865634/stat : 865634 (ld-linux-x86-64) S 865621 865621 865549 0 -1 1077936192 206 0 0 0 61 121 0 0 20 0 2 0 167457506 3994468352 768951 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
Current children cumulated CPU time: 3275.97 s
Current children cumulated vsize: 3910776 KiB
Current children cumulated memory: 3078428 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.30 4.15 7/264 867288
/proc/meminfo: memFree=112555084/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=3927908 memory=3094692 CPUtime=3335.82 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) R 865621 865621 865549 0 -1 4194304 7141988 0 52 0 332095 1487 0 0 20 0 2 0 167457447 4022177792 773673 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 0 0 0 17 1 0 0 46 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 981977 773673 3805 46 0 954572 0
[pid=865629/tid=865634] ppid=865621 vsize=3927908 memory=3074056 CPUtime=1.88 cores=1,3
/proc/865629/task/865634/stat : 865634 (ld-linux-x86-64) S 865621 865621 865549 0 -1 1077936192 209 0 0 0 63 125 0 0 20 0 2 0 167457506 4022177792 773673 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
Current children cumulated CPU time: 3335.82 s
Current children cumulated vsize: 3937836 KiB
Current children cumulated memory: 3097316 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.26 4.15 7/267 867469
/proc/meminfo: memFree=112507648/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=3940396 memory=3102988 CPUtime=3395.68 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) R 865621 865621 865549 0 -1 4194304 7538358 0 52 0 338032 1536 0 0 20 0 2 0 167457447 4034965504 775747 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 0 0 0 17 1 0 0 46 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 985099 775747 3805 46 0 957694 0
[pid=865629/tid=865634] ppid=865621 vsize=3940396 memory=2624 CPUtime=1.93 cores=1,3
/proc/865629/task/865634/stat : 865634 (ld-linux-x86-64) S 865621 865621 865549 0 -1 1077936192 209 0 0 0 65 128 0 0 20 0 2 0 167457506 4034965504 775747 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
Current children cumulated CPU time: 3395.68 s
Current children cumulated vsize: 3950324 KiB
Current children cumulated memory: 3105612 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.24 4.15 7/267 867479
/proc/meminfo: memFree=112200028/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=3922336 memory=3085296 CPUtime=3455.62 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) R 865621 865621 865549 0 -1 4194304 7605002 0 52 0 344009 1553 0 0 20 0 2 0 167457447 4016472064 771324 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 0 0 0 17 1 0 0 46 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 980584 771324 3805 46 0 953179 0
[pid=865629/tid=865634] ppid=865621 vsize=3922336 memory=2624 CPUtime=1.96 cores=1,3
/proc/865629/task/865634/stat : 865634 (ld-linux-x86-64) S 865621 865621 865549 0 -1 1077936192 212 0 0 0 66 130 0 0 20 0 2 0 167457506 4016472064 771324 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
Current children cumulated CPU time: 3455.62 s
Current children cumulated vsize: 3932264 KiB
Current children cumulated memory: 3087920 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.19 4.13 7/266 867492
/proc/meminfo: memFree=112133656/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=3922336 memory=3085296 CPUtime=3515.54 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) R 865621 865621 865549 0 -1 4194304 7712063 0 52 0 349989 1565 0 0 20 0 2 0 167457447 4016472064 771324 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 0 0 0 17 1 0 0 46 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 980584 771324 3805 46 0 953179 0
[pid=865629/tid=865634] ppid=865621 vsize=3922336 memory=2624 CPUtime=2 cores=1,3
/proc/865629/task/865634/stat : 865634 (ld-linux-x86-64) S 865621 865621 865549 0 -1 1077936192 219 0 0 0 67 133 0 0 20 0 2 0 167457506 4016472064 771324 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
Current children cumulated CPU time: 3515.54 s
Current children cumulated vsize: 3932264 KiB
Current children cumulated memory: 3087920 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.19 4.13 7/266 867514
/proc/meminfo: memFree=112061420/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=3934068 memory=3091896 CPUtime=3575.42 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) R 865621 865621 865549 0 -1 4194304 7938746 0 52 0 355932 1610 0 0 20 0 2 0 167457447 4028485632 772974 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 0 0 0 17 1 0 0 46 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 983517 772974 3805 46 0 956112 0
[pid=865629/tid=865634] ppid=865621 vsize=3934068 memory=11648 CPUtime=2.05 cores=1,3
/proc/865629/task/865634/stat : 865634 (ld-linux-x86-64) S 865621 865621 865549 0 -1 1077936192 223 0 0 0 69 136 0 0 20 0 2 0 167457506 4028485632 772974 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
Current children cumulated CPU time: 3575.42 s
Current children cumulated vsize: 3943996 KiB
Current children cumulated memory: 3094520 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607 s]*
/proc/loadavg: 4.09 4.17 4.13 7/266 867517
/proc/meminfo: memFree=112047440/131524600 swapFree=131071996/131071996
[pid=865621] ppid=865606 vsize=9928 memory=2624 CPUtime=0 cores=1,3
/proc/865621/stat : 865621 (run-glibc-2.34.) S 865606 865621 865549 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 656 134679101440 94773717946368 94773719025688 140723795037712 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94773721124144 94773721171332 94773742637056 140723795043263 140723795043420 140723795043420 140723795050435 0
/proc/865621/statm: 2482 656 575 264 0 133 0
[pid=865629] ppid=865621 vsize=3934068 memory=3091896 CPUtime=3600.09 cores=1,3
/proc/865629/stat : 865629 (ld-linux-x86-64) R 865621 865621 865549 0 -1 4194304 7977117 0 52 0 358394 1615 0 0 20 0 2 0 167457447 4028485632 772974 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 0 0 0 17 1 0 0 46 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
/proc/865629/statm: 983517 772974 3805 46 0 956112 0
[pid=865629/tid=865634] ppid=865621 vsize=3934068 memory=8329864393760480410 CPUtime=2.07 cores=1,3
/proc/865629/task/865634/stat : 865634 (ld-linux-x86-64) R 865621 865621 865549 0 -1 1077936192 223 0 0 0 70 137 0 0 20 0 2 0 167457506 4028485632 772974 134679101440 140488439758848 140488439946460 140735875872160 0 0 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 140488442047360 140488442056808 93824994263040 140735875879767 140735875879931 140735875879931 140735875887026 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3943996 KiB
Current children cumulated memory: 3094520 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.02 s]
# the end of solver process 865621 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000778 s, system=0.000779 s
[startup+3607.07 s]
# the end of solver process 865629 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3583.95 s, system=16.2174 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
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3607.07
CPU time (s): 3600.17
CPU user time (s): 3583.95
CPU system time (s): 16.2174
CPU usage (%): 99.8087
Max. virtual memory (cumulated for all children) (KiB): 4303876
Max. memory (cumulated for all children) (KiB): 3163224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.95
system time used= 16.2174
maximum resident set size= 3167008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7977318
page faults= 52
swaps= 0
block input operations= 10520
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357494
involuntary context switches= 2583
# summary of solver processes directly reported to runsolver:
# pid: 865621,865629
# total CPU time (s): 3600.17
# total CPU user time (s): 3583.95
# total CPU system time (s): 16.2174
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2088 second user time and 17.1598 second system time
The end