Trace number 4522461
Some explanations
A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process.
The trace of the execution of a solver is divided into four (or five) parts:
-
SOLVER DATA
This is the output of the solver (stdout and stderr).
Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.
When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.
As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
-
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver.
The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
-
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.
Solver answer on this benchmark
General information on the benchmark
Name | PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2/normalized-lp4l.opb |
MD5SUM | b6d457804c0edb01048fac97a08f0a0d |
Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2967 |
Best CPU time to get the best result obtained on this benchmark | 0.147297 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1086 |
Total number of constraints | 85 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 84 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 1086 |
Number of terms in the objective function | 1086 |
Biggest coefficient in the objective function | 283 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 197191 |
Number of bits of the sum of numbers in the objective function | 18 |
Biggest number in a constraint | 283 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 197191 |
Number of bits of the biggest sum of numbers | 18 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
Solver Data
0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4522461-1752596977.opb'
0.00/0.02 c read 0.05MB (2.43ms)
0.00/0.02 c [cnf: #variables 1086 #clauses 86 #duplicates 0 #arr 5763]
0.00/0.02 c output proof to 'PROOFDIR/proof-4522461-1752596977'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 0] (3.07ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c (0.36ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 4560 #edges 18302]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 1.00*10^0 #generators 0] (0.76ms)
0.00/0.03 c
0.00/0.03 c finalize break order and special generators
0.00/0.03 c
0.00/0.03 c generation finished
0.00/0.03 c [sbp: #constraints 0 #add_vars 0]
0.00/0.03 c
0.00/0.03 c write result to 'HOME/instance-4522461-1752596977.opb.pre'
0.00/0.03 c wrote 0.05MB (0.45ms)
0.00/0.03 c ------------------------------------------------------------------
0.00/0.03 c 3.07ms 37.43% approx_orbits
0.00/0.03 c 2.43ms 29.57% parse
0.00/0.03 c 1.03ms 12.60% other
0.00/0.03 c 0.76ms 9.31% detect_generic
0.00/0.03 c 0.45ms 5.52% output
0.00/0.03 c 0.36ms 4.39% detect_special
0.00/0.03 c 0.10ms 1.18% finalize_order
0.00/0.03 c ───────────────────────────────────────────────
0.00/0.03 c 8.21ms 100% total
0.00/0.03 c ------------------------------------------------------------------
0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.00/0.06 c #variables 1086 #constraints 169
0.00/0.06 c objective is ce32
0.06/0.15 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.15 c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.06/0.15 c bounds - >= 0 @ 0.075762
0.06/0.19 c rational objective 2942.5
0.27/0.39 c bounds 3445 >= 0 @ 0.305945
2.32/2.44 c #Conflicts: 1000 | #Constraints: 1308
2.32/2.44 c #Conflicts: 2000 | #Constraints: 2436
2.32/2.44 c INPROCESSING
2.32/2.44 c GARBAGE COLLECT
2.32/2.44 c rational objective 2961.44
2.41/2.57 c bounds 3440 >= 0 @ 2.39678
2.51/2.60 c bounds 3390 >= 0 @ 2.42792
2.51/2.60 c bounds 3389 >= 0 @ 2.43191
2.51/2.63 c bounds 3388 >= 0 @ 2.46167
2.51/2.64 c bounds 3386 >= 0 @ 2.47199
2.51/2.66 c bounds 3383 >= 0 @ 2.4885
2.61/2.70 c bounds 3382 >= 0 @ 2.52194
2.61/2.70 c bounds 3380 >= 0 @ 2.52505
2.61/2.78 c bounds 3378 >= 0 @ 2.60315
3.31/3.45 c #Conflicts: 3000 | #Constraints: 2355
3.31/3.45 c bounds 3370 >= 0 @ 3.25276
3.41/3.50 c bounds 3366 >= 0 @ 3.30344
3.71/3.84 c bounds 3365 >= 0 @ 3.62819
4.11/4.26 c #Conflicts: 4000 | #Constraints: 3372
4.11/4.26 c INPROCESSING
4.11/4.26 c GARBAGE COLLECT
4.11/4.26 c bounds 3361 >= 0 @ 4.0324
4.11/4.26 c bounds 3324 >= 0 @ 4.03876
4.60/4.75 c #Conflicts: 5000 | #Constraints: 2708
4.60/4.75 c bounds 3297 >= 0 @ 4.51752
5.70/5.80 c #Conflicts: 6000 | #Constraints: 3716
5.70/5.80 c INPROCESSING
5.70/5.80 c GARBAGE COLLECT
5.70/5.80 c rational objective 2961.44
5.92/6.09 c bounds 3283 >= 0 @ 5.81255
5.92/6.10 c bounds 3281 >= 0 @ 5.81919
6.92/7.10 c #Conflicts: 7000 | #Constraints: 2671
6.92/7.10 c #Conflicts: 8000 | #Constraints: 3678
6.92/7.10 c bounds 3279 >= 0 @ 6.78726
8.02/8.14 c #Conflicts: 9000 | #Constraints: 4689
8.02/8.14 c INPROCESSING
8.02/8.14 c GARBAGE COLLECT
8.02/8.14 c rational objective 2961.49
8.60/8.75 c bounds 3272 >= 0 @ 8.38889
8.70/8.82 c bounds 3270 >= 0 @ 8.455
8.70/8.83 c bounds 3268 >= 0 @ 8.4588
8.70/8.83 c bounds 3267 >= 0 @ 8.46444
8.79/8.91 c bounds 3266 >= 0 @ 8.53735
9.59/9.73 c #Conflicts: 10000 | #Constraints: 3361
9.59/9.73 c bounds 3265 >= 0 @ 9.3285
9.79/9.93 c #Conflicts: 11000 | #Constraints: 4372
9.79/9.93 c bounds 3255 >= 0 @ 9.51775
9.79/9.95 c bounds 3251 >= 0 @ 9.52992
9.79/9.96 c bounds 3250 >= 0 @ 9.53833
9.79/9.96 c bounds 3249 >= 0 @ 9.54432
9.79/9.99 c bounds 3241 >= 0 @ 9.5739
10.49/10.66 c bounds 3203 >= 0 @ 10.2163
10.69/10.80 c #Conflicts: 12000 | #Constraints: 5389
10.69/10.80 c INPROCESSING
10.69/10.80 c GARBAGE COLLECT
10.69/10.80 c rational objective 2962.86
10.91/11.09 c bounds 3141 >= 0 @ 10.6451
10.91/11.10 c bounds 3137 >= 0 @ 10.6494
11.09/11.25 c bounds 3126 >= 0 @ 10.7981
11.92/12.10 c #Conflicts: 13000 | #Constraints: 3804
11.92/12.10 c bounds 3104 >= 0 @ 11.6249
12.78/12.97 c #Conflicts: 14000 | #Constraints: 4825
12.78/12.97 c bounds 3100 >= 0 @ 12.4573
13.58/13.73 c #Conflicts: 15000 | #Constraints: 5841
13.58/13.73 c INPROCESSING
13.58/13.73 c GARBAGE COLLECT
13.58/13.73 c rational objective 2962.97
14.58/14.73 c bounds 3099 >= 0 @ 14.1744
16.77/16.95 c #Conflicts: 16000 | #Constraints: 4086
16.77/16.95 c #Conflicts: 17000 | #Constraints: 5089
16.77/16.95 c #Conflicts: 18000 | #Constraints: 6116
16.77/16.95 c INPROCESSING
16.77/16.95 c GARBAGE COLLECT
16.77/16.95 c rational objective 2962.97
17.07/17.23 c bounds 3098 >= 0 @ 16.6069
17.77/18.01 c #Conflicts: 19000 | #Constraints: 4128
17.77/18.01 c bounds 3097 >= 0 @ 17.3676
17.89/18.06 c bounds 3095 >= 0 @ 17.4122
17.89/18.12 c bounds 3094 >= 0 @ 17.464
18.07/18.20 c bounds 3085 >= 0 @ 17.5437
20.06/20.28 c #Conflicts: 20000 | #Constraints: 5148
20.06/20.28 c #Conflicts: 21000 | #Constraints: 6242
20.06/20.28 c INPROCESSING
20.06/20.28 c GARBAGE COLLECT
20.06/20.28 c rational objective 2962.97
20.66/20.86 c bounds 3085 >= 216 @ 20.1282
24.55/24.76 c #Conflicts: 22000 | #Constraints: 3961
24.55/24.76 c #Conflicts: 23000 | #Constraints: 4972
24.55/24.76 c #Conflicts: 24000 | #Constraints: 5983
24.55/24.76 c #Conflicts: 25000 | #Constraints: 6999
24.55/24.76 c INPROCESSING
24.55/24.76 c GARBAGE COLLECT
24.55/24.76 c rational objective 2963.07
28.73/28.96 c #Conflicts: 26000 | #Constraints: 4527
28.73/28.96 c #Conflicts: 27000 | #Constraints: 5541
28.73/28.96 c #Conflicts: 28000 | #Constraints: 6559
28.73/28.96 c #Conflicts: 29000 | #Constraints: 7568
28.73/28.96 c INPROCESSING
28.73/28.96 c GARBAGE COLLECT
28.73/28.96 c rational objective 2962.97
32.02/32.24 c #Conflicts: 30000 | #Constraints: 4917
32.02/32.24 c #Conflicts: 31000 | #Constraints: 5929
32.02/32.24 c bounds 3085 >= 432 @ 31.2162
32.95/33.14 c #Conflicts: 32000 | #Constraints: 6942
32.95/33.14 c bounds 3082 >= 432 @ 32.0904
33.22/33.49 c bounds 3081 >= 432 @ 32.4229
33.32/33.51 c bounds 3078 >= 432 @ 32.4444
33.32/33.52 c bounds 3077 >= 432 @ 32.4527
33.32/33.54 c bounds 3076 >= 432 @ 32.4745
33.41/33.61 c bounds 3075 >= 432 @ 32.5335
33.41/33.68 c bounds 3074 >= 432 @ 32.5987
33.41/33.69 c bounds 3072 >= 432 @ 32.6079
33.41/33.70 c bounds 3071 >= 432 @ 32.616
33.52/33.72 c bounds 3070 >= 432 @ 32.6366
34.11/34.34 c #Conflicts: 33000 | #Constraints: 7961
34.11/34.34 c INPROCESSING
34.11/34.34 c GARBAGE COLLECT
34.11/34.34 c rational objective 2962.97
34.31/34.55 c bounds 2967 >= 432 @ 33.4521
40.49/40.79 c #Conflicts: 34000 | #Constraints: 5104
40.49/40.79 c #Conflicts: 35000 | #Constraints: 6126
40.49/40.79 c #Conflicts: 36000 | #Constraints: 7131
40.49/40.79 c #Conflicts: 37000 | #Constraints: 8146
40.49/40.79 c bounds 2967 >= 647 @ 39.565
40.82/41.05 c INPROCESSING
40.82/41.05 c GARBAGE COLLECT
40.82/41.05 c rational objective 2962.97
41.09/41.30 c bounds 2967 >= 2967 @ 40.0683
41.09/41.30 c cpu time 40.0683 s
41.09/41.30 c deterministic time 2279521081 2.28e+09
41.09/41.30 c optimization time 0.078293 s
41.09/41.30 c total solve time 39.9761 s
41.09/41.30 c core-guided solve time 23.3417 s
41.09/41.30 c propagation time 18.4052 s
41.09/41.30 c conflict analysis time 16.9912 s
41.09/41.30 c propagations 5306959
41.09/41.30 c resolve steps 264964
41.09/41.30 c decisions 241848
41.09/41.30 c conflicts 37215
41.09/41.30 c restarts 125
41.09/41.30 c inprocessing phases 12
41.09/41.30 c garbage collections 12 ,( 100.00 )
41.09/41.30 c input clauses 84 ,( 35.90 )
41.09/41.30 c input cardinalities 89 ,( 38.03 )
41.09/41.30 c input general constraints 61 ,( 26.07 )
41.09/41.30 c input average constraint length 303.11
41.09/41.30 c input average constraint degree 43961.48
41.09/41.30 c learned clauses 5007 ,( 13.12 )
41.09/41.30 c learned cardinalities 285 ,( 0.75 )
41.09/41.30 c learned general constraints 32883 ,( 86.14 )
41.09/41.30 c learned average constraint length 415.42
41.09/41.30 c learned average constraint degree 8123186372.47
41.09/41.30 c watched CF 32, 64, 128, Arb: 8606 , 0 , 0 , 0
41.09/41.30 c counting CF 32, 64, 128, Arb: 24339 , 0 , 0 , 0
41.09/41.30 c watched constraints 8606 ,( 26.12 )
41.09/41.30 c counting constraints 24338 ,( 73.88 )
41.09/41.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1091988 , 2141930 , 36743731 ,( 3002265 , 33741466 )
41.09/41.30 c gcd simplifications 756
41.09/41.30 c detected cardinalities 7
41.09/41.30 c weakened non-implied lits 14909352
41.09/41.30 c weakened non-implying lits 43652
41.09/41.30 c original variables 1086
41.09/41.30 c clausal propagations 90711
41.09/41.30 c cardinality propagations 1738350
41.09/41.30 c watched propagations 42953
41.09/41.30 c counting propagations 3218383
41.09/41.30 c watch lookups 1177242748
41.09/41.30 c watch backjump lookups 0
41.09/41.30 c watch checks 326096482
41.09/41.30 c propagation checks 679742438
41.09/41.30 c constraint additions 85259741
41.09/41.30 c trail pops 5584913
41.09/41.30 c formula constraints 169
41.09/41.30 c learned constraints 37061
41.09/41.30 c bound constraints 56
41.09/41.30 c core-guided constraints 9
41.09/41.30 c encountered formula constraints 101756
41.09/41.30 c encountered learned constraints 158189
41.09/41.30 c encountered bound constraints 1085
41.09/41.30 c encountered core-guided constraints 2591
41.09/41.30 c LP total time 4.87338 s
41.09/41.30 c LP solve time 2 s
41.09/41.30 c LP constraints added 183
41.09/41.30 c LP constraints removed 10
41.09/41.30 c LP pivots internal 37232
41.09/41.30 c LP pivots root 8719
41.09/41.30 c LP calls 1017
41.09/41.30 c LP optimalities 56
41.09/41.30 c LP no pivot count 7
41.09/41.30 c LP infeasibilities 955
41.09/41.30 c LP valid Farkas constraints 949
41.09/41.30 c LP learned Farkas constraints 153
41.09/41.30 c LP basis resets 10
41.09/41.30 c LP cycling count 3
41.09/41.30 c LP singular count 2
41.09/41.30 c LP no primal count 0
41.09/41.30 c LP no farkas count 5
41.09/41.30 c LP other issue count 0
41.09/41.30 c LP Gomory cuts 12
41.09/41.30 c LP learned cuts 4
41.09/41.30 c LP deleted cuts 10
41.09/41.30 c LP encountered Gomory constraints 10
41.09/41.30 c LP encountered Farkas constraints 36552
41.09/41.30 c LP encountered learned Farkas constraints 1843
41.09/41.30 c CG auxiliary variables introduced 4
41.09/41.30 c CG solutions found 53
41.09/41.30 c CG cores constructed 3
41.09/41.30 c CG core cardinality constraints returned 0
41.09/41.30 c CG unit cores 0
41.09/41.30 c CG single cores 3
41.09/41.30 c CG blocks removed during cardinality reduction 0
41.09/41.30 c CG first core best 0
41.09/41.30 c CG decision core best 0
41.09/41.30 c CG core reduction tie 0
41.09/41.30 c CG core degree average 1.00
41.09/41.30 c CG core slack average 77.33
41.09/41.30 c CG core upper bound improvements 0
41.09/41.30 c STR number of successful calls 0
41.09/41.30 c STR number of unsuccessful calls 0
41.09/41.30 c STR number of inconclusive calls 0
41.09/41.30 c STR number of successful attempts 0
41.09/41.30 c STR number of unsuccessful attempts 0
41.09/41.30 c STR number of inconclusive attempts 0
41.09/41.30 c STR average degree increase per successful call inf
41.09/41.30 c STR average degree increase per successful attempt inf
41.09/41.30 c STR total number of conflicts for successful attempts 0
41.09/41.30 c STR total number of conflicts for unsuccessful attempts 0
41.09/41.30 c STR total number of conflicts for inconclusive attempts 0
41.09/41.30 c STR average number of conflicts per successful attempt inf
41.09/41.30 c STR average number of conflicts per unsuccessful attempt inf
41.09/41.30 c STR average number of conflicts per inconclusive attempt inf
41.09/41.30 c AVG.sumWPerc 63.30
41.09/41.30 c bigint constraints 0
41.09/41.30 o 2967
41.09/41.30 s OPTIMUM FOUND
41.09/41.30 v -x1 -x2 -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 -x39 -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 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086
Verifier Data
Checking of UNSAT/OPT proofs:
VeriPB + CakePB
Wed Jul 16 16:14:02 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 2967 <= obj <= 2967
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 2967 <= obj <= 2967
--summary--
ALL OK
Watcher Data
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: 63837 MiB (56906 MiB free)
memory of node 1: 64465 MiB (58686 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522461-1752596977/watcher-4522461-1752596977 -o /tmp/evaluation-result-4522461-1752596977/solver-4522461-1752596977 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752596885-136735 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4522461-1752596977.opb PROOFDIR/proof-4522461-1752596977
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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=137593, runsolver pid=137590
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 6.13 6.02 5.37 5/470 137596
/proc/meminfo: memFree=118221396/131382112 swapFree=33000116/33010684
[pid=137593] ppid=137590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137593/stat : 137593 (run-opt-ls-log.) S 137590 137593 136723 0 -1 4194304 244 555 0 0 0 0 0 0 20 0 1 0 175376819 4292608 768 18446744073709551615 93946412781568 93946413676101 140727567772032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93946413915152 93946413962896 93946438955008 140727567776025 140727567776223 140727567776223 140727567781827 0
/proc/137593/statm: 1048 768 704 219 0 110 0
[pid=137596] ppid=137593 vsize=56548 memory=11008 CPUtime=0.06 cores=1,3
/proc/137596/stat : 137596 (roundingsat) R 137593 137593 136723 0 -1 4194304 720 0 0 0 6 0 0 0 20 0 1 0 175376822 57905152 2752 18446744073709551615 4227072 8923433 140722514570064 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 24236032 140722514573556 140722514573862 140722514573862 140722514579434 0
/proc/137596/statm: 14137 2752 2304 1147 0 1564 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 60740 KiB
Current children cumulated memory: 14080 KiB
[startup+0.234719 s]*
/proc/loadavg: 6.13 6.02 5.37 5/470 137596
/proc/meminfo: memFree=118221396/131382112 swapFree=33000116/33010684
[pid=137593] ppid=137590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137593/stat : 137593 (run-opt-ls-log.) S 137590 137593 136723 0 -1 4194304 244 555 0 0 0 0 0 0 20 0 1 0 175376819 4292608 768 18446744073709551615 93946412781568 93946413676101 140727567772032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93946413915152 93946413962896 93946438955008 140727567776025 140727567776223 140727567776223 140727567781827 0
/proc/137593/statm: 1048 768 704 219 0 110 0
[pid=137596] ppid=137593 vsize=58064 memory=12672 CPUtime=0.18 cores=1,3
/proc/137596/stat : 137596 (roundingsat) R 137593 137593 136723 0 -1 4194304 1117 0 0 0 18 0 0 0 20 0 1 0 175376822 59457536 3168 18446744073709551615 4227072 8923433 140722514570064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24236032 140722514573556 140722514573862 140722514573862 140722514579434 0
/proc/137596/statm: 14516 3168 2368 1147 0 1943 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 62256 KiB
Current children cumulated memory: 15744 KiB
[startup+0.325147 s]*
/proc/loadavg: 6.13 6.02 5.37 5/470 137596
/proc/meminfo: memFree=118221396/131382112 swapFree=33000116/33010684
[pid=137593] ppid=137590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137593/stat : 137593 (run-opt-ls-log.) S 137590 137593 136723 0 -1 4194304 244 555 0 0 0 0 0 0 20 0 1 0 175376819 4292608 768 18446744073709551615 93946412781568 93946413676101 140727567772032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93946413915152 93946413962896 93946438955008 140727567776025 140727567776223 140727567776223 140727567781827 0
/proc/137593/statm: 1048 768 704 219 0 110 0
[pid=137596] ppid=137593 vsize=59476 memory=14080 CPUtime=0.27 cores=1,3
/proc/137596/stat : 137596 (roundingsat) R 137593 137593 136723 0 -1 4194304 1477 0 0 0 26 1 0 0 20 0 1 0 175376822 60903424 3520 18446744073709551615 4227072 8923433 140722514570064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24236032 140722514573556 140722514573862 140722514573862 140722514579434 0
/proc/137596/statm: 14869 3520 2368 1147 0 2296 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 63668 KiB
Current children cumulated memory: 17152 KiB
[startup+0.700359 s]
/proc/loadavg: 6.13 6.02 5.37 5/470 137596
/proc/meminfo: memFree=118015984/131382112 swapFree=33000116/33010684
[pid=137593] ppid=137590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137593/stat : 137593 (run-opt-ls-log.) S 137590 137593 136723 0 -1 4194304 244 555 0 0 0 0 0 0 20 0 1 0 175376819 4292608 768 18446744073709551615 93946412781568 93946413676101 140727567772032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93946413915152 93946413962896 93946438955008 140727567776025 140727567776223 140727567776223 140727567781827 0
/proc/137593/statm: 1048 768 704 219 0 110 0
[pid=137596] ppid=137593 vsize=60968 memory=17888 CPUtime=0.62 cores=1,3
/proc/137596/stat : 137596 (roundingsat) R 137593 137593 136723 0 -1 4194304 1927 0 0 0 60 2 0 0 20 0 1 0 175376822 62431232 4472 18446744073709551615 4227072 8923433 140722514570064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24236032 140722514573556 140722514573862 140722514573862 140722514579434 0
/proc/137596/statm: 15242 4472 2400 1147 0 2669 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 65160 KiB
Current children cumulated memory: 20960 KiB
[startup+1.50038 s]
/proc/loadavg: 6.13 6.02 5.37 5/470 137597
/proc/meminfo: memFree=117753868/131382112 swapFree=33000116/33010684
[pid=137593] ppid=137590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137593/stat : 137593 (run-opt-ls-log.) S 137590 137593 136723 0 -1 4194304 244 555 0 0 0 0 0 0 20 0 1 0 175376819 4292608 768 18446744073709551615 93946412781568 93946413676101 140727567772032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93946413915152 93946413962896 93946438955008 140727567776025 140727567776223 140727567776223 140727567781827 0
/proc/137593/statm: 1048 768 704 219 0 110 0
[pid=137596] ppid=137593 vsize=65388 memory=24408 CPUtime=1.42 cores=1,3
/proc/137596/stat : 137596 (roundingsat) R 137593 137593 136723 0 -1 4194304 3036 0 0 0 138 4 0 0 20 0 1 0 175376822 66957312 6102 18446744073709551615 4227072 8923433 140722514570064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24236032 140722514573556 140722514573862 140722514573862 140722514579434 0
/proc/137596/statm: 16347 6102 2400 1147 0 3774 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 69580 KiB
Current children cumulated memory: 27480 KiB
[startup+3.12554 s]
/proc/loadavg: 5.96 5.99 5.36 5/470 137597
/proc/meminfo: memFree=117277820/131382112 swapFree=33000116/33010684
[pid=137593] ppid=137590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137593/stat : 137593 (run-opt-ls-log.) S 137590 137593 136723 0 -1 4194304 244 555 0 0 0 0 0 0 20 0 1 0 175376819 4292608 768 18446744073709551615 93946412781568 93946413676101 140727567772032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93946413915152 93946413962896 93946438955008 140727567776025 140727567776223 140727567776223 140727567781827 0
/proc/137593/statm: 1048 768 704 219 0 110 0
[pid=137596] ppid=137593 vsize=81448 memory=39200 CPUtime=3.04 cores=1,3
/proc/137596/stat : 137596 (roundingsat) R 137593 137593 136723 0 -1 4194304 6312 0 0 0 294 10 0 0 20 0 1 0 175376822 83402752 9800 18446744073709551615 4227072 8923433 140722514570064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24236032 140722514573556 140722514573862 140722514573862 140722514579434 0
/proc/137596/statm: 20362 9800 2400 1147 0 7789 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 85640 KiB
Current children cumulated memory: 42272 KiB
[startup+6.30035 s]
/proc/loadavg: 5.96 5.99 5.36 5/465 137605
/proc/meminfo: memFree=117265908/131382112 swapFree=33000116/33010684
[pid=137593] ppid=137590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137593/stat : 137593 (run-opt-ls-log.) S 137590 137593 136723 0 -1 4194304 244 555 0 0 0 0 0 0 20 0 1 0 175376819 4292608 768 18446744073709551615 93946412781568 93946413676101 140727567772032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93946413915152 93946413962896 93946438955008 140727567776025 140727567776223 140727567776223 140727567781827 0
/proc/137593/statm: 1048 768 704 219 0 110 0
[pid=137596] ppid=137593 vsize=93852 memory=51648 CPUtime=6.2 cores=1,3
/proc/137596/stat : 137596 (roundingsat) R 137593 137593 136723 0 -1 4194304 9497 0 0 0 601 19 0 0 20 0 1 0 175376822 96104448 12912 18446744073709551615 4227072 8923433 140722514570064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24236032 140722514573556 140722514573862 140722514573862 140722514579434 0
/proc/137596/statm: 23463 12912 2496 1147 0 10890 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 98044 KiB
Current children cumulated memory: 54720 KiB
[startup+12.7004 s]
/proc/loadavg: 5.81 5.95 5.36 5/465 137624
/proc/meminfo: memFree=117064444/131382112 swapFree=33000116/33010684
[pid=137593] ppid=137590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137593/stat : 137593 (run-opt-ls-log.) S 137590 137593 136723 0 -1 4194304 244 555 0 0 0 0 0 0 20 0 1 0 175376819 4292608 768 18446744073709551615 93946412781568 93946413676101 140727567772032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93946413915152 93946413962896 93946438955008 140727567776025 140727567776223 140727567776223 140727567781827 0
/proc/137593/statm: 1048 768 704 219 0 110 0
[pid=137596] ppid=137593 vsize=119480 memory=70404 CPUtime=12.59 cores=1,3
/proc/137596/stat : 137596 (roundingsat) R 137593 137593 136723 0 -1 4194304 13823 0 0 0 1219 40 0 0 20 0 1 0 175376822 122347520 17601 18446744073709551615 4227072 8923433 140722514570064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24236032 140722514573556 140722514573862 140722514573862 140722514579434 0
/proc/137596/statm: 29870 17601 2496 1147 0 17297 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 123672 KiB
Current children cumulated memory: 73476 KiB
[startup+25.5004 s]
/proc/loadavg: 5.25 5.82 5.32 4/462 137629
/proc/meminfo: memFree=116954564/131382112 swapFree=33000116/33010684
[pid=137593] ppid=137590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137593/stat : 137593 (run-opt-ls-log.) S 137590 137593 136723 0 -1 4194304 244 555 0 0 0 0 0 0 20 0 1 0 175376819 4292608 768 18446744073709551615 93946412781568 93946413676101 140727567772032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93946413915152 93946413962896 93946438955008 140727567776025 140727567776223 140727567776223 140727567781827 0
/proc/137593/statm: 1048 768 704 219 0 110 0
[pid=137596] ppid=137593 vsize=154376 memory=94908 CPUtime=25.35 cores=1,3
/proc/137596/stat : 137596 (roundingsat) R 137593 137593 136723 0 -1 4194304 19597 0 0 0 2464 71 0 0 20 0 1 0 175376822 158081024 23727 18446744073709551615 4227072 8923433 140722514570064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24236032 140722514573556 140722514573862 140722514573862 140722514579434 0
/proc/137596/statm: 38594 23727 2528 1147 0 26021 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 158568 KiB
Current children cumulated memory: 97980 KiB
[startup+41.9761 s]
# the end of solver process 137593 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=40.097 s, system=1.14343 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 5.25 5.82 5.32 4/462 137629
/proc/meminfo: memFree=116954564/131382112 swapFree=33000116/33010684
[pid=137593] ppid=137590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137593/stat : 137593 (run-opt-ls-log.) S 137590 137593 136723 0 -1 4194304 244 555 0 0 0 0 0 0 20 0 1 0 175376819 4292608 768 18446744073709551615 93946412781568 93946413676101 140727567772032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93946413915152 93946413962896 93946438955008 140727567776025 140727567776223 140727567776223 140727567781827 0
/proc/137593/statm: 1048 768 704 219 0 110 0
[pid=137596] ppid=137593 vsize=154376 memory=94908 CPUtime=25.45 cores=1,3
/proc/137596/stat : 137596 (roundingsat) R 137593 137593 136723 0 -1 4194304 19597 0 0 0 2474 71 0 0 20 0 1 0 175376822 158081024 23727 18446744073709551615 4227072 8923433 140722514570064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24236032 140722514573556 140722514573862 140722514573862 140722514579434 0
/proc/137596/statm: 38594 23727 2528 1147 0 26021 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 158568 KiB
Current children cumulated memory: 97980 KiB
[startup+32.0004 s]*
/proc/loadavg: 5.07 5.78 5.31 4/462 137629
/proc/meminfo: memFree=116828224/131382112 swapFree=33000116/33010684
[pid=137593] ppid=137590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137593/stat : 137593 (run-opt-ls-log.) S 137590 137593 136723 0 -1 4194304 244 555 0 0 0 0 0 0 20 0 1 0 175376819 4292608 768 18446744073709551615 93946412781568 93946413676101 140727567772032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93946413915152 93946413962896 93946438955008 140727567776025 140727567776223 140727567776223 140727567781827 0
/proc/137593/statm: 1048 768 704 219 0 110 0
[pid=137596] ppid=137593 vsize=156024 memory=99316 CPUtime=31.85 cores=1,3
/proc/137596/stat : 137596 (roundingsat) R 137593 137593 136723 0 -1 4194304 20181 0 0 0 3100 85 0 0 20 0 1 0 175376822 159768576 24829 18446744073709551615 4227072 8923433 140722514570064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24236032 140722514573556 140722514573862 140722514573862 140722514579434 0
/proc/137596/statm: 39006 24829 2528 1147 0 26433 0
Current children cumulated CPU time: 31.85 s
Current children cumulated vsize: 160216 KiB
Current children cumulated memory: 102388 KiB
[startup+38.4003 s]
/proc/loadavg: 4.75 5.69 5.28 4/462 137629
/proc/meminfo: memFree=116719120/131382112 swapFree=33000116/33010684
[pid=137593] ppid=137590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137593/stat : 137593 (run-opt-ls-log.) S 137590 137593 136723 0 -1 4194304 244 555 0 0 0 0 0 0 20 0 1 0 175376819 4292608 768 18446744073709551615 93946412781568 93946413676101 140727567772032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93946413915152 93946413962896 93946438955008 140727567776025 140727567776223 140727567776223 140727567781827 0
/proc/137593/statm: 1048 768 704 219 0 110 0
[pid=137596] ppid=137593 vsize=161924 memory=104180 CPUtime=38.2 cores=1,3
/proc/137596/stat : 137596 (roundingsat) R 137593 137593 136723 0 -1 4194304 21399 0 0 0 3720 100 0 0 20 0 1 0 175376822 165810176 26045 18446744073709551615 4227072 8923433 140722514570064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24236032 140722514573556 140722514573862 140722514573862 140722514579434 0
/proc/137596/statm: 40481 26045 2528 1147 0 27908 0
Current children cumulated CPU time: 38.2 s
Current children cumulated vsize: 166116 KiB
Current children cumulated memory: 107252 KiB
[startup+40.0003 s]*
/proc/loadavg: 4.75 5.69 5.28 4/462 137629
/proc/meminfo: memFree=116700784/131382112 swapFree=33000116/33010684
[pid=137593] ppid=137590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137593/stat : 137593 (run-opt-ls-log.) S 137590 137593 136723 0 -1 4194304 244 555 0 0 0 0 0 0 20 0 1 0 175376819 4292608 768 18446744073709551615 93946412781568 93946413676101 140727567772032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93946413915152 93946413962896 93946438955008 140727567776025 140727567776223 140727567776223 140727567781827 0
/proc/137593/statm: 1048 768 704 219 0 110 0
[pid=137596] ppid=137593 vsize=163780 memory=106228 CPUtime=39.82 cores=1,3
/proc/137596/stat : 137596 (roundingsat) R 137593 137593 136723 0 -1 4194304 21914 0 0 0 3880 102 0 0 20 0 1 0 175376822 167710720 26557 18446744073709551615 4227072 8923433 140722514570064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24236032 140722514573556 140722514573862 140722514573862 140722514579434 0
/proc/137596/statm: 40945 26557 2528 1147 0 28372 0
Current children cumulated CPU time: 39.82 s
Current children cumulated vsize: 167972 KiB
Current children cumulated memory: 109300 KiB
[startup+40.8003 s]
/proc/loadavg: 4.75 5.69 5.28 4/462 137629
/proc/meminfo: memFree=116700784/131382112 swapFree=33000116/33010684
[pid=137593] ppid=137590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137593/stat : 137593 (run-opt-ls-log.) S 137590 137593 136723 0 -1 4194304 244 555 0 0 0 0 0 0 20 0 1 0 175376819 4292608 768 18446744073709551615 93946412781568 93946413676101 140727567772032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93946413915152 93946413962896 93946438955008 140727567776025 140727567776223 140727567776223 140727567781827 0
/proc/137593/statm: 1048 768 704 219 0 110 0
[pid=137596] ppid=137593 vsize=165124 memory=107380 CPUtime=40.6 cores=1,3
/proc/137596/stat : 137596 (roundingsat) R 137593 137593 136723 0 -1 4194304 22192 0 0 0 3957 103 0 0 20 0 1 0 175376822 169086976 26845 18446744073709551615 4227072 8923433 140722514570064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24236032 140722514573556 140722514573862 140722514573862 140722514579434 0
/proc/137596/statm: 41281 26845 2528 1147 0 28708 0
Current children cumulated CPU time: 40.6 s
Current children cumulated vsize: 169316 KiB
Current children cumulated memory: 110452 KiB
[startup+41.6004 s]
/proc/loadavg: 4.75 5.69 5.28 4/462 137629
/proc/meminfo: memFree=116687644/131382112 swapFree=33000116/33010684
[pid=137593] ppid=137590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137593/stat : 137593 (run-opt-ls-log.) S 137590 137593 136723 0 -1 4194304 244 555 0 0 0 0 0 0 20 0 1 0 175376819 4292608 768 18446744073709551615 93946412781568 93946413676101 140727567772032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93946413915152 93946413962896 93946438955008 140727567776025 140727567776223 140727567776223 140727567781827 0
/proc/137593/statm: 1048 768 704 219 0 110 0
[pid=137596] ppid=137593 vsize=165572 memory=107764 CPUtime=41.16 cores=1,3
/proc/137596/stat : 137596 (roundingsat) D 137593 137593 136723 0 -1 4194304 22296 0 0 0 4007 109 0 0 20 0 1 0 175376822 169545728 26941 18446744073709551615 4227072 8923433 140722514570064 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 24236032 140722514573556 140722514573862 140722514573862 140722514579434 0
/proc/137596/statm: 41393 26941 2528 1147 0 28820 0
Current children cumulated CPU time: 41.16 s
Current children cumulated vsize: 169764 KiB
Current children cumulated memory: 110836 KiB
[startup+41.8005 s]
/proc/loadavg: 4.75 5.69 5.28 4/462 137629
/proc/meminfo: memFree=116687644/131382112 swapFree=33000116/33010684
[pid=137593] ppid=137590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137593/stat : 137593 (run-opt-ls-log.) S 137590 137593 136723 0 -1 4194304 244 555 0 0 0 0 0 0 20 0 1 0 175376819 4292608 768 18446744073709551615 93946412781568 93946413676101 140727567772032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93946413915152 93946413962896 93946438955008 140727567776025 140727567776223 140727567776223 140727567781827 0
/proc/137593/statm: 1048 768 704 219 0 110 0
[pid=137596] ppid=137593 vsize=165572 memory=107764 CPUtime=41.18 cores=1,3
/proc/137596/stat : 137596 (roundingsat) R 137593 137593 136723 0 -1 4194304 22296 0 0 0 4008 110 0 0 20 0 1 0 175376822 169545728 26941 18446744073709551615 4227072 8923433 140722514570064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24236032 140722514573556 140722514573862 140722514573862 140722514579434 0
/proc/137596/statm: 41393 26941 2528 1147 0 28820 0
Current children cumulated CPU time: 41.18 s
Current children cumulated vsize: 169764 KiB
Current children cumulated memory: 110836 KiB
[startup+41.9004 s]
/proc/loadavg: 4.75 5.69 5.28 4/462 137629
/proc/meminfo: memFree=116687644/131382112 swapFree=33000116/33010684
[pid=137593] ppid=137590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/137593/stat : 137593 (run-opt-ls-log.) S 137590 137593 136723 0 -1 4194304 244 555 0 0 0 0 0 0 20 0 1 0 175376819 4292608 768 18446744073709551615 93946412781568 93946413676101 140727567772032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93946413915152 93946413962896 93946438955008 140727567776025 140727567776223 140727567776223 140727567781827 0
/proc/137593/statm: 1048 768 704 219 0 110 0
[pid=137596] ppid=137593 vsize=165572 memory=107764 CPUtime=41.2 cores=1,3
/proc/137596/stat : 137596 (roundingsat) D 137593 137593 136723 0 -1 4194304 22296 0 0 0 4008 112 0 0 20 0 1 0 175376822 169545728 26941 18446744073709551615 4227072 8923433 140722514570064 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 24236032 140722514573556 140722514573862 140722514573862 140722514579434 0
/proc/137596/statm: 41393 26941 2528 1147 0 28820 0
Current children cumulated CPU time: 41.2 s
Current children cumulated vsize: 169764 KiB
Current children cumulated memory: 110836 KiB
Child status: 0
Real time (s): 41.9762
CPU time (s): 41.2405
CPU user time (s): 40.097
CPU system time (s): 1.14343
CPU usage (%): 98.2472
Max. virtual memory (cumulated for all children) (KiB): 169764
Max. memory (cumulated for all children) (KiB): 110836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.097
system time used= 1.14343
maximum resident set size= 107764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23117
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1577136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23149
involuntary context switches= 80
# summary of solver processes directly reported to runsolver:
# pid: 137593
# total CPU time (s): 41.2405
# total CPU user time (s): 40.097
# total CPU system time (s): 1.14343
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.439779 second user time and 0.852702 second system time
The end
Launcher Data
Begin job on nodeC007 at 2025-07-15 18:29:37
IDJOB=4522461
IDBENCH=178829
IDSOLVER=3356
FILE ID=nodeC007/4522461-1752596977
RUNJOBID= nodeC007-1752596885-136735
SLURM_JOB_ID= 9684382
Free space on /tmp= 430464 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2/normalized-lp4l.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522461-1752596977/watcher-4522461-1752596977 -o /tmp/evaluation-result-4522461-1752596977/solver-4522461-1752596977 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752596885-136735 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4522461-1752596977.opb PROOFDIR/proof-4522461-1752596977
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b6d457804c0edb01048fac97a08f0a0d
RANDOM SEED=1264445445
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.932
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.203
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.589
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.465
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3655.388
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.352
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.280
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 118451220 kB
MemAvailable: 127235092 kB
Buffers: 16 kB
Cached: 9456756 kB
SwapCached: 2716 kB
Active: 2399932 kB
Inactive: 9176364 kB
Active(anon): 2104864 kB
Inactive(anon): 34976 kB
Active(file): 295068 kB
Inactive(file): 9141388 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33000116 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 385728 kB
Writeback: 4 kB
AnonPages: 2119912 kB
Mapped: 110748 kB
Shmem: 20292 kB
KReclaimable: 374084 kB
Slab: 485680 kB
SReclaimable: 374084 kB
SUnreclaim: 111596 kB
KernelStack: 7600 kB
PageTables: 7256 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 2565096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 152904 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 88064 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 430468 MiB
End job on nodeC007 at 2025-07-15 18:30:19