34.50/34.67 c initialize IPBHS solver
34.50/34.67 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
34.50/34.67 c optimizer = "gurobi"
34.50/34.67 c pbsolver = "roundingsat"
34.50/34.67 c load symmetries from file ""
34.50/34.67 c set time limit for symmetry computation to 100 seconds.
34.50/34.67 c set interchangeable summation variable limit to 3
34.50/34.67 c set abs symmetric core budget per WCE-iteration to 100
34.50/34.67 c set rel symmetric core budget per WCE-iteration to 0
34.50/34.67 c set lit symmetric core budget per WCE-iteration to 0
34.50/34.67 c set sym generation to 's'
34.50/34.67 c set abstraction set creation to 10 iterations without LB change
34.50/34.67 c set abstraction set inputs to 0
34.50/34.67 c set abstraction set cluster min size to 2
34.50/34.67 c set abstraction set cluster max size to 100000000
34.50/34.67 c set abstraction set cluster activation limit to 2
34.50/34.67 c enable abstraction set require equal cost
34.50/34.67 c set abstraction set assumptions to 0
34.50/34.67 c set abstraction set constraint type to 0
34.50/34.67 c set abstract core extraction strategy to b
34.50/34.67 c set core extraction strategy to 2
34.50/34.67 c set core extraction shuffles 10
34.50/34.67 c set cores per iteration to 5
34.50/34.67 c set optimizer bound usage strategy to 2
34.50/34.67 c set optimizer max non-optimal iterations to 1000
34.50/34.67 c set small core cardinality limit to 2
34.50/34.67 c set max coef in cores to 1000000000
34.50/34.67 c set SIS iterations to 5
34.50/34.67 c set SIS budget abs to 1000
34.50/34.67 c set SIS budget rel to 0.05
34.50/34.67 c limit for coefficient in constraints and objective to 9223372036854775807
34.50/34.67 c will solve HOME/instance-4431353-1721067141.opb
34.50/34.67 c [0.01] solve iteration 1, LB=0, UB=15495
34.50/34.67 c [0.02] solve iteration 2, LB=681, UB=2358
34.50/34.67 c [0.04] solve iteration 3, LB=681, UB=1247
34.50/34.67 c [0.06] solve iteration 4, LB=681, UB=1153
34.50/34.67 c [0.11] solve iteration 5, LB=768, UB=1153
34.50/34.67 c [0.57] solve iteration 6, LB=794, UB=1153
34.50/34.67 c [0.63] solve iteration 7, LB=798, UB=1153
34.50/34.67 c [0.72] solve iteration 8, LB=799, UB=1153
34.50/34.67 c [0.79] solve iteration 9, LB=804, UB=1153
34.50/34.67 c [0.88] solve iteration 10, LB=804, UB=1153
34.50/34.67 c [1.35] solve iteration 11, LB=804, UB=1153
34.50/34.67 c [1.44] solve iteration 12, LB=804, UB=1153
34.50/34.67 c [1.53] solve iteration 13, LB=806, UB=1153
34.50/34.67 c [1.63] solve iteration 14, LB=806, UB=1153
34.50/34.67 c [1.74] solve iteration 15, LB=806, UB=1148
34.50/34.67 c [1.95] solve iteration 16, LB=965, UB=1148
34.50/34.67 c [2.12] solve iteration 17, LB=965, UB=1148
34.50/34.67 c [2.36] solve iteration 18, LB=965, UB=1148
34.50/34.67 c [2.67] solve iteration 19, LB=965, UB=1148
34.50/34.67 c [2.88] solve iteration 20, LB=965, UB=1148
34.50/34.67 c [3.27] solve iteration 21, LB=965, UB=1143
34.50/34.67 c [3.69] solve iteration 22, LB=965, UB=1143
34.50/34.67 c [3.93] solve iteration 23, LB=965, UB=1143
34.50/34.67 c [4.14] solve iteration 24, LB=965, UB=1143
34.50/34.67 c [4.58] solve iteration 25, LB=965, UB=1143
34.50/34.67 c [5.34] solve iteration 26, LB=965, UB=1143
34.50/34.67 c [5.77] solve iteration 27, LB=965, UB=1143
34.50/34.67 c [6.47] solve iteration 28, LB=965, UB=1143
34.50/34.67 c [6.85] solve iteration 29, LB=965, UB=1143
34.50/34.67 c [7.41] solve iteration 30, LB=965, UB=1143
34.50/34.67 c [8.29] solve iteration 31, LB=965, UB=1143
34.50/34.67 c [9.01] solve iteration 32, LB=965, UB=1143
34.50/34.67 c [9.73] solve iteration 33, LB=965, UB=1143
34.50/34.67 c [10.45] solve iteration 34, LB=965, UB=1143
34.50/34.67 c [11.46] solve iteration 35, LB=965, UB=1120
34.50/34.67 c [12.86] solve iteration 36, LB=965, UB=1120
34.50/34.67 c [13.02] solve iteration 37, LB=965, UB=1120
34.50/34.67 c [14.04] solve iteration 38, LB=965, UB=1120
34.50/34.67 c [15.05] solve iteration 39, LB=965, UB=1120
34.50/34.67 c [15.55] solve iteration 40, LB=965, UB=1120
34.50/34.67 c [16.96] solve iteration 41, LB=965, UB=1120
34.50/34.67 c [17.66] solve iteration 42, LB=965, UB=1120
34.50/34.67 c [18.57] solve iteration 43, LB=965, UB=1120
34.50/34.67 c [19.58] solve iteration 44, LB=965, UB=1120
34.50/34.67 c [20.4] solve iteration 45, LB=965, UB=1120
34.50/34.67 c [21.84] solve iteration 46, LB=965, UB=1120
34.50/34.67 c [22.67] solve iteration 47, LB=965, UB=1120
34.50/34.67 c [23.58] solve iteration 48, LB=965, UB=1120
34.50/34.67 c [24.22] solve iteration 49, LB=965, UB=1120
34.50/34.67 c [24.61] solve iteration 50, LB=965, UB=1120
34.50/34.67 c [26.45] solve iteration 51, LB=965, UB=1120
34.50/34.67 c [27.96] solve iteration 52, LB=965, UB=1120
34.50/34.67 c [28.18] solve iteration 53, LB=965, UB=1120
34.50/34.67 c [28.48] solve iteration 54, LB=965, UB=1120
34.50/34.67 c [29.35] solve iteration 55, LB=965, UB=1120
34.50/34.67 c [30.48] solve iteration 56, LB=965, UB=1120
34.50/34.67 c [32.25] solve iteration 57, LB=965, UB=1120
34.50/34.67 c [33.75] solve iteration 58, LB=965, UB=1120
403.28/404.36 c [35.49] solve iteration 59, LB=965, UB=1120
403.28/404.36 c [35.8] solve iteration 60, LB=965, UB=1120
403.28/404.36 c [39.19] solve iteration 61, LB=965, UB=1120
403.28/404.36 c [41.18] solve iteration 62, LB=965, UB=1120
403.28/404.36 c [42.74] solve iteration 63, LB=965, UB=1120
403.28/404.36 c [43.15] solve iteration 64, LB=965, UB=1120
403.28/404.36 c [44.57] solve iteration 65, LB=965, UB=1120
403.28/404.36 c [47.85] solve iteration 66, LB=965, UB=1120
403.28/404.36 c [49.99] solve iteration 67, LB=965, UB=1120
403.28/404.36 c [50.29] solve iteration 68, LB=965, UB=1120
403.28/404.36 c [52.5] solve iteration 69, LB=965, UB=1120
403.28/404.36 c [54.76] solve iteration 70, LB=965, UB=1120
403.28/404.36 c [58.71] solve iteration 71, LB=965, UB=1120
403.28/404.36 c [60.98] solve iteration 72, LB=965, UB=1120
403.28/404.36 c [62.13] solve iteration 73, LB=965, UB=1120
403.28/404.36 c [64.14] solve iteration 74, LB=965, UB=1120
403.28/404.36 c [66.21] solve iteration 75, LB=965, UB=1120
403.28/404.36 c [69.63] solve iteration 76, LB=965, UB=1120
403.28/404.36 c [71.68] solve iteration 77, LB=965, UB=1120
403.28/404.36 c [74.26] solve iteration 78, LB=965, UB=1120
403.28/404.36 c [76.78] solve iteration 79, LB=965, UB=1120
403.28/404.36 c [79.98] solve iteration 80, LB=965, UB=1120
403.28/404.36 c [82.37] solve iteration 81, LB=965, UB=1120
403.28/404.36 c [84.98] solve iteration 82, LB=965, UB=1120
403.28/404.36 c [86.85] solve iteration 83, LB=965, UB=1120
403.28/404.36 c [89.52] solve iteration 84, LB=965, UB=1120
403.28/404.36 c [95.01] solve iteration 85, LB=965, UB=1120
403.28/404.36 c [100.27] solve iteration 86, LB=965, UB=1120
403.28/404.36 c [103.6] solve iteration 87, LB=965, UB=1120
403.28/404.36 c [106.68] solve iteration 88, LB=965, UB=1120
403.28/404.36 c [109.83] solve iteration 89, LB=965, UB=1120
403.28/404.36 c [111.67] solve iteration 90, LB=965, UB=1120
403.28/404.36 c [117.06] solve iteration 91, LB=965, UB=1120
403.28/404.36 c [120.53] solve iteration 92, LB=965, UB=1120
403.28/404.36 c [124.17] solve iteration 93, LB=965, UB=1120
403.28/404.36 c [126.93] solve iteration 94, LB=965, UB=1120
403.28/404.36 c [134.43] solve iteration 95, LB=965, UB=1120
403.28/404.36 c [140.64] solve iteration 96, LB=965, UB=1120
403.28/404.36 c [144.01] solve iteration 97, LB=965, UB=1120
403.28/404.36 c [146.9] solve iteration 98, LB=965, UB=1120
403.28/404.36 c [149.97] solve iteration 99, LB=965, UB=1120
403.28/404.36 c [152.31] solve iteration 100, LB=965, UB=1120
403.28/404.36 c [158.64] solve iteration 101, LB=965, UB=1120
403.28/404.36 c [165.39] solve iteration 102, LB=965, UB=1120
403.28/404.36 c [172.44] solve iteration 103, LB=965, UB=1120
403.28/404.36 c [175.75] solve iteration 104, LB=965, UB=1120
403.28/404.36 c [183.47] solve iteration 105, LB=965, UB=1120
403.28/404.36 c [196.26] solve iteration 106, LB=965, UB=1120
403.28/404.36 c [199.65] solve iteration 107, LB=965, UB=1120
403.28/404.36 c [204.67] solve iteration 108, LB=965, UB=1120
403.28/404.36 c [213] solve iteration 109, LB=965, UB=1120
403.28/404.36 c [217.55] solve iteration 110, LB=965, UB=1120
403.28/404.36 c [223.62] solve iteration 111, LB=965, UB=1120
403.28/404.36 c [227.85] solve iteration 112, LB=965, UB=1120
403.28/404.36 c [231.15] solve iteration 113, LB=965, UB=1120
403.28/404.36 c [235.57] solve iteration 114, LB=965, UB=1120
403.28/404.36 c [240.46] solve iteration 115, LB=965, UB=1120
403.28/404.36 c [250.03] solve iteration 116, LB=965, UB=1120
403.28/404.36 c [260.18] solve iteration 117, LB=965, UB=1120
403.28/404.36 c [268.98] solve iteration 118, LB=965, UB=1120
403.28/404.36 c [277.57] solve iteration 119, LB=965, UB=1120
403.28/404.36 c [289.33] solve iteration 120, LB=965, UB=1120
403.28/404.36 c [304.73] solve iteration 121, LB=965, UB=1120
403.28/404.36 c [314.02] solve iteration 122, LB=965, UB=1120
403.28/404.36 c [319.63] solve iteration 123, LB=965, UB=1120
403.28/404.36 c [331.28] solve iteration 124, LB=965, UB=1120
403.28/404.36 c [349.63] solve iteration 125, LB=965, UB=1120
403.28/404.36 c [368.48] solve iteration 126, LB=965, UB=1120
403.28/404.36 c [379.96] solve iteration 127, LB=965, UB=1120
403.28/404.36 c LB=UB after computing candidate
403.28/404.36 c instance solved in 398.7s (IP-solver: 335.37s, core-extraction: 8.92s, SIS: 53.32s), 127 iterations, LB=1120, UB=1120,
403.28/404.36 d ITERATIONS 127
403.28/404.36 d SIS 24
403.28/404.36 d SIS_SAT 1
403.28/404.36 d SIS_UNSAT 0
403.28/404.36 d SIS_OUT_OF_BUDGET 23
403.28/404.36 d CORES_EXTRACTED 9899
403.28/404.36 d CORES_IN_OPTIMIZER 3054
403.28/404.36 d CLAUSAL_CORES_IN_OPTIMIZER 2057
403.28/404.36 d CARDINALITY_CORES_IN_OPTIMIZER 0
403.28/404.36 d PB_CORES_IN_OPTIMIZER 997
403.28/404.36 d TIME_EXTRACT_CORES 8.920000
403.28/404.36 d TIME_OPTIMIZE 335.370000
403.28/404.36 d TIME_SIS 53.320000
403.28/404.36 c solve_time: 398.700000
403.28/404.36 s OPTIMUM FOUND
403.28/404.36 o 1120
403.28/404.36 v -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x71 -x72 -x73 x1 x2 x39 -x70 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x74 -x75 -x76 -x77 -x88 -x89
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62997 MiB free)
memory of node 1: 64510 MiB (63281 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431353-1721067141/watcher-4431353-1721067141 -o /tmp/evaluation-result-4431353-1721067141/solver-4431353-1721067141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721063543-807736 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431353-1721067141.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=810062, runsolver pid=810059
[startup+0.100079 s]*
/proc/loadavg: 4.67 4.28 4.14 5/252 810065
/proc/meminfo: memFree=129297036/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=137524 memory=24688 CPUtime=0.09 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 1826 0 0 0 6 3 0 0 20 0 2 0 158873344 140824576 6172 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 34381 6172 3764 46 0 6976 0
[pid=810064/tid=810065] ppid=810062 vsize=137524 memory=4026561614 CPUtime=0 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 158873346 140824576 6172 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 147452 KiB
Current children cumulated memory: 27548 KiB
[startup+0.213228 s]*
/proc/loadavg: 4.67 4.28 4.14 5/252 810065
/proc/meminfo: memFree=129293564/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=138272 memory=26188 CPUtime=0.21 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 2132 0 0 0 15 6 0 0 20 0 2 0 158873344 141590528 6547 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 34568 6547 3812 46 0 7163 0
[pid=810064/tid=810065] ppid=810062 vsize=138272 memory=3471202400344241230 CPUtime=0 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 158873346 141590528 6547 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 148200 KiB
Current children cumulated memory: 29048 KiB
[startup+0.313212 s]*
/proc/loadavg: 4.67 4.28 4.14 6/252 810065
/proc/meminfo: memFree=129291572/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=138272 memory=26188 CPUtime=0.3 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 2169 0 0 0 23 7 0 0 20 0 2 0 158873344 141590528 6547 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 34568 6547 3812 46 0 7163 0
[pid=810064/tid=810065] ppid=810062 vsize=138272 memory=-9187277903729355622 CPUtime=0 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 158873346 141590528 6547 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 148200 KiB
Current children cumulated memory: 29048 KiB
[startup+0.700371 s]
/proc/loadavg: 4.67 4.28 4.14 5/252 810065
/proc/meminfo: memFree=129288168/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=138272 memory=28500 CPUtime=0.68 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 2215 0 0 0 57 11 0 0 20 0 2 0 158873344 141590528 7125 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 34568 7125 3812 46 0 7163 0
[pid=810064/tid=810065] ppid=810062 vsize=138272 memory=32604 CPUtime=0 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 158873346 141590528 7125 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 148200 KiB
Current children cumulated memory: 31360 KiB
[startup+1.50038 s]
/proc/loadavg: 4.67 4.28 4.14 5/252 810065
/proc/meminfo: memFree=129277460/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=140656 memory=30600 CPUtime=1.48 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 3712 0 0 0 131 17 0 0 20 0 2 0 158873344 144031744 7650 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 35164 7650 3827 46 0 7759 0
[pid=810064/tid=810065] ppid=810062 vsize=140656 memory=11648 CPUtime=0 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 158873346 144031744 7650 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 150584 KiB
Current children cumulated memory: 33460 KiB
[startup+3.11272 s]
/proc/loadavg: 4.67 4.28 4.14 5/252 810065
/proc/meminfo: memFree=129238144/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=146200 memory=37844 CPUtime=3.09 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 8986 0 0 0 287 22 0 0 20 0 2 0 158873344 149708800 9461 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 36550 9461 4000 46 0 9145 0
[pid=810064/tid=810065] ppid=810062 vsize=146200 memory=2860 CPUtime=0 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 2 0 158873346 149708800 9461 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 156128 KiB
Current children cumulated memory: 40704 KiB
[startup+6.30039 s]
/proc/loadavg: 4.62 4.27 4.14 5/252 810065
/proc/meminfo: memFree=129183604/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=149556 memory=40796 CPUtime=6.27 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 16319 0 0 0 599 28 0 0 20 0 2 0 158873344 153145344 10199 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 37389 10199 4016 46 0 9984 0
[pid=810064/tid=810065] ppid=810062 vsize=149556 memory=2860 CPUtime=0 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 2 0 158873346 153145344 10199 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 159484 KiB
Current children cumulated memory: 43656 KiB
[startup+12.7004 s]
/proc/loadavg: 4.57 4.27 4.14 5/252 810066
/proc/meminfo: memFree=129109616/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=157276 memory=43820 CPUtime=12.66 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 44025 0 0 0 1228 38 0 0 20 0 2 0 158873344 161050624 10955 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 39319 10955 4016 46 0 11914 0
[pid=810064/tid=810065] ppid=810062 vsize=157276 memory=40500 CPUtime=0.01 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 12 0 0 0 0 1 0 0 20 0 2 0 158873346 161050624 10955 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 167204 KiB
Current children cumulated memory: 46680 KiB
[startup+25.5005 s]
/proc/loadavg: 4.44 4.26 4.14 5/252 810068
/proc/meminfo: memFree=129007648/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=161128 memory=51788 CPUtime=25.42 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 112182 0 0 0 2475 67 0 0 20 0 2 0 158873344 164995072 12947 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 40282 12947 4016 46 0 12877 0
[pid=810064/tid=810065] ppid=810062 vsize=161128 memory=11648 CPUtime=0.02 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 18 0 0 0 0 2 0 0 20 0 2 0 158873346 164995072 12947 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 171056 KiB
Current children cumulated memory: 54648 KiB
[startup+51.1131 s]
/proc/loadavg: 4.29 4.23 4.13 5/252 810072
/proc/meminfo: memFree=128857904/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=169516 memory=60512 CPUtime=50.95 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 242633 0 0 0 4986 109 0 0 20 0 2 0 158873344 173584384 15128 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 42379 15128 4016 46 0 14974 0
[pid=810064/tid=810065] ppid=810062 vsize=169516 memory=2860 CPUtime=0.06 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 29 0 0 0 1 5 0 0 20 0 2 0 158873346 173584384 15128 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 179444 KiB
Current children cumulated memory: 63372 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.21 4.13 5/252 810082
/proc/meminfo: memFree=128544996/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=194396 memory=83632 CPUtime=101.97 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 775413 0 0 0 9961 236 0 0 20 0 2 0 158873344 199061504 20908 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 48599 20908 4016 46 0 21194 0
[pid=810064/tid=810065] ppid=810062 vsize=194396 memory=2860 CPUtime=0.12 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 41 0 0 0 3 9 0 0 20 0 2 0 158873346 199061504 20908 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 204324 KiB
Current children cumulated memory: 86492 KiB
[startup+162.3 s]
/proc/loadavg: 4.40 4.25 4.14 5/252 810092
/proc/meminfo: memFree=128280380/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=196368 memory=86268 CPUtime=161.77 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 961580 0 0 0 15870 307 0 0 20 0 2 0 158873344 201080832 21567 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 49092 21567 4016 46 0 21687 0
[pid=810064/tid=810065] ppid=810062 vsize=196368 memory=87928 CPUtime=0.21 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 46 0 0 0 6 15 0 0 20 0 2 0 158873346 201080832 21567 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 206296 KiB
Current children cumulated memory: 89128 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 4.25 4.15 5/249 810104
/proc/meminfo: memFree=128139408/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=203788 memory=96336 CPUtime=221.63 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 1057380 0 0 0 21821 342 0 0 20 0 2 0 158873344 208678912 24084 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 50947 24084 4016 46 0 23542 0
[pid=810064/tid=810065] ppid=810062 vsize=203788 memory=11648 CPUtime=0.29 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 54 0 0 0 8 21 0 0 20 0 2 0 158873346 208678912 24084 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 213716 KiB
Current children cumulated memory: 99196 KiB
[startup+282.3 s]
/proc/loadavg: 4.27 4.25 4.15 5/249 810114
/proc/meminfo: memFree=127996208/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=205720 memory=98268 CPUtime=281.48 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 1142403 0 0 0 27769 379 0 0 20 0 2 0 158873344 210657280 24567 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 51430 24567 4016 46 0 24025 0
[pid=810064/tid=810065] ppid=810062 vsize=205720 memory=2860 CPUtime=0.38 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 58 0 0 0 11 27 0 0 20 0 2 0 158873346 210657280 24567 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 215648 KiB
Current children cumulated memory: 101128 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.23 4.15 5/249 810124
/proc/meminfo: memFree=127757348/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=228236 memory=117956 CPUtime=341.38 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 1241599 0 0 0 33724 414 0 0 20 0 2 0 158873344 233713664 29489 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 57059 29489 4016 46 0 29654 0
[pid=810064/tid=810065] ppid=810062 vsize=228236 memory=2860 CPUtime=0.47 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 62 0 0 0 14 33 0 0 20 0 2 0 158873346 233713664 29489 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 238164 KiB
Current children cumulated memory: 120816 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.20 4.15 5/249 810135
/proc/meminfo: memFree=127643412/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=220444 memory=113744 CPUtime=401.28 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 1390413 0 0 0 39664 464 0 0 20 0 2 0 158873344 225734656 28436 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 55111 28436 4016 46 0 27706 0
[pid=810064/tid=810065] ppid=810062 vsize=220444 memory=2860 CPUtime=0.56 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 66 0 0 0 16 40 0 0 20 0 2 0 158873346 225734656 28436 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 230372 KiB
Current children cumulated memory: 116604 KiB
[startup+404.37 s]
# the end of solver process 810062 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=398.706 s, system=4.65249 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+403.2 s]
/proc/loadavg: 4.12 4.20 4.15 5/249 810135
/proc/meminfo: memFree=127692808/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=220444 memory=113744 CPUtime=402.18 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 1390416 0 0 0 39754 464 0 0 20 0 2 0 158873344 225734656 28436 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 55111 28436 4016 46 0 27706 0
[pid=810064/tid=810065] ppid=810062 vsize=220444 memory=2860 CPUtime=0.56 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 66 0 0 0 16 40 0 0 20 0 2 0 158873346 225734656 28436 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 230372 KiB
Current children cumulated memory: 116604 KiB
[startup+404 s]*
/proc/loadavg: 4.12 4.20 4.15 5/249 810135
/proc/meminfo: memFree=127666216/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=220444 memory=113744 CPUtime=402.99 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 1390419 0 0 0 39835 464 0 0 20 0 2 0 158873344 225734656 28436 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 55111 28436 4016 46 0 27706 0
[pid=810064/tid=810065] ppid=810062 vsize=220444 memory=7679933174977435807 CPUtime=0.56 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 66 0 0 0 16 40 0 0 20 0 2 0 158873346 225734656 28436 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 402.99 s
Current children cumulated vsize: 230372 KiB
Current children cumulated memory: 116604 KiB
[startup+404.2 s]
/proc/loadavg: 4.12 4.20 4.15 5/249 810135
/proc/meminfo: memFree=127666216/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=220444 memory=113744 CPUtime=403.18 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 1390419 0 0 0 39854 464 0 0 20 0 2 0 158873344 225734656 28436 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 55111 28436 4016 46 0 27706 0
[pid=810064/tid=810065] ppid=810062 vsize=220444 memory=26728 CPUtime=0.56 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 66 0 0 0 16 40 0 0 20 0 2 0 158873346 225734656 28436 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 403.18 s
Current children cumulated vsize: 230372 KiB
Current children cumulated memory: 116604 KiB
[startup+404.3 s]
/proc/loadavg: 4.12 4.20 4.15 5/249 810135
/proc/meminfo: memFree=127666216/131655788 swapFree=131071996/131071996
[pid=810062] ppid=810059 vsize=9928 memory=2860 CPUtime=0 cores=1,3
/proc/810062/stat : 810062 (run-glibc-2.34.) S 810059 810062 807724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 158873343 10166272 715 134679101440 93985384448000 93985385527320 140734752052848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93985387625776 93985387672964 93985403330560 140734752056267 140734752056412 140734752056412 140734752063427 0
/proc/810062/statm: 2482 715 634 264 0 133 0
[pid=810064] ppid=810062 vsize=220444 memory=113744 CPUtime=403.28 cores=1,3
/proc/810064/stat : 810064 (ld-linux-x86-64) R 810062 810062 807724 0 -1 4194304 1390419 0 0 0 39864 464 0 0 20 0 2 0 158873344 225734656 28436 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
/proc/810064/statm: 55111 28436 4016 46 0 27706 0
[pid=810064/tid=810065] ppid=810062 vsize=220444 memory=2860 CPUtime=0.56 cores=1,3
/proc/810064/task/810065/stat : 810065 (ld-linux-x86-64) S 810062 810062 807724 0 -1 1077936192 66 0 0 0 16 40 0 0 20 0 2 0 158873346 225734656 28436 134679101440 140622346084352 140622346271964 140736231728080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140622348372864 140622348382312 93825003446272 140736231732067 140736231732219 140736231732219 140736231739314 0
Current children cumulated CPU time: 403.28 s
Current children cumulated vsize: 230372 KiB
Current children cumulated memory: 116604 KiB
Child status: 0
Real time (s): 404.37
CPU time (s): 403.358
CPU user time (s): 398.706
CPU system time (s): 4.65249
CPU usage (%): 99.7497
Max. virtual memory (cumulated for all children) (KiB): 250312
Max. memory (cumulated for all children) (KiB): 127552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 398.706
system time used= 4.65249
maximum resident set size= 130080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1391819
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= 39798
involuntary context switches= 481
# summary of solver processes directly reported to runsolver:
# pid: 810062
# total CPU time (s): 403.358
# total CPU user time (s): 398.706
# total CPU system time (s): 4.65249
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.15773 second user time and 4.2307 second system time
The end