0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 370 #constraints 809
0.00/0.05 c rational objective 51.4242
0.67/0.77 c #Conflicts: 1000 | #Constraints: 1810
0.67/0.77 c #Conflicts: 2000 | #Constraints: 2811
0.67/0.77 c INPROCESSING
0.67/0.77 c GARBAGE COLLECT
0.67/0.77 c #Conflicts: 3000 | #Constraints: 2787
0.67/0.77 c #Conflicts: 4000 | #Constraints: 3787
0.67/0.77 c INPROCESSING
0.67/0.77 c GARBAGE COLLECT
0.67/0.77 c #Conflicts: 5000 | #Constraints: 3189
0.67/0.77 WSVECS04 Frhs2[22]: 6 0 468.739 shouldn't be
0.67/0.77 WSVECS04 Frhs2[141]: 6 0 395.692 shouldn't be
0.67/0.77 WSVECS04 Frhs2[198]: 6 0 134.994 shouldn't be
0.67/0.77 WSVECS04 Frhs2[226]: 6 0 272.885 shouldn't be
0.67/0.77 WSVECS04 Frhs2[256]: 6 0 652.55 shouldn't be
0.67/0.77 WSVECS04 Frhs2[288]: 6 -23.5849 0 shouldn't be
0.67/0.77 WSVECS04 Frhs2[290]: 6 0 1167.48 shouldn't be
0.67/0.77 WSVECS04 Frhs2[293]: 6 0 331.142 shouldn't be
0.67/0.77 WSVECS04 Frhs2[303]: 6 0 738.669 shouldn't be
0.67/0.77 WSVECS04 Frhs2[331]: 6 0 237.456 shouldn't be
0.67/0.77 WSVECS04 Frhs2[345]: 6 0 1384.29 shouldn't be
0.67/0.77 WSVECS04 Frhs2[355]: 6 -753.403 0 shouldn't be
0.67/0.77 WSVECS04 Frhs2[368]: 6 0 214.997 shouldn't be
1.27/1.34 c #Conflicts: 6000 | #Constraints: 4189
1.27/1.34 c INPROCESSING
1.27/1.34 c GARBAGE COLLECT
1.27/1.34 c #Conflicts: 7000 | #Constraints: 3193
1.27/1.34 c #Conflicts: 8000 | #Constraints: 4193
1.27/1.34 c #Conflicts: 9000 | #Constraints: 5193
1.27/1.34 c INPROCESSING
1.27/1.34 c GARBAGE COLLECT
1.27/1.34 WSVECS04 Frhs2[5]: 6 0 2.32895 shouldn't be
1.27/1.34 WSVECS04 Frhs2[8]: 6 -3.49589 0 shouldn't be
1.27/1.34 WSVECS04 Frhs2[29]: 6 0 1.49872 shouldn't be
1.27/1.34 WSVECS04 Frhs2[39]: 6 0 1.49872 shouldn't be
1.27/1.34 WSVECS04 Frhs2[44]: 6 0 0.388595 shouldn't be
1.27/1.34 WSVECS04 Frhs2[48]: 6 0 0.194096 shouldn't be
1.27/1.34 WSVECS04 Frhs2[69]: 6 0 1.49872 shouldn't be
1.27/1.34 WSVECS04 Frhs2[155]: 6 0 0.654347 shouldn't be
1.27/1.34 WSVECS04 Frhs2[160]: 6 -4.30719 0 shouldn't be
1.27/1.34 WSVECS04 Frhs2[197]: 6 0 0.804344 shouldn't be
1.27/1.34 WSVECS04 Frhs2[203]: 6 0 1.49872 shouldn't be
1.27/1.34 WSVECS04 Frhs2[208]: 6 0 0.694373 shouldn't be
1.27/1.34 WSVECS04 Frhs2[249]: 6 -3.33035 0 shouldn't be
1.27/1.34 WSVECS04 Frhs2[258]: 6 0 0.108823 shouldn't be
1.27/1.34 WSVECS04 Frhs2[261]: 6 0 0.815491 shouldn't be
1.27/1.34 WSVECS04 Frhs2[273]: 6 0 7.99084 shouldn't be
1.27/1.34 WSVECS04 Frhs2[277]: 6 -8.74202 0 shouldn't be
1.27/1.34 WSVECS04 Frhs2[296]: 6 -0.605255 0 shouldn't be
1.27/1.34 WSVECS04 Frhs2[297]: 6 -1.16781 0 shouldn't be
1.27/1.34 WSVECS04 Frhs2[318]: 6 -1 0 shouldn't be
1.27/1.34 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.35/5.42 c #Conflicts: 10000 | #Constraints: 3892
5.35/5.42 c #Conflicts: 11000 | #Constraints: 4892
5.35/5.42 c #Conflicts: 12000 | #Constraints: 5892
5.35/5.42 c INPROCESSING
5.35/5.42 c GARBAGE COLLECT
5.35/5.42 c #Conflicts: 13000 | #Constraints: 4341
5.35/5.42 c #Conflicts: 14000 | #Constraints: 5341
5.35/5.42 c #Conflicts: 15000 | #Constraints: 6341
5.35/5.42 c INPROCESSING
5.35/5.42 c GARBAGE COLLECT
5.35/5.42 c #Conflicts: 16000 | #Constraints: 4575
5.35/5.42 c #Conflicts: 17000 | #Constraints: 5575
5.35/5.42 c #Conflicts: 18000 | #Constraints: 6576
5.35/5.42 c INPROCESSING
5.35/5.42 c GARBAGE COLLECT
5.35/5.42 c #Conflicts: 19000 | #Constraints: 4585
5.35/5.42 c #Conflicts: 20000 | #Constraints: 5587
5.35/5.42 c #Conflicts: 21000 | #Constraints: 6589
5.35/5.42 c INPROCESSING
5.35/5.42 c GARBAGE COLLECT
5.35/5.42 c #Conflicts: 22000 | #Constraints: 4386
5.35/5.42 c #Conflicts: 23000 | #Constraints: 5387
5.35/5.42 c #Conflicts: 24000 | #Constraints: 6390
5.35/5.42 c #Conflicts: 25000 | #Constraints: 7392
5.35/5.42 c INPROCESSING
5.35/5.42 c GARBAGE COLLECT
5.35/5.42 c #Conflicts: 26000 | #Constraints: 4993
5.35/5.42 c #Conflicts: 27000 | #Constraints: 5994
5.35/5.42 c #Conflicts: 28000 | #Constraints: 6997
5.35/5.42 c #Conflicts: 29000 | #Constraints: 7998
5.35/5.42 c INPROCESSING
5.35/5.42 c GARBAGE COLLECT
5.35/5.42 c #Conflicts: 30000 | #Constraints: 5400
5.35/5.42 c #Conflicts: 31000 | #Constraints: 6403
5.35/5.42 c #Conflicts: 32000 | #Constraints: 7404
5.35/5.42 c #Conflicts: 33000 | #Constraints: 8404
5.35/5.42 c INPROCESSING
5.35/5.42 c GARBAGE COLLECT
5.35/5.42 c rational objective 51.4336
10.05/10.12 c #Conflicts: 34000 | #Constraints: 5597
10.05/10.12 c #Conflicts: 35000 | #Constraints: 6597
10.05/10.12 c #Conflicts: 36000 | #Constraints: 7597
10.05/10.12 c #Conflicts: 37000 | #Constraints: 8597
10.05/10.12 c INPROCESSING
10.05/10.12 c GARBAGE COLLECT
10.05/10.12 c #Conflicts: 38000 | #Constraints: 5600
10.05/10.12 c #Conflicts: 39000 | #Constraints: 6600
10.05/10.12 c #Conflicts: 40000 | #Constraints: 7600
10.05/10.12 c #Conflicts: 41000 | #Constraints: 8600
10.05/10.12 c INPROCESSING
10.05/10.12 c GARBAGE COLLECT
10.05/10.12 c #Conflicts: 42000 | #Constraints: 5404
10.05/10.12 c #Conflicts: 43000 | #Constraints: 6405
10.05/10.12 c #Conflicts: 44000 | #Constraints: 7407
10.05/10.12 c #Conflicts: 45000 | #Constraints: 8409
10.05/10.12 c #Conflicts: 46000 | #Constraints: 9410
10.05/10.12 c INPROCESSING
10.05/10.12 c GARBAGE COLLECT
10.05/10.12 c #Conflicts: 47000 | #Constraints: 6002
10.05/10.12 c #Conflicts: 48000 | #Constraints: 7003
10.05/10.12 c #Conflicts: 49000 | #Constraints: 8005
10.05/10.12 c #Conflicts: 50000 | #Constraints: 9007
10.05/10.12 c #Conflicts: 51000 | #Constraints: 10009
10.05/10.12 c INPROCESSING
10.05/10.12 c GARBAGE COLLECT
10.05/10.12 c #Conflicts: 52000 | #Constraints: 6394
10.05/10.12 c #Conflicts: 53000 | #Constraints: 7398
10.05/10.12 c #Conflicts: 54000 | #Constraints: 8399
10.05/10.12 c #Conflicts: 55000 | #Constraints: 9400
10.05/10.12 c #Conflicts: 56000 | #Constraints: 10401
10.05/10.12 c INPROCESSING
10.05/10.12 c GARBAGE COLLECT
10.05/10.12 WSVECS04 Frhs2[3]: 6 0 4.02433 shouldn't be
10.05/10.12 WSVECS04 Frhs2[9]: 6 0 4.02438 shouldn't be
10.05/10.12 WSVECS04 Frhs2[13]: 6 0 4.02433 shouldn't be
10.05/10.12 WSVECS04 Frhs2[17]: 6 0 4.02438 shouldn't be
10.05/10.12 WSVECS04 Frhs2[30]: 6 0 11.8968 shouldn't be
10.05/10.12 WSVECS04 Frhs2[36]: 6 0 11.8968 shouldn't be
10.05/10.12 WSVECS04 Frhs2[49]: 6 0 5.99312 shouldn't be
10.05/10.12 WSVECS04 Frhs2[53]: 6 0 20.7846 shouldn't be
10.05/10.12 WSVECS04 Frhs2[56]: 6 0 11.8968 shouldn't be
10.05/10.12 WSVECS04 Frhs2[61]: 6 0 8.27392 shouldn't be
10.05/10.12 WSVECS04 Frhs2[62]: 6 0 15.1773 shouldn't be
10.05/10.12 WSVECS04 Frhs2[63]: 6 0 4.99348 shouldn't be
10.05/10.12 WSVECS04 Frhs2[71]: 6 0 135.668 shouldn't be
10.05/10.12 WSVECS04 Frhs2[80]: 6 0 11.8968 shouldn't be
10.05/10.12 WSVECS04 Frhs2[81]: 6 0 4.99342 shouldn't be
10.05/10.12 WSVECS04 Frhs2[82]: 6 0 11.8968 shouldn't be
10.05/10.12 WSVECS04 Frhs2[83]: 6 0 202.093 shouldn't be
10.05/10.12 WSVECS04 Frhs2[89]: 6 -23.3121 0 shouldn't be
10.05/10.12 WSVECS04 Frhs2[92]: 6 0 11.8968 shouldn't be
10.05/10.12 WSVECS04 Frhs2[93]: 6 0 121.28 shouldn't be
10.05/10.12 WSVECS04 Frhs2[97]: 6 0 20.0624 shouldn't be
10.05/10.12 WSVECS04 Frhs2[103]: 6 0 151.799 shouldn't be
10.05/10.12 WSVECS04 Frhs2[104]: 6 0 11.8968 shouldn't be
10.05/10.12 WSVECS04 Frhs2[107]: 6 0 23.998 shouldn't be
10.05/10.12 WSVECS04 Frhs2[108]: 6 0 11.8968 shouldn't be
10.05/10.12 WSVECS04 Frhs2[116]: 6 0 11.8968 shouldn't be
10.05/10.12 WSVECS04 Frhs2[117]: 6 0 62.3184 shouldn't be
10.05/10.12 WSVECS04 Frhs2[118]: 6 0 11.8968 shouldn't be
10.05/10.12 WSVECS04 Frhs2[119]: 6 0 175.21 shouldn't be
10.05/10.12 WSVECS04 Frhs2[123]: 6 0 13.0458 shouldn't be
10.05/10.12 WSVECS04 Frhs2[129]: 6 0 46.5273 shouldn't be
10.05/10.12 WSVECS04 Frhs2[131]: 6 0 40.5717 shouldn't be
10.05/10.12 WSVECS04 Frhs2[133]: 6 -205.654 0 shouldn't be
10.05/10.12 WSVECS04 Frhs2[136]: 6 0 11.8968 shouldn't be
10.05/10.12 WSVECS04 Frhs2[137]: 6 0 4.99348 shouldn't be
10.05/10.12 WSVECS04 Frhs2[147]: 6 0 4.99345 shouldn't be
10.05/10.12 WSVECS04 Frhs2[151]: 6 0 32.0598 shouldn't be
10.05/10.12 WSVECS04 Frhs2[153]: 6 0 30.2722 shouldn't be
10.05/10.12 WSVECS04 Frhs2[155]: 6 0 100.235 shouldn't be
10.05/10.12 WSVECS04 Frhs2[156]: 6 0 107.123 shouldn't be
10.05/10.12 WSVECS04 Frhs2[162]: 6 0 11.8968 shouldn't be
10.05/10.12 WSVECS04 Frhs2[166]: 6 0 11.8968 shouldn't be
10.05/10.12 WSVECS04 Frhs2[167]: 6 0 46.6194 shouldn't be
10.05/10.12 WSVECS04 Frhs2[172]: 6 -674.541 0 shouldn't be
10.05/10.12 WSVECS04 Frhs2[173]: 6 0 118.394 shouldn't be
10.05/10.12 WSVECS04 Frhs2[177]: 6 0 27.2952 shouldn't be
10.05/10.12 WSVECS04 Frhs2[178]: 6 0 34.1986 shouldn't be
10.05/10.12 WSVECS04 Frhs2[183]: 6 0 290.681 shouldn't be
10.05/10.12 WSVECS04 Frhs2[185]: 6 0 56.4639 shouldn't be
10.05/10.12 WSVECS04 Frhs2[187]: 6 0 4.99342 shouldn't be
10.05/10.12 WSVECS04 Frhs2[191]: 6 0 4.99348 shouldn't be
10.05/10.12 WSVECS04 Frhs2[193]: 6 0 10.9922 shouldn't be
10.05/10.12 WSVECS04 Frhs2[197]: 6 0 12.8409 shouldn't be
10.05/10.12 WSVECS04 Frhs2[199]: 6 0 126.587 shouldn't be
10.05/10.12 WSVECS04 Frhs2[200]: 6 0 21.9034 shouldn't be
10.05/10.12 WSVECS04 Frhs2[207]: 6 0 32.4212 shouldn't be
10.05/10.12 WSVECS04 Frhs2[209]: 6 0 29.6262 shouldn't be
10.05/10.12 WSVECS04 Frhs2[219]: 6 0 0.672521 shouldn't be
10.05/10.12 WSVECS04 Frhs2[221]: 6 0 245.7 shouldn't be
10.05/10.12 WSVECS04 Frhs2[223]: 6 0 2.01928 shouldn't be
10.05/10.12 WSVECS04 Frhs2[225]: 6 0 49.1705 shouldn't be
10.05/10.12 WSVECS04 Frhs2[234]: 6 0 6.88793 shouldn't be
10.05/10.12 WSVECS04 Frhs2[235]: 6 0 59.7573 shouldn't be
10.05/10.12 WSVECS04 Frhs2[237]: 6 0 8.23618 shouldn't be
10.05/10.12 WSVECS04 Frhs2[250]: 6 -52.3515 0 shouldn't be
10.05/10.12 WSVECS04 Frhs2[252]: 6 -158.929 0 shouldn't be
10.05/10.12 WSVECS04 Frhs2[258]: 6 0 150.352 shouldn't be
10.05/10.12 WSVECS04 Frhs2[261]: 6 -255.581 0 shouldn't be
10.05/10.12 WSVECS04 Frhs2[266]: 6 -172.654 0 shouldn't be
10.05/10.12 WSVECS04 Frhs2[269]: 6 -227.392 0 shouldn't be
10.05/10.12 WSVECS04 Frhs2[282]: 6 0 229.597 shouldn't be
10.05/10.12 WSVECS04 Frhs2[296]: 6 -116.284 0 shouldn't be
10.05/10.12 WSVECS04 Frhs2[322]: 6 -62.8514 0 shouldn't be
10.05/10.12 WSVECS04 Frhs2[324]: 6 -163.743 0 shouldn't be
10.05/10.12 WSVECS04 Frhs2[335]: 6 -222.68 0 shouldn't be
10.05/10.12 WSVECS04 Frhs2[344]: 6 0 116.233 shouldn't be
10.05/10.12 WSVECS04 Frhs2[369]: 6 -6.57376 0 shouldn't be
10.05/10.18 WSVECS04 Frhs2[248]: 6 -93.0959 0 shouldn't be
10.05/10.18 WSVECS04 Frhs2[297]: 6 -183.422 0 shouldn't be
10.05/10.18 WSVECS04 Frhs2[318]: 6 -132.811 0 shouldn't be
10.14/10.22 c rational objective 51.4362
16.43/16.50 c #Conflicts: 57000 | #Constraints: 6600
16.43/16.50 c #Conflicts: 58000 | #Constraints: 7601
16.43/16.50 c #Conflicts: 59000 | #Constraints: 8601
16.43/16.50 c #Conflicts: 60000 | #Constraints: 9602
16.43/16.50 c #Conflicts: 61000 | #Constraints: 10603
16.43/16.50 c INPROCESSING
16.43/16.50 c GARBAGE COLLECT
16.43/16.50 c #Conflicts: 62000 | #Constraints: 6601
16.43/16.50 c #Conflicts: 63000 | #Constraints: 7603
16.43/16.50 c #Conflicts: 64000 | #Constraints: 8608
16.43/16.50 c #Conflicts: 65000 | #Constraints: 9609
16.43/16.50 c #Conflicts: 66000 | #Constraints: 10611
16.43/16.50 c INPROCESSING
16.43/16.50 c GARBAGE COLLECT
16.43/16.50 c #Conflicts: 67000 | #Constraints: 6409
16.43/16.50 c #Conflicts: 68000 | #Constraints: 7409
16.43/16.50 c #Conflicts: 69000 | #Constraints: 8410
16.43/16.50 c #Conflicts: 70000 | #Constraints: 9410
16.43/16.50 c #Conflicts: 71000 | #Constraints: 10412
16.43/16.50 c #Conflicts: 72000 | #Constraints: 11413
16.43/16.50 c INPROCESSING
16.43/16.50 c GARBAGE COLLECT
16.43/16.50 c #Conflicts: 73000 | #Constraints: 7005
16.43/16.50 c #Conflicts: 74000 | #Constraints: 8007
16.43/16.50 c #Conflicts: 75000 | #Constraints: 9008
16.43/16.50 c #Conflicts: 76000 | #Constraints: 10009
16.43/16.50 c #Conflicts: 77000 | #Constraints: 11011
16.43/16.50 c #Conflicts: 78000 | #Constraints: 12013
16.43/16.50 c INPROCESSING
16.43/16.50 c GARBAGE COLLECT
16.43/16.50 c #Conflicts: 79000 | #Constraints: 7403
16.43/16.50 c #Conflicts: 80000 | #Constraints: 8403
16.43/16.50 c #Conflicts: 81000 | #Constraints: 9404
16.43/16.50 c #Conflicts: 82000 | #Constraints: 10407
16.43/16.50 c #Conflicts: 83000 | #Constraints: 11409
16.43/16.50 c #Conflicts: 84000 | #Constraints: 12413
16.43/16.50 c INPROCESSING
16.43/16.50 c GARBAGE COLLECT
16.43/16.50 c rational objective 51.4365
26.40/26.55 c #Conflicts: 85000 | #Constraints: 7609
26.40/26.55 c #Conflicts: 86000 | #Constraints: 8609
26.40/26.55 c #Conflicts: 87000 | #Constraints: 9610
26.40/26.55 c #Conflicts: 88000 | #Constraints: 10610
26.40/26.55 c #Conflicts: 89000 | #Constraints: 11611
26.40/26.55 c #Conflicts: 90000 | #Constraints: 12612
26.40/26.55 c INPROCESSING
26.40/26.55 c GARBAGE COLLECT
26.40/26.55 c #Conflicts: 91000 | #Constraints: 7606
26.40/26.55 c #Conflicts: 92000 | #Constraints: 8607
26.40/26.55 c #Conflicts: 93000 | #Constraints: 9610
26.40/26.55 c #Conflicts: 94000 | #Constraints: 10612
26.40/26.55 c #Conflicts: 95000 | #Constraints: 11618
26.40/26.55 c #Conflicts: 96000 | #Constraints: 12629
26.40/26.55 c INPROCESSING
26.40/26.55 c GARBAGE COLLECT
26.40/26.55 c #Conflicts: 97000 | #Constraints: 7421
26.40/26.55 c #Conflicts: 98000 | #Constraints: 8424
26.40/26.55 c #Conflicts: 99000 | #Constraints: 9427
26.40/26.55 c #Conflicts: 100000 | #Constraints: 10429
26.40/26.55 c #Conflicts: 101000 | #Constraints: 11433
26.40/26.55 c #Conflicts: 102000 | #Constraints: 12440
26.40/26.55 c #Conflicts: 103000 | #Constraints: 13449
26.40/26.55 c INPROCESSING
26.40/26.55 c GARBAGE COLLECT
26.40/26.55 c #Conflicts: 104000 | #Constraints: 8018
26.40/26.55 c #Conflicts: 105000 | #Constraints: 9020
26.40/26.55 c #Conflicts: 106000 | #Constraints: 10021
26.40/26.55 c #Conflicts: 107000 | #Constraints: 11023
26.40/26.55 c #Conflicts: 108000 | #Constraints: 12026
26.40/26.55 c #Conflicts: 109000 | #Constraints: 13029
26.40/26.55 c #Conflicts: 110000 | #Constraints: 14032
26.40/26.55 c INPROCESSING
26.40/26.55 c GARBAGE COLLECT
26.40/26.55 c #Conflicts: 111000 | #Constraints: 8416
26.40/26.55 c #Conflicts: 112000 | #Constraints: 9417
26.40/26.55 c #Conflicts: 113000 | #Constraints: 10418
26.40/26.55 c #Conflicts: 114000 | #Constraints: 11419
26.40/26.55 c #Conflicts: 115000 | #Constraints: 12421
26.40/26.55 c #Conflicts: 116000 | #Constraints: 13423
26.40/26.55 c #Conflicts: 117000 | #Constraints: 14424
26.40/26.55 c INPROCESSING
26.40/26.55 c GARBAGE COLLECT
26.40/26.55 c #Conflicts: 118000 | #Constraints: 8608
26.40/26.55 c #Conflicts: 119000 | #Constraints: 9609
26.40/26.55 c #Conflicts: 120000 | #Constraints: 10609
26.40/26.55 c #Conflicts: 121000 | #Constraints: 11609
26.40/26.55 c #Conflicts: 122000 | #Constraints: 12611
26.40/26.55 c #Conflicts: 123000 | #Constraints: 13613
26.40/26.55 c #Conflicts: 124000 | #Constraints: 14614
26.40/26.55 c INPROCESSING
26.40/26.55 c GARBAGE COLLECT
26.40/26.55 WSVECS04 Frhs2[10]: 6 0 9.69709 shouldn't be
26.40/26.55 WSVECS04 Frhs2[27]: 6 0 0.596553 shouldn't be
26.40/26.55 WSVECS04 Frhs2[36]: 6 0 95.6718 shouldn't be
26.40/26.55 WSVECS04 Frhs2[39]: 6 0 4.85113 shouldn't be
26.40/26.55 WSVECS04 Frhs2[43]: 6 0 9.39717 shouldn't be
26.40/26.55 WSVECS04 Frhs2[53]: 6 0 93.044 shouldn't be
26.40/26.55 WSVECS04 Frhs2[55]: 6 0 20.1071 shouldn't be
26.40/26.55 WSVECS04 Frhs2[61]: 6 0 46.9143 shouldn't be
26.40/26.55 WSVECS04 Frhs2[72]: 6 0 41.6941 shouldn't be
26.40/26.55 WSVECS04 Frhs2[75]: 6 0 47.757 shouldn't be
26.40/26.55 WSVECS04 Frhs2[77]: 6 0 131.8 shouldn't be
26.40/26.55 WSVECS04 Frhs2[79]: 6 0 48.8934 shouldn't be
26.40/26.55 WSVECS04 Frhs2[80]: 6 0 3.78683 shouldn't be
26.40/26.55 WSVECS04 Frhs2[89]: 6 -321.832 0 shouldn't be
26.40/26.55 WSVECS04 Frhs2[95]: 6 0 28.4186 shouldn't be
26.40/26.55 WSVECS04 Frhs2[96]: 6 0 3.78683 shouldn't be
26.40/26.55 WSVECS04 Frhs2[100]: 6 0 3.78683 shouldn't be
26.40/26.55 WSVECS04 Frhs2[104]: 6 0 3.78683 shouldn't be
26.40/26.55 WSVECS04 Frhs2[106]: 6 0 3.78683 shouldn't be
26.40/26.55 WSVECS04 Frhs2[108]: 6 0 3.78683 shouldn't be
26.40/26.55 WSVECS04 Frhs2[112]: 6 0 10.2876 shouldn't be
26.40/26.55 WSVECS04 Frhs2[113]: 6 0 5.77283 shouldn't be
26.40/26.55 WSVECS04 Frhs2[119]: 6 0 7.98887 shouldn't be
26.40/26.55 WSVECS04 Frhs2[127]: 6 0 6.40872 shouldn't be
26.40/26.55 WSVECS04 Frhs2[135]: 6 0 81.0395 shouldn't be
26.40/26.55 WSVECS04 Frhs2[138]: 6 0 3.78683 shouldn't be
26.40/26.55 WSVECS04 Frhs2[139]: 6 0 61.4701 shouldn't be
26.40/26.55 WSVECS04 Frhs2[143]: 6 0 174.194 shouldn't be
26.40/26.55 WSVECS04 Frhs2[147]: 6 0 170.961 shouldn't be
26.40/26.55 WSVECS04 Frhs2[151]: 6 0 13.3146 shouldn't be
26.40/26.55 WSVECS04 Frhs2[153]: 6 0 48.0302 shouldn't be
26.40/26.55 WSVECS04 Frhs2[179]: 6 0 0.596552 shouldn't be
26.40/26.55 WSVECS04 Frhs2[185]: 6 0 0.020929 shouldn't be
26.40/26.55 WSVECS04 Frhs2[192]: 6 0 3.78683 shouldn't be
26.40/26.55 WSVECS04 Frhs2[209]: 6 0 8.20558 shouldn't be
26.40/26.55 WSVECS04 Frhs2[210]: 6 0 3.11021 shouldn't be
26.40/26.55 WSVECS04 Frhs2[215]: 6 0 0.498724 shouldn't be
26.40/26.55 WSVECS04 Frhs2[217]: 6 0 29.5358 shouldn't be
26.40/26.55 WSVECS04 Frhs2[230]: 6 0 120.389 shouldn't be
26.40/26.55 WSVECS04 Frhs2[231]: 6 0 0.596552 shouldn't be
26.40/26.55 WSVECS04 Frhs2[233]: 6 0 148.973 shouldn't be
26.40/26.55 WSVECS04 Frhs2[247]: 6 -144.964 0 shouldn't be
26.40/26.55 WSVECS04 Frhs2[251]: 6 0 83.3844 shouldn't be
26.40/26.55 WSVECS04 Frhs2[252]: 6 -104.201 0 shouldn't be
26.40/26.55 WSVECS04 Frhs2[265]: 6 0 52.508 shouldn't be
26.40/26.55 WSVECS04 Frhs2[268]: 6 0 28.9977 shouldn't be
26.40/26.55 WSVECS04 Frhs2[281]: 6 -96.1007 0 shouldn't be
26.40/26.55 WSVECS04 Frhs2[288]: 6 -19.7535 0 shouldn't be
26.40/26.55 WSVECS04 Frhs2[296]: 6 -170.836 0 shouldn't be
26.40/26.55 WSVECS04 Frhs2[302]: 6 -10.4903 0 shouldn't be
26.40/26.55 WSVECS04 Frhs2[323]: 6 -215.766 0 shouldn't be
26.40/26.55 WSVECS04 Frhs2[336]: 6 -106.926 0 shouldn't be
26.40/26.55 WSVECS04 Frhs2[357]: 6 -89.8637 0 shouldn't be
26.50/26.61 WSVECS04 Frhs2[291]: 6 -41.1395 0 shouldn't be
26.50/26.66 c rational objective 51.4448
42.57/42.78 c #Conflicts: 125000 | #Constraints: 8607
42.57/42.78 c #Conflicts: 126000 | #Constraints: 9609
42.57/42.78 c #Conflicts: 127000 | #Constraints: 10610
42.57/42.78 c #Conflicts: 128000 | #Constraints: 11610
42.57/42.78 c #Conflicts: 129000 | #Constraints: 12612
42.57/42.78 c #Conflicts: 130000 | #Constraints: 13614
42.57/42.78 c #Conflicts: 131000 | #Constraints: 14615
42.57/42.78 c INPROCESSING
42.57/42.78 c GARBAGE COLLECT
42.57/42.78 c #Conflicts: 132000 | #Constraints: 8398
42.57/42.78 c #Conflicts: 133000 | #Constraints: 9400
42.57/42.78 c #Conflicts: 134000 | #Constraints: 10402
42.57/42.78 c #Conflicts: 135000 | #Constraints: 11404
42.57/42.78 c #Conflicts: 136000 | #Constraints: 12404
42.57/42.78 c #Conflicts: 137000 | #Constraints: 13405
42.57/42.78 c #Conflicts: 138000 | #Constraints: 14406
42.57/42.78 c #Conflicts: 139000 | #Constraints: 15407
42.57/42.78 c INPROCESSING
42.57/42.78 c GARBAGE COLLECT
42.57/42.78 c #Conflicts: 140000 | #Constraints: 9002
42.57/42.78 c #Conflicts: 141000 | #Constraints: 10002
42.57/42.78 c #Conflicts: 142000 | #Constraints: 11002
42.57/42.78 c #Conflicts: 143000 | #Constraints: 12002
42.57/42.78 c #Conflicts: 144000 | #Constraints: 13002
42.57/42.78 c #Conflicts: 145000 | #Constraints: 14002
42.57/42.78 c #Conflicts: 146000 | #Constraints: 15002
42.57/42.78 c #Conflicts: 147000 | #Constraints: 16002
42.57/42.78 c INPROCESSING
42.57/42.78 c GARBAGE COLLECT
42.57/42.78 c #Conflicts: 148000 | #Constraints: 9401
42.57/42.78 c #Conflicts: 149000 | #Constraints: 10401
42.57/42.78 c #Conflicts: 150000 | #Constraints: 11401
42.57/42.78 c #Conflicts: 151000 | #Constraints: 12401
42.57/42.78 c #Conflicts: 152000 | #Constraints: 13401
42.57/42.78 c #Conflicts: 153000 | #Constraints: 14401
42.57/42.78 c #Conflicts: 154000 | #Constraints: 15401
42.57/42.78 c #Conflicts: 155000 | #Constraints: 16401
42.57/42.78 c INPROCESSING
42.57/42.78 c GARBAGE COLLECT
42.57/42.78 c #Conflicts: 156000 | #Constraints: 9593
42.57/42.78 c #Conflicts: 157000 | #Constraints: 10593
42.57/42.78 c #Conflicts: 158000 | #Constraints: 11593
42.57/42.78 c #Conflicts: 159000 | #Constraints: 12593
42.57/42.78 c #Conflicts: 160000 | #Constraints: 13593
42.57/42.78 c #Conflicts: 161000 | #Constraints: 14593
42.57/42.78 c #Conflicts: 162000 | #Constraints: 15593
42.57/42.78 c #Conflicts: 163000 | #Constraints: 16593
42.57/42.78 c INPROCESSING
42.57/42.78 c GARBAGE COLLECT
42.57/42.78 c #Conflicts: 164000 | #Constraints: 9597
42.57/42.78 c #Conflicts: 165000 | #Constraints: 10597
42.57/42.78 c #Conflicts: 166000 | #Constraints: 11597
42.57/42.78 c #Conflicts: 167000 | #Constraints: 12597
42.57/42.78 c #Conflicts: 168000 | #Constraints: 13597
42.57/42.78 c #Conflicts: 169000 | #Constraints: 14597
42.57/42.78 c #Conflicts: 170000 | #Constraints: 15597
42.57/42.78 c #Conflicts: 171000 | #Constraints: 16597
42.57/42.78 c INPROCESSING
42.57/42.78 c GARBAGE COLLECT
42.57/42.78 c #Conflicts: 172000 | #Constraints: 9401
42.57/42.78 c #Conflicts: 173000 | #Constraints: 10401
42.57/42.78 c #Conflicts: 174000 | #Constraints: 11401
42.57/42.78 c #Conflicts: 175000 | #Constraints: 12401
42.57/42.78 c #Conflicts: 176000 | #Constraints: 13401
42.57/42.78 c #Conflicts: 177000 | #Constraints: 14401
42.57/42.78 c #Conflicts: 178000 | #Constraints: 15401
42.57/42.78 c #Conflicts: 179000 | #Constraints: 16401
42.57/42.78 c #Conflicts: 180000 | #Constraints: 17401
42.57/42.78 c INPROCESSING
42.57/42.78 c GARBAGE COLLECT
42.57/42.78 c #Conflicts: 181000 | #Constraints: 9993
42.57/42.78 c #Conflicts: 182000 | #Constraints: 10993
42.57/42.78 c #Conflicts: 183000 | #Constraints: 11993
42.57/42.78 c #Conflicts: 184000 | #Constraints: 12993
42.57/42.78 c #Conflicts: 185000 | #Constraints: 13993
42.57/42.78 c #Conflicts: 186000 | #Constraints: 14993
42.57/42.78 c #Conflicts: 187000 | #Constraints: 15993
42.57/42.78 c #Conflicts: 188000 | #Constraints: 16993
42.57/42.78 c #Conflicts: 189000 | #Constraints: 17993
42.57/42.78 c INPROCESSING
42.57/42.78 c GARBAGE COLLECT
42.57/42.78 c rational objective 51.4513
58.62/58.87 c #Conflicts: 190000 | #Constraints: 10408
58.62/58.87 c #Conflicts: 191000 | #Constraints: 11408
58.62/58.87 c #Conflicts: 192000 | #Constraints: 12409
58.62/58.87 c #Conflicts: 193000 | #Constraints: 13409
58.62/58.87 c #Conflicts: 194000 | #Constraints: 14410
58.62/58.87 c #Conflicts: 195000 | #Constraints: 15412
58.62/58.87 c #Conflicts: 196000 | #Constraints: 16413
58.62/58.87 c #Conflicts: 197000 | #Constraints: 17424
58.62/58.87 c #Conflicts: 198000 | #Constraints: 18437
58.62/58.87 c INPROCESSING
58.62/58.87 c GARBAGE COLLECT
58.62/58.87 c #Conflicts: 199000 | #Constraints: 10631
58.62/58.87 c #Conflicts: 200000 | #Constraints: 11632
58.62/58.87 c #Conflicts: 201000 | #Constraints: 12641
58.62/58.87 c #Conflicts: 202000 | #Constraints: 13645
58.62/58.87 c #Conflicts: 203000 | #Constraints: 14646
58.62/58.87 c #Conflicts: 204000 | #Constraints: 15652
58.62/58.87 c #Conflicts: 205000 | #Constraints: 16665
58.62/58.87 c #Conflicts: 206000 | #Constraints: 17667
58.62/58.87 c #Conflicts: 207000 | #Constraints: 18668
58.62/58.87 c INPROCESSING
58.62/58.87 c GARBAGE COLLECT
58.62/58.87 c #Conflicts: 208000 | #Constraints: 10637
58.62/58.87 c #Conflicts: 209000 | #Constraints: 11638
58.62/58.87 c #Conflicts: 210000 | #Constraints: 12640
58.62/58.87 c #Conflicts: 211000 | #Constraints: 13641
58.62/58.87 c #Conflicts: 212000 | #Constraints: 14643
58.62/58.87 c #Conflicts: 213000 | #Constraints: 15646
58.62/58.87 c #Conflicts: 214000 | #Constraints: 16647
58.62/58.87 c #Conflicts: 215000 | #Constraints: 17648
58.62/58.87 c #Conflicts: 216000 | #Constraints: 18651
58.62/58.87 c INPROCESSING
58.62/58.87 c GARBAGE COLLECT
58.62/58.87 c #Conflicts: 217000 | #Constraints: 10431
58.62/58.87 c #Conflicts: 218000 | #Constraints: 11433
58.62/58.87 c #Conflicts: 219000 | #Constraints: 12435
58.62/58.87 c #Conflicts: 220000 | #Constraints: 13437
58.62/58.87 c #Conflicts: 221000 | #Constraints: 14440
58.62/58.87 c #Conflicts: 222000 | #Constraints: 15443
58.62/58.87 c #Conflicts: 223000 | #Constraints: 16446
58.62/58.87 c #Conflicts: 224000 | #Constraints: 17451
58.62/58.87 c #Conflicts: 225000 | #Constraints: 18467
58.62/58.87 c #Conflicts: 226000 | #Constraints: 19471
58.62/58.87 c INPROCESSING
58.62/58.87 c GARBAGE COLLECT
58.62/58.87 c #Conflicts: 227000 | #Constraints: 11042
58.62/58.87 c #Conflicts: 228000 | #Constraints: 12045
58.62/58.87 c #Conflicts: 229000 | #Constraints: 13048
58.62/58.87 c #Conflicts: 230000 | #Constraints: 14049
58.62/58.87 c #Conflicts: 231000 | #Constraints: 15052
58.62/58.87 c #Conflicts: 232000 | #Constraints: 16053
58.62/58.87 c #Conflicts: 233000 | #Constraints: 17055
58.62/58.87 c #Conflicts: 234000 | #Constraints: 18056
58.62/58.87 c #Conflicts: 235000 | #Constraints: 19057
58.62/58.87 c #Conflicts: 236000 | #Constraints: 20058
58.62/58.87 c INPROCESSING
58.62/58.87 c GARBAGE COLLECT
58.62/58.87 c #Conflicts: 237000 | #Constraints: 11432
58.62/58.87 c #Conflicts: 238000 | #Constraints: 12434
58.62/58.87 c #Conflicts: 239000 | #Constraints: 13435
58.62/58.87 c #Conflicts: 240000 | #Constraints: 14436
58.62/58.87 c #Conflicts: 241000 | #Constraints: 15439
58.62/58.87 c #Conflicts: 242000 | #Constraints: 16440
58.62/58.87 c #Conflicts: 243000 | #Constraints: 17441
58.62/58.87 c #Conflicts: 244000 | #Constraints: 18443
58.62/58.87 c #Conflicts: 245000 | #Constraints: 19445
58.62/58.87 c #Conflicts: 246000 | #Constraints: 20446
58.62/58.87 c INPROCESSING
58.62/58.87 c GARBAGE COLLECT
58.62/58.87 WSVECS04 Frhs2[12]: 6 -10.4396 0 shouldn't be
58.62/58.87 WSVECS04 Frhs2[23]: 6 0 22.1242 shouldn't be
58.62/58.87 WSVECS04 Frhs2[24]: 6 0 3.212 shouldn't be
58.62/58.87 WSVECS04 Frhs2[36]: 6 -28.5851 0 shouldn't be
58.62/58.87 WSVECS04 Frhs2[37]: 6 0 1.27168 shouldn't be
58.62/58.87 WSVECS04 Frhs2[45]: 6 0 23.6796 shouldn't be
58.62/58.87 WSVECS04 Frhs2[46]: 6 0 5.0953 shouldn't be
58.62/58.87 WSVECS04 Frhs2[49]: 6 0 1.25101 shouldn't be
58.62/58.87 WSVECS04 Frhs2[55]: 6 0 1.2717 shouldn't be
58.62/58.87 WSVECS04 Frhs2[61]: 6 0 1.54396 shouldn't be
58.62/58.87 WSVECS04 Frhs2[67]: 6 0 34.7934 shouldn't be
58.62/58.87 WSVECS04 Frhs2[72]: 6 -10.4395 0 shouldn't be
58.62/58.87 WSVECS04 Frhs2[78]: 6 -10.4396 0 shouldn't be
58.62/58.87 WSVECS04 Frhs2[79]: 6 0 0.543205 shouldn't be
58.62/58.87 WSVECS04 Frhs2[83]: 6 0 1.32582 shouldn't be
58.62/58.87 WSVECS04 Frhs2[85]: 6 0 1.27172 shouldn't be
58.62/58.87 WSVECS04 Frhs2[95]: 6 0 1.27165 shouldn't be
58.62/58.87 WSVECS04 Frhs2[117]: 6 0 0.138838 shouldn't be
58.62/58.87 WSVECS04 Frhs2[119]: 6 0 0.543192 shouldn't be
58.62/58.87 WSVECS04 Frhs2[137]: 6 0 1.27168 shouldn't be
58.62/58.87 WSVECS04 Frhs2[143]: 6 0 1.27172 shouldn't be
58.62/58.87 WSVECS04 Frhs2[147]: 6 -16.5338 0 shouldn't be
58.62/58.87 WSVECS04 Frhs2[157]: 6 0 3.12901 shouldn't be
58.62/58.87 WSVECS04 Frhs2[163]: 6 0 1.27164 shouldn't be
58.62/58.87 WSVECS04 Frhs2[167]: 6 0 43.8639 shouldn't be
58.62/58.87 WSVECS04 Frhs2[169]: 6 0 7.71935 shouldn't be
58.62/58.87 WSVECS04 Frhs2[175]: 6 -19.367 0 shouldn't be
58.62/58.87 WSVECS04 Frhs2[179]: 6 0 1.27173 shouldn't be
58.62/58.87 WSVECS04 Frhs2[186]: 6 0 90.8225 shouldn't be
58.62/58.87 WSVECS04 Frhs2[189]: 6 0 13.179 shouldn't be
58.62/58.87 WSVECS04 Frhs2[191]: 6 0 1.27172 shouldn't be
58.62/58.87 WSVECS04 Frhs2[197]: 6 0 1.71914 shouldn't be
58.62/58.87 WSVECS04 Frhs2[203]: 6 0 7.33496 shouldn't be
58.62/58.87 WSVECS04 Frhs2[209]: 6 0 1.27165 shouldn't be
58.62/58.87 WSVECS04 Frhs2[211]: 6 0 1.27172 shouldn't be
58.62/58.87 WSVECS04 Frhs2[227]: 6 -8.84089 0 shouldn't be
58.62/58.87 WSVECS04 Frhs2[244]: 6 0 20.4838 shouldn't be
58.62/58.87 WSVECS04 Frhs2[247]: 6 0 6.5664 shouldn't be
58.62/58.87 WSVECS04 Frhs2[273]: 6 0 10.8714 shouldn't be
58.62/58.87 WSVECS04 Frhs2[276]: 6 0 18.9138 shouldn't be
58.62/58.87 WSVECS04 Frhs2[280]: 6 0 6.41923 shouldn't be
58.62/58.87 WSVECS04 Frhs2[283]: 6 0 36.9802 shouldn't be
58.62/58.87 WSVECS04 Frhs2[284]: 6 -2.76626 0 shouldn't be
58.62/58.87 WSVECS04 Frhs2[301]: 6 0 25.8147 shouldn't be
58.62/58.87 WSVECS04 Frhs2[308]: 6 -3.43582 0 shouldn't be
58.62/58.87 WSVECS04 Frhs2[321]: 6 0 11.6542 shouldn't be
58.62/58.87 WSVECS04 Frhs2[338]: 6 0 41.418 shouldn't be
58.62/58.87 WSVECS04 Frhs2[350]: 6 -3.49379 0 shouldn't be
58.62/58.87 WSVECS04 Frhs2[357]: 6 0 15.7321 shouldn't be
58.62/58.87 WSVECS04 Frhs2[360]: 6 0 29.0295 shouldn't be
58.62/58.87 WSVECS04 Frhs2[370]: 6 -38.5479 0 shouldn't be
58.73/58.92 WSVECS04 Frhs2[112]: 6 0 3.21194 shouldn't be
58.73/58.92 WSVECS04 Frhs2[246]: 6 0 39.6517 shouldn't be
58.73/58.92 WSVECS04 Frhs2[298]: 6 0 37.3616 shouldn't be
58.73/58.92 WSVECS04 Frhs2[300]: 6 0 4.79363 shouldn't be
58.73/58.92 WSVECS04 Frhs2[313]: 6 -7.09948 0 shouldn't be
58.73/58.92 WSVECS04 Frhs2[362]: 6 0 18.0103 shouldn't be
58.73/58.99 c rational objective 51.454
61.83/62.07 c #Conflicts: 247000 | #Constraints: 11618
61.83/62.07 c #Conflicts: 248000 | #Constraints: 12619
61.83/62.07 c #Conflicts: 249000 | #Constraints: 13619
61.83/62.07 c #Conflicts: 250000 | #Constraints: 14619
61.83/62.07 c #Conflicts: 251000 | #Constraints: 15619
61.83/62.07 c #Conflicts: 252000 | #Constraints: 16619
61.83/62.07 c #Conflicts: 253000 | #Constraints: 17620
61.83/62.07 c #Conflicts: 254000 | #Constraints: 18621
61.83/62.07 c #Conflicts: 255000 | #Constraints: 19622
61.83/62.07 c #Conflicts: 256000 | #Constraints: 20623
61.83/62.07 c INPROCESSING
61.83/62.07 c GARBAGE COLLECT
61.83/62.07 c cpu time 60.9088 s
61.83/62.07 c deterministic time 5565356125 5.57e+09
61.83/62.07 c optimization time 5.2e-05 s
61.83/62.07 c total solve time 60.9052 s
61.83/62.07 c core-guided solve time 0 s
61.83/62.07 c propagation time 43.05 s
61.83/62.07 c conflict analysis time 13.7211 s
61.83/62.07 c propagations 13183087
61.83/62.07 c resolve steps 4451171
61.83/62.07 c decisions 351433
61.83/62.07 c conflicts 256201
61.83/62.07 c restarts 603
61.83/62.07 c inprocessing phases 42
61.83/62.07 c garbage collections 42 ,( 100.00 )
61.83/62.07 c input clauses 558 ,( 68.97 )
61.83/62.07 c input cardinalities 2 ,( 0.25 )
61.83/62.07 c input general constraints 249 ,( 30.78 )
61.83/62.07 c input average constraint length 5.35
61.83/62.07 c input average constraint degree 2.42
61.83/62.07 c learned clauses 216629 ,( 84.43 )
61.83/62.07 c learned cardinalities 119 ,( 0.05 )
61.83/62.07 c learned general constraints 39841 ,( 15.53 )
61.83/62.07 c learned average constraint length 131.66
61.83/62.07 c learned average constraint degree 8843766.65
61.83/62.07 c watched CF 32, 64, 128, Arb: 35525 , 0 , 0 , 0
61.83/62.07 c counting CF 32, 64, 128, Arb: 4565 , 0 , 0 , 0
61.83/62.07 c watched constraints 35525 ,( 88.61 )
61.83/62.07 c counting constraints 4565 ,( 11.39 )
61.83/62.07 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 121774056 , 9331107 , 212769036 ,( 180286506 , 32482530 )
61.83/62.07 c gcd simplifications 30948
61.83/62.07 c detected cardinalities 52
61.83/62.07 c weakened non-implied lits 4188761
61.83/62.07 c weakened non-implying lits 64211
61.83/62.07 c original variables 370
61.83/62.07 c clausal propagations 4616938
61.83/62.07 c cardinality propagations 162559
61.83/62.07 c watched propagations 1986579
61.83/62.07 c counting propagations 6003052
61.83/62.07 c watch lookups 1074893258
61.83/62.07 c watch backjump lookups 0
61.83/62.07 c watch checks 4139287813
61.83/62.07 c propagation checks 233999045
61.83/62.07 c constraint additions 89798137
61.83/62.07 c trail pops 13790700
61.83/62.07 c formula constraints 809
61.83/62.07 c learned constraints 256201
61.83/62.07 c bound constraints 0
61.83/62.07 c core-guided constraints 0
61.83/62.07 c encountered formula constraints 3815904
61.83/62.07 c encountered learned constraints 891468
61.83/62.07 c encountered bound constraints 0
61.83/62.07 c encountered core-guided constraints 0
61.83/62.07 c LP total time 3.28018 s
61.83/62.07 c LP solve time 2.47 s
61.83/62.07 c LP constraints added 824
61.83/62.07 c LP constraints removed 8
61.83/62.07 c LP pivots internal 25662
61.83/62.07 c LP pivots root 26989
61.83/62.07 c LP calls 412
61.83/62.07 c LP optimalities 25
61.83/62.07 c LP no pivot count 0
61.83/62.07 c LP infeasibilities 382
61.83/62.07 c LP valid Farkas constraints 381
61.83/62.07 c LP learned Farkas constraints 0
61.83/62.07 c LP basis resets 3
61.83/62.07 c LP cycling count 0
61.83/62.07 c LP singular count 1
61.83/62.07 c LP no primal count 0
61.83/62.07 c LP no farkas count 1
61.83/62.07 c LP other issue count 1
61.83/62.07 c LP Gomory cuts 7
61.83/62.07 c LP learned cuts 8
61.83/62.07 c LP deleted cuts 8
61.83/62.07 c LP encountered Gomory constraints 0
61.83/62.07 c LP encountered Farkas constraints 0
61.83/62.07 c LP encountered learned Farkas constraints 0
61.83/62.07 c CG auxiliary variables introduced 0
61.83/62.07 c CG solutions found 0
61.83/62.07 c CG cores constructed 0
61.83/62.07 c CG core cardinality constraints returned 0
61.83/62.07 c CG unit cores 0
61.83/62.07 c CG single cores 0
61.83/62.07 c CG blocks removed during cardinality reduction 0
61.83/62.07 c CG first core best 0
61.83/62.07 c CG decision core best 0
61.83/62.07 c CG core reduction tie 0
61.83/62.07 c CG core degree average 0.00
61.83/62.07 c CG core slack average 0.00
61.83/62.07 c CG core upper bound improvements 0
61.83/62.07 c STR number of successful calls 0
61.83/62.07 c STR number of unsuccessful calls 0
61.83/62.07 c STR number of inconclusive calls 0
61.83/62.07 c STR number of successful attempts 0
61.83/62.07 c STR number of unsuccessful attempts 0
61.83/62.07 c STR number of inconclusive attempts 0
61.83/62.07 c STR average degree increase per successful call inf
61.83/62.07 c STR average degree increase per successful attempt inf
61.83/62.07 c STR total number of conflicts for successful attempts 0
61.83/62.07 c STR total number of conflicts for unsuccessful attempts 0
61.83/62.07 c STR total number of conflicts for inconclusive attempts 0
61.83/62.07 c STR average number of conflicts per successful attempt inf
61.83/62.07 c STR average number of conflicts per unsuccessful attempt inf
61.83/62.07 c STR average number of conflicts per inconclusive attempt inf
61.83/62.07 c AVG.sumWPerc 18.66
61.83/62.07 c bigint constraints 0
61.83/62.07 s SATISFIABLE
61.83/62.07 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: 63708 MiB (63013 MiB free)
memory of node 1: 64465 MiB (63957 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493518-1751150237/watcher-4493518-1751150237 -o /tmp/evaluation-result-4493518-1751150237/solver-4493518-1751150237 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751146607-16318 --watchdog 3760 run-dec-ls.sh HOME/instance-4493518-1751150237.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
solver pid=17332, runsolver pid=17329
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 3.98 4.08 4.08 5/270 17334
/proc/meminfo: memFree=130018524/131249996 swapFree=33010684/33010684
[pid=17332] ppid=17329 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (run-dec-ls.sh) S 17329 17332 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 30702102 4292608 736 18446744073709551615 94553278943232 94553279837765 140728602906672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553280076816 94553280124560 94553289531392 140728602909031 140728602909157 140728602909157 140728602914759 0
/proc/17332/statm: 1048 736 672 219 0 110 0
[pid=17334] ppid=17332 vsize=58032 memory=12556 CPUtime=0.08 cores=0,2
/proc/17334/stat : 17334 (roundingsat) R 17332 17332 16308 0 -1 4194304 1124 0 0 0 8 0 0 0 20 0 1 0 30702103 59424768 3139 18446744073709551615 4227072 8923433 140732690938320 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 15147008 140732690942368 140732690942504 140732690942504 140732690948074 0
/proc/17334/statm: 14508 3139 2336 1147 0 1935 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62224 KiB
Current children cumulated memory: 15500 KiB
[startup+0.205484 s]*
/proc/loadavg: 3.98 4.08 4.08 5/270 17334
/proc/meminfo: memFree=130018524/131249996 swapFree=33010684/33010684
[pid=17332] ppid=17329 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (run-dec-ls.sh) S 17329 17332 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 30702102 4292608 736 18446744073709551615 94553278943232 94553279837765 140728602906672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553280076816 94553280124560 94553289531392 140728602909031 140728602909157 140728602909157 140728602914759 0
/proc/17332/statm: 1048 736 672 219 0 110 0
[pid=17334] ppid=17332 vsize=58840 memory=15672 CPUtime=0.18 cores=0,2
/proc/17334/stat : 17334 (roundingsat) R 17332 17332 16308 0 -1 4194304 1356 0 0 0 17 1 0 0 20 0 1 0 30702103 60252160 3918 18446744073709551615 4227072 8923433 140732690938320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15147008 140732690942368 140732690942504 140732690942504 140732690948074 0
/proc/17334/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: 18616 KiB
[startup+0.305122 s]*
/proc/loadavg: 3.98 4.08 4.08 5/270 17334
/proc/meminfo: memFree=130018552/131249996 swapFree=33010684/33010684
[pid=17332] ppid=17329 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (run-dec-ls.sh) S 17329 17332 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 30702102 4292608 736 18446744073709551615 94553278943232 94553279837765 140728602906672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553280076816 94553280124560 94553289531392 140728602909031 140728602909157 140728602909157 140728602914759 0
/proc/17332/statm: 1048 736 672 219 0 110 0
[pid=17334] ppid=17332 vsize=59388 memory=16184 CPUtime=0.28 cores=0,2
/proc/17334/stat : 17334 (roundingsat) R 17332 17332 16308 0 -1 4194304 1502 0 0 0 27 1 0 0 20 0 1 0 30702103 60813312 4046 18446744073709551615 4227072 8923433 140732690938320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15147008 140732690942368 140732690942504 140732690942504 140732690948074 0
/proc/17334/statm: 14847 4046 2368 1147 0 2274 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 63580 KiB
Current children cumulated memory: 19128 KiB
[startup+0.700197 s]
/proc/loadavg: 3.98 4.08 4.08 5/270 17334
/proc/meminfo: memFree=130018552/131249996 swapFree=33010684/33010684
[pid=17332] ppid=17329 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (run-dec-ls.sh) S 17329 17332 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 30702102 4292608 736 18446744073709551615 94553278943232 94553279837765 140728602906672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553280076816 94553280124560 94553289531392 140728602909031 140728602909157 140728602909157 140728602914759 0
/proc/17332/statm: 1048 736 672 219 0 110 0
[pid=17334] ppid=17332 vsize=60444 memory=17208 CPUtime=0.67 cores=0,2
/proc/17334/stat : 17334 (roundingsat) R 17332 17332 16308 0 -1 4194304 1752 0 0 0 65 2 0 0 20 0 1 0 30702103 61894656 4302 18446744073709551615 4227072 8923433 140732690938320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15147008 140732690942368 140732690942504 140732690942504 140732690948074 0
/proc/17334/statm: 15111 4302 2368 1147 0 2538 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 64636 KiB
Current children cumulated memory: 20152 KiB
[startup+1.50022 s]
/proc/loadavg: 3.98 4.08 4.08 5/270 17334
/proc/meminfo: memFree=130014772/131249996 swapFree=33010684/33010684
[pid=17332] ppid=17329 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (run-dec-ls.sh) S 17329 17332 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 30702102 4292608 736 18446744073709551615 94553278943232 94553279837765 140728602906672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553280076816 94553280124560 94553289531392 140728602909031 140728602909157 140728602909157 140728602914759 0
/proc/17332/statm: 1048 736 672 219 0 110 0
[pid=17334] ppid=17332 vsize=61284 memory=20412 CPUtime=1.46 cores=0,2
/proc/17334/stat : 17334 (roundingsat) R 17332 17332 16308 0 -1 4194304 1945 0 0 0 142 4 0 0 20 0 1 0 30702103 62754816 5103 18446744073709551615 4227072 8923433 140732690938320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15147008 140732690942368 140732690942504 140732690942504 140732690948074 0
/proc/17334/statm: 15321 5103 2464 1147 0 2748 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 65476 KiB
Current children cumulated memory: 23356 KiB
[startup+3.10542 s]
/proc/loadavg: 3.98 4.08 4.08 5/270 17334
/proc/meminfo: memFree=129987376/131249996 swapFree=33010684/33010684
[pid=17332] ppid=17329 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (run-dec-ls.sh) S 17329 17332 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 30702102 4292608 736 18446744073709551615 94553278943232 94553279837765 140728602906672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553280076816 94553280124560 94553289531392 140728602909031 140728602909157 140728602909157 140728602914759 0
/proc/17332/statm: 1048 736 672 219 0 110 0
[pid=17334] ppid=17332 vsize=62436 memory=21436 CPUtime=3.07 cores=0,2
/proc/17334/stat : 17334 (roundingsat) R 17332 17332 16308 0 -1 4194304 2199 0 0 0 299 8 0 0 20 0 1 0 30702103 63934464 5359 18446744073709551615 4227072 8923433 140732690938320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15147008 140732690942368 140732690942504 140732690942504 140732690948074 0
/proc/17334/statm: 15609 5359 2464 1147 0 3036 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 66628 KiB
Current children cumulated memory: 24380 KiB
[startup+6.30013 s]
/proc/loadavg: 3.98 4.08 4.08 5/270 17334
/proc/meminfo: memFree=129942976/131249996 swapFree=33010684/33010684
[pid=17332] ppid=17329 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (run-dec-ls.sh) S 17329 17332 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 30702102 4292608 736 18446744073709551615 94553278943232 94553279837765 140728602906672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553280076816 94553280124560 94553289531392 140728602909031 140728602909157 140728602909157 140728602914759 0
/proc/17332/statm: 1048 736 672 219 0 110 0
[pid=17334] ppid=17332 vsize=63504 memory=22588 CPUtime=6.25 cores=0,2
/proc/17334/stat : 17334 (roundingsat) R 17332 17332 16308 0 -1 4194304 2491 0 0 0 612 13 0 0 20 0 1 0 30702103 65028096 5647 18446744073709551615 4227072 8923433 140732690938320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15147008 140732690942368 140732690942504 140732690942504 140732690948074 0
/proc/17334/statm: 15876 5647 2464 1147 0 3303 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 67696 KiB
Current children cumulated memory: 25532 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.08 5/270 17334
/proc/meminfo: memFree=129922784/131249996 swapFree=33010684/33010684
[pid=17332] ppid=17329 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (run-dec-ls.sh) S 17329 17332 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 30702102 4292608 736 18446744073709551615 94553278943232 94553279837765 140728602906672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553280076816 94553280124560 94553289531392 140728602909031 140728602909157 140728602909157 140728602914759 0
/proc/17332/statm: 1048 736 672 219 0 110 0
[pid=17334] ppid=17332 vsize=67192 memory=24508 CPUtime=12.64 cores=0,2
/proc/17334/stat : 17334 (roundingsat) R 17332 17332 16308 0 -1 4194304 2994 0 0 0 1241 23 0 0 20 0 1 0 30702103 68804608 6127 18446744073709551615 4227072 8923433 140732690938320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15147008 140732690942368 140732690942504 140732690942504 140732690948074 0
/proc/17334/statm: 16798 6127 2464 1147 0 4225 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 71384 KiB
Current children cumulated memory: 27452 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.09 4.08 5/269 17335
/proc/meminfo: memFree=129861352/131249996 swapFree=33010684/33010684
[pid=17332] ppid=17329 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (run-dec-ls.sh) S 17329 17332 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 30702102 4292608 736 18446744073709551615 94553278943232 94553279837765 140728602906672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553280076816 94553280124560 94553289531392 140728602909031 140728602909157 140728602909157 140728602914759 0
/proc/17332/statm: 1048 736 672 219 0 110 0
[pid=17334] ppid=17332 vsize=70928 memory=29372 CPUtime=25.41 cores=0,2
/proc/17334/stat : 17334 (roundingsat) R 17332 17332 16308 0 -1 4194304 4219 0 0 0 2496 45 0 0 20 0 1 0 30702103 72630272 7343 18446744073709551615 4227072 8923433 140732690938320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15147008 140732690942368 140732690942504 140732690942504 140732690948074 0
/proc/17334/statm: 17732 7343 2464 1147 0 5159 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 75120 KiB
Current children cumulated memory: 32316 KiB
[startup+51.1055 s]
/proc/loadavg: 4.03 4.08 4.08 5/269 17519
/proc/meminfo: memFree=129905176/131249996 swapFree=33010684/33010684
[pid=17332] ppid=17329 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (run-dec-ls.sh) S 17329 17332 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 30702102 4292608 736 18446744073709551615 94553278943232 94553279837765 140728602906672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553280076816 94553280124560 94553289531392 140728602909031 140728602909157 140728602909157 140728602914759 0
/proc/17332/statm: 1048 736 672 219 0 110 0
[pid=17334] ppid=17332 vsize=77844 memory=35668 CPUtime=50.95 cores=0,2
/proc/17334/stat : 17334 (roundingsat) R 17332 17332 16308 0 -1 4194304 5298 0 0 0 5012 83 0 0 20 0 1 0 30702103 79712256 8917 18446744073709551615 4227072 8923433 140732690938320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15147008 140732690942368 140732690942504 140732690942504 140732690948074 0
/proc/17334/statm: 19461 8917 2464 1147 0 6888 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 82036 KiB
Current children cumulated memory: 38612 KiB
[startup+62.0765 s]
# the end of solver process 17332 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=60.9111 s, system=0.994866 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.03 4.08 4.08 5/269 17519
/proc/meminfo: memFree=129905176/131249996 swapFree=33010684/33010684
[pid=17332] ppid=17329 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (run-dec-ls.sh) S 17329 17332 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 30702102 4292608 736 18446744073709551615 94553278943232 94553279837765 140728602906672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553280076816 94553280124560 94553289531392 140728602909031 140728602909157 140728602909157 140728602914759 0
/proc/17332/statm: 1048 736 672 219 0 110 0
[pid=17334] ppid=17332 vsize=77844 memory=35668 CPUtime=51.04 cores=0,2
/proc/17334/stat : 17334 (roundingsat) R 17332 17332 16308 0 -1 4194304 5298 0 0 0 5021 83 0 0 20 0 1 0 30702103 79712256 8917 18446744073709551615 4227072 8923433 140732690938320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15147008 140732690942368 140732690942504 140732690942504 140732690948074 0
/proc/17334/statm: 19461 8917 2464 1147 0 6888 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 82036 KiB
Current children cumulated memory: 38612 KiB
[startup+57.6002 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 17519
/proc/meminfo: memFree=129879852/131249996 swapFree=33010684/33010684
[pid=17332] ppid=17329 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (run-dec-ls.sh) S 17329 17332 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 30702102 4292608 736 18446744073709551615 94553278943232 94553279837765 140728602906672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553280076816 94553280124560 94553289531392 140728602909031 140728602909157 140728602909157 140728602914759 0
/proc/17332/statm: 1048 736 672 219 0 110 0
[pid=17334] ppid=17332 vsize=78000 memory=36044 CPUtime=57.43 cores=0,2
/proc/17334/stat : 17334 (roundingsat) R 17332 17332 16308 0 -1 4194304 5449 0 0 0 5651 92 0 0 20 0 1 0 30702103 79872000 9011 18446744073709551615 4227072 8923433 140732690938320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15147008 140732690942368 140732690942504 140732690942504 140732690948074 0
/proc/17334/statm: 19500 9011 2464 1147 0 6927 0
Current children cumulated CPU time: 57.43 s
Current children cumulated vsize: 82192 KiB
Current children cumulated memory: 38988 KiB
[startup+59.2001 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 17519
/proc/meminfo: memFree=129859436/131249996 swapFree=33010684/33010684
[pid=17332] ppid=17329 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (run-dec-ls.sh) S 17329 17332 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 30702102 4292608 736 18446744073709551615 94553278943232 94553279837765 140728602906672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553280076816 94553280124560 94553289531392 140728602909031 140728602909157 140728602909157 140728602914759 0
/proc/17332/statm: 1048 736 672 219 0 110 0
[pid=17334] ppid=17332 vsize=78320 memory=36312 CPUtime=59.03 cores=0,2
/proc/17334/stat : 17334 (roundingsat) R 17332 17332 16308 0 -1 4194304 5623 0 0 0 5808 95 0 0 20 0 1 0 30702103 80199680 9078 18446744073709551615 4227072 8923433 140732690938320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15147008 140732690942368 140732690942504 140732690942504 140732690948074 0
/proc/17334/statm: 19580 9078 2464 1147 0 7007 0
Current children cumulated CPU time: 59.03 s
Current children cumulated vsize: 82512 KiB
Current children cumulated memory: 39256 KiB
[startup+60.8002 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 17519
/proc/meminfo: memFree=129859436/131249996 swapFree=33010684/33010684
[pid=17332] ppid=17329 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (run-dec-ls.sh) S 17329 17332 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 30702102 4292608 736 18446744073709551615 94553278943232 94553279837765 140728602906672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553280076816 94553280124560 94553289531392 140728602909031 140728602909157 140728602909157 140728602914759 0
/proc/17332/statm: 1048 736 672 219 0 110 0
[pid=17334] ppid=17332 vsize=78320 memory=36312 CPUtime=60.62 cores=0,2
/proc/17334/stat : 17334 (roundingsat) R 17332 17332 16308 0 -1 4194304 5623 0 0 0 5965 97 0 0 20 0 1 0 30702103 80199680 9078 18446744073709551615 4227072 8923433 140732690938320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15147008 140732690942368 140732690942504 140732690942504 140732690948074 0
/proc/17334/statm: 19580 9078 2464 1147 0 7007 0
Current children cumulated CPU time: 60.62 s
Current children cumulated vsize: 82512 KiB
Current children cumulated memory: 39256 KiB
[startup+61.6002 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 17519
/proc/meminfo: memFree=129854584/131249996 swapFree=33010684/33010684
[pid=17332] ppid=17329 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (run-dec-ls.sh) S 17329 17332 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 30702102 4292608 736 18446744073709551615 94553278943232 94553279837765 140728602906672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553280076816 94553280124560 94553289531392 140728602909031 140728602909157 140728602909157 140728602914759 0
/proc/17332/statm: 1048 736 672 219 0 110 0
[pid=17334] ppid=17332 vsize=78460 memory=36312 CPUtime=61.42 cores=0,2
/proc/17334/stat : 17334 (roundingsat) R 17332 17332 16308 0 -1 4194304 5644 0 0 0 6044 98 0 0 20 0 1 0 30702103 80343040 9078 18446744073709551615 4227072 8923433 140732690938320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15147008 140732690942368 140732690942504 140732690942504 140732690948074 0
/proc/17334/statm: 19615 9078 2464 1147 0 7042 0
Current children cumulated CPU time: 61.42 s
Current children cumulated vsize: 82652 KiB
Current children cumulated memory: 39256 KiB
[startup+62.0002 s]*
/proc/loadavg: 4.10 4.09 4.09 5/268 17519
/proc/meminfo: memFree=129854584/131249996 swapFree=33010684/33010684
[pid=17332] ppid=17329 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (run-dec-ls.sh) S 17329 17332 16308 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 30702102 4292608 736 18446744073709551615 94553278943232 94553279837765 140728602906672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94553280076816 94553280124560 94553289531392 140728602909031 140728602909157 140728602909157 140728602914759 0
/proc/17332/statm: 1048 736 672 219 0 110 0
[pid=17334] ppid=17332 vsize=78652 memory=36440 CPUtime=61.83 cores=0,2
/proc/17334/stat : 17334 (roundingsat) R 17332 17332 16308 0 -1 4194304 5658 0 0 0 6084 99 0 0 20 0 1 0 30702103 80539648 9110 18446744073709551615 4227072 8923433 140732690938320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15147008 140732690942368 140732690942504 140732690942504 140732690948074 0
/proc/17334/statm: 19663 9110 2464 1147 0 7090 0
Current children cumulated CPU time: 61.83 s
Current children cumulated vsize: 82844 KiB
Current children cumulated memory: 39384 KiB
Child status: 0
Real time (s): 62.0766
CPU time (s): 61.906
CPU user time (s): 60.9111
CPU system time (s): 0.994866
CPU usage (%): 99.7253
Max. virtual memory (cumulated for all children) (KiB): 82844
Max. memory (cumulated for all children) (KiB): 39384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.9111
system time used= 0.994866
maximum resident set size= 36824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6008
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 145
# summary of solver processes directly reported to runsolver:
# pid: 17332
# total CPU time (s): 61.906
# total CPU user time (s): 60.9111
# total CPU system time (s): 0.994866
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.154165 second user time and 0.27644 second system time
The end
Begin job on nodeC029 at 2025-06-29 00:37:17
IDJOB=4493518
IDBENCH=147865
IDSOLVER=3353
FILE ID=nodeC029/4493518-1751150237
RUNJOBID= nodeC029-1751146607-16318
SLURM_JOB_ID= 9587465
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army11.17bt.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493518-1751150237/watcher-4493518-1751150237 -o /tmp/evaluation-result-4493518-1751150237/solver-4493518-1751150237 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751146607-16318 --watchdog 3760 run-dec-ls.sh HOME/instance-4493518-1751150237.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 13744d26940a0db30366992d9fdeef8c
RANDOM SEED=88436617
nodeC029 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.752
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.46
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.731
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.46
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.723
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.46
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 : 3562.532
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.46
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.728
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.46
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.719
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.46
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 : 3600.086
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.46
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 : 3584.803
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130018356 kB
MemAvailable: 129650668 kB
Buffers: 3280 kB
Cached: 429292 kB
SwapCached: 0 kB
Active: 442152 kB
Inactive: 210384 kB
Active(anon): 238024 kB
Inactive(anon): 0 kB
Active(file): 204128 kB
Inactive(file): 210384 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 34776 kB
Writeback: 0 kB
AnonPages: 222700 kB
Mapped: 114812 kB
Shmem: 18060 kB
KReclaimable: 85472 kB
Slab: 168344 kB
SReclaimable: 85472 kB
SUnreclaim: 82872 kB
KernelStack: 4356 kB
PageTables: 3528 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 563804 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 40960 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC029 at 2025-06-29 00:38:19