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-4493520-1751155909.opb'
0.00/0.01 c read 0.04MB (0.61ms)
0.00/0.01 c [cnf: #variables 370 #clauses 809 #duplicates 0 #arr 4357]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 0] (0.61ms)
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.08ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 2577 #edges 11510]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 1.00*10^0 #generators 0] (0.18ms)
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 generation finished
0.00/0.01 c [sbp: #constraints 0 #add_vars 0]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4493520-1751155909.opb.pre'
0.00/0.01 c wrote 0.04MB (0.14ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 0.61ms 35.32% approx_orbits
0.00/0.01 c 0.61ms 35.20% parse
0.00/0.01 c 0.18ms 10.35% detect_generic
0.00/0.01 c 0.14ms 8.34% output
0.00/0.01 c 0.10ms 5.70% other
0.00/0.01 c 0.08ms 4.42% detect_special
0.00/0.01 c 0.01ms 0.67% finalize_order
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 1.73ms 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.02 c #variables 370 #constraints 809
0.00/0.06 c rational objective 51.4242
0.67/0.76 c #Conflicts: 1000 | #Constraints: 1810
0.67/0.76 c #Conflicts: 2000 | #Constraints: 2811
0.67/0.76 c INPROCESSING
0.67/0.76 c GARBAGE COLLECT
0.67/0.76 c #Conflicts: 3000 | #Constraints: 2787
0.67/0.76 c #Conflicts: 4000 | #Constraints: 3787
0.67/0.76 c INPROCESSING
0.67/0.76 c GARBAGE COLLECT
0.67/0.76 c #Conflicts: 5000 | #Constraints: 3189
0.67/0.76 WSVECS04 Frhs2[22]: 6 0 468.739 shouldn't be
0.67/0.76 WSVECS04 Frhs2[141]: 6 0 395.692 shouldn't be
0.67/0.76 WSVECS04 Frhs2[198]: 6 0 134.994 shouldn't be
0.67/0.76 WSVECS04 Frhs2[226]: 6 0 272.885 shouldn't be
0.67/0.76 WSVECS04 Frhs2[256]: 6 0 652.55 shouldn't be
0.67/0.76 WSVECS04 Frhs2[288]: 6 -23.5849 0 shouldn't be
0.67/0.76 WSVECS04 Frhs2[290]: 6 0 1167.48 shouldn't be
0.67/0.76 WSVECS04 Frhs2[293]: 6 0 331.142 shouldn't be
0.67/0.76 WSVECS04 Frhs2[303]: 6 0 738.669 shouldn't be
0.67/0.76 WSVECS04 Frhs2[331]: 6 0 237.456 shouldn't be
0.67/0.76 WSVECS04 Frhs2[345]: 6 0 1384.29 shouldn't be
0.67/0.76 WSVECS04 Frhs2[355]: 6 -753.403 0 shouldn't be
0.67/0.76 WSVECS04 Frhs2[368]: 6 0 214.997 shouldn't be
1.27/1.33 c #Conflicts: 6000 | #Constraints: 4189
1.27/1.33 c INPROCESSING
1.27/1.33 c GARBAGE COLLECT
1.27/1.33 c #Conflicts: 7000 | #Constraints: 3193
1.27/1.33 c #Conflicts: 8000 | #Constraints: 4193
1.27/1.33 c #Conflicts: 9000 | #Constraints: 5193
1.27/1.33 c INPROCESSING
1.27/1.33 c GARBAGE COLLECT
1.27/1.33 WSVECS04 Frhs2[5]: 6 0 2.32895 shouldn't be
1.27/1.33 WSVECS04 Frhs2[8]: 6 -3.49589 0 shouldn't be
1.27/1.33 WSVECS04 Frhs2[29]: 6 0 1.49872 shouldn't be
1.27/1.33 WSVECS04 Frhs2[39]: 6 0 1.49872 shouldn't be
1.27/1.33 WSVECS04 Frhs2[44]: 6 0 0.388595 shouldn't be
1.27/1.33 WSVECS04 Frhs2[48]: 6 0 0.194096 shouldn't be
1.27/1.33 WSVECS04 Frhs2[69]: 6 0 1.49872 shouldn't be
1.27/1.33 WSVECS04 Frhs2[155]: 6 0 0.654347 shouldn't be
1.27/1.33 WSVECS04 Frhs2[160]: 6 -4.30719 0 shouldn't be
1.27/1.33 WSVECS04 Frhs2[197]: 6 0 0.804344 shouldn't be
1.27/1.33 WSVECS04 Frhs2[203]: 6 0 1.49872 shouldn't be
1.27/1.33 WSVECS04 Frhs2[208]: 6 0 0.694373 shouldn't be
1.27/1.33 WSVECS04 Frhs2[249]: 6 -3.33035 0 shouldn't be
1.27/1.33 WSVECS04 Frhs2[258]: 6 0 0.108823 shouldn't be
1.27/1.33 WSVECS04 Frhs2[261]: 6 0 0.815491 shouldn't be
1.27/1.33 WSVECS04 Frhs2[273]: 6 0 7.99084 shouldn't be
1.27/1.33 WSVECS04 Frhs2[277]: 6 -8.74202 0 shouldn't be
1.27/1.33 WSVECS04 Frhs2[296]: 6 -0.605255 0 shouldn't be
1.27/1.33 WSVECS04 Frhs2[297]: 6 -1.16781 0 shouldn't be
1.27/1.33 WSVECS04 Frhs2[318]: 6 -1 0 shouldn't be
1.27/1.33 WSVECS04 Frhs2[336]: 6 -0.000642222 0 shouldn't be
1.27/1.37 WSVECS04 Frhs2[12]: 6 0 0.694374 shouldn't be
1.27/1.37 WSVECS04 Frhs2[75]: 6 0 1.49872 shouldn't be
1.27/1.37 WSVECS04 Frhs2[138]: 6 0 0.694374 shouldn't be
1.27/1.37 WSVECS04 Frhs2[193]: 6 0 1.49872 shouldn't be
1.27/1.37 WSVECS04 Frhs2[212]: 6 0 0.694374 shouldn't be
1.27/1.37 WSVECS04 Frhs2[291]: 6 0 0.876211 shouldn't be
1.27/1.37 WSVECS04 Frhs2[312]: 6 0 0.12411 shouldn't be
1.27/1.37 WSVECS04 Frhs2[362]: 6 -2.41099 0 shouldn't be
5.36/5.42 c #Conflicts: 10000 | #Constraints: 3892
5.36/5.42 c #Conflicts: 11000 | #Constraints: 4892
5.36/5.42 c #Conflicts: 12000 | #Constraints: 5892
5.36/5.42 c INPROCESSING
5.36/5.42 c GARBAGE COLLECT
5.36/5.42 c #Conflicts: 13000 | #Constraints: 4341
5.36/5.42 c #Conflicts: 14000 | #Constraints: 5341
5.36/5.42 c #Conflicts: 15000 | #Constraints: 6341
5.36/5.42 c INPROCESSING
5.36/5.42 c GARBAGE COLLECT
5.36/5.42 c #Conflicts: 16000 | #Constraints: 4575
5.36/5.42 c #Conflicts: 17000 | #Constraints: 5575
5.36/5.42 c #Conflicts: 18000 | #Constraints: 6576
5.36/5.42 c INPROCESSING
5.36/5.42 c GARBAGE COLLECT
5.36/5.42 c #Conflicts: 19000 | #Constraints: 4585
5.36/5.42 c #Conflicts: 20000 | #Constraints: 5587
5.36/5.42 c #Conflicts: 21000 | #Constraints: 6589
5.36/5.42 c INPROCESSING
5.36/5.42 c GARBAGE COLLECT
5.36/5.42 c #Conflicts: 22000 | #Constraints: 4386
5.36/5.42 c #Conflicts: 23000 | #Constraints: 5387
5.36/5.42 c #Conflicts: 24000 | #Constraints: 6390
5.36/5.42 c #Conflicts: 25000 | #Constraints: 7392
5.36/5.42 c INPROCESSING
5.36/5.42 c GARBAGE COLLECT
5.36/5.42 c #Conflicts: 26000 | #Constraints: 4993
5.36/5.42 c #Conflicts: 27000 | #Constraints: 5994
5.36/5.42 c #Conflicts: 28000 | #Constraints: 6997
5.36/5.42 c #Conflicts: 29000 | #Constraints: 7998
5.36/5.42 c INPROCESSING
5.36/5.42 c GARBAGE COLLECT
5.36/5.42 c #Conflicts: 30000 | #Constraints: 5400
5.36/5.42 c #Conflicts: 31000 | #Constraints: 6403
5.36/5.42 c #Conflicts: 32000 | #Constraints: 7404
5.36/5.42 c #Conflicts: 33000 | #Constraints: 8404
5.36/5.42 c INPROCESSING
5.36/5.42 c GARBAGE COLLECT
5.36/5.42 c rational objective 51.4336
10.05/10.11 c #Conflicts: 34000 | #Constraints: 5597
10.05/10.11 c #Conflicts: 35000 | #Constraints: 6597
10.05/10.11 c #Conflicts: 36000 | #Constraints: 7597
10.05/10.11 c #Conflicts: 37000 | #Constraints: 8597
10.05/10.11 c INPROCESSING
10.05/10.11 c GARBAGE COLLECT
10.05/10.11 c #Conflicts: 38000 | #Constraints: 5600
10.05/10.11 c #Conflicts: 39000 | #Constraints: 6600
10.05/10.11 c #Conflicts: 40000 | #Constraints: 7600
10.05/10.11 c #Conflicts: 41000 | #Constraints: 8600
10.05/10.11 c INPROCESSING
10.05/10.11 c GARBAGE COLLECT
10.05/10.11 c #Conflicts: 42000 | #Constraints: 5404
10.05/10.11 c #Conflicts: 43000 | #Constraints: 6405
10.05/10.11 c #Conflicts: 44000 | #Constraints: 7407
10.05/10.11 c #Conflicts: 45000 | #Constraints: 8409
10.05/10.11 c #Conflicts: 46000 | #Constraints: 9410
10.05/10.11 c INPROCESSING
10.05/10.11 c GARBAGE COLLECT
10.05/10.11 c #Conflicts: 47000 | #Constraints: 6002
10.05/10.11 c #Conflicts: 48000 | #Constraints: 7003
10.05/10.11 c #Conflicts: 49000 | #Constraints: 8005
10.05/10.11 c #Conflicts: 50000 | #Constraints: 9007
10.05/10.11 c #Conflicts: 51000 | #Constraints: 10009
10.05/10.11 c INPROCESSING
10.05/10.11 c GARBAGE COLLECT
10.05/10.11 c #Conflicts: 52000 | #Constraints: 6394
10.05/10.11 c #Conflicts: 53000 | #Constraints: 7398
10.05/10.11 c #Conflicts: 54000 | #Constraints: 8399
10.05/10.11 c #Conflicts: 55000 | #Constraints: 9400
10.05/10.11 c #Conflicts: 56000 | #Constraints: 10401
10.05/10.11 c INPROCESSING
10.05/10.11 c GARBAGE COLLECT
10.05/10.11 WSVECS04 Frhs2[3]: 6 0 4.02433 shouldn't be
10.05/10.11 WSVECS04 Frhs2[9]: 6 0 4.02438 shouldn't be
10.05/10.11 WSVECS04 Frhs2[13]: 6 0 4.02433 shouldn't be
10.05/10.11 WSVECS04 Frhs2[17]: 6 0 4.02438 shouldn't be
10.05/10.11 WSVECS04 Frhs2[30]: 6 0 11.8968 shouldn't be
10.05/10.11 WSVECS04 Frhs2[36]: 6 0 11.8968 shouldn't be
10.05/10.11 WSVECS04 Frhs2[49]: 6 0 5.99312 shouldn't be
10.05/10.11 WSVECS04 Frhs2[53]: 6 0 20.7846 shouldn't be
10.05/10.11 WSVECS04 Frhs2[56]: 6 0 11.8968 shouldn't be
10.05/10.11 WSVECS04 Frhs2[61]: 6 0 8.27392 shouldn't be
10.05/10.11 WSVECS04 Frhs2[62]: 6 0 15.1773 shouldn't be
10.05/10.11 WSVECS04 Frhs2[63]: 6 0 4.99348 shouldn't be
10.05/10.11 WSVECS04 Frhs2[71]: 6 0 135.668 shouldn't be
10.05/10.11 WSVECS04 Frhs2[80]: 6 0 11.8968 shouldn't be
10.05/10.11 WSVECS04 Frhs2[81]: 6 0 4.99342 shouldn't be
10.05/10.11 WSVECS04 Frhs2[82]: 6 0 11.8968 shouldn't be
10.05/10.11 WSVECS04 Frhs2[83]: 6 0 202.093 shouldn't be
10.05/10.11 WSVECS04 Frhs2[89]: 6 -23.3121 0 shouldn't be
10.05/10.11 WSVECS04 Frhs2[92]: 6 0 11.8968 shouldn't be
10.05/10.11 WSVECS04 Frhs2[93]: 6 0 121.28 shouldn't be
10.05/10.11 WSVECS04 Frhs2[97]: 6 0 20.0624 shouldn't be
10.05/10.11 WSVECS04 Frhs2[103]: 6 0 151.799 shouldn't be
10.05/10.11 WSVECS04 Frhs2[104]: 6 0 11.8968 shouldn't be
10.05/10.11 WSVECS04 Frhs2[107]: 6 0 23.998 shouldn't be
10.05/10.11 WSVECS04 Frhs2[108]: 6 0 11.8968 shouldn't be
10.05/10.11 WSVECS04 Frhs2[116]: 6 0 11.8968 shouldn't be
10.05/10.11 WSVECS04 Frhs2[117]: 6 0 62.3184 shouldn't be
10.05/10.11 WSVECS04 Frhs2[118]: 6 0 11.8968 shouldn't be
10.05/10.11 WSVECS04 Frhs2[119]: 6 0 175.21 shouldn't be
10.05/10.11 WSVECS04 Frhs2[123]: 6 0 13.0458 shouldn't be
10.05/10.11 WSVECS04 Frhs2[129]: 6 0 46.5273 shouldn't be
10.05/10.11 WSVECS04 Frhs2[131]: 6 0 40.5717 shouldn't be
10.05/10.11 WSVECS04 Frhs2[133]: 6 -205.654 0 shouldn't be
10.05/10.11 WSVECS04 Frhs2[136]: 6 0 11.8968 shouldn't be
10.05/10.11 WSVECS04 Frhs2[137]: 6 0 4.99348 shouldn't be
10.05/10.11 WSVECS04 Frhs2[147]: 6 0 4.99345 shouldn't be
10.05/10.11 WSVECS04 Frhs2[151]: 6 0 32.0598 shouldn't be
10.05/10.11 WSVECS04 Frhs2[153]: 6 0 30.2722 shouldn't be
10.05/10.11 WSVECS04 Frhs2[155]: 6 0 100.235 shouldn't be
10.05/10.11 WSVECS04 Frhs2[156]: 6 0 107.123 shouldn't be
10.05/10.11 WSVECS04 Frhs2[162]: 6 0 11.8968 shouldn't be
10.05/10.11 WSVECS04 Frhs2[166]: 6 0 11.8968 shouldn't be
10.05/10.11 WSVECS04 Frhs2[167]: 6 0 46.6194 shouldn't be
10.05/10.11 WSVECS04 Frhs2[172]: 6 -674.541 0 shouldn't be
10.05/10.11 WSVECS04 Frhs2[173]: 6 0 118.394 shouldn't be
10.05/10.11 WSVECS04 Frhs2[177]: 6 0 27.2952 shouldn't be
10.05/10.11 WSVECS04 Frhs2[178]: 6 0 34.1986 shouldn't be
10.05/10.11 WSVECS04 Frhs2[183]: 6 0 290.681 shouldn't be
10.05/10.11 WSVECS04 Frhs2[185]: 6 0 56.4639 shouldn't be
10.05/10.11 WSVECS04 Frhs2[187]: 6 0 4.99342 shouldn't be
10.05/10.11 WSVECS04 Frhs2[191]: 6 0 4.99348 shouldn't be
10.05/10.11 WSVECS04 Frhs2[193]: 6 0 10.9922 shouldn't be
10.05/10.11 WSVECS04 Frhs2[197]: 6 0 12.8409 shouldn't be
10.05/10.11 WSVECS04 Frhs2[199]: 6 0 126.587 shouldn't be
10.05/10.11 WSVECS04 Frhs2[200]: 6 0 21.9034 shouldn't be
10.05/10.11 WSVECS04 Frhs2[207]: 6 0 32.4212 shouldn't be
10.05/10.11 WSVECS04 Frhs2[209]: 6 0 29.6262 shouldn't be
10.05/10.11 WSVECS04 Frhs2[219]: 6 0 0.672521 shouldn't be
10.05/10.11 WSVECS04 Frhs2[221]: 6 0 245.7 shouldn't be
10.05/10.11 WSVECS04 Frhs2[223]: 6 0 2.01928 shouldn't be
10.05/10.11 WSVECS04 Frhs2[225]: 6 0 49.1705 shouldn't be
10.05/10.11 WSVECS04 Frhs2[234]: 6 0 6.88793 shouldn't be
10.05/10.11 WSVECS04 Frhs2[235]: 6 0 59.7573 shouldn't be
10.05/10.11 WSVECS04 Frhs2[237]: 6 0 8.23618 shouldn't be
10.05/10.11 WSVECS04 Frhs2[250]: 6 -52.3515 0 shouldn't be
10.05/10.11 WSVECS04 Frhs2[252]: 6 -158.929 0 shouldn't be
10.05/10.11 WSVECS04 Frhs2[258]: 6 0 150.352 shouldn't be
10.05/10.11 WSVECS04 Frhs2[261]: 6 -255.581 0 shouldn't be
10.05/10.11 WSVECS04 Frhs2[266]: 6 -172.654 0 shouldn't be
10.05/10.11 WSVECS04 Frhs2[269]: 6 -227.392 0 shouldn't be
10.05/10.11 WSVECS04 Frhs2[282]: 6 0 229.597 shouldn't be
10.05/10.11 WSVECS04 Frhs2[296]: 6 -116.284 0 shouldn't be
10.05/10.11 WSVECS04 Frhs2[322]: 6 -62.8514 0 shouldn't be
10.05/10.11 WSVECS04 Frhs2[324]: 6 -163.743 0 shouldn't be
10.05/10.11 WSVECS04 Frhs2[335]: 6 -222.68 0 shouldn't be
10.05/10.11 WSVECS04 Frhs2[344]: 6 0 116.233 shouldn't be
10.05/10.11 WSVECS04 Frhs2[369]: 6 -6.57376 0 shouldn't be
10.05/10.17 WSVECS04 Frhs2[248]: 6 -93.0959 0 shouldn't be
10.05/10.17 WSVECS04 Frhs2[297]: 6 -183.422 0 shouldn't be
10.05/10.17 WSVECS04 Frhs2[318]: 6 -132.811 0 shouldn't be
10.15/10.21 c rational objective 51.4362
16.34/16.47 c #Conflicts: 57000 | #Constraints: 6600
16.34/16.47 c #Conflicts: 58000 | #Constraints: 7601
16.34/16.47 c #Conflicts: 59000 | #Constraints: 8601
16.34/16.47 c #Conflicts: 60000 | #Constraints: 9602
16.34/16.47 c #Conflicts: 61000 | #Constraints: 10603
16.34/16.47 c INPROCESSING
16.34/16.47 c GARBAGE COLLECT
16.34/16.47 c #Conflicts: 62000 | #Constraints: 6601
16.34/16.47 c #Conflicts: 63000 | #Constraints: 7603
16.34/16.47 c #Conflicts: 64000 | #Constraints: 8608
16.34/16.47 c #Conflicts: 65000 | #Constraints: 9609
16.34/16.47 c #Conflicts: 66000 | #Constraints: 10611
16.34/16.47 c INPROCESSING
16.34/16.47 c GARBAGE COLLECT
16.34/16.47 c #Conflicts: 67000 | #Constraints: 6409
16.34/16.47 c #Conflicts: 68000 | #Constraints: 7409
16.34/16.47 c #Conflicts: 69000 | #Constraints: 8410
16.34/16.47 c #Conflicts: 70000 | #Constraints: 9410
16.34/16.47 c #Conflicts: 71000 | #Constraints: 10412
16.34/16.47 c #Conflicts: 72000 | #Constraints: 11413
16.34/16.47 c INPROCESSING
16.34/16.47 c GARBAGE COLLECT
16.34/16.47 c #Conflicts: 73000 | #Constraints: 7005
16.34/16.47 c #Conflicts: 74000 | #Constraints: 8007
16.34/16.47 c #Conflicts: 75000 | #Constraints: 9008
16.34/16.47 c #Conflicts: 76000 | #Constraints: 10009
16.34/16.47 c #Conflicts: 77000 | #Constraints: 11011
16.34/16.47 c #Conflicts: 78000 | #Constraints: 12013
16.34/16.47 c INPROCESSING
16.34/16.47 c GARBAGE COLLECT
16.34/16.47 c #Conflicts: 79000 | #Constraints: 7403
16.34/16.47 c #Conflicts: 80000 | #Constraints: 8403
16.34/16.47 c #Conflicts: 81000 | #Constraints: 9404
16.34/16.47 c #Conflicts: 82000 | #Constraints: 10407
16.34/16.47 c #Conflicts: 83000 | #Constraints: 11409
16.34/16.47 c #Conflicts: 84000 | #Constraints: 12413
16.34/16.47 c INPROCESSING
16.34/16.47 c GARBAGE COLLECT
16.34/16.47 c rational objective 51.4365
26.41/26.52 c #Conflicts: 85000 | #Constraints: 7609
26.41/26.52 c #Conflicts: 86000 | #Constraints: 8609
26.41/26.52 c #Conflicts: 87000 | #Constraints: 9610
26.41/26.52 c #Conflicts: 88000 | #Constraints: 10610
26.41/26.52 c #Conflicts: 89000 | #Constraints: 11611
26.41/26.52 c #Conflicts: 90000 | #Constraints: 12612
26.41/26.52 c INPROCESSING
26.41/26.52 c GARBAGE COLLECT
26.41/26.52 c #Conflicts: 91000 | #Constraints: 7606
26.41/26.52 c #Conflicts: 92000 | #Constraints: 8607
26.41/26.52 c #Conflicts: 93000 | #Constraints: 9610
26.41/26.52 c #Conflicts: 94000 | #Constraints: 10612
26.41/26.52 c #Conflicts: 95000 | #Constraints: 11618
26.41/26.52 c #Conflicts: 96000 | #Constraints: 12629
26.41/26.52 c INPROCESSING
26.41/26.52 c GARBAGE COLLECT
26.41/26.52 c #Conflicts: 97000 | #Constraints: 7421
26.41/26.52 c #Conflicts: 98000 | #Constraints: 8424
26.41/26.52 c #Conflicts: 99000 | #Constraints: 9427
26.41/26.52 c #Conflicts: 100000 | #Constraints: 10429
26.41/26.52 c #Conflicts: 101000 | #Constraints: 11433
26.41/26.52 c #Conflicts: 102000 | #Constraints: 12440
26.41/26.52 c #Conflicts: 103000 | #Constraints: 13449
26.41/26.52 c INPROCESSING
26.41/26.52 c GARBAGE COLLECT
26.41/26.52 c #Conflicts: 104000 | #Constraints: 8018
26.41/26.52 c #Conflicts: 105000 | #Constraints: 9020
26.41/26.52 c #Conflicts: 106000 | #Constraints: 10021
26.41/26.52 c #Conflicts: 107000 | #Constraints: 11023
26.41/26.52 c #Conflicts: 108000 | #Constraints: 12026
26.41/26.52 c #Conflicts: 109000 | #Constraints: 13029
26.41/26.52 c #Conflicts: 110000 | #Constraints: 14032
26.41/26.52 c INPROCESSING
26.41/26.52 c GARBAGE COLLECT
26.41/26.52 c #Conflicts: 111000 | #Constraints: 8416
26.41/26.52 c #Conflicts: 112000 | #Constraints: 9417
26.41/26.52 c #Conflicts: 113000 | #Constraints: 10418
26.41/26.52 c #Conflicts: 114000 | #Constraints: 11419
26.41/26.52 c #Conflicts: 115000 | #Constraints: 12421
26.41/26.52 c #Conflicts: 116000 | #Constraints: 13423
26.41/26.52 c #Conflicts: 117000 | #Constraints: 14424
26.41/26.52 c INPROCESSING
26.41/26.52 c GARBAGE COLLECT
26.41/26.52 c #Conflicts: 118000 | #Constraints: 8608
26.41/26.52 c #Conflicts: 119000 | #Constraints: 9609
26.41/26.52 c #Conflicts: 120000 | #Constraints: 10609
26.41/26.52 c #Conflicts: 121000 | #Constraints: 11609
26.41/26.52 c #Conflicts: 122000 | #Constraints: 12611
26.41/26.52 c #Conflicts: 123000 | #Constraints: 13613
26.41/26.52 c #Conflicts: 124000 | #Constraints: 14614
26.41/26.52 c INPROCESSING
26.41/26.52 c GARBAGE COLLECT
26.41/26.52 WSVECS04 Frhs2[10]: 6 0 9.69709 shouldn't be
26.41/26.52 WSVECS04 Frhs2[27]: 6 0 0.596553 shouldn't be
26.41/26.52 WSVECS04 Frhs2[36]: 6 0 95.6718 shouldn't be
26.41/26.52 WSVECS04 Frhs2[39]: 6 0 4.85113 shouldn't be
26.41/26.52 WSVECS04 Frhs2[43]: 6 0 9.39717 shouldn't be
26.41/26.52 WSVECS04 Frhs2[53]: 6 0 93.044 shouldn't be
26.41/26.52 WSVECS04 Frhs2[55]: 6 0 20.1071 shouldn't be
26.41/26.52 WSVECS04 Frhs2[61]: 6 0 46.9143 shouldn't be
26.41/26.52 WSVECS04 Frhs2[72]: 6 0 41.6941 shouldn't be
26.41/26.52 WSVECS04 Frhs2[75]: 6 0 47.757 shouldn't be
26.41/26.52 WSVECS04 Frhs2[77]: 6 0 131.8 shouldn't be
26.41/26.52 WSVECS04 Frhs2[79]: 6 0 48.8934 shouldn't be
26.41/26.52 WSVECS04 Frhs2[80]: 6 0 3.78683 shouldn't be
26.41/26.52 WSVECS04 Frhs2[89]: 6 -321.832 0 shouldn't be
26.41/26.52 WSVECS04 Frhs2[95]: 6 0 28.4186 shouldn't be
26.41/26.52 WSVECS04 Frhs2[96]: 6 0 3.78683 shouldn't be
26.41/26.52 WSVECS04 Frhs2[100]: 6 0 3.78683 shouldn't be
26.41/26.52 WSVECS04 Frhs2[104]: 6 0 3.78683 shouldn't be
26.41/26.52 WSVECS04 Frhs2[106]: 6 0 3.78683 shouldn't be
26.41/26.52 WSVECS04 Frhs2[108]: 6 0 3.78683 shouldn't be
26.41/26.52 WSVECS04 Frhs2[112]: 6 0 10.2876 shouldn't be
26.41/26.52 WSVECS04 Frhs2[113]: 6 0 5.77283 shouldn't be
26.41/26.52 WSVECS04 Frhs2[119]: 6 0 7.98887 shouldn't be
26.41/26.52 WSVECS04 Frhs2[127]: 6 0 6.40872 shouldn't be
26.41/26.52 WSVECS04 Frhs2[135]: 6 0 81.0395 shouldn't be
26.41/26.52 WSVECS04 Frhs2[138]: 6 0 3.78683 shouldn't be
26.41/26.52 WSVECS04 Frhs2[139]: 6 0 61.4701 shouldn't be
26.41/26.52 WSVECS04 Frhs2[143]: 6 0 174.194 shouldn't be
26.41/26.52 WSVECS04 Frhs2[147]: 6 0 170.961 shouldn't be
26.41/26.52 WSVECS04 Frhs2[151]: 6 0 13.3146 shouldn't be
26.41/26.52 WSVECS04 Frhs2[153]: 6 0 48.0302 shouldn't be
26.41/26.52 WSVECS04 Frhs2[179]: 6 0 0.596552 shouldn't be
26.41/26.52 WSVECS04 Frhs2[185]: 6 0 0.020929 shouldn't be
26.41/26.52 WSVECS04 Frhs2[192]: 6 0 3.78683 shouldn't be
26.41/26.52 WSVECS04 Frhs2[209]: 6 0 8.20558 shouldn't be
26.41/26.52 WSVECS04 Frhs2[210]: 6 0 3.11021 shouldn't be
26.41/26.52 WSVECS04 Frhs2[215]: 6 0 0.498724 shouldn't be
26.41/26.52 WSVECS04 Frhs2[217]: 6 0 29.5358 shouldn't be
26.41/26.52 WSVECS04 Frhs2[230]: 6 0 120.389 shouldn't be
26.41/26.52 WSVECS04 Frhs2[231]: 6 0 0.596552 shouldn't be
26.41/26.52 WSVECS04 Frhs2[233]: 6 0 148.973 shouldn't be
26.41/26.52 WSVECS04 Frhs2[247]: 6 -144.964 0 shouldn't be
26.41/26.52 WSVECS04 Frhs2[251]: 6 0 83.3844 shouldn't be
26.41/26.52 WSVECS04 Frhs2[252]: 6 -104.201 0 shouldn't be
26.41/26.52 WSVECS04 Frhs2[265]: 6 0 52.508 shouldn't be
26.41/26.52 WSVECS04 Frhs2[268]: 6 0 28.9977 shouldn't be
26.41/26.52 WSVECS04 Frhs2[281]: 6 -96.1007 0 shouldn't be
26.41/26.52 WSVECS04 Frhs2[288]: 6 -19.7535 0 shouldn't be
26.41/26.52 WSVECS04 Frhs2[296]: 6 -170.836 0 shouldn't be
26.41/26.52 WSVECS04 Frhs2[302]: 6 -10.4903 0 shouldn't be
26.41/26.52 WSVECS04 Frhs2[323]: 6 -215.766 0 shouldn't be
26.41/26.52 WSVECS04 Frhs2[336]: 6 -106.926 0 shouldn't be
26.41/26.52 WSVECS04 Frhs2[357]: 6 -89.8637 0 shouldn't be
26.41/26.58 WSVECS04 Frhs2[291]: 6 -41.1395 0 shouldn't be
26.51/26.62 c rational objective 51.4448
42.58/42.75 c #Conflicts: 125000 | #Constraints: 8607
42.58/42.75 c #Conflicts: 126000 | #Constraints: 9609
42.58/42.75 c #Conflicts: 127000 | #Constraints: 10610
42.58/42.75 c #Conflicts: 128000 | #Constraints: 11610
42.58/42.75 c #Conflicts: 129000 | #Constraints: 12612
42.58/42.75 c #Conflicts: 130000 | #Constraints: 13614
42.58/42.75 c #Conflicts: 131000 | #Constraints: 14615
42.58/42.75 c INPROCESSING
42.58/42.75 c GARBAGE COLLECT
42.58/42.75 c #Conflicts: 132000 | #Constraints: 8398
42.58/42.75 c #Conflicts: 133000 | #Constraints: 9400
42.58/42.75 c #Conflicts: 134000 | #Constraints: 10402
42.58/42.75 c #Conflicts: 135000 | #Constraints: 11404
42.58/42.75 c #Conflicts: 136000 | #Constraints: 12404
42.58/42.75 c #Conflicts: 137000 | #Constraints: 13405
42.58/42.75 c #Conflicts: 138000 | #Constraints: 14406
42.58/42.75 c #Conflicts: 139000 | #Constraints: 15407
42.58/42.75 c INPROCESSING
42.58/42.75 c GARBAGE COLLECT
42.58/42.75 c #Conflicts: 140000 | #Constraints: 9002
42.58/42.75 c #Conflicts: 141000 | #Constraints: 10002
42.58/42.75 c #Conflicts: 142000 | #Constraints: 11002
42.58/42.75 c #Conflicts: 143000 | #Constraints: 12002
42.58/42.75 c #Conflicts: 144000 | #Constraints: 13002
42.58/42.75 c #Conflicts: 145000 | #Constraints: 14002
42.58/42.75 c #Conflicts: 146000 | #Constraints: 15002
42.58/42.75 c #Conflicts: 147000 | #Constraints: 16002
42.58/42.75 c INPROCESSING
42.58/42.75 c GARBAGE COLLECT
42.58/42.75 c #Conflicts: 148000 | #Constraints: 9401
42.58/42.75 c #Conflicts: 149000 | #Constraints: 10401
42.58/42.75 c #Conflicts: 150000 | #Constraints: 11401
42.58/42.75 c #Conflicts: 151000 | #Constraints: 12401
42.58/42.75 c #Conflicts: 152000 | #Constraints: 13401
42.58/42.75 c #Conflicts: 153000 | #Constraints: 14401
42.58/42.75 c #Conflicts: 154000 | #Constraints: 15401
42.58/42.75 c #Conflicts: 155000 | #Constraints: 16401
42.58/42.75 c INPROCESSING
42.58/42.75 c GARBAGE COLLECT
42.58/42.75 c #Conflicts: 156000 | #Constraints: 9593
42.58/42.75 c #Conflicts: 157000 | #Constraints: 10593
42.58/42.75 c #Conflicts: 158000 | #Constraints: 11593
42.58/42.75 c #Conflicts: 159000 | #Constraints: 12593
42.58/42.75 c #Conflicts: 160000 | #Constraints: 13593
42.58/42.75 c #Conflicts: 161000 | #Constraints: 14593
42.58/42.75 c #Conflicts: 162000 | #Constraints: 15593
42.58/42.75 c #Conflicts: 163000 | #Constraints: 16593
42.58/42.75 c INPROCESSING
42.58/42.75 c GARBAGE COLLECT
42.58/42.75 c #Conflicts: 164000 | #Constraints: 9597
42.58/42.75 c #Conflicts: 165000 | #Constraints: 10597
42.58/42.75 c #Conflicts: 166000 | #Constraints: 11597
42.58/42.75 c #Conflicts: 167000 | #Constraints: 12597
42.58/42.75 c #Conflicts: 168000 | #Constraints: 13597
42.58/42.75 c #Conflicts: 169000 | #Constraints: 14597
42.58/42.75 c #Conflicts: 170000 | #Constraints: 15597
42.58/42.75 c #Conflicts: 171000 | #Constraints: 16597
42.58/42.75 c INPROCESSING
42.58/42.75 c GARBAGE COLLECT
42.58/42.75 c #Conflicts: 172000 | #Constraints: 9401
42.58/42.75 c #Conflicts: 173000 | #Constraints: 10401
42.58/42.75 c #Conflicts: 174000 | #Constraints: 11401
42.58/42.75 c #Conflicts: 175000 | #Constraints: 12401
42.58/42.75 c #Conflicts: 176000 | #Constraints: 13401
42.58/42.75 c #Conflicts: 177000 | #Constraints: 14401
42.58/42.75 c #Conflicts: 178000 | #Constraints: 15401
42.58/42.75 c #Conflicts: 179000 | #Constraints: 16401
42.58/42.75 c #Conflicts: 180000 | #Constraints: 17401
42.58/42.75 c INPROCESSING
42.58/42.75 c GARBAGE COLLECT
42.58/42.75 c #Conflicts: 181000 | #Constraints: 9993
42.58/42.75 c #Conflicts: 182000 | #Constraints: 10993
42.58/42.75 c #Conflicts: 183000 | #Constraints: 11993
42.58/42.75 c #Conflicts: 184000 | #Constraints: 12993
42.58/42.75 c #Conflicts: 185000 | #Constraints: 13993
42.58/42.75 c #Conflicts: 186000 | #Constraints: 14993
42.58/42.75 c #Conflicts: 187000 | #Constraints: 15993
42.58/42.75 c #Conflicts: 188000 | #Constraints: 16993
42.58/42.75 c #Conflicts: 189000 | #Constraints: 17993
42.58/42.75 c INPROCESSING
42.58/42.75 c GARBAGE COLLECT
42.58/42.75 c rational objective 51.4513
58.64/58.87 c #Conflicts: 190000 | #Constraints: 10408
58.64/58.87 c #Conflicts: 191000 | #Constraints: 11408
58.64/58.87 c #Conflicts: 192000 | #Constraints: 12409
58.64/58.87 c #Conflicts: 193000 | #Constraints: 13409
58.64/58.87 c #Conflicts: 194000 | #Constraints: 14410
58.64/58.87 c #Conflicts: 195000 | #Constraints: 15412
58.64/58.87 c #Conflicts: 196000 | #Constraints: 16413
58.64/58.87 c #Conflicts: 197000 | #Constraints: 17424
58.64/58.87 c #Conflicts: 198000 | #Constraints: 18437
58.64/58.87 c INPROCESSING
58.64/58.87 c GARBAGE COLLECT
58.64/58.87 c #Conflicts: 199000 | #Constraints: 10631
58.64/58.87 c #Conflicts: 200000 | #Constraints: 11632
58.64/58.87 c #Conflicts: 201000 | #Constraints: 12641
58.64/58.87 c #Conflicts: 202000 | #Constraints: 13645
58.64/58.87 c #Conflicts: 203000 | #Constraints: 14646
58.64/58.87 c #Conflicts: 204000 | #Constraints: 15652
58.64/58.87 c #Conflicts: 205000 | #Constraints: 16665
58.64/58.87 c #Conflicts: 206000 | #Constraints: 17667
58.64/58.87 c #Conflicts: 207000 | #Constraints: 18668
58.64/58.87 c INPROCESSING
58.64/58.87 c GARBAGE COLLECT
58.64/58.87 c #Conflicts: 208000 | #Constraints: 10637
58.64/58.87 c #Conflicts: 209000 | #Constraints: 11638
58.64/58.87 c #Conflicts: 210000 | #Constraints: 12640
58.64/58.87 c #Conflicts: 211000 | #Constraints: 13641
58.64/58.87 c #Conflicts: 212000 | #Constraints: 14643
58.64/58.87 c #Conflicts: 213000 | #Constraints: 15646
58.64/58.87 c #Conflicts: 214000 | #Constraints: 16647
58.64/58.87 c #Conflicts: 215000 | #Constraints: 17648
58.64/58.87 c #Conflicts: 216000 | #Constraints: 18651
58.64/58.87 c INPROCESSING
58.64/58.87 c GARBAGE COLLECT
58.64/58.87 c #Conflicts: 217000 | #Constraints: 10431
58.64/58.87 c #Conflicts: 218000 | #Constraints: 11433
58.64/58.87 c #Conflicts: 219000 | #Constraints: 12435
58.64/58.87 c #Conflicts: 220000 | #Constraints: 13437
58.64/58.87 c #Conflicts: 221000 | #Constraints: 14440
58.64/58.87 c #Conflicts: 222000 | #Constraints: 15443
58.64/58.87 c #Conflicts: 223000 | #Constraints: 16446
58.64/58.87 c #Conflicts: 224000 | #Constraints: 17451
58.64/58.87 c #Conflicts: 225000 | #Constraints: 18467
58.64/58.87 c #Conflicts: 226000 | #Constraints: 19471
58.64/58.87 c INPROCESSING
58.64/58.87 c GARBAGE COLLECT
58.64/58.87 c #Conflicts: 227000 | #Constraints: 11042
58.64/58.87 c #Conflicts: 228000 | #Constraints: 12045
58.64/58.87 c #Conflicts: 229000 | #Constraints: 13048
58.64/58.87 c #Conflicts: 230000 | #Constraints: 14049
58.64/58.87 c #Conflicts: 231000 | #Constraints: 15052
58.64/58.87 c #Conflicts: 232000 | #Constraints: 16053
58.64/58.87 c #Conflicts: 233000 | #Constraints: 17055
58.64/58.87 c #Conflicts: 234000 | #Constraints: 18056
58.64/58.87 c #Conflicts: 235000 | #Constraints: 19057
58.64/58.87 c #Conflicts: 236000 | #Constraints: 20058
58.64/58.87 c INPROCESSING
58.64/58.87 c GARBAGE COLLECT
58.64/58.87 c #Conflicts: 237000 | #Constraints: 11432
58.64/58.87 c #Conflicts: 238000 | #Constraints: 12434
58.64/58.87 c #Conflicts: 239000 | #Constraints: 13435
58.64/58.87 c #Conflicts: 240000 | #Constraints: 14436
58.64/58.87 c #Conflicts: 241000 | #Constraints: 15439
58.64/58.87 c #Conflicts: 242000 | #Constraints: 16440
58.64/58.87 c #Conflicts: 243000 | #Constraints: 17441
58.64/58.87 c #Conflicts: 244000 | #Constraints: 18443
58.64/58.87 c #Conflicts: 245000 | #Constraints: 19445
58.64/58.87 c #Conflicts: 246000 | #Constraints: 20446
58.64/58.87 c INPROCESSING
58.64/58.87 c GARBAGE COLLECT
58.64/58.87 WSVECS04 Frhs2[12]: 6 -10.4396 0 shouldn't be
58.64/58.87 WSVECS04 Frhs2[23]: 6 0 22.1242 shouldn't be
58.64/58.87 WSVECS04 Frhs2[24]: 6 0 3.212 shouldn't be
58.64/58.87 WSVECS04 Frhs2[36]: 6 -28.5851 0 shouldn't be
58.64/58.87 WSVECS04 Frhs2[37]: 6 0 1.27168 shouldn't be
58.64/58.87 WSVECS04 Frhs2[45]: 6 0 23.6796 shouldn't be
58.64/58.87 WSVECS04 Frhs2[46]: 6 0 5.0953 shouldn't be
58.64/58.87 WSVECS04 Frhs2[49]: 6 0 1.25101 shouldn't be
58.64/58.87 WSVECS04 Frhs2[55]: 6 0 1.2717 shouldn't be
58.64/58.87 WSVECS04 Frhs2[61]: 6 0 1.54396 shouldn't be
58.64/58.87 WSVECS04 Frhs2[67]: 6 0 34.7934 shouldn't be
58.64/58.87 WSVECS04 Frhs2[72]: 6 -10.4395 0 shouldn't be
58.64/58.87 WSVECS04 Frhs2[78]: 6 -10.4396 0 shouldn't be
58.64/58.87 WSVECS04 Frhs2[79]: 6 0 0.543205 shouldn't be
58.64/58.87 WSVECS04 Frhs2[83]: 6 0 1.32582 shouldn't be
58.64/58.87 WSVECS04 Frhs2[85]: 6 0 1.27172 shouldn't be
58.64/58.87 WSVECS04 Frhs2[95]: 6 0 1.27165 shouldn't be
58.64/58.87 WSVECS04 Frhs2[117]: 6 0 0.138838 shouldn't be
58.64/58.87 WSVECS04 Frhs2[119]: 6 0 0.543192 shouldn't be
58.64/58.87 WSVECS04 Frhs2[137]: 6 0 1.27168 shouldn't be
58.64/58.87 WSVECS04 Frhs2[143]: 6 0 1.27172 shouldn't be
58.64/58.87 WSVECS04 Frhs2[147]: 6 -16.5338 0 shouldn't be
58.64/58.87 WSVECS04 Frhs2[157]: 6 0 3.12901 shouldn't be
58.64/58.87 WSVECS04 Frhs2[163]: 6 0 1.27164 shouldn't be
58.64/58.87 WSVECS04 Frhs2[167]: 6 0 43.8639 shouldn't be
58.64/58.87 WSVECS04 Frhs2[169]: 6 0 7.71935 shouldn't be
58.64/58.87 WSVECS04 Frhs2[175]: 6 -19.367 0 shouldn't be
58.64/58.87 WSVECS04 Frhs2[179]: 6 0 1.27173 shouldn't be
58.64/58.87 WSVECS04 Frhs2[186]: 6 0 90.8225 shouldn't be
58.64/58.87 WSVECS04 Frhs2[189]: 6 0 13.179 shouldn't be
58.64/58.87 WSVECS04 Frhs2[191]: 6 0 1.27172 shouldn't be
58.64/58.87 WSVECS04 Frhs2[197]: 6 0 1.71914 shouldn't be
58.64/58.87 WSVECS04 Frhs2[203]: 6 0 7.33496 shouldn't be
58.64/58.87 WSVECS04 Frhs2[209]: 6 0 1.27165 shouldn't be
58.64/58.87 WSVECS04 Frhs2[211]: 6 0 1.27172 shouldn't be
58.64/58.87 WSVECS04 Frhs2[227]: 6 -8.84089 0 shouldn't be
58.64/58.87 WSVECS04 Frhs2[244]: 6 0 20.4838 shouldn't be
58.64/58.87 WSVECS04 Frhs2[247]: 6 0 6.5664 shouldn't be
58.64/58.87 WSVECS04 Frhs2[273]: 6 0 10.8714 shouldn't be
58.64/58.87 WSVECS04 Frhs2[276]: 6 0 18.9138 shouldn't be
58.64/58.87 WSVECS04 Frhs2[280]: 6 0 6.41923 shouldn't be
58.64/58.87 WSVECS04 Frhs2[283]: 6 0 36.9802 shouldn't be
58.64/58.87 WSVECS04 Frhs2[284]: 6 -2.76626 0 shouldn't be
58.64/58.87 WSVECS04 Frhs2[301]: 6 0 25.8147 shouldn't be
58.64/58.87 WSVECS04 Frhs2[308]: 6 -3.43582 0 shouldn't be
58.64/58.87 WSVECS04 Frhs2[321]: 6 0 11.6542 shouldn't be
58.64/58.87 WSVECS04 Frhs2[338]: 6 0 41.418 shouldn't be
58.64/58.87 WSVECS04 Frhs2[350]: 6 -3.49379 0 shouldn't be
58.64/58.87 WSVECS04 Frhs2[357]: 6 0 15.7321 shouldn't be
58.64/58.87 WSVECS04 Frhs2[360]: 6 0 29.0295 shouldn't be
58.64/58.87 WSVECS04 Frhs2[370]: 6 -38.5479 0 shouldn't be
58.73/58.93 WSVECS04 Frhs2[112]: 6 0 3.21194 shouldn't be
58.73/58.93 WSVECS04 Frhs2[246]: 6 0 39.6517 shouldn't be
58.73/58.93 WSVECS04 Frhs2[298]: 6 0 37.3616 shouldn't be
58.73/58.93 WSVECS04 Frhs2[300]: 6 0 4.79363 shouldn't be
58.73/58.93 WSVECS04 Frhs2[313]: 6 -7.09948 0 shouldn't be
58.73/58.93 WSVECS04 Frhs2[362]: 6 0 18.0103 shouldn't be
58.73/58.99 c rational objective 51.454
61.83/62.08 c #Conflicts: 247000 | #Constraints: 11618
61.83/62.08 c #Conflicts: 248000 | #Constraints: 12619
61.83/62.08 c #Conflicts: 249000 | #Constraints: 13619
61.83/62.08 c #Conflicts: 250000 | #Constraints: 14619
61.83/62.08 c #Conflicts: 251000 | #Constraints: 15619
61.83/62.08 c #Conflicts: 252000 | #Constraints: 16619
61.83/62.08 c #Conflicts: 253000 | #Constraints: 17620
61.83/62.08 c #Conflicts: 254000 | #Constraints: 18621
61.83/62.08 c #Conflicts: 255000 | #Constraints: 19622
61.83/62.08 c #Conflicts: 256000 | #Constraints: 20623
61.83/62.08 c INPROCESSING
61.83/62.08 c GARBAGE COLLECT
61.83/62.08 c cpu time 60.9735 s
61.83/62.08 c deterministic time 5565356125 5.57e+09
61.83/62.08 c optimization time 4e-05 s
61.83/62.08 c total solve time 60.9718 s
61.83/62.08 c core-guided solve time 0 s
61.83/62.08 c propagation time 43.0637 s
61.83/62.08 c conflict analysis time 13.7875 s
61.83/62.08 c propagations 13183087
61.83/62.08 c resolve steps 4451171
61.83/62.08 c decisions 351433
61.83/62.08 c conflicts 256201
61.83/62.08 c restarts 603
61.83/62.08 c inprocessing phases 42
61.83/62.08 c garbage collections 42 ,( 100.00 )
61.83/62.08 c input clauses 558 ,( 68.97 )
61.83/62.08 c input cardinalities 2 ,( 0.25 )
61.83/62.08 c input general constraints 249 ,( 30.78 )
61.83/62.08 c input average constraint length 5.35
61.83/62.08 c input average constraint degree 2.42
61.83/62.08 c learned clauses 216629 ,( 84.43 )
61.83/62.08 c learned cardinalities 119 ,( 0.05 )
61.83/62.08 c learned general constraints 39841 ,( 15.53 )
61.83/62.08 c learned average constraint length 131.66
61.83/62.08 c learned average constraint degree 8843766.65
61.83/62.08 c watched CF 32, 64, 128, Arb: 35525 , 0 , 0 , 0
61.83/62.08 c counting CF 32, 64, 128, Arb: 4565 , 0 , 0 , 0
61.83/62.08 c watched constraints 35525 ,( 88.61 )
61.83/62.08 c counting constraints 4565 ,( 11.39 )
61.83/62.08 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 121774056 , 9331107 , 212769036 ,( 180286506 , 32482530 )
61.83/62.08 c gcd simplifications 30948
61.83/62.08 c detected cardinalities 52
61.83/62.08 c weakened non-implied lits 4188761
61.83/62.08 c weakened non-implying lits 64211
61.83/62.08 c original variables 370
61.83/62.08 c clausal propagations 4616938
61.83/62.08 c cardinality propagations 162559
61.83/62.08 c watched propagations 1986579
61.83/62.08 c counting propagations 6003052
61.83/62.08 c watch lookups 1074893258
61.83/62.08 c watch backjump lookups 0
61.83/62.08 c watch checks 4139287813
61.83/62.08 c propagation checks 233999045
61.83/62.08 c constraint additions 89798137
61.83/62.08 c trail pops 13790700
61.83/62.08 c formula constraints 809
61.83/62.08 c learned constraints 256201
61.83/62.08 c bound constraints 0
61.83/62.08 c core-guided constraints 0
61.83/62.08 c encountered formula constraints 3815904
61.83/62.08 c encountered learned constraints 891468
61.83/62.08 c encountered bound constraints 0
61.83/62.08 c encountered core-guided constraints 0
61.83/62.08 c LP total time 3.26806 s
61.83/62.08 c LP solve time 2.61 s
61.83/62.08 c LP constraints added 824
61.83/62.08 c LP constraints removed 8
61.83/62.08 c LP pivots internal 25662
61.83/62.08 c LP pivots root 26989
61.83/62.08 c LP calls 412
61.83/62.08 c LP optimalities 25
61.83/62.08 c LP no pivot count 0
61.83/62.08 c LP infeasibilities 382
61.83/62.08 c LP valid Farkas constraints 381
61.83/62.08 c LP learned Farkas constraints 0
61.83/62.08 c LP basis resets 3
61.83/62.08 c LP cycling count 0
61.83/62.08 c LP singular count 1
61.83/62.08 c LP no primal count 0
61.83/62.08 c LP no farkas count 1
61.83/62.08 c LP other issue count 1
61.83/62.08 c LP Gomory cuts 7
61.83/62.08 c LP learned cuts 8
61.83/62.08 c LP deleted cuts 8
61.83/62.08 c LP encountered Gomory constraints 0
61.83/62.08 c LP encountered Farkas constraints 0
61.83/62.08 c LP encountered learned Farkas constraints 0
61.83/62.08 c CG auxiliary variables introduced 0
61.83/62.08 c CG solutions found 0
61.83/62.08 c CG cores constructed 0
61.83/62.08 c CG core cardinality constraints returned 0
61.83/62.08 c CG unit cores 0
61.83/62.08 c CG single cores 0
61.83/62.08 c CG blocks removed during cardinality reduction 0
61.83/62.08 c CG first core best 0
61.83/62.08 c CG decision core best 0
61.83/62.08 c CG core reduction tie 0
61.83/62.08 c CG core degree average 0.00
61.83/62.08 c CG core slack average 0.00
61.83/62.08 c CG core upper bound improvements 0
61.83/62.08 c STR number of successful calls 0
61.83/62.08 c STR number of unsuccessful calls 0
61.83/62.08 c STR number of inconclusive calls 0
61.83/62.08 c STR number of successful attempts 0
61.83/62.08 c STR number of unsuccessful attempts 0
61.83/62.08 c STR number of inconclusive attempts 0
61.83/62.08 c STR average degree increase per successful call inf
61.83/62.08 c STR average degree increase per successful attempt inf
61.83/62.08 c STR total number of conflicts for successful attempts 0
61.83/62.08 c STR total number of conflicts for unsuccessful attempts 0
61.83/62.08 c STR total number of conflicts for inconclusive attempts 0
61.83/62.08 c STR average number of conflicts per successful attempt inf
61.83/62.08 c STR average number of conflicts per unsuccessful attempt inf
61.83/62.08 c STR average number of conflicts per inconclusive attempt inf
61.83/62.08 c AVG.sumWPerc 18.66
61.83/62.08 c bigint constraints 0
61.83/62.08 s SATISFIABLE
61.83/62.08 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
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: 63665 MiB (63107 MiB free)
memory of node 1: 64507 MiB (63875 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493520-1751155909/watcher-4493520-1751155909 -o /tmp/evaluation-result-4493520-1751155909/solver-4493520-1751155909 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17848 --watchdog 3760 run-dec-break.sh HOME/instance-4493520-1751155909.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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.el
Current StackSize limit: 8192 KiB
solver pid=18004, runsolver pid=18001
[startup+0.100058 s]*
/proc/loadavg: 2.03 2.89 3.58 5/271 18007
/proc/meminfo: memFree=130027184/131249996 swapFree=33010684/33010684
[pid=18004] ppid=18001 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18004/stat : 18004 (run-dec-break.s) S 18001 18004 17835 0 -1 4194304 237 414 0 0 0 0 0 0 20 0 1 0 31268827 4292608 768 18446744073709551615 94344351793152 94344352687685 140736915652704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94344352926736 94344352974480 94344375185408 140736915659105 140736915659234 140736915659234 140736915664836 0
/proc/18004/statm: 1048 768 704 219 0 110 0
[pid=18007] ppid=18004 vsize=58036 memory=12556 CPUtime=0.07 cores=5,7
/proc/18007/stat : 18007 (roundingsat) R 18004 18004 17835 0 -1 4194304 1122 0 0 0 7 0 0 0 20 0 1 0 31268829 59428864 3139 18446744073709551615 4227072 8923433 140720708809344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22577152 140720708815172 140720708815400 140720708815400 140720708820970 0
/proc/18007/statm: 14509 3139 2336 1147 0 1936 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62228 KiB
Current children cumulated memory: 15628 KiB
[startup+0.204953 s]*
/proc/loadavg: 2.03 2.89 3.58 5/271 18007
/proc/meminfo: memFree=130023088/131249996 swapFree=33010684/33010684
[pid=18004] ppid=18001 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18004/stat : 18004 (run-dec-break.s) S 18001 18004 17835 0 -1 4194304 237 414 0 0 0 0 0 0 20 0 1 0 31268827 4292608 768 18446744073709551615 94344351793152 94344352687685 140736915652704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94344352926736 94344352974480 94344375185408 140736915659105 140736915659234 140736915659234 140736915664836 0
/proc/18004/statm: 1048 768 704 219 0 110 0
[pid=18007] ppid=18004 vsize=58840 memory=15672 CPUtime=0.18 cores=5,7
/proc/18007/stat : 18007 (roundingsat) R 18004 18004 17835 0 -1 4194304 1354 0 0 0 17 1 0 0 20 0 1 0 31268829 60252160 3918 18446744073709551615 4227072 8923433 140720708809344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22577152 140720708815172 140720708815400 140720708815400 140720708820970 0
/proc/18007/statm: 14710 3918 2368 1147 0 2137 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 63032 KiB
Current children cumulated memory: 18744 KiB
[startup+0.305074 s]*
/proc/loadavg: 2.03 2.89 3.58 5/271 18007
/proc/meminfo: memFree=130023088/131249996 swapFree=33010684/33010684
[pid=18004] ppid=18001 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18004/stat : 18004 (run-dec-break.s) S 18001 18004 17835 0 -1 4194304 237 414 0 0 0 0 0 0 20 0 1 0 31268827 4292608 768 18446744073709551615 94344351793152 94344352687685 140736915652704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94344352926736 94344352974480 94344375185408 140736915659105 140736915659234 140736915659234 140736915664836 0
/proc/18004/statm: 1048 768 704 219 0 110 0
[pid=18007] ppid=18004 vsize=59520 memory=16184 CPUtime=0.28 cores=5,7
/proc/18007/stat : 18007 (roundingsat) R 18004 18004 17835 0 -1 4194304 1511 0 0 0 27 1 0 0 20 0 1 0 31268829 60948480 4046 18446744073709551615 4227072 8923433 140720708809344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22577152 140720708815172 140720708815400 140720708815400 140720708820970 0
/proc/18007/statm: 14880 4046 2368 1147 0 2307 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 63712 KiB
Current children cumulated memory: 19256 KiB
[startup+0.70014 s]
/proc/loadavg: 2.03 2.89 3.58 5/271 18007
/proc/meminfo: memFree=130022080/131249996 swapFree=33010684/33010684
[pid=18004] ppid=18001 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18004/stat : 18004 (run-dec-break.s) S 18001 18004 17835 0 -1 4194304 237 414 0 0 0 0 0 0 20 0 1 0 31268827 4292608 768 18446744073709551615 94344351793152 94344352687685 140736915652704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94344352926736 94344352974480 94344375185408 140736915659105 140736915659234 140736915659234 140736915664836 0
/proc/18004/statm: 1048 768 704 219 0 110 0
[pid=18007] ppid=18004 vsize=60448 memory=17208 CPUtime=0.67 cores=5,7
/proc/18007/stat : 18007 (roundingsat) R 18004 18004 17835 0 -1 4194304 1748 0 0 0 65 2 0 0 20 0 1 0 31268829 61898752 4302 18446744073709551615 4227072 8923433 140720708809344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22577152 140720708815172 140720708815400 140720708815400 140720708820970 0
/proc/18007/statm: 15112 4302 2368 1147 0 2539 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 64640 KiB
Current children cumulated memory: 20280 KiB
[startup+1.50014 s]
/proc/loadavg: 2.03 2.89 3.58 5/271 18007
/proc/meminfo: memFree=130019200/131249996 swapFree=33010684/33010684
[pid=18004] ppid=18001 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18004/stat : 18004 (run-dec-break.s) S 18001 18004 17835 0 -1 4194304 237 414 0 0 0 0 0 0 20 0 1 0 31268827 4292608 768 18446744073709551615 94344351793152 94344352687685 140736915652704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94344352926736 94344352974480 94344375185408 140736915659105 140736915659234 140736915659234 140736915664836 0
/proc/18004/statm: 1048 768 704 219 0 110 0
[pid=18007] ppid=18004 vsize=61336 memory=20272 CPUtime=1.47 cores=5,7
/proc/18007/stat : 18007 (roundingsat) R 18004 18004 17835 0 -1 4194304 1930 0 0 0 142 5 0 0 20 0 1 0 31268829 62808064 5068 18446744073709551615 4227072 8923433 140720708809344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22577152 140720708815172 140720708815400 140720708815400 140720708820970 0
/proc/18007/statm: 15334 5068 2464 1147 0 2761 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 65528 KiB
Current children cumulated memory: 23344 KiB
[startup+3.10539 s]
/proc/loadavg: 2.03 2.89 3.58 5/271 18008
/proc/meminfo: memFree=130003704/131249996 swapFree=33010684/33010684
[pid=18004] ppid=18001 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18004/stat : 18004 (run-dec-break.s) S 18001 18004 17835 0 -1 4194304 237 414 0 0 0 0 0 0 20 0 1 0 31268827 4292608 768 18446744073709551615 94344351793152 94344352687685 140736915652704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94344352926736 94344352974480 94344375185408 140736915659105 140736915659234 140736915659234 140736915664836 0
/proc/18004/statm: 1048 768 704 219 0 110 0
[pid=18007] ppid=18004 vsize=62488 memory=21296 CPUtime=3.07 cores=5,7
/proc/18007/stat : 18007 (roundingsat) R 18004 18004 17835 0 -1 4194304 2191 0 0 0 299 8 0 0 20 0 1 0 31268829 63987712 5324 18446744073709551615 4227072 8923433 140720708809344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22577152 140720708815172 140720708815400 140720708815400 140720708820970 0
/proc/18007/statm: 15622 5324 2464 1147 0 3049 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 66680 KiB
Current children cumulated memory: 24368 KiB
[startup+6.30013 s]
/proc/loadavg: 2.19 2.91 3.58 5/271 18008
/proc/meminfo: memFree=129983620/131249996 swapFree=33010684/33010684
[pid=18004] ppid=18001 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18004/stat : 18004 (run-dec-break.s) S 18001 18004 17835 0 -1 4194304 237 414 0 0 0 0 0 0 20 0 1 0 31268827 4292608 768 18446744073709551615 94344351793152 94344352687685 140736915652704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94344352926736 94344352974480 94344375185408 140736915659105 140736915659234 140736915659234 140736915664836 0
/proc/18004/statm: 1048 768 704 219 0 110 0
[pid=18007] ppid=18004 vsize=63544 memory=22576 CPUtime=6.26 cores=5,7
/proc/18007/stat : 18007 (roundingsat) R 18004 18004 17835 0 -1 4194304 2488 0 0 0 612 14 0 0 20 0 1 0 31268829 65069056 5644 18446744073709551615 4227072 8923433 140720708809344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22577152 140720708815172 140720708815400 140720708815400 140720708820970 0
/proc/18007/statm: 15886 5644 2464 1147 0 3313 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 67736 KiB
Current children cumulated memory: 25648 KiB
[startup+12.7002 s]
/proc/loadavg: 2.33 2.93 3.58 5/271 18008
/proc/meminfo: memFree=129955616/131249996 swapFree=33010684/33010684
[pid=18004] ppid=18001 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18004/stat : 18004 (run-dec-break.s) S 18001 18004 17835 0 -1 4194304 237 414 0 0 0 0 0 0 20 0 1 0 31268827 4292608 768 18446744073709551615 94344351793152 94344352687685 140736915652704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94344352926736 94344352974480 94344375185408 140736915659105 140736915659234 140736915659234 140736915664836 0
/proc/18004/statm: 1048 768 704 219 0 110 0
[pid=18007] ppid=18004 vsize=67212 memory=24624 CPUtime=12.64 cores=5,7
/proc/18007/stat : 18007 (roundingsat) R 18004 18004 17835 0 -1 4194304 3005 0 0 0 1239 25 0 0 20 0 1 0 31268829 68825088 6156 18446744073709551615 4227072 8923433 140720708809344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22577152 140720708815172 140720708815400 140720708815400 140720708820970 0
/proc/18007/statm: 16803 6156 2464 1147 0 4230 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 71404 KiB
Current children cumulated memory: 27696 KiB
[startup+25.5002 s]
/proc/loadavg: 2.70 2.98 3.59 5/270 18008
/proc/meminfo: memFree=129871096/131249996 swapFree=33010684/33010684
[pid=18004] ppid=18001 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18004/stat : 18004 (run-dec-break.s) S 18001 18004 17835 0 -1 4194304 237 414 0 0 0 0 0 0 20 0 1 0 31268827 4292608 768 18446744073709551615 94344351793152 94344352687685 140736915652704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94344352926736 94344352974480 94344375185408 140736915659105 140736915659234 140736915659234 140736915664836 0
/proc/18004/statm: 1048 768 704 219 0 110 0
[pid=18007] ppid=18004 vsize=70904 memory=29232 CPUtime=25.42 cores=5,7
/proc/18007/stat : 18007 (roundingsat) R 18004 18004 17835 0 -1 4194304 4181 0 0 0 2498 44 0 0 20 0 1 0 31268829 72605696 7308 18446744073709551615 4227072 8923433 140720708809344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22577152 140720708815172 140720708815400 140720708815400 140720708820970 0
/proc/18007/statm: 17726 7308 2464 1147 0 5153 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 75096 KiB
Current children cumulated memory: 32304 KiB
[startup+51.1054 s]
/proc/loadavg: 3.20 3.08 3.61 5/270 18196
/proc/meminfo: memFree=129872732/131249996 swapFree=33010684/33010684
[pid=18004] ppid=18001 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18004/stat : 18004 (run-dec-break.s) S 18001 18004 17835 0 -1 4194304 237 414 0 0 0 0 0 0 20 0 1 0 31268827 4292608 768 18446744073709551615 94344351793152 94344352687685 140736915652704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94344352926736 94344352974480 94344375185408 140736915659105 140736915659234 140736915659234 140736915664836 0
/proc/18004/statm: 1048 768 704 219 0 110 0
[pid=18007] ppid=18004 vsize=77960 memory=35896 CPUtime=50.96 cores=5,7
/proc/18007/stat : 18007 (roundingsat) R 18004 18004 17835 0 -1 4194304 5301 0 0 0 5015 81 0 0 20 0 1 0 31268829 79831040 8974 18446744073709551615 4227072 8923433 140720708809344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22577152 140720708815172 140720708815400 140720708815400 140720708820970 0
/proc/18007/statm: 19490 8974 2496 1147 0 6917 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 82152 KiB
Current children cumulated memory: 38968 KiB
[startup+62.0894 s]
# the end of solver process 18004 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=60.9757 s, system=0.955986 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 3.20 3.08 3.61 5/270 18196
/proc/meminfo: memFree=129872732/131249996 swapFree=33010684/33010684
[pid=18004] ppid=18001 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18004/stat : 18004 (run-dec-break.s) S 18001 18004 17835 0 -1 4194304 237 414 0 0 0 0 0 0 20 0 1 0 31268827 4292608 768 18446744073709551615 94344351793152 94344352687685 140736915652704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94344352926736 94344352974480 94344375185408 140736915659105 140736915659234 140736915659234 140736915664836 0
/proc/18004/statm: 1048 768 704 219 0 110 0
[pid=18007] ppid=18004 vsize=77960 memory=35896 CPUtime=51.05 cores=5,7
/proc/18007/stat : 18007 (roundingsat) R 18004 18004 17835 0 -1 4194304 5301 0 0 0 5024 81 0 0 20 0 1 0 31268829 79831040 8974 18446744073709551615 4227072 8923433 140720708809344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22577152 140720708815172 140720708815400 140720708815400 140720708820970 0
/proc/18007/statm: 19490 8974 2496 1147 0 6917 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 82152 KiB
Current children cumulated memory: 38968 KiB
[startup+57.6002 s]
/proc/loadavg: 3.27 3.09 3.61 5/270 18196
/proc/meminfo: memFree=129869960/131249996 swapFree=33010684/33010684
[pid=18004] ppid=18001 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18004/stat : 18004 (run-dec-break.s) S 18001 18004 17835 0 -1 4194304 237 414 0 0 0 0 0 0 20 0 1 0 31268827 4292608 768 18446744073709551615 94344351793152 94344352687685 140736915652704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94344352926736 94344352974480 94344375185408 140736915659105 140736915659234 140736915659234 140736915664836 0
/proc/18004/statm: 1048 768 704 219 0 110 0
[pid=18007] ppid=18004 vsize=78184 memory=36276 CPUtime=57.44 cores=5,7
/proc/18007/stat : 18007 (roundingsat) R 18004 18004 17835 0 -1 4194304 5473 0 0 0 5656 88 0 0 20 0 1 0 31268829 80060416 9069 18446744073709551615 4227072 8923433 140720708809344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22577152 140720708815172 140720708815400 140720708815400 140720708820970 0
/proc/18007/statm: 19546 9069 2496 1147 0 6973 0
Current children cumulated CPU time: 57.44 s
Current children cumulated vsize: 82376 KiB
Current children cumulated memory: 39348 KiB
[startup+59.2001 s]
/proc/loadavg: 3.27 3.09 3.61 5/270 18196
/proc/meminfo: memFree=129862148/131249996 swapFree=33010684/33010684
[pid=18004] ppid=18001 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18004/stat : 18004 (run-dec-break.s) S 18001 18004 17835 0 -1 4194304 237 414 0 0 0 0 0 0 20 0 1 0 31268827 4292608 768 18446744073709551615 94344351793152 94344352687685 140736915652704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94344352926736 94344352974480 94344375185408 140736915659105 140736915659234 140736915659234 140736915664836 0
/proc/18004/statm: 1048 768 704 219 0 110 0
[pid=18007] ppid=18004 vsize=78504 memory=36536 CPUtime=59.04 cores=5,7
/proc/18007/stat : 18007 (roundingsat) R 18004 18004 17835 0 -1 4194304 5644 0 0 0 5814 90 0 0 20 0 1 0 31268829 80388096 9134 18446744073709551615 4227072 8923433 140720708809344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22577152 140720708815172 140720708815400 140720708815400 140720708820970 0
/proc/18007/statm: 19626 9134 2496 1147 0 7053 0
Current children cumulated CPU time: 59.04 s
Current children cumulated vsize: 82696 KiB
Current children cumulated memory: 39608 KiB
[startup+60.8001 s]
/proc/loadavg: 3.41 3.12 3.62 5/270 18196
/proc/meminfo: memFree=129860888/131249996 swapFree=33010684/33010684
[pid=18004] ppid=18001 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18004/stat : 18004 (run-dec-break.s) S 18001 18004 17835 0 -1 4194304 237 414 0 0 0 0 0 0 20 0 1 0 31268827 4292608 768 18446744073709551615 94344351793152 94344352687685 140736915652704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94344352926736 94344352974480 94344375185408 140736915659105 140736915659234 140736915659234 140736915664836 0
/proc/18004/statm: 1048 768 704 219 0 110 0
[pid=18007] ppid=18004 vsize=78504 memory=36536 CPUtime=60.63 cores=5,7
/proc/18007/stat : 18007 (roundingsat) R 18004 18004 17835 0 -1 4194304 5644 0 0 0 5970 93 0 0 20 0 1 0 31268829 80388096 9134 18446744073709551615 4227072 8923433 140720708809344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22577152 140720708815172 140720708815400 140720708815400 140720708820970 0
/proc/18007/statm: 19626 9134 2496 1147 0 7053 0
Current children cumulated CPU time: 60.63 s
Current children cumulated vsize: 82696 KiB
Current children cumulated memory: 39608 KiB
[startup+61.6002 s]
/proc/loadavg: 3.41 3.12 3.62 5/270 18196
/proc/meminfo: memFree=129860888/131249996 swapFree=33010684/33010684
[pid=18004] ppid=18001 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18004/stat : 18004 (run-dec-break.s) S 18001 18004 17835 0 -1 4194304 237 414 0 0 0 0 0 0 20 0 1 0 31268827 4292608 768 18446744073709551615 94344351793152 94344352687685 140736915652704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94344352926736 94344352974480 94344375185408 140736915659105 140736915659234 140736915659234 140736915664836 0
/proc/18004/statm: 1048 768 704 219 0 110 0
[pid=18007] ppid=18004 vsize=78640 memory=36536 CPUtime=61.43 cores=5,7
/proc/18007/stat : 18007 (roundingsat) R 18004 18004 17835 0 -1 4194304 5668 0 0 0 6049 94 0 0 20 0 1 0 31268829 80527360 9134 18446744073709551615 4227072 8923433 140720708809344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22577152 140720708815172 140720708815400 140720708815400 140720708820970 0
/proc/18007/statm: 19660 9134 2496 1147 0 7087 0
Current children cumulated CPU time: 61.43 s
Current children cumulated vsize: 82832 KiB
Current children cumulated memory: 39608 KiB
[startup+62.0002 s]*
/proc/loadavg: 3.41 3.12 3.62 5/270 18196
/proc/meminfo: memFree=129860888/131249996 swapFree=33010684/33010684
[pid=18004] ppid=18001 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18004/stat : 18004 (run-dec-break.s) S 18001 18004 17835 0 -1 4194304 237 414 0 0 0 0 0 0 20 0 1 0 31268827 4292608 768 18446744073709551615 94344351793152 94344352687685 140736915652704 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94344352926736 94344352974480 94344375185408 140736915659105 140736915659234 140736915659234 140736915664836 0
/proc/18004/statm: 1048 768 704 219 0 110 0
[pid=18007] ppid=18004 vsize=78832 memory=36664 CPUtime=61.83 cores=5,7
/proc/18007/stat : 18007 (roundingsat) R 18004 18004 17835 0 -1 4194304 5685 0 0 0 6089 94 0 0 20 0 1 0 31268829 80723968 9166 18446744073709551615 4227072 8923433 140720708809344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22577152 140720708815172 140720708815400 140720708815400 140720708820970 0
/proc/18007/statm: 19708 9166 2496 1147 0 7135 0
Current children cumulated CPU time: 61.83 s
Current children cumulated vsize: 83024 KiB
Current children cumulated memory: 39736 KiB
Child status: 0
Real time (s): 62.0894
CPU time (s): 61.9316
CPU user time (s): 60.9757
CPU system time (s): 0.955986
CPU usage (%): 99.7459
Max. virtual memory (cumulated for all children) (KiB): 83024
Max. memory (cumulated for all children) (KiB): 39736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.9757
system time used= 0.955986
maximum resident set size= 37176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6481
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 90
# summary of solver processes directly reported to runsolver:
# pid: 18004
# total CPU time (s): 61.9316
# total CPU user time (s): 60.9757
# total CPU system time (s): 0.955986
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.115749 second user time and 0.302036 second system time
The end
Begin job on nodeC024 at 2025-06-29 02:11:49
IDJOB=4493520
IDBENCH=147865
IDSOLVER=3357
FILE ID=nodeC024/4493520-1751155909
RUNJOBID= nodeC024-1751155906-17848
SLURM_JOB_ID= 9587473
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army11.17bt.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493520-1751155909/watcher-4493520-1751155909 -o /tmp/evaluation-result-4493520-1751155909/solver-4493520-1751155909 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17848 --watchdog 3760 run-dec-break.sh HOME/instance-4493520-1751155909.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 13744d26940a0db30366992d9fdeef8c
RANDOM SEED=1024499370
nodeC024 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 : 3599.675
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.36
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.647
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.36
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.528
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.36
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 : 3580.542
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.36
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.668
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.36
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 : 3686.897
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.36
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 : 3474.802
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.36
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 : 3599.680
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130031184 kB
MemAvailable: 129659184 kB
Buffers: 3280 kB
Cached: 420500 kB
SwapCached: 0 kB
Active: 418444 kB
Inactive: 200496 kB
Active(anon): 213224 kB
Inactive(anon): 0 kB
Active(file): 205220 kB
Inactive(file): 200496 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 35392 kB
Writeback: 0 kB
AnonPages: 198376 kB
Mapped: 115644 kB
Shmem: 18064 kB
KReclaimable: 85236 kB
Slab: 168236 kB
SReclaimable: 85236 kB
SUnreclaim: 83000 kB
KernelStack: 4368 kB
PageTables: 3576 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 543700 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 38912 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC024 at 2025-06-29 02:12:51