0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4502604-1751418449.opb'
0.00/0.01 c read 0.05MB (0.85ms)
0.00/0.01 c [cnf: #variables 792 #clauses 1171 #duplicates 0 #arr 4554]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 108] (0.99ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c (0.24ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 4339 #edges 13860]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 8.00*10^0 #generators 2] (1.11ms)
0.00/0.01 c
0.00/0.01 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.01 c (0.00ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c add generic predicates (break_depth=20)
0.00/0.01 c added predicates for 2 generators (0.02ms)
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 110 #add_vars 36]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4502604-1751418449.opb.pre'
0.00/0.01 c wrote 0.05MB (0.17ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 1.11ms 31.78% detect_generic
0.00/0.01 c 0.99ms 28.39% approx_orbits
0.00/0.01 c 0.85ms 24.40% parse
0.00/0.01 c 0.24ms 6.79% detect_special
0.00/0.01 c 0.17ms 4.80% output
0.00/0.01 c 0.09ms 2.54% other
0.00/0.01 c 0.03ms 0.75% finalize_order
0.00/0.01 c 0.02ms 0.46% break_generic
0.00/0.01 c 0.00ms 0.09% optimize_gens
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 3.49ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 828 #constraints 1298
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.03 c bounds - >= 0 @ 0.003237
0.00/0.03 c rational objective 32
0.00/0.05 c bounds 772 >= 0 @ 0.025192
0.00/0.05 c bounds 732 >= 0 @ 0.02611
0.00/0.06 c bounds 697 >= 0 @ 0.026886
0.00/0.06 c bounds 517 >= 0 @ 0.027769
0.00/0.06 c bounds 497 >= 0 @ 0.028344
0.00/0.06 c bounds 492 >= 0 @ 0.02964
0.00/0.06 c bounds 477 >= 0 @ 0.029665
0.00/0.06 c bounds 457 >= 0 @ 0.029665
0.00/0.06 c bounds 447 >= 0 @ 0.029665
0.00/0.07 c bounds 447 >= 20 @ 0.040023
0.00/0.07 c bounds 437 >= 20 @ 0.040589
0.00/0.07 c bounds 422 >= 20 @ 0.041139
0.00/0.07 c bounds 407 >= 20 @ 0.041657
0.00/0.07 c bounds 387 >= 20 @ 0.042171
0.00/0.08 c bounds 387 >= 40 @ 0.046847
0.00/0.08 c bounds 367 >= 40 @ 0.047455
0.00/0.08 c bounds 347 >= 40 @ 0.048022
0.00/0.08 c bounds 337 >= 40 @ 0.048553
0.00/0.09 c bounds 317 >= 40 @ 0.061377
0.07/0.12 c bounds 312 >= 40 @ 0.079733
0.07/0.12 c bounds 302 >= 40 @ 0.080332
0.07/0.12 c bounds 287 >= 40 @ 0.08055
0.07/0.12 c bounds 272 >= 40 @ 0.08055
0.07/0.12 c bounds 257 >= 40 @ 0.080573
0.07/0.12 c bounds 242 >= 40 @ 0.080683
0.07/0.12 c bounds 227 >= 40 @ 0.081254
0.07/0.12 c bounds 212 >= 40 @ 0.081562
0.07/0.12 c bounds 197 >= 40 @ 0.081562
0.07/0.12 c bounds 182 >= 40 @ 0.081952
0.07/0.12 c bounds 167 >= 40 @ 0.082469
0.07/0.12 c bounds 157 >= 40 @ 0.082936
0.07/0.12 c bounds 142 >= 40 @ 0.083396
0.07/0.12 c bounds 127 >= 40 @ 0.083846
0.38/0.43 c #Conflicts: 1000 | #Constraints: 2350
0.38/0.43 c #Conflicts: 2000 | #Constraints: 3361
0.38/0.43 c INPROCESSING
0.38/0.43 c GARBAGE COLLECT
0.38/0.43 c rational objective 40
0.48/0.51 c bounds 127 >= 55 @ 0.454158
0.86/0.92 c #Conflicts: 3000 | #Constraints: 3329
0.86/0.92 c #Conflicts: 4000 | #Constraints: 4334
0.86/0.92 c INPROCESSING
0.86/0.92 c GARBAGE COLLECT
0.86/0.92 c rational objective 55
1.46/1.53 c #Conflicts: 5000 | #Constraints: 3753
1.46/1.53 c #Conflicts: 6000 | #Constraints: 4759
1.46/1.53 c INPROCESSING
1.46/1.53 c GARBAGE COLLECT
1.46/1.53 c rational objective 55
2.07/2.15 c #Conflicts: 7000 | #Constraints: 3751
2.07/2.15 c #Conflicts: 8000 | #Constraints: 4753
2.07/2.15 c #Conflicts: 9000 | #Constraints: 5757
2.07/2.15 c INPROCESSING
2.07/2.15 c GARBAGE COLLECT
2.07/2.15 c rational objective 55
2.86/2.92 c #Conflicts: 10000 | #Constraints: 4458
2.86/2.92 c #Conflicts: 11000 | #Constraints: 5464
2.86/2.92 c #Conflicts: 12000 | #Constraints: 6466
2.86/2.92 c INPROCESSING
2.86/2.92 c GARBAGE COLLECT
2.86/2.92 c rational objective 55
3.56/3.69 c #Conflicts: 13000 | #Constraints: 4919
3.56/3.69 c #Conflicts: 14000 | #Constraints: 5919
3.56/3.69 c #Conflicts: 15000 | #Constraints: 6920
3.56/3.69 c INPROCESSING
3.56/3.69 c GARBAGE COLLECT
3.56/3.69 c rational objective 55
4.55/4.61 c #Conflicts: 16000 | #Constraints: 5162
4.55/4.61 c #Conflicts: 17000 | #Constraints: 6163
4.55/4.61 c #Conflicts: 18000 | #Constraints: 7166
4.55/4.61 c INPROCESSING
4.55/4.61 c GARBAGE COLLECT
4.55/4.61 c rational objective 55
5.15/5.26 c #Conflicts: 19000 | #Constraints: 5166
5.15/5.26 c #Conflicts: 20000 | #Constraints: 6167
5.15/5.26 c bounds 127 >= 70 @ 5.05813
5.46/5.51 c #Conflicts: 21000 | #Constraints: 7183
5.46/5.51 c INPROCESSING
5.46/5.51 c GARBAGE COLLECT
5.46/5.51 c rational objective 70
6.45/6.58 c #Conflicts: 22000 | #Constraints: 4979
6.45/6.58 c #Conflicts: 23000 | #Constraints: 5979
6.45/6.58 c #Conflicts: 24000 | #Constraints: 6980
6.45/6.58 c #Conflicts: 25000 | #Constraints: 7980
6.45/6.58 c INPROCESSING
6.45/6.58 c GARBAGE COLLECT
6.45/6.58 c rational objective 70
7.55/7.68 c #Conflicts: 26000 | #Constraints: 5582
7.55/7.68 c #Conflicts: 27000 | #Constraints: 6587
7.55/7.68 c #Conflicts: 28000 | #Constraints: 7589
7.55/7.68 c #Conflicts: 29000 | #Constraints: 8589
7.55/7.68 c INPROCESSING
7.55/7.68 c GARBAGE COLLECT
7.55/7.68 c rational objective 70
8.75/8.88 c #Conflicts: 30000 | #Constraints: 5988
8.75/8.88 c #Conflicts: 31000 | #Constraints: 6989
8.75/8.88 c #Conflicts: 32000 | #Constraints: 7990
8.75/8.88 c #Conflicts: 33000 | #Constraints: 8992
8.75/8.88 c INPROCESSING
8.75/8.88 c GARBAGE COLLECT
8.75/8.88 c rational objective 70
9.94/10.07 c #Conflicts: 34000 | #Constraints: 6192
9.94/10.07 c #Conflicts: 35000 | #Constraints: 7192
9.94/10.07 c #Conflicts: 36000 | #Constraints: 8193
9.94/10.07 c #Conflicts: 37000 | #Constraints: 9194
9.94/10.07 c INPROCESSING
9.94/10.07 c GARBAGE COLLECT
9.94/10.07 c rational objective 70
11.13/11.28 c #Conflicts: 38000 | #Constraints: 6190
11.13/11.28 c #Conflicts: 39000 | #Constraints: 7190
11.13/11.28 c #Conflicts: 40000 | #Constraints: 8192
11.13/11.28 c #Conflicts: 41000 | #Constraints: 9193
11.13/11.28 c INPROCESSING
11.13/11.28 c GARBAGE COLLECT
11.13/11.28 c rational objective 70
12.54/12.67 c #Conflicts: 42000 | #Constraints: 6003
12.54/12.67 c #Conflicts: 43000 | #Constraints: 7003
12.54/12.67 c #Conflicts: 44000 | #Constraints: 8003
12.54/12.67 c #Conflicts: 45000 | #Constraints: 9003
12.54/12.67 c #Conflicts: 46000 | #Constraints: 10004
12.54/12.67 c INPROCESSING
12.54/12.67 c GARBAGE COLLECT
12.54/12.67 c rational objective 70
14.13/14.21 c #Conflicts: 47000 | #Constraints: 6588
14.13/14.21 c #Conflicts: 48000 | #Constraints: 7589
14.13/14.21 c #Conflicts: 49000 | #Constraints: 8589
14.13/14.21 c #Conflicts: 50000 | #Constraints: 9590
14.13/14.21 c #Conflicts: 51000 | #Constraints: 10591
14.13/14.21 c INPROCESSING
14.13/14.21 c GARBAGE COLLECT
14.13/14.21 c rational objective 70
14.83/14.95 c #Conflicts: 52000 | #Constraints: 6994
14.83/14.95 c #Conflicts: 53000 | #Constraints: 7994
14.83/14.95 c bounds 127 >= 85 @ 14.4979
15.73/15.82 c #Conflicts: 54000 | #Constraints: 9018
15.73/15.82 c #Conflicts: 55000 | #Constraints: 10018
15.73/15.82 c #Conflicts: 56000 | #Constraints: 11020
15.73/15.82 c INPROCESSING
15.73/15.82 c GARBAGE COLLECT
15.73/15.82 c rational objective 85
17.32/17.49 c #Conflicts: 57000 | #Constraints: 7224
17.32/17.49 c #Conflicts: 58000 | #Constraints: 8224
17.32/17.49 c #Conflicts: 59000 | #Constraints: 9225
17.32/17.49 c #Conflicts: 60000 | #Constraints: 10225
17.32/17.49 c #Conflicts: 61000 | #Constraints: 11226
17.32/17.49 c INPROCESSING
17.32/17.49 c GARBAGE COLLECT
17.32/17.49 c rational objective 85
18.72/18.80 c #Conflicts: 62000 | #Constraints: 7223
18.72/18.80 c #Conflicts: 63000 | #Constraints: 8223
18.72/18.80 c #Conflicts: 64000 | #Constraints: 9223
18.72/18.80 c #Conflicts: 65000 | #Constraints: 10223
18.72/18.80 c bounds 122 >= 85 @ 18.2399
19.12/19.24 c #Conflicts: 66000 | #Constraints: 11241
19.12/19.24 c INPROCESSING
19.12/19.24 c GARBAGE COLLECT
19.12/19.24 c rational objective 85
20.22/20.38 c #Conflicts: 67000 | #Constraints: 7012
20.22/20.38 c #Conflicts: 68000 | #Constraints: 8012
20.22/20.38 c #Conflicts: 69000 | #Constraints: 9012
20.22/20.38 c #Conflicts: 70000 | #Constraints: 10012
20.22/20.38 c bounds 122 >= 95 @ 19.7899
20.81/20.95 c #Conflicts: 71000 | #Constraints: 11017
20.81/20.95 c #Conflicts: 72000 | #Constraints: 12017
20.81/20.95 c INPROCESSING
20.81/20.95 c GARBAGE COLLECT
20.81/20.95 c rational objective 95
22.71/22.87 c #Conflicts: 73000 | #Constraints: 7613
22.71/22.87 c #Conflicts: 74000 | #Constraints: 8613
22.71/22.87 c #Conflicts: 75000 | #Constraints: 9613
22.71/22.87 c #Conflicts: 76000 | #Constraints: 10613
22.71/22.87 c #Conflicts: 77000 | #Constraints: 11613
22.71/22.87 c #Conflicts: 78000 | #Constraints: 12614
22.71/22.87 c INPROCESSING
22.71/22.87 c GARBAGE COLLECT
22.71/22.87 c rational objective 95
24.91/25.08 c #Conflicts: 79000 | #Constraints: 7915
24.91/25.08 c #Conflicts: 80000 | #Constraints: 8916
24.91/25.08 c #Conflicts: 81000 | #Constraints: 9916
24.91/25.08 c #Conflicts: 82000 | #Constraints: 10917
24.91/25.08 c #Conflicts: 83000 | #Constraints: 11917
24.91/25.08 c #Conflicts: 84000 | #Constraints: 12918
24.91/25.08 c INPROCESSING
24.91/25.08 c GARBAGE COLLECT
24.91/25.08 c rational objective 95
27.39/27.59 c #Conflicts: 85000 | #Constraints: 8181
27.39/27.59 c #Conflicts: 86000 | #Constraints: 9183
27.39/27.59 c #Conflicts: 87000 | #Constraints: 10183
27.39/27.59 c #Conflicts: 88000 | #Constraints: 11183
27.39/27.59 c #Conflicts: 89000 | #Constraints: 12183
27.39/27.59 c #Conflicts: 90000 | #Constraints: 13183
27.39/27.59 c INPROCESSING
27.39/27.59 c GARBAGE COLLECT
27.39/27.59 c rational objective 95
27.91/28.03 c #Conflicts: 91000 | #Constraints: 8172
27.91/28.03 c bounds 122 >= 105 @ 27.2525
28.10/28.24 c #Conflicts: 92000 | #Constraints: 9199
28.10/28.24 c bounds 122 >= 115 @ 27.4568
28.20/28.31 c bounds 122 >= 122 @ 27.5203
28.20/28.31 c cpu time 27.5203 s
28.20/28.31 c deterministic time 2296412768 2.30e+09
28.20/28.31 c optimization time 0.003383 s
28.20/28.31 c total solve time 27.5137 s
28.20/28.31 c core-guided solve time 13.0065 s
28.20/28.31 c propagation time 15.7481 s
28.20/28.31 c conflict analysis time 9.28557 s
28.20/28.31 c propagations 11507245
28.20/28.31 c resolve steps 927103
28.20/28.31 c decisions 463696
28.20/28.31 c conflicts 92460
28.20/28.31 c restarts 254
28.20/28.31 c inprocessing phases 22
28.20/28.31 c garbage collections 22 ,( 100.00 )
28.20/28.31 c input clauses 1356 ,( 93.65 )
28.20/28.31 c input cardinalities 42 ,( 2.90 )
28.20/28.31 c input general constraints 50 ,( 3.45 )
28.20/28.31 c input average constraint length 23.14
28.20/28.31 c input average constraint degree 405.34
28.20/28.31 c learned clauses 52935 ,( 57.16 )
28.20/28.31 c learned cardinalities 268 ,( 0.29 )
28.20/28.31 c learned general constraints 39401 ,( 42.55 )
28.20/28.31 c learned average constraint length 126.61
28.20/28.31 c learned average constraint degree 635903866.41
28.20/28.31 c watched CF 32, 64, 128, Arb: 2625 , 0 , 0 , 0
28.20/28.31 c counting CF 32, 64, 128, Arb: 36827 , 0 , 0 , 0
28.20/28.31 c watched constraints 2625 ,( 6.65 )
28.20/28.31 c counting constraints 36826 ,( 93.35 )
28.20/28.31 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 16005733 , 1295903 , 61361664 ,( 1839083 , 59522581 )
28.20/28.31 c gcd simplifications 2623
28.20/28.31 c detected cardinalities 53
28.20/28.31 c weakened non-implied lits 20190185
28.20/28.31 c weakened non-implying lits 5962
28.20/28.31 c original variables 828
28.20/28.31 c clausal propagations 1836028
28.20/28.31 c cardinality propagations 866712
28.20/28.31 c watched propagations 6326
28.20/28.31 c counting propagations 8234909
28.20/28.31 c watch lookups 682706227
28.20/28.31 c watch backjump lookups 0
28.20/28.31 c watch checks 133235607
28.20/28.31 c propagation checks 1377880026
28.20/28.31 c constraint additions 78464024
28.20/28.31 c trail pops 12062917
28.20/28.31 c formula constraints 1298
28.20/28.31 c learned constraints 92347
28.20/28.31 c bound constraints 119
28.20/28.31 c core-guided constraints 31
28.20/28.31 c encountered formula constraints 304924
28.20/28.31 c encountered learned constraints 660718
28.20/28.31 c encountered bound constraints 5027
28.20/28.31 c encountered core-guided constraints 25863
28.20/28.31 c LP total time 4.60959 s
28.20/28.31 c LP solve time 3.66 s
28.20/28.31 c LP constraints added 1623
28.20/28.31 c LP constraints removed 301
28.20/28.31 c LP pivots internal 92496
28.20/28.31 c LP pivots root 529
28.20/28.31 c LP calls 1878
28.20/28.31 c LP optimalities 1766
28.20/28.31 c LP no pivot count 326
28.20/28.31 c LP infeasibilities 112
28.20/28.31 c LP valid Farkas constraints 112
28.20/28.31 c LP learned Farkas constraints 112
28.20/28.31 c LP basis resets 0
28.20/28.31 c LP cycling count 0
28.20/28.31 c LP singular count 0
28.20/28.31 c LP no primal count 0
28.20/28.31 c LP no farkas count 0
28.20/28.31 c LP other issue count 0
28.20/28.31 c LP Gomory cuts 33
28.20/28.31 c LP learned cuts 292
28.20/28.31 c LP deleted cuts 301
28.20/28.31 c LP encountered Gomory constraints 106
28.20/28.31 c LP encountered Farkas constraints 22100
28.20/28.31 c LP encountered learned Farkas constraints 713
28.20/28.31 c CG auxiliary variables introduced 12
28.20/28.31 c CG solutions found 32
28.20/28.31 c CG cores constructed 8
28.20/28.31 c CG core cardinality constraints returned 0
28.20/28.31 c CG unit cores 0
28.20/28.31 c CG single cores 8
28.20/28.31 c CG blocks removed during cardinality reduction 0
28.20/28.31 c CG first core best 0
28.20/28.31 c CG decision core best 0
28.20/28.31 c CG core reduction tie 0
28.20/28.31 c CG core degree average 1.00
28.20/28.31 c CG core slack average 98.50
28.20/28.31 c CG core upper bound improvements 1
28.20/28.31 c STR number of successful calls 0
28.20/28.31 c STR number of unsuccessful calls 0
28.20/28.31 c STR number of inconclusive calls 0
28.20/28.31 c STR number of successful attempts 0
28.20/28.31 c STR number of unsuccessful attempts 0
28.20/28.31 c STR number of inconclusive attempts 0
28.20/28.31 c STR average degree increase per successful call inf
28.20/28.31 c STR average degree increase per successful attempt inf
28.20/28.31 c STR total number of conflicts for successful attempts 0
28.20/28.31 c STR total number of conflicts for unsuccessful attempts 0
28.20/28.31 c STR total number of conflicts for inconclusive attempts 0
28.20/28.31 c STR average number of conflicts per successful attempt inf
28.20/28.31 c STR average number of conflicts per unsuccessful attempt inf
28.20/28.31 c STR average number of conflicts per inconclusive attempt inf
28.20/28.31 c AVG.sumWPerc 83.79
28.20/28.31 c bigint constraints 0
28.20/28.31 o 122
28.20/28.31 s OPTIMUM FOUND
28.20/28.31 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
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: 63708 MiB (61459 MiB free)
memory of node 1: 64465 MiB (60915 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502604-1751418449/watcher-4502604-1751418449 -o /tmp/evaluation-result-4502604-1751418449/solver-4502604-1751418449 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751414736-67086 --watchdog 3760 run-opt-break.sh HOME/instance-4502604-1751418449.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=69320, runsolver pid=69317
[startup+0.100057 s]*
/proc/loadavg: 4.15 4.10 4.06 5/270 69323
/proc/meminfo: memFree=125306912/131249992 swapFree=33010684/33010684
[pid=69320] ppid=69317 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69320/stat : 69320 (run-opt-break.s) S 69317 69320 67073 0 -1 4194304 238 707 0 0 0 0 0 0 20 0 1 0 57523646 4292608 736 18446744073709551615 94487358242816 94487359137349 140722083109776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487359376400 94487359424144 94487376990208 140722083117409 140722083117538 140722083117538 140722083123140 0
/proc/69320/statm: 1048 736 672 219 0 110 0
[pid=69323] ppid=69320 vsize=59176 memory=15600 CPUtime=0.07 cores=0,2
/proc/69323/stat : 69323 (roundingsat) R 69320 69320 67073 0 -1 4194304 1510 0 0 0 6 1 0 0 20 0 1 0 57523648 60596224 3900 18446744073709551615 4227072 8923433 140734097131600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20791296 140734097140068 140734097140264 140734097140264 140734097145834 0
/proc/69323/statm: 14794 3900 2368 1147 0 2221 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 63368 KiB
Current children cumulated memory: 18544 KiB
[startup+0.205412 s]*
/proc/loadavg: 4.15 4.10 4.06 5/270 69323
/proc/meminfo: memFree=125302816/131249992 swapFree=33010684/33010684
[pid=69320] ppid=69317 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69320/stat : 69320 (run-opt-break.s) S 69317 69320 67073 0 -1 4194304 238 707 0 0 0 0 0 0 20 0 1 0 57523646 4292608 736 18446744073709551615 94487358242816 94487359137349 140722083109776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487359376400 94487359424144 94487376990208 140722083117409 140722083117538 140722083117538 140722083123140 0
/proc/69320/statm: 1048 736 672 219 0 110 0
[pid=69323] ppid=69320 vsize=60564 memory=17008 CPUtime=0.18 cores=0,2
/proc/69323/stat : 69323 (roundingsat) R 69320 69320 67073 0 -1 4194304 1847 0 0 0 16 2 0 0 20 0 1 0 57523648 62017536 4252 18446744073709551615 4227072 8923433 140734097131600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20791296 140734097140068 140734097140264 140734097140264 140734097145834 0
/proc/69323/statm: 15141 4252 2368 1147 0 2568 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 64756 KiB
Current children cumulated memory: 19952 KiB
[startup+0.305421 s]*
/proc/loadavg: 4.15 4.10 4.06 5/270 69323
/proc/meminfo: memFree=125302816/131249992 swapFree=33010684/33010684
[pid=69320] ppid=69317 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69320/stat : 69320 (run-opt-break.s) S 69317 69320 67073 0 -1 4194304 238 707 0 0 0 0 0 0 20 0 1 0 57523646 4292608 736 18446744073709551615 94487358242816 94487359137349 140722083109776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487359376400 94487359424144 94487376990208 140722083117409 140722083117538 140722083117538 140722083123140 0
/proc/69320/statm: 1048 736 672 219 0 110 0
[pid=69323] ppid=69320 vsize=61708 memory=18160 CPUtime=0.27 cores=0,2
/proc/69323/stat : 69323 (roundingsat) R 69320 69320 67073 0 -1 4194304 2131 0 0 0 25 2 0 0 20 0 1 0 57523648 63188992 4540 18446744073709551615 4227072 8923433 140734097131600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20791296 140734097140068 140734097140264 140734097140264 140734097145834 0
/proc/69323/statm: 15427 4540 2368 1147 0 2854 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 65900 KiB
Current children cumulated memory: 21104 KiB
[startup+0.700173 s]
/proc/loadavg: 4.15 4.10 4.06 5/270 69323
/proc/meminfo: memFree=125302876/131249992 swapFree=33010684/33010684
[pid=69320] ppid=69317 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69320/stat : 69320 (run-opt-break.s) S 69317 69320 67073 0 -1 4194304 238 707 0 0 0 0 0 0 20 0 1 0 57523646 4292608 736 18446744073709551615 94487358242816 94487359137349 140722083109776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487359376400 94487359424144 94487376990208 140722083117409 140722083117538 140722083117538 140722083123140 0
/proc/69320/statm: 1048 736 672 219 0 110 0
[pid=69323] ppid=69320 vsize=66440 memory=22640 CPUtime=0.66 cores=0,2
/proc/69323/stat : 69323 (roundingsat) R 69320 69320 67073 0 -1 4194304 3274 0 0 0 63 3 0 0 20 0 1 0 57523648 68034560 5660 18446744073709551615 4227072 8923433 140734097131600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20791296 140734097140068 140734097140264 140734097140264 140734097145834 0
/proc/69323/statm: 16610 5660 2368 1147 0 4037 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 70632 KiB
Current children cumulated memory: 25584 KiB
[startup+1.50017 s]
/proc/loadavg: 4.15 4.10 4.06 5/270 69323
/proc/meminfo: memFree=125295000/131249992 swapFree=33010684/33010684
[pid=69320] ppid=69317 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69320/stat : 69320 (run-opt-break.s) S 69317 69320 67073 0 -1 4194304 238 707 0 0 0 0 0 0 20 0 1 0 57523646 4292608 736 18446744073709551615 94487358242816 94487359137349 140722083109776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487359376400 94487359424144 94487376990208 140722083117409 140722083117538 140722083117538 140722083123140 0
/proc/69320/statm: 1048 736 672 219 0 110 0
[pid=69323] ppid=69320 vsize=74460 memory=29848 CPUtime=1.46 cores=0,2
/proc/69323/stat : 69323 (roundingsat) R 69320 69320 67073 0 -1 4194304 4545 0 0 0 140 6 0 0 20 0 1 0 57523648 76247040 7462 18446744073709551615 4227072 8923433 140734097131600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20791296 140734097140068 140734097140264 140734097140264 140734097145834 0
/proc/69323/statm: 18615 7462 2368 1147 0 6042 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 78652 KiB
Current children cumulated memory: 32792 KiB
[startup+3.10514 s]
/proc/loadavg: 4.15 4.10 4.06 5/270 69370
/proc/meminfo: memFree=125298816/131249992 swapFree=33010684/33010684
[pid=69320] ppid=69317 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69320/stat : 69320 (run-opt-break.s) S 69317 69320 67073 0 -1 4194304 238 707 0 0 0 0 0 0 20 0 1 0 57523646 4292608 736 18446744073709551615 94487358242816 94487359137349 140722083109776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487359376400 94487359424144 94487376990208 140722083117409 140722083117538 140722083117538 140722083123140 0
/proc/69320/statm: 1048 736 672 219 0 110 0
[pid=69323] ppid=69320 vsize=81160 memory=36760 CPUtime=3.07 cores=0,2
/proc/69323/stat : 69323 (roundingsat) R 69320 69320 67073 0 -1 4194304 6271 0 0 0 296 11 0 0 20 0 1 0 57523648 83107840 9190 18446744073709551615 4227072 8923433 140734097131600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20791296 140734097140068 140734097140264 140734097140264 140734097145834 0
/proc/69323/statm: 20290 9190 2368 1147 0 7717 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 85352 KiB
Current children cumulated memory: 39704 KiB
[startup+6.30013 s]
/proc/loadavg: 4.14 4.10 4.06 4/264 69406
/proc/meminfo: memFree=125315024/131249992 swapFree=33010684/33010684
[pid=69320] ppid=69317 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69320/stat : 69320 (run-opt-break.s) S 69317 69320 67073 0 -1 4194304 238 707 0 0 0 0 0 0 20 0 1 0 57523646 4292608 736 18446744073709551615 94487358242816 94487359137349 140722083109776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487359376400 94487359424144 94487376990208 140722083117409 140722083117538 140722083117538 140722083123140 0
/proc/69320/statm: 1048 736 672 219 0 110 0
[pid=69323] ppid=69320 vsize=82572 memory=38552 CPUtime=6.25 cores=0,2
/proc/69323/stat : 69323 (roundingsat) R 69320 69320 67073 0 -1 4194304 6723 0 0 0 607 18 0 0 20 0 1 0 57523648 84553728 9638 18446744073709551615 4227072 8923433 140734097131600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20791296 140734097140068 140734097140264 140734097140264 140734097145834 0
/proc/69323/statm: 20643 9638 2368 1147 0 8070 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 86764 KiB
Current children cumulated memory: 41496 KiB
[startup+12.7001 s]
/proc/loadavg: 4.04 4.08 4.06 4/264 69406
/proc/meminfo: memFree=125307724/131249992 swapFree=33010684/33010684
[pid=69320] ppid=69317 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69320/stat : 69320 (run-opt-break.s) S 69317 69320 67073 0 -1 4194304 238 707 0 0 0 0 0 0 20 0 1 0 57523646 4292608 736 18446744073709551615 94487358242816 94487359137349 140722083109776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487359376400 94487359424144 94487376990208 140722083117409 140722083117538 140722083117538 140722083123140 0
/proc/69320/statm: 1048 736 672 219 0 110 0
[pid=69323] ppid=69320 vsize=94348 memory=47400 CPUtime=12.64 cores=0,2
/proc/69323/stat : 69323 (roundingsat) R 69320 69320 67073 0 -1 4194304 8421 0 0 0 1230 34 0 0 20 0 1 0 57523648 96612352 11850 18446744073709551615 4227072 8923433 140734097131600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20791296 140734097140068 140734097140264 140734097140264 140734097145834 0
/proc/69323/statm: 23587 11850 2368 1147 0 11014 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 98540 KiB
Current children cumulated memory: 50344 KiB
[startup+25.5001 s]
/proc/loadavg: 3.81 4.03 4.04 4/264 69406
/proc/meminfo: memFree=125231932/131249992 swapFree=33010684/33010684
[pid=69320] ppid=69317 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69320/stat : 69320 (run-opt-break.s) S 69317 69320 67073 0 -1 4194304 238 707 0 0 0 0 0 0 20 0 1 0 57523646 4292608 736 18446744073709551615 94487358242816 94487359137349 140722083109776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487359376400 94487359424144 94487376990208 140722083117409 140722083117538 140722083117538 140722083123140 0
/proc/69320/statm: 1048 736 672 219 0 110 0
[pid=69323] ppid=69320 vsize=101396 memory=55464 CPUtime=25.4 cores=0,2
/proc/69323/stat : 69323 (roundingsat) R 69320 69320 67073 0 -1 4194304 10461 0 0 0 2476 64 0 0 20 0 1 0 57523648 103829504 13866 18446744073709551615 4227072 8923433 140734097131600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20791296 140734097140068 140734097140264 140734097140264 140734097145834 0
/proc/69323/statm: 25349 13866 2368 1147 0 12776 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 105588 KiB
Current children cumulated memory: 58408 KiB
[startup+28.3143 s]
# the end of solver process 69320 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=27.5253 s, system=0.702056 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 3.81 4.03 4.04 4/264 69406
/proc/meminfo: memFree=125231932/131249992 swapFree=33010684/33010684
[pid=69320] ppid=69317 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69320/stat : 69320 (run-opt-break.s) S 69317 69320 67073 0 -1 4194304 238 707 0 0 0 0 0 0 20 0 1 0 57523646 4292608 736 18446744073709551615 94487358242816 94487359137349 140722083109776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487359376400 94487359424144 94487376990208 140722083117409 140722083117538 140722083117538 140722083123140 0
/proc/69320/statm: 1048 736 672 219 0 110 0
[pid=69323] ppid=69320 vsize=101396 memory=55464 CPUtime=25.51 cores=0,2
/proc/69323/stat : 69323 (roundingsat) R 69320 69320 67073 0 -1 4194304 10461 0 0 0 2486 65 0 0 20 0 1 0 57523648 103829504 13866 18446744073709551615 4227072 8923433 140734097131600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20791296 140734097140068 140734097140264 140734097140264 140734097145834 0
/proc/69323/statm: 25349 13866 2368 1147 0 12776 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 105588 KiB
Current children cumulated memory: 58408 KiB
[startup+27.2001 s]
/proc/loadavg: 3.81 4.03 4.04 4/264 69406
/proc/meminfo: memFree=125223992/131249992 swapFree=33010684/33010684
[pid=69320] ppid=69317 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69320/stat : 69320 (run-opt-break.s) S 69317 69320 67073 0 -1 4194304 238 707 0 0 0 0 0 0 20 0 1 0 57523646 4292608 736 18446744073709551615 94487358242816 94487359137349 140722083109776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487359376400 94487359424144 94487376990208 140722083117409 140722083117538 140722083117538 140722083123140 0
/proc/69320/statm: 1048 736 672 219 0 110 0
[pid=69323] ppid=69320 vsize=101396 memory=55464 CPUtime=27.1 cores=0,2
/proc/69323/stat : 69323 (roundingsat) R 69320 69320 67073 0 -1 4194304 10461 0 0 0 2643 67 0 0 20 0 1 0 57523648 103829504 13866 18446744073709551615 4227072 8923433 140734097131600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20791296 140734097140068 140734097140264 140734097140264 140734097145834 0
/proc/69323/statm: 25349 13866 2368 1147 0 12776 0
Current children cumulated CPU time: 27.1 s
Current children cumulated vsize: 105588 KiB
Current children cumulated memory: 58408 KiB
[startup+28.0001 s]*
/proc/loadavg: 3.81 4.03 4.04 4/264 69406
/proc/meminfo: memFree=125195448/131249992 swapFree=33010684/33010684
[pid=69320] ppid=69317 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69320/stat : 69320 (run-opt-break.s) S 69317 69320 67073 0 -1 4194304 238 707 0 0 0 0 0 0 20 0 1 0 57523646 4292608 736 18446744073709551615 94487358242816 94487359137349 140722083109776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487359376400 94487359424144 94487376990208 140722083117409 140722083117538 140722083117538 140722083123140 0
/proc/69320/statm: 1048 736 672 219 0 110 0
[pid=69323] ppid=69320 vsize=101396 memory=55464 CPUtime=27.91 cores=0,2
/proc/69323/stat : 69323 (roundingsat) R 69320 69320 67073 0 -1 4194304 10463 0 0 0 2722 69 0 0 20 0 1 0 57523648 103829504 13866 18446744073709551615 4227072 8923433 140734097131600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20791296 140734097140068 140734097140264 140734097140264 140734097145834 0
/proc/69323/statm: 25349 13866 2368 1147 0 12776 0
Current children cumulated CPU time: 27.91 s
Current children cumulated vsize: 105588 KiB
Current children cumulated memory: 58408 KiB
[startup+28.2001 s]
/proc/loadavg: 3.81 4.03 4.04 4/264 69406
/proc/meminfo: memFree=125195448/131249992 swapFree=33010684/33010684
[pid=69320] ppid=69317 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69320/stat : 69320 (run-opt-break.s) S 69317 69320 67073 0 -1 4194304 238 707 0 0 0 0 0 0 20 0 1 0 57523646 4292608 736 18446744073709551615 94487358242816 94487359137349 140722083109776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487359376400 94487359424144 94487376990208 140722083117409 140722083117538 140722083117538 140722083123140 0
/proc/69320/statm: 1048 736 672 219 0 110 0
[pid=69323] ppid=69320 vsize=101396 memory=55464 CPUtime=28.1 cores=0,2
/proc/69323/stat : 69323 (roundingsat) R 69320 69320 67073 0 -1 4194304 10463 0 0 0 2741 69 0 0 20 0 1 0 57523648 103829504 13866 18446744073709551615 4227072 8923433 140734097131600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20791296 140734097140068 140734097140264 140734097140264 140734097145834 0
/proc/69323/statm: 25349 13866 2368 1147 0 12776 0
Current children cumulated CPU time: 28.1 s
Current children cumulated vsize: 105588 KiB
Current children cumulated memory: 58408 KiB
[startup+28.3001 s]
/proc/loadavg: 3.81 4.03 4.04 4/264 69406
/proc/meminfo: memFree=125195448/131249992 swapFree=33010684/33010684
[pid=69320] ppid=69317 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69320/stat : 69320 (run-opt-break.s) S 69317 69320 67073 0 -1 4194304 238 707 0 0 0 0 0 0 20 0 1 0 57523646 4292608 736 18446744073709551615 94487358242816 94487359137349 140722083109776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487359376400 94487359424144 94487376990208 140722083117409 140722083117538 140722083117538 140722083123140 0
/proc/69320/statm: 1048 736 672 219 0 110 0
[pid=69323] ppid=69320 vsize=101396 memory=55464 CPUtime=28.2 cores=0,2
/proc/69323/stat : 69323 (roundingsat) R 69320 69320 67073 0 -1 4194304 10463 0 0 0 2751 69 0 0 20 0 1 0 57523648 103829504 13866 18446744073709551615 4227072 8923433 140734097131600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20791296 140734097140068 140734097140264 140734097140264 140734097145834 0
/proc/69323/statm: 25349 13866 2368 1147 0 12776 0
Current children cumulated CPU time: 28.2 s
Current children cumulated vsize: 105588 KiB
Current children cumulated memory: 58408 KiB
Child status: 0
Real time (s): 28.3143
CPU time (s): 28.2274
CPU user time (s): 27.5253
CPU system time (s): 0.702056
CPU usage (%): 99.6929
Max. virtual memory (cumulated for all children) (KiB): 105588
Max. memory (cumulated for all children) (KiB): 58408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.5253
system time used= 0.702056
maximum resident set size= 55464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11433
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 41
# summary of solver processes directly reported to runsolver:
# pid: 69320
# total CPU time (s): 28.2274
# total CPU user time (s): 27.5253
# total CPU system time (s): 0.702056
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.066008 second user time and 0.13982 second system time
The end
Begin job on nodeC025 at 2025-07-02 03:07:29
IDJOB=4502604
IDBENCH=155354
IDSOLVER=3359
FILE ID=nodeC025/4502604-1751418449
RUNJOBID= nodeC025-1751414736-67086
SLURM_JOB_ID= 9598325
Free space on /tmp= 433024 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-538867.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502604-1751418449/watcher-4502604-1751418449 -o /tmp/evaluation-result-4502604-1751418449/solver-4502604-1751418449 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751414736-67086 --watchdog 3760 run-opt-break.sh HOME/instance-4502604-1751418449.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fe13d2dbd64f41a692445fbdcafba3bd
RANDOM SEED=1368501982
nodeC025 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 : 0xb00002a
cpu MHz : 3601.652
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
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 : 0xb00002a
cpu MHz : 3599.790
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
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 : 0xb00002a
cpu MHz : 3599.830
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
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 : 0xb00002a
cpu MHz : 3600.228
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
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 : 0xb00002a
cpu MHz : 3599.849
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
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 : 0xb00002a
cpu MHz : 3599.978
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
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 : 0xb00002a
cpu MHz : 3599.817
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
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 : 0xb00002a
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 125320828 kB
MemAvailable: 128156476 kB
Buffers: 3280 kB
Cached: 3632984 kB
SwapCached: 0 kB
Active: 2029856 kB
Inactive: 3292536 kB
Active(anon): 1704216 kB
Inactive(anon): 0 kB
Active(file): 325640 kB
Inactive(file): 3292536 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14676 kB
Writeback: 0 kB
AnonPages: 1689612 kB
Mapped: 116784 kB
Shmem: 18084 kB
KReclaimable: 113424 kB
Slab: 202840 kB
SReclaimable: 113424 kB
SUnreclaim: 89416 kB
KernelStack: 4304 kB
PageTables: 6516 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2106492 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 256000 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433016 MiB
End job on nodeC025 at 2025-07-02 03:07:57