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.87/1.00 c #Conflicts: 1000 | #Constraints: 1810
0.87/1.00 c #Conflicts: 2000 | #Constraints: 2811
0.87/1.00 c INPROCESSING
0.87/1.00 c GARBAGE COLLECT
0.87/1.00 c #Conflicts: 3000 | #Constraints: 2787
0.87/1.00 c #Conflicts: 4000 | #Constraints: 3787
0.87/1.00 c INPROCESSING
0.87/1.00 c GARBAGE COLLECT
0.87/1.00 c #Conflicts: 5000 | #Constraints: 3189
0.87/1.00 WSVECS04 Frhs2[22]: 6 0 468.739 shouldn't be
0.87/1.00 WSVECS04 Frhs2[141]: 6 0 395.692 shouldn't be
0.87/1.00 WSVECS04 Frhs2[198]: 6 0 134.994 shouldn't be
0.87/1.00 WSVECS04 Frhs2[226]: 6 0 272.885 shouldn't be
0.87/1.00 WSVECS04 Frhs2[256]: 6 0 652.55 shouldn't be
0.87/1.00 WSVECS04 Frhs2[288]: 6 -23.5849 0 shouldn't be
0.87/1.00 WSVECS04 Frhs2[290]: 6 0 1167.48 shouldn't be
0.87/1.00 WSVECS04 Frhs2[293]: 6 0 331.142 shouldn't be
0.87/1.00 WSVECS04 Frhs2[303]: 6 0 738.669 shouldn't be
0.87/1.00 WSVECS04 Frhs2[331]: 6 0 237.456 shouldn't be
0.87/1.00 WSVECS04 Frhs2[345]: 6 0 1384.29 shouldn't be
0.87/1.00 WSVECS04 Frhs2[355]: 6 -753.403 0 shouldn't be
0.87/1.00 WSVECS04 Frhs2[368]: 6 0 214.997 shouldn't be
1.57/1.68 c #Conflicts: 6000 | #Constraints: 4189
1.57/1.68 c INPROCESSING
1.57/1.68 c GARBAGE COLLECT
1.57/1.68 c #Conflicts: 7000 | #Constraints: 3193
1.57/1.68 c #Conflicts: 8000 | #Constraints: 4193
1.57/1.68 c #Conflicts: 9000 | #Constraints: 5193
1.57/1.68 c INPROCESSING
1.57/1.68 c GARBAGE COLLECT
1.57/1.68 WSVECS04 Frhs2[5]: 6 0 2.32895 shouldn't be
1.57/1.68 WSVECS04 Frhs2[8]: 6 -3.49589 0 shouldn't be
1.57/1.68 WSVECS04 Frhs2[29]: 6 0 1.49872 shouldn't be
1.57/1.68 WSVECS04 Frhs2[39]: 6 0 1.49872 shouldn't be
1.57/1.68 WSVECS04 Frhs2[44]: 6 0 0.388595 shouldn't be
1.57/1.68 WSVECS04 Frhs2[48]: 6 0 0.194096 shouldn't be
1.57/1.68 WSVECS04 Frhs2[69]: 6 0 1.49872 shouldn't be
1.57/1.68 WSVECS04 Frhs2[155]: 6 0 0.654347 shouldn't be
1.57/1.68 WSVECS04 Frhs2[160]: 6 -4.30719 0 shouldn't be
1.57/1.68 WSVECS04 Frhs2[197]: 6 0 0.804344 shouldn't be
1.57/1.68 WSVECS04 Frhs2[203]: 6 0 1.49872 shouldn't be
1.57/1.68 WSVECS04 Frhs2[208]: 6 0 0.694373 shouldn't be
1.57/1.68 WSVECS04 Frhs2[249]: 6 -3.33035 0 shouldn't be
1.57/1.68 WSVECS04 Frhs2[258]: 6 0 0.108823 shouldn't be
1.57/1.68 WSVECS04 Frhs2[261]: 6 0 0.815491 shouldn't be
1.57/1.68 WSVECS04 Frhs2[273]: 6 0 7.99084 shouldn't be
1.57/1.68 WSVECS04 Frhs2[277]: 6 -8.74202 0 shouldn't be
1.57/1.68 WSVECS04 Frhs2[296]: 6 -0.605255 0 shouldn't be
1.57/1.68 WSVECS04 Frhs2[297]: 6 -1.16781 0 shouldn't be
1.57/1.68 WSVECS04 Frhs2[318]: 6 -1 0 shouldn't be
1.57/1.68 WSVECS04 Frhs2[336]: 6 -0.000642222 0 shouldn't be
1.67/1.72 WSVECS04 Frhs2[12]: 6 0 0.694374 shouldn't be
1.67/1.72 WSVECS04 Frhs2[75]: 6 0 1.49872 shouldn't be
1.67/1.72 WSVECS04 Frhs2[138]: 6 0 0.694374 shouldn't be
1.67/1.72 WSVECS04 Frhs2[193]: 6 0 1.49872 shouldn't be
1.67/1.72 WSVECS04 Frhs2[212]: 6 0 0.694374 shouldn't be
1.67/1.72 WSVECS04 Frhs2[291]: 6 0 0.876211 shouldn't be
1.67/1.72 WSVECS04 Frhs2[312]: 6 0 0.12411 shouldn't be
1.67/1.72 WSVECS04 Frhs2[362]: 6 -2.41099 0 shouldn't be
6.37/6.41 c #Conflicts: 10000 | #Constraints: 3892
6.37/6.41 c #Conflicts: 11000 | #Constraints: 4892
6.37/6.41 c #Conflicts: 12000 | #Constraints: 5892
6.37/6.41 c INPROCESSING
6.37/6.41 c GARBAGE COLLECT
6.37/6.41 c #Conflicts: 13000 | #Constraints: 4341
6.37/6.41 c #Conflicts: 14000 | #Constraints: 5341
6.37/6.41 c #Conflicts: 15000 | #Constraints: 6341
6.37/6.41 c INPROCESSING
6.37/6.41 c GARBAGE COLLECT
6.37/6.41 c #Conflicts: 16000 | #Constraints: 4575
6.37/6.41 c #Conflicts: 17000 | #Constraints: 5575
6.37/6.41 c #Conflicts: 18000 | #Constraints: 6576
6.37/6.41 c INPROCESSING
6.37/6.41 c GARBAGE COLLECT
6.37/6.41 c #Conflicts: 19000 | #Constraints: 4585
6.37/6.41 c #Conflicts: 20000 | #Constraints: 5587
6.37/6.41 c #Conflicts: 21000 | #Constraints: 6589
6.37/6.41 c INPROCESSING
6.37/6.41 c GARBAGE COLLECT
6.37/6.41 c #Conflicts: 22000 | #Constraints: 4386
6.37/6.41 c #Conflicts: 23000 | #Constraints: 5387
6.37/6.41 c #Conflicts: 24000 | #Constraints: 6390
6.37/6.41 c #Conflicts: 25000 | #Constraints: 7392
6.37/6.41 c INPROCESSING
6.37/6.41 c GARBAGE COLLECT
6.37/6.41 c #Conflicts: 26000 | #Constraints: 4993
6.37/6.41 c #Conflicts: 27000 | #Constraints: 5994
6.37/6.41 c #Conflicts: 28000 | #Constraints: 6997
6.37/6.41 c #Conflicts: 29000 | #Constraints: 7998
6.37/6.41 c INPROCESSING
6.37/6.41 c GARBAGE COLLECT
6.37/6.41 c #Conflicts: 30000 | #Constraints: 5400
6.37/6.41 c #Conflicts: 31000 | #Constraints: 6403
6.37/6.41 c #Conflicts: 32000 | #Constraints: 7404
6.37/6.41 c #Conflicts: 33000 | #Constraints: 8404
6.37/6.41 c INPROCESSING
6.37/6.41 c GARBAGE COLLECT
6.37/6.41 c rational objective 51.4336
11.75/11.85 c #Conflicts: 34000 | #Constraints: 5597
11.75/11.85 c #Conflicts: 35000 | #Constraints: 6597
11.75/11.85 c #Conflicts: 36000 | #Constraints: 7597
11.75/11.85 c #Conflicts: 37000 | #Constraints: 8597
11.75/11.85 c INPROCESSING
11.75/11.85 c GARBAGE COLLECT
11.75/11.85 c #Conflicts: 38000 | #Constraints: 5600
11.75/11.85 c #Conflicts: 39000 | #Constraints: 6600
11.75/11.85 c #Conflicts: 40000 | #Constraints: 7600
11.75/11.85 c #Conflicts: 41000 | #Constraints: 8600
11.75/11.85 c INPROCESSING
11.75/11.85 c GARBAGE COLLECT
11.75/11.85 c #Conflicts: 42000 | #Constraints: 5404
11.75/11.85 c #Conflicts: 43000 | #Constraints: 6405
11.75/11.85 c #Conflicts: 44000 | #Constraints: 7407
11.75/11.85 c #Conflicts: 45000 | #Constraints: 8409
11.75/11.85 c #Conflicts: 46000 | #Constraints: 9410
11.75/11.85 c INPROCESSING
11.75/11.85 c GARBAGE COLLECT
11.75/11.85 c #Conflicts: 47000 | #Constraints: 6002
11.75/11.85 c #Conflicts: 48000 | #Constraints: 7003
11.75/11.85 c #Conflicts: 49000 | #Constraints: 8005
11.75/11.85 c #Conflicts: 50000 | #Constraints: 9007
11.75/11.85 c #Conflicts: 51000 | #Constraints: 10009
11.75/11.85 c INPROCESSING
11.75/11.85 c GARBAGE COLLECT
11.75/11.85 c #Conflicts: 52000 | #Constraints: 6394
11.75/11.85 c #Conflicts: 53000 | #Constraints: 7398
11.75/11.85 c #Conflicts: 54000 | #Constraints: 8399
11.75/11.85 c #Conflicts: 55000 | #Constraints: 9400
11.75/11.85 c #Conflicts: 56000 | #Constraints: 10401
11.75/11.85 c INPROCESSING
11.75/11.85 c GARBAGE COLLECT
11.75/11.85 WSVECS04 Frhs2[3]: 6 0 4.02433 shouldn't be
11.75/11.85 WSVECS04 Frhs2[9]: 6 0 4.02438 shouldn't be
11.75/11.85 WSVECS04 Frhs2[13]: 6 0 4.02433 shouldn't be
11.75/11.85 WSVECS04 Frhs2[17]: 6 0 4.02438 shouldn't be
11.75/11.85 WSVECS04 Frhs2[30]: 6 0 11.8968 shouldn't be
11.75/11.85 WSVECS04 Frhs2[36]: 6 0 11.8968 shouldn't be
11.75/11.85 WSVECS04 Frhs2[49]: 6 0 5.99312 shouldn't be
11.75/11.85 WSVECS04 Frhs2[53]: 6 0 20.7846 shouldn't be
11.75/11.85 WSVECS04 Frhs2[56]: 6 0 11.8968 shouldn't be
11.75/11.85 WSVECS04 Frhs2[61]: 6 0 8.27392 shouldn't be
11.75/11.85 WSVECS04 Frhs2[62]: 6 0 15.1773 shouldn't be
11.75/11.85 WSVECS04 Frhs2[63]: 6 0 4.99348 shouldn't be
11.75/11.85 WSVECS04 Frhs2[71]: 6 0 135.668 shouldn't be
11.75/11.85 WSVECS04 Frhs2[80]: 6 0 11.8968 shouldn't be
11.75/11.85 WSVECS04 Frhs2[81]: 6 0 4.99342 shouldn't be
11.75/11.85 WSVECS04 Frhs2[82]: 6 0 11.8968 shouldn't be
11.75/11.85 WSVECS04 Frhs2[83]: 6 0 202.093 shouldn't be
11.75/11.85 WSVECS04 Frhs2[89]: 6 -23.3121 0 shouldn't be
11.75/11.85 WSVECS04 Frhs2[92]: 6 0 11.8968 shouldn't be
11.75/11.85 WSVECS04 Frhs2[93]: 6 0 121.28 shouldn't be
11.75/11.85 WSVECS04 Frhs2[97]: 6 0 20.0624 shouldn't be
11.75/11.85 WSVECS04 Frhs2[103]: 6 0 151.799 shouldn't be
11.75/11.85 WSVECS04 Frhs2[104]: 6 0 11.8968 shouldn't be
11.75/11.85 WSVECS04 Frhs2[107]: 6 0 23.998 shouldn't be
11.75/11.85 WSVECS04 Frhs2[108]: 6 0 11.8968 shouldn't be
11.75/11.85 WSVECS04 Frhs2[116]: 6 0 11.8968 shouldn't be
11.75/11.85 WSVECS04 Frhs2[117]: 6 0 62.3184 shouldn't be
11.75/11.85 WSVECS04 Frhs2[118]: 6 0 11.8968 shouldn't be
11.75/11.85 WSVECS04 Frhs2[119]: 6 0 175.21 shouldn't be
11.75/11.85 WSVECS04 Frhs2[123]: 6 0 13.0458 shouldn't be
11.75/11.85 WSVECS04 Frhs2[129]: 6 0 46.5273 shouldn't be
11.75/11.85 WSVECS04 Frhs2[131]: 6 0 40.5717 shouldn't be
11.75/11.85 WSVECS04 Frhs2[133]: 6 -205.654 0 shouldn't be
11.75/11.85 WSVECS04 Frhs2[136]: 6 0 11.8968 shouldn't be
11.75/11.85 WSVECS04 Frhs2[137]: 6 0 4.99348 shouldn't be
11.75/11.85 WSVECS04 Frhs2[147]: 6 0 4.99345 shouldn't be
11.75/11.85 WSVECS04 Frhs2[151]: 6 0 32.0598 shouldn't be
11.75/11.85 WSVECS04 Frhs2[153]: 6 0 30.2722 shouldn't be
11.75/11.85 WSVECS04 Frhs2[155]: 6 0 100.235 shouldn't be
11.75/11.85 WSVECS04 Frhs2[156]: 6 0 107.123 shouldn't be
11.75/11.85 WSVECS04 Frhs2[162]: 6 0 11.8968 shouldn't be
11.75/11.85 WSVECS04 Frhs2[166]: 6 0 11.8968 shouldn't be
11.75/11.85 WSVECS04 Frhs2[167]: 6 0 46.6194 shouldn't be
11.75/11.85 WSVECS04 Frhs2[172]: 6 -674.541 0 shouldn't be
11.75/11.85 WSVECS04 Frhs2[173]: 6 0 118.394 shouldn't be
11.75/11.85 WSVECS04 Frhs2[177]: 6 0 27.2952 shouldn't be
11.75/11.85 WSVECS04 Frhs2[178]: 6 0 34.1986 shouldn't be
11.75/11.85 WSVECS04 Frhs2[183]: 6 0 290.681 shouldn't be
11.75/11.85 WSVECS04 Frhs2[185]: 6 0 56.4639 shouldn't be
11.75/11.85 WSVECS04 Frhs2[187]: 6 0 4.99342 shouldn't be
11.75/11.85 WSVECS04 Frhs2[191]: 6 0 4.99348 shouldn't be
11.75/11.85 WSVECS04 Frhs2[193]: 6 0 10.9922 shouldn't be
11.75/11.85 WSVECS04 Frhs2[197]: 6 0 12.8409 shouldn't be
11.75/11.85 WSVECS04 Frhs2[199]: 6 0 126.587 shouldn't be
11.75/11.85 WSVECS04 Frhs2[200]: 6 0 21.9034 shouldn't be
11.75/11.85 WSVECS04 Frhs2[207]: 6 0 32.4212 shouldn't be
11.75/11.85 WSVECS04 Frhs2[209]: 6 0 29.6262 shouldn't be
11.75/11.85 WSVECS04 Frhs2[219]: 6 0 0.672521 shouldn't be
11.75/11.85 WSVECS04 Frhs2[221]: 6 0 245.7 shouldn't be
11.75/11.85 WSVECS04 Frhs2[223]: 6 0 2.01928 shouldn't be
11.75/11.85 WSVECS04 Frhs2[225]: 6 0 49.1705 shouldn't be
11.75/11.85 WSVECS04 Frhs2[234]: 6 0 6.88793 shouldn't be
11.75/11.85 WSVECS04 Frhs2[235]: 6 0 59.7573 shouldn't be
11.75/11.85 WSVECS04 Frhs2[237]: 6 0 8.23618 shouldn't be
11.75/11.85 WSVECS04 Frhs2[250]: 6 -52.3515 0 shouldn't be
11.75/11.85 WSVECS04 Frhs2[252]: 6 -158.929 0 shouldn't be
11.75/11.85 WSVECS04 Frhs2[258]: 6 0 150.352 shouldn't be
11.75/11.85 WSVECS04 Frhs2[261]: 6 -255.581 0 shouldn't be
11.75/11.85 WSVECS04 Frhs2[266]: 6 -172.654 0 shouldn't be
11.75/11.85 WSVECS04 Frhs2[269]: 6 -227.392 0 shouldn't be
11.75/11.85 WSVECS04 Frhs2[282]: 6 0 229.597 shouldn't be
11.75/11.85 WSVECS04 Frhs2[296]: 6 -116.284 0 shouldn't be
11.75/11.85 WSVECS04 Frhs2[322]: 6 -62.8514 0 shouldn't be
11.75/11.85 WSVECS04 Frhs2[324]: 6 -163.743 0 shouldn't be
11.75/11.85 WSVECS04 Frhs2[335]: 6 -222.68 0 shouldn't be
11.75/11.85 WSVECS04 Frhs2[344]: 6 0 116.233 shouldn't be
11.75/11.85 WSVECS04 Frhs2[369]: 6 -6.57376 0 shouldn't be
11.85/11.90 WSVECS04 Frhs2[248]: 6 -93.0959 0 shouldn't be
11.85/11.90 WSVECS04 Frhs2[297]: 6 -183.422 0 shouldn't be
11.85/11.90 WSVECS04 Frhs2[318]: 6 -132.811 0 shouldn't be
11.85/11.95 c rational objective 51.4362
18.94/19.08 c #Conflicts: 57000 | #Constraints: 6600
18.94/19.08 c #Conflicts: 58000 | #Constraints: 7601
18.94/19.08 c #Conflicts: 59000 | #Constraints: 8601
18.94/19.08 c #Conflicts: 60000 | #Constraints: 9602
18.94/19.08 c #Conflicts: 61000 | #Constraints: 10603
18.94/19.08 c INPROCESSING
18.94/19.08 c GARBAGE COLLECT
18.94/19.08 c #Conflicts: 62000 | #Constraints: 6601
18.94/19.08 c #Conflicts: 63000 | #Constraints: 7603
18.94/19.08 c #Conflicts: 64000 | #Constraints: 8608
18.94/19.08 c #Conflicts: 65000 | #Constraints: 9609
18.94/19.08 c #Conflicts: 66000 | #Constraints: 10611
18.94/19.08 c INPROCESSING
18.94/19.08 c GARBAGE COLLECT
18.94/19.08 c #Conflicts: 67000 | #Constraints: 6409
18.94/19.08 c #Conflicts: 68000 | #Constraints: 7409
18.94/19.08 c #Conflicts: 69000 | #Constraints: 8410
18.94/19.08 c #Conflicts: 70000 | #Constraints: 9410
18.94/19.08 c #Conflicts: 71000 | #Constraints: 10412
18.94/19.08 c #Conflicts: 72000 | #Constraints: 11413
18.94/19.08 c INPROCESSING
18.94/19.08 c GARBAGE COLLECT
18.94/19.08 c #Conflicts: 73000 | #Constraints: 7005
18.94/19.08 c #Conflicts: 74000 | #Constraints: 8007
18.94/19.08 c #Conflicts: 75000 | #Constraints: 9008
18.94/19.08 c #Conflicts: 76000 | #Constraints: 10009
18.94/19.08 c #Conflicts: 77000 | #Constraints: 11011
18.94/19.08 c #Conflicts: 78000 | #Constraints: 12013
18.94/19.08 c INPROCESSING
18.94/19.08 c GARBAGE COLLECT
18.94/19.08 c #Conflicts: 79000 | #Constraints: 7403
18.94/19.08 c #Conflicts: 80000 | #Constraints: 8403
18.94/19.08 c #Conflicts: 81000 | #Constraints: 9404
18.94/19.08 c #Conflicts: 82000 | #Constraints: 10407
18.94/19.08 c #Conflicts: 83000 | #Constraints: 11409
18.94/19.08 c #Conflicts: 84000 | #Constraints: 12413
18.94/19.08 c INPROCESSING
18.94/19.08 c GARBAGE COLLECT
18.94/19.08 c rational objective 51.4365
30.21/30.36 c #Conflicts: 85000 | #Constraints: 7609
30.21/30.36 c #Conflicts: 86000 | #Constraints: 8609
30.21/30.36 c #Conflicts: 87000 | #Constraints: 9610
30.21/30.36 c #Conflicts: 88000 | #Constraints: 10610
30.21/30.36 c #Conflicts: 89000 | #Constraints: 11611
30.21/30.36 c #Conflicts: 90000 | #Constraints: 12612
30.21/30.36 c INPROCESSING
30.21/30.36 c GARBAGE COLLECT
30.21/30.36 c #Conflicts: 91000 | #Constraints: 7606
30.21/30.36 c #Conflicts: 92000 | #Constraints: 8607
30.21/30.36 c #Conflicts: 93000 | #Constraints: 9610
30.21/30.36 c #Conflicts: 94000 | #Constraints: 10612
30.21/30.36 c #Conflicts: 95000 | #Constraints: 11618
30.21/30.36 c #Conflicts: 96000 | #Constraints: 12629
30.21/30.36 c INPROCESSING
30.21/30.36 c GARBAGE COLLECT
30.21/30.36 c #Conflicts: 97000 | #Constraints: 7421
30.21/30.36 c #Conflicts: 98000 | #Constraints: 8424
30.21/30.36 c #Conflicts: 99000 | #Constraints: 9427
30.21/30.36 c #Conflicts: 100000 | #Constraints: 10429
30.21/30.36 c #Conflicts: 101000 | #Constraints: 11433
30.21/30.36 c #Conflicts: 102000 | #Constraints: 12440
30.21/30.36 c #Conflicts: 103000 | #Constraints: 13449
30.21/30.36 c INPROCESSING
30.21/30.36 c GARBAGE COLLECT
30.21/30.36 c #Conflicts: 104000 | #Constraints: 8018
30.21/30.36 c #Conflicts: 105000 | #Constraints: 9020
30.21/30.36 c #Conflicts: 106000 | #Constraints: 10021
30.21/30.36 c #Conflicts: 107000 | #Constraints: 11023
30.21/30.36 c #Conflicts: 108000 | #Constraints: 12026
30.21/30.36 c #Conflicts: 109000 | #Constraints: 13029
30.21/30.36 c #Conflicts: 110000 | #Constraints: 14032
30.21/30.36 c INPROCESSING
30.21/30.36 c GARBAGE COLLECT
30.21/30.36 c #Conflicts: 111000 | #Constraints: 8416
30.21/30.36 c #Conflicts: 112000 | #Constraints: 9417
30.21/30.36 c #Conflicts: 113000 | #Constraints: 10418
30.21/30.36 c #Conflicts: 114000 | #Constraints: 11419
30.21/30.36 c #Conflicts: 115000 | #Constraints: 12421
30.21/30.36 c #Conflicts: 116000 | #Constraints: 13423
30.21/30.36 c #Conflicts: 117000 | #Constraints: 14424
30.21/30.36 c INPROCESSING
30.21/30.36 c GARBAGE COLLECT
30.21/30.36 c #Conflicts: 118000 | #Constraints: 8608
30.21/30.36 c #Conflicts: 119000 | #Constraints: 9609
30.21/30.36 c #Conflicts: 120000 | #Constraints: 10609
30.21/30.36 c #Conflicts: 121000 | #Constraints: 11609
30.21/30.37 c #Conflicts: 122000 | #Constraints: 12611
30.21/30.37 c #Conflicts: 123000 | #Constraints: 13613
30.21/30.37 c #Conflicts: 124000 | #Constraints: 14614
30.21/30.37 c INPROCESSING
30.21/30.37 c GARBAGE COLLECT
30.21/30.37 WSVECS04 Frhs2[10]: 6 0 9.69709 shouldn't be
30.21/30.37 WSVECS04 Frhs2[27]: 6 0 0.596553 shouldn't be
30.21/30.37 WSVECS04 Frhs2[36]: 6 0 95.6718 shouldn't be
30.21/30.37 WSVECS04 Frhs2[39]: 6 0 4.85113 shouldn't be
30.21/30.37 WSVECS04 Frhs2[43]: 6 0 9.39717 shouldn't be
30.21/30.37 WSVECS04 Frhs2[53]: 6 0 93.044 shouldn't be
30.21/30.37 WSVECS04 Frhs2[55]: 6 0 20.1071 shouldn't be
30.21/30.37 WSVECS04 Frhs2[61]: 6 0 46.9143 shouldn't be
30.21/30.37 WSVECS04 Frhs2[72]: 6 0 41.6941 shouldn't be
30.21/30.37 WSVECS04 Frhs2[75]: 6 0 47.757 shouldn't be
30.21/30.37 WSVECS04 Frhs2[77]: 6 0 131.8 shouldn't be
30.21/30.37 WSVECS04 Frhs2[79]: 6 0 48.8934 shouldn't be
30.21/30.37 WSVECS04 Frhs2[80]: 6 0 3.78683 shouldn't be
30.21/30.37 WSVECS04 Frhs2[89]: 6 -321.832 0 shouldn't be
30.21/30.37 WSVECS04 Frhs2[95]: 6 0 28.4186 shouldn't be
30.21/30.37 WSVECS04 Frhs2[96]: 6 0 3.78683 shouldn't be
30.21/30.37 WSVECS04 Frhs2[100]: 6 0 3.78683 shouldn't be
30.21/30.37 WSVECS04 Frhs2[104]: 6 0 3.78683 shouldn't be
30.21/30.37 WSVECS04 Frhs2[106]: 6 0 3.78683 shouldn't be
30.21/30.37 WSVECS04 Frhs2[108]: 6 0 3.78683 shouldn't be
30.21/30.37 WSVECS04 Frhs2[112]: 6 0 10.2876 shouldn't be
30.21/30.37 WSVECS04 Frhs2[113]: 6 0 5.77283 shouldn't be
30.21/30.37 WSVECS04 Frhs2[119]: 6 0 7.98887 shouldn't be
30.21/30.37 WSVECS04 Frhs2[127]: 6 0 6.40872 shouldn't be
30.21/30.37 WSVECS04 Frhs2[135]: 6 0 81.0395 shouldn't be
30.21/30.37 WSVECS04 Frhs2[138]: 6 0 3.78683 shouldn't be
30.21/30.37 WSVECS04 Frhs2[139]: 6 0 61.4701 shouldn't be
30.21/30.37 WSVECS04 Frhs2[143]: 6 0 174.194 shouldn't be
30.21/30.37 WSVECS04 Frhs2[147]: 6 0 170.961 shouldn't be
30.21/30.37 WSVECS04 Frhs2[151]: 6 0 13.3146 shouldn't be
30.21/30.37 WSVECS04 Frhs2[153]: 6 0 48.0302 shouldn't be
30.21/30.37 WSVECS04 Frhs2[179]: 6 0 0.596552 shouldn't be
30.21/30.37 WSVECS04 Frhs2[185]: 6 0 0.020929 shouldn't be
30.21/30.37 WSVECS04 Frhs2[192]: 6 0 3.78683 shouldn't be
30.21/30.37 WSVECS04 Frhs2[209]: 6 0 8.20558 shouldn't be
30.21/30.37 WSVECS04 Frhs2[210]: 6 0 3.11021 shouldn't be
30.21/30.37 WSVECS04 Frhs2[215]: 6 0 0.498724 shouldn't be
30.21/30.37 WSVECS04 Frhs2[217]: 6 0 29.5358 shouldn't be
30.21/30.37 WSVECS04 Frhs2[230]: 6 0 120.389 shouldn't be
30.21/30.37 WSVECS04 Frhs2[231]: 6 0 0.596552 shouldn't be
30.21/30.37 WSVECS04 Frhs2[233]: 6 0 148.973 shouldn't be
30.21/30.37 WSVECS04 Frhs2[247]: 6 -144.964 0 shouldn't be
30.21/30.37 WSVECS04 Frhs2[251]: 6 0 83.3844 shouldn't be
30.21/30.37 WSVECS04 Frhs2[252]: 6 -104.201 0 shouldn't be
30.21/30.37 WSVECS04 Frhs2[265]: 6 0 52.508 shouldn't be
30.21/30.37 WSVECS04 Frhs2[268]: 6 0 28.9977 shouldn't be
30.21/30.37 WSVECS04 Frhs2[281]: 6 -96.1007 0 shouldn't be
30.21/30.37 WSVECS04 Frhs2[288]: 6 -19.7535 0 shouldn't be
30.21/30.37 WSVECS04 Frhs2[296]: 6 -170.836 0 shouldn't be
30.21/30.37 WSVECS04 Frhs2[302]: 6 -10.4903 0 shouldn't be
30.21/30.37 WSVECS04 Frhs2[323]: 6 -215.766 0 shouldn't be
30.21/30.37 WSVECS04 Frhs2[336]: 6 -106.926 0 shouldn't be
30.21/30.37 WSVECS04 Frhs2[357]: 6 -89.8637 0 shouldn't be
30.30/30.43 WSVECS04 Frhs2[291]: 6 -41.1395 0 shouldn't be
30.30/30.47 c rational objective 51.4448
48.27/48.49 c #Conflicts: 125000 | #Constraints: 8607
48.27/48.49 c #Conflicts: 126000 | #Constraints: 9609
48.27/48.49 c #Conflicts: 127000 | #Constraints: 10610
48.27/48.49 c #Conflicts: 128000 | #Constraints: 11610
48.27/48.49 c #Conflicts: 129000 | #Constraints: 12612
48.27/48.49 c #Conflicts: 130000 | #Constraints: 13614
48.27/48.49 c #Conflicts: 131000 | #Constraints: 14615
48.27/48.49 c INPROCESSING
48.27/48.49 c GARBAGE COLLECT
48.27/48.49 c #Conflicts: 132000 | #Constraints: 8398
48.27/48.49 c #Conflicts: 133000 | #Constraints: 9400
48.27/48.49 c #Conflicts: 134000 | #Constraints: 10402
48.27/48.49 c #Conflicts: 135000 | #Constraints: 11404
48.27/48.49 c #Conflicts: 136000 | #Constraints: 12404
48.27/48.49 c #Conflicts: 137000 | #Constraints: 13405
48.27/48.49 c #Conflicts: 138000 | #Constraints: 14406
48.27/48.49 c #Conflicts: 139000 | #Constraints: 15407
48.27/48.49 c INPROCESSING
48.27/48.49 c GARBAGE COLLECT
48.27/48.49 c #Conflicts: 140000 | #Constraints: 9002
48.27/48.49 c #Conflicts: 141000 | #Constraints: 10002
48.27/48.49 c #Conflicts: 142000 | #Constraints: 11002
48.27/48.49 c #Conflicts: 143000 | #Constraints: 12002
48.27/48.49 c #Conflicts: 144000 | #Constraints: 13002
48.27/48.49 c #Conflicts: 145000 | #Constraints: 14002
48.27/48.49 c #Conflicts: 146000 | #Constraints: 15002
48.27/48.49 c #Conflicts: 147000 | #Constraints: 16002
48.27/48.49 c INPROCESSING
48.27/48.49 c GARBAGE COLLECT
48.27/48.49 c #Conflicts: 148000 | #Constraints: 9401
48.27/48.49 c #Conflicts: 149000 | #Constraints: 10401
48.27/48.49 c #Conflicts: 150000 | #Constraints: 11401
48.27/48.49 c #Conflicts: 151000 | #Constraints: 12401
48.27/48.49 c #Conflicts: 152000 | #Constraints: 13401
48.27/48.49 c #Conflicts: 153000 | #Constraints: 14401
48.27/48.49 c #Conflicts: 154000 | #Constraints: 15401
48.27/48.49 c #Conflicts: 155000 | #Constraints: 16401
48.27/48.49 c INPROCESSING
48.27/48.49 c GARBAGE COLLECT
48.27/48.49 c #Conflicts: 156000 | #Constraints: 9593
48.27/48.49 c #Conflicts: 157000 | #Constraints: 10593
48.27/48.49 c #Conflicts: 158000 | #Constraints: 11593
48.27/48.49 c #Conflicts: 159000 | #Constraints: 12593
48.27/48.49 c #Conflicts: 160000 | #Constraints: 13593
48.27/48.49 c #Conflicts: 161000 | #Constraints: 14593
48.27/48.49 c #Conflicts: 162000 | #Constraints: 15593
48.27/48.49 c #Conflicts: 163000 | #Constraints: 16593
48.27/48.49 c INPROCESSING
48.27/48.49 c GARBAGE COLLECT
48.27/48.49 c #Conflicts: 164000 | #Constraints: 9597
48.27/48.49 c #Conflicts: 165000 | #Constraints: 10597
48.27/48.49 c #Conflicts: 166000 | #Constraints: 11597
48.27/48.49 c #Conflicts: 167000 | #Constraints: 12597
48.27/48.49 c #Conflicts: 168000 | #Constraints: 13597
48.27/48.49 c #Conflicts: 169000 | #Constraints: 14597
48.27/48.49 c #Conflicts: 170000 | #Constraints: 15597
48.27/48.49 c #Conflicts: 171000 | #Constraints: 16597
48.27/48.49 c INPROCESSING
48.27/48.49 c GARBAGE COLLECT
48.27/48.49 c #Conflicts: 172000 | #Constraints: 9401
48.27/48.49 c #Conflicts: 173000 | #Constraints: 10401
48.27/48.49 c #Conflicts: 174000 | #Constraints: 11401
48.27/48.49 c #Conflicts: 175000 | #Constraints: 12401
48.27/48.49 c #Conflicts: 176000 | #Constraints: 13401
48.27/48.49 c #Conflicts: 177000 | #Constraints: 14401
48.27/48.49 c #Conflicts: 178000 | #Constraints: 15401
48.27/48.49 c #Conflicts: 179000 | #Constraints: 16401
48.27/48.49 c #Conflicts: 180000 | #Constraints: 17401
48.27/48.49 c INPROCESSING
48.27/48.49 c GARBAGE COLLECT
48.27/48.49 c #Conflicts: 181000 | #Constraints: 9993
48.27/48.49 c #Conflicts: 182000 | #Constraints: 10993
48.27/48.49 c #Conflicts: 183000 | #Constraints: 11993
48.27/48.49 c #Conflicts: 184000 | #Constraints: 12993
48.27/48.49 c #Conflicts: 185000 | #Constraints: 13993
48.27/48.49 c #Conflicts: 186000 | #Constraints: 14993
48.27/48.49 c #Conflicts: 187000 | #Constraints: 15993
48.27/48.49 c #Conflicts: 188000 | #Constraints: 16993
48.27/48.49 c #Conflicts: 189000 | #Constraints: 17993
48.27/48.49 c INPROCESSING
48.27/48.49 c GARBAGE COLLECT
48.27/48.49 c rational objective 51.4513
66.01/66.27 c #Conflicts: 190000 | #Constraints: 10408
66.01/66.27 c #Conflicts: 191000 | #Constraints: 11408
66.01/66.27 c #Conflicts: 192000 | #Constraints: 12409
66.01/66.27 c #Conflicts: 193000 | #Constraints: 13409
66.01/66.27 c #Conflicts: 194000 | #Constraints: 14410
66.01/66.27 c #Conflicts: 195000 | #Constraints: 15412
66.01/66.27 c #Conflicts: 196000 | #Constraints: 16413
66.01/66.27 c #Conflicts: 197000 | #Constraints: 17424
66.01/66.27 c #Conflicts: 198000 | #Constraints: 18437
66.01/66.27 c INPROCESSING
66.01/66.27 c GARBAGE COLLECT
66.01/66.27 c #Conflicts: 199000 | #Constraints: 10631
66.01/66.27 c #Conflicts: 200000 | #Constraints: 11632
66.01/66.27 c #Conflicts: 201000 | #Constraints: 12641
66.01/66.27 c #Conflicts: 202000 | #Constraints: 13645
66.01/66.27 c #Conflicts: 203000 | #Constraints: 14646
66.01/66.27 c #Conflicts: 204000 | #Constraints: 15652
66.01/66.27 c #Conflicts: 205000 | #Constraints: 16665
66.01/66.27 c #Conflicts: 206000 | #Constraints: 17667
66.01/66.27 c #Conflicts: 207000 | #Constraints: 18668
66.01/66.27 c INPROCESSING
66.01/66.27 c GARBAGE COLLECT
66.01/66.27 c #Conflicts: 208000 | #Constraints: 10637
66.01/66.27 c #Conflicts: 209000 | #Constraints: 11638
66.01/66.27 c #Conflicts: 210000 | #Constraints: 12640
66.01/66.27 c #Conflicts: 211000 | #Constraints: 13641
66.01/66.27 c #Conflicts: 212000 | #Constraints: 14643
66.01/66.27 c #Conflicts: 213000 | #Constraints: 15646
66.01/66.27 c #Conflicts: 214000 | #Constraints: 16647
66.01/66.27 c #Conflicts: 215000 | #Constraints: 17648
66.01/66.27 c #Conflicts: 216000 | #Constraints: 18651
66.01/66.27 c INPROCESSING
66.01/66.27 c GARBAGE COLLECT
66.01/66.27 c #Conflicts: 217000 | #Constraints: 10431
66.01/66.27 c #Conflicts: 218000 | #Constraints: 11433
66.01/66.27 c #Conflicts: 219000 | #Constraints: 12435
66.01/66.27 c #Conflicts: 220000 | #Constraints: 13437
66.01/66.27 c #Conflicts: 221000 | #Constraints: 14440
66.01/66.27 c #Conflicts: 222000 | #Constraints: 15443
66.01/66.27 c #Conflicts: 223000 | #Constraints: 16446
66.01/66.27 c #Conflicts: 224000 | #Constraints: 17451
66.01/66.27 c #Conflicts: 225000 | #Constraints: 18467
66.01/66.27 c #Conflicts: 226000 | #Constraints: 19471
66.01/66.27 c INPROCESSING
66.01/66.27 c GARBAGE COLLECT
66.01/66.27 c #Conflicts: 227000 | #Constraints: 11042
66.01/66.27 c #Conflicts: 228000 | #Constraints: 12045
66.01/66.27 c #Conflicts: 229000 | #Constraints: 13048
66.01/66.27 c #Conflicts: 230000 | #Constraints: 14049
66.01/66.27 c #Conflicts: 231000 | #Constraints: 15052
66.01/66.27 c #Conflicts: 232000 | #Constraints: 16053
66.01/66.27 c #Conflicts: 233000 | #Constraints: 17055
66.01/66.27 c #Conflicts: 234000 | #Constraints: 18056
66.01/66.27 c #Conflicts: 235000 | #Constraints: 19057
66.01/66.27 c #Conflicts: 236000 | #Constraints: 20058
66.01/66.27 c INPROCESSING
66.01/66.27 c GARBAGE COLLECT
66.01/66.27 c #Conflicts: 237000 | #Constraints: 11432
66.01/66.27 c #Conflicts: 238000 | #Constraints: 12434
66.01/66.27 c #Conflicts: 239000 | #Constraints: 13435
66.01/66.27 c #Conflicts: 240000 | #Constraints: 14436
66.01/66.27 c #Conflicts: 241000 | #Constraints: 15439
66.01/66.27 c #Conflicts: 242000 | #Constraints: 16440
66.01/66.27 c #Conflicts: 243000 | #Constraints: 17441
66.01/66.27 c #Conflicts: 244000 | #Constraints: 18443
66.01/66.27 c #Conflicts: 245000 | #Constraints: 19445
66.01/66.27 c #Conflicts: 246000 | #Constraints: 20446
66.01/66.27 c INPROCESSING
66.01/66.27 c GARBAGE COLLECT
66.01/66.27 WSVECS04 Frhs2[12]: 6 -10.4396 0 shouldn't be
66.01/66.27 WSVECS04 Frhs2[23]: 6 0 22.1242 shouldn't be
66.01/66.27 WSVECS04 Frhs2[24]: 6 0 3.212 shouldn't be
66.01/66.27 WSVECS04 Frhs2[36]: 6 -28.5851 0 shouldn't be
66.01/66.27 WSVECS04 Frhs2[37]: 6 0 1.27168 shouldn't be
66.01/66.27 WSVECS04 Frhs2[45]: 6 0 23.6796 shouldn't be
66.01/66.27 WSVECS04 Frhs2[46]: 6 0 5.0953 shouldn't be
66.01/66.27 WSVECS04 Frhs2[49]: 6 0 1.25101 shouldn't be
66.01/66.27 WSVECS04 Frhs2[55]: 6 0 1.2717 shouldn't be
66.01/66.27 WSVECS04 Frhs2[61]: 6 0 1.54396 shouldn't be
66.01/66.27 WSVECS04 Frhs2[67]: 6 0 34.7934 shouldn't be
66.01/66.27 WSVECS04 Frhs2[72]: 6 -10.4395 0 shouldn't be
66.01/66.27 WSVECS04 Frhs2[78]: 6 -10.4396 0 shouldn't be
66.01/66.27 WSVECS04 Frhs2[79]: 6 0 0.543205 shouldn't be
66.01/66.27 WSVECS04 Frhs2[83]: 6 0 1.32582 shouldn't be
66.01/66.27 WSVECS04 Frhs2[85]: 6 0 1.27172 shouldn't be
66.01/66.27 WSVECS04 Frhs2[95]: 6 0 1.27165 shouldn't be
66.01/66.27 WSVECS04 Frhs2[117]: 6 0 0.138838 shouldn't be
66.01/66.27 WSVECS04 Frhs2[119]: 6 0 0.543192 shouldn't be
66.01/66.27 WSVECS04 Frhs2[137]: 6 0 1.27168 shouldn't be
66.01/66.27 WSVECS04 Frhs2[143]: 6 0 1.27172 shouldn't be
66.01/66.27 WSVECS04 Frhs2[147]: 6 -16.5338 0 shouldn't be
66.01/66.27 WSVECS04 Frhs2[157]: 6 0 3.12901 shouldn't be
66.01/66.27 WSVECS04 Frhs2[163]: 6 0 1.27164 shouldn't be
66.01/66.27 WSVECS04 Frhs2[167]: 6 0 43.8639 shouldn't be
66.01/66.27 WSVECS04 Frhs2[169]: 6 0 7.71935 shouldn't be
66.01/66.27 WSVECS04 Frhs2[175]: 6 -19.367 0 shouldn't be
66.01/66.27 WSVECS04 Frhs2[179]: 6 0 1.27173 shouldn't be
66.01/66.27 WSVECS04 Frhs2[186]: 6 0 90.8225 shouldn't be
66.01/66.27 WSVECS04 Frhs2[189]: 6 0 13.179 shouldn't be
66.01/66.27 WSVECS04 Frhs2[191]: 6 0 1.27172 shouldn't be
66.01/66.27 WSVECS04 Frhs2[197]: 6 0 1.71914 shouldn't be
66.01/66.27 WSVECS04 Frhs2[203]: 6 0 7.33496 shouldn't be
66.01/66.27 WSVECS04 Frhs2[209]: 6 0 1.27165 shouldn't be
66.01/66.27 WSVECS04 Frhs2[211]: 6 0 1.27172 shouldn't be
66.01/66.27 WSVECS04 Frhs2[227]: 6 -8.84089 0 shouldn't be
66.01/66.27 WSVECS04 Frhs2[244]: 6 0 20.4838 shouldn't be
66.01/66.27 WSVECS04 Frhs2[247]: 6 0 6.5664 shouldn't be
66.01/66.27 WSVECS04 Frhs2[273]: 6 0 10.8714 shouldn't be
66.01/66.27 WSVECS04 Frhs2[276]: 6 0 18.9138 shouldn't be
66.01/66.27 WSVECS04 Frhs2[280]: 6 0 6.41923 shouldn't be
66.01/66.27 WSVECS04 Frhs2[283]: 6 0 36.9802 shouldn't be
66.01/66.27 WSVECS04 Frhs2[284]: 6 -2.76626 0 shouldn't be
66.01/66.27 WSVECS04 Frhs2[301]: 6 0 25.8147 shouldn't be
66.01/66.27 WSVECS04 Frhs2[308]: 6 -3.43582 0 shouldn't be
66.01/66.27 WSVECS04 Frhs2[321]: 6 0 11.6542 shouldn't be
66.01/66.27 WSVECS04 Frhs2[338]: 6 0 41.418 shouldn't be
66.01/66.27 WSVECS04 Frhs2[350]: 6 -3.49379 0 shouldn't be
66.01/66.27 WSVECS04 Frhs2[357]: 6 0 15.7321 shouldn't be
66.01/66.27 WSVECS04 Frhs2[360]: 6 0 29.0295 shouldn't be
66.01/66.27 WSVECS04 Frhs2[370]: 6 -38.5479 0 shouldn't be
66.11/66.33 WSVECS04 Frhs2[112]: 6 0 3.21194 shouldn't be
66.11/66.33 WSVECS04 Frhs2[246]: 6 0 39.6517 shouldn't be
66.11/66.33 WSVECS04 Frhs2[298]: 6 0 37.3616 shouldn't be
66.11/66.33 WSVECS04 Frhs2[300]: 6 0 4.79363 shouldn't be
66.11/66.33 WSVECS04 Frhs2[313]: 6 -7.09948 0 shouldn't be
66.11/66.33 WSVECS04 Frhs2[362]: 6 0 18.0103 shouldn't be
66.11/66.39 c rational objective 51.454
69.60/69.87 c #Conflicts: 247000 | #Constraints: 11618
69.60/69.87 c #Conflicts: 248000 | #Constraints: 12619
69.60/69.87 c #Conflicts: 249000 | #Constraints: 13619
69.60/69.87 c #Conflicts: 250000 | #Constraints: 14619
69.60/69.87 c #Conflicts: 251000 | #Constraints: 15619
69.60/69.87 c #Conflicts: 252000 | #Constraints: 16619
69.60/69.87 c #Conflicts: 253000 | #Constraints: 17620
69.60/69.87 c #Conflicts: 254000 | #Constraints: 18621
69.60/69.87 c #Conflicts: 255000 | #Constraints: 19622
69.60/69.87 c #Conflicts: 256000 | #Constraints: 20623
69.60/69.87 c INPROCESSING
69.60/69.87 c GARBAGE COLLECT
69.60/69.87 c cpu time 68.5038 s
69.60/69.87 c deterministic time 5565356125 5.57e+09
69.60/69.87 c optimization time 5.9e-05 s
69.60/69.87 c total solve time 68.5011 s
69.60/69.87 c core-guided solve time 0 s
69.60/69.87 c propagation time 44.8503 s
69.60/69.87 c conflict analysis time 18.2946 s
69.60/69.87 c propagations 13183087
69.60/69.87 c resolve steps 4451171
69.60/69.87 c decisions 351433
69.60/69.87 c conflicts 256201
69.60/69.87 c restarts 603
69.60/69.87 c inprocessing phases 42
69.60/69.87 c garbage collections 42 ,( 100.00 )
69.60/69.87 c input clauses 558 ,( 68.97 )
69.60/69.87 c input cardinalities 2 ,( 0.25 )
69.60/69.87 c input general constraints 249 ,( 30.78 )
69.60/69.87 c input average constraint length 5.35
69.60/69.87 c input average constraint degree 2.42
69.60/69.87 c learned clauses 216629 ,( 84.43 )
69.60/69.87 c learned cardinalities 119 ,( 0.05 )
69.60/69.87 c learned general constraints 39841 ,( 15.53 )
69.60/69.87 c learned average constraint length 131.66
69.60/69.87 c learned average constraint degree 8843766.65
69.60/69.87 c watched CF 32, 64, 128, Arb: 35525 , 0 , 0 , 0
69.60/69.87 c counting CF 32, 64, 128, Arb: 4565 , 0 , 0 , 0
69.60/69.87 c watched constraints 35525 ,( 88.61 )
69.60/69.87 c counting constraints 4565 ,( 11.39 )
69.60/69.87 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 121774056 , 9331107 , 212769036 ,( 180286506 , 32482530 )
69.60/69.87 c gcd simplifications 30948
69.60/69.87 c detected cardinalities 52
69.60/69.87 c weakened non-implied lits 4188761
69.60/69.87 c weakened non-implying lits 64211
69.60/69.87 c original variables 370
69.60/69.87 c clausal propagations 4616938
69.60/69.87 c cardinality propagations 162559
69.60/69.87 c watched propagations 1986579
69.60/69.87 c counting propagations 6003052
69.60/69.87 c watch lookups 1074893258
69.60/69.87 c watch backjump lookups 0
69.60/69.87 c watch checks 4139287813
69.60/69.87 c propagation checks 233999045
69.60/69.87 c constraint additions 89798137
69.60/69.87 c trail pops 13790700
69.60/69.87 c formula constraints 809
69.60/69.87 c learned constraints 256201
69.60/69.87 c bound constraints 0
69.60/69.87 c core-guided constraints 0
69.60/69.87 c encountered formula constraints 3815904
69.60/69.87 c encountered learned constraints 891468
69.60/69.87 c encountered bound constraints 0
69.60/69.87 c encountered core-guided constraints 0
69.60/69.87 c LP total time 3.96072 s
69.60/69.87 c LP solve time 2.56 s
69.60/69.87 c LP constraints added 824
69.60/69.87 c LP constraints removed 8
69.60/69.87 c LP pivots internal 25662
69.60/69.87 c LP pivots root 26989
69.60/69.87 c LP calls 412
69.60/69.87 c LP optimalities 25
69.60/69.87 c LP no pivot count 0
69.60/69.87 c LP infeasibilities 382
69.60/69.87 c LP valid Farkas constraints 381
69.60/69.87 c LP learned Farkas constraints 0
69.60/69.87 c LP basis resets 3
69.60/69.87 c LP cycling count 0
69.60/69.87 c LP singular count 1
69.60/69.87 c LP no primal count 0
69.60/69.87 c LP no farkas count 1
69.60/69.87 c LP other issue count 1
69.60/69.87 c LP Gomory cuts 7
69.60/69.87 c LP learned cuts 8
69.60/69.87 c LP deleted cuts 8
69.60/69.87 c LP encountered Gomory constraints 0
69.60/69.87 c LP encountered Farkas constraints 0
69.60/69.87 c LP encountered learned Farkas constraints 0
69.60/69.87 c CG auxiliary variables introduced 0
69.60/69.87 c CG solutions found 0
69.60/69.87 c CG cores constructed 0
69.60/69.87 c CG core cardinality constraints returned 0
69.60/69.87 c CG unit cores 0
69.60/69.87 c CG single cores 0
69.60/69.87 c CG blocks removed during cardinality reduction 0
69.60/69.87 c CG first core best 0
69.60/69.87 c CG decision core best 0
69.60/69.87 c CG core reduction tie 0
69.60/69.87 c CG core degree average 0.00
69.60/69.87 c CG core slack average 0.00
69.60/69.87 c CG core upper bound improvements 0
69.60/69.87 c STR number of successful calls 0
69.60/69.87 c STR number of unsuccessful calls 0
69.60/69.87 c STR number of inconclusive calls 0
69.60/69.87 c STR number of successful attempts 0
69.60/69.87 c STR number of unsuccessful attempts 0
69.60/69.87 c STR number of inconclusive attempts 0
69.60/69.87 c STR average degree increase per successful call inf
69.60/69.87 c STR average degree increase per successful attempt inf
69.60/69.87 c STR total number of conflicts for successful attempts 0
69.60/69.87 c STR total number of conflicts for unsuccessful attempts 0
69.60/69.87 c STR total number of conflicts for inconclusive attempts 0
69.60/69.87 c STR average number of conflicts per successful attempt inf
69.60/69.87 c STR average number of conflicts per unsuccessful attempt inf
69.60/69.87 c STR average number of conflicts per inconclusive attempt inf
69.60/69.87 c AVG.sumWPerc 18.66
69.60/69.87 c bigint constraints 0
69.60/69.87 s SATISFIABLE
69.67/69.90 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 (62872 MiB free)
memory of node 1: 64465 MiB (63783 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493519-1751150242/watcher-4493519-1751150242 -o /tmp/evaluation-result-4493519-1751150242/solver-4493519-1751150242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751146607-14374 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4493519-1751150242.opb PROOFDIR/proof-4493519-1751150242
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15401, runsolver pid=15398
[startup+0.10006 s]*
/proc/loadavg: 4.06 4.09 4.05 5/271 15403
/proc/meminfo: memFree=129690700/131249988 swapFree=33010684/33010684
[pid=15401] ppid=15398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15401/stat : 15401 (run-dec-ls-log.) S 15398 15401 14359 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30701751 4292608 736 18446744073709551615 94018954395648 94018955290181 140724677025648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94018955529232 94018955576976 94018977001472 140724677032219 140724677032417 140724677032417 140724677038019 0
/proc/15401/statm: 1048 736 672 219 0 110 0
[pid=15403] ppid=15401 vsize=58076 memory=12600 CPUtime=0.09 cores=1,3
/proc/15403/stat : 15403 (roundingsat) R 15401 15401 14359 0 -1 4194304 1130 0 0 0 8 1 0 0 20 0 1 0 30701751 59469824 3150 18446744073709551615 4227072 8923433 140720428984240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41406464 140720428992848 140720428993064 140720428993064 140720428998634 0
/proc/15403/statm: 14519 3150 2336 1147 0 1946 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62268 KiB
Current children cumulated memory: 15544 KiB
[startup+0.205259 s]*
/proc/loadavg: 4.06 4.09 4.05 5/271 15403
/proc/meminfo: memFree=129686668/131249988 swapFree=33010684/33010684
[pid=15401] ppid=15398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15401/stat : 15401 (run-dec-ls-log.) S 15398 15401 14359 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30701751 4292608 736 18446744073709551615 94018954395648 94018955290181 140724677025648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94018955529232 94018955576976 94018977001472 140724677032219 140724677032417 140724677032417 140724677038019 0
/proc/15401/statm: 1048 736 672 219 0 110 0
[pid=15403] ppid=15401 vsize=59792 memory=14264 CPUtime=0.19 cores=1,3
/proc/15403/stat : 15403 (roundingsat) R 15401 15401 14359 0 -1 4194304 1574 0 0 0 18 1 0 0 20 0 1 0 30701751 61227008 3566 18446744073709551615 4227072 8923433 140720428984240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41406464 140720428992848 140720428993064 140720428993064 140720428998634 0
/proc/15403/statm: 14948 3566 2336 1147 0 2375 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63984 KiB
Current children cumulated memory: 17208 KiB
[startup+0.305377 s]*
/proc/loadavg: 4.06 4.09 4.05 5/271 15403
/proc/meminfo: memFree=129686700/131249988 swapFree=33010684/33010684
[pid=15401] ppid=15398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15401/stat : 15401 (run-dec-ls-log.) S 15398 15401 14359 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30701751 4292608 736 18446744073709551615 94018954395648 94018955290181 140724677025648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94018955529232 94018955576976 94018977001472 140724677032219 140724677032417 140724677032417 140724677038019 0
/proc/15401/statm: 1048 736 672 219 0 110 0
[pid=15403] ppid=15401 vsize=59972 memory=16872 CPUtime=0.29 cores=1,3
/proc/15403/stat : 15403 (roundingsat) R 15401 15401 14359 0 -1 4194304 1658 0 0 0 28 1 0 0 20 0 1 0 30701751 61411328 4218 18446744073709551615 4227072 8923433 140720428984240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41406464 140720428992848 140720428993064 140720428993064 140720428998634 0
/proc/15403/statm: 14993 4218 2368 1147 0 2420 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 64164 KiB
Current children cumulated memory: 19816 KiB
[startup+0.700198 s]
/proc/loadavg: 4.06 4.09 4.05 5/271 15403
/proc/meminfo: memFree=129684696/131249988 swapFree=33010684/33010684
[pid=15401] ppid=15398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15401/stat : 15401 (run-dec-ls-log.) S 15398 15401 14359 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30701751 4292608 736 18446744073709551615 94018954395648 94018955290181 140724677025648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94018955529232 94018955576976 94018977001472 140724677032219 140724677032417 140724677032417 140724677038019 0
/proc/15401/statm: 1048 736 672 219 0 110 0
[pid=15403] ppid=15401 vsize=61176 memory=17896 CPUtime=0.68 cores=1,3
/proc/15403/stat : 15403 (roundingsat) R 15401 15401 14359 0 -1 4194304 1925 0 0 0 66 2 0 0 20 0 1 0 30701751 62644224 4474 18446744073709551615 4227072 8923433 140720428984240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41406464 140720428992848 140720428993064 140720428993064 140720428998634 0
/proc/15403/statm: 15294 4474 2368 1147 0 2721 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65368 KiB
Current children cumulated memory: 20840 KiB
[startup+1.50019 s]
/proc/loadavg: 4.06 4.09 4.05 5/271 15403
/proc/meminfo: memFree=129678400/131249988 swapFree=33010684/33010684
[pid=15401] ppid=15398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15401/stat : 15401 (run-dec-ls-log.) S 15398 15401 14359 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30701751 4292608 736 18446744073709551615 94018954395648 94018955290181 140724677025648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94018955529232 94018955576976 94018977001472 140724677032219 140724677032417 140724677032417 140724677038019 0
/proc/15401/statm: 1048 736 672 219 0 110 0
[pid=15403] ppid=15401 vsize=62124 memory=20996 CPUtime=1.48 cores=1,3
/proc/15403/stat : 15403 (roundingsat) R 15401 15401 14359 0 -1 4194304 2181 0 0 0 143 5 0 0 20 0 1 0 30701751 63614976 5249 18446744073709551615 4227072 8923433 140720428984240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41406464 140720428992848 140720428993064 140720428993064 140720428998634 0
/proc/15403/statm: 15531 5249 2368 1147 0 2958 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 66316 KiB
Current children cumulated memory: 23940 KiB
[startup+3.10558 s]
/proc/loadavg: 4.06 4.09 4.05 5/271 15403
/proc/meminfo: memFree=129670516/131249988 swapFree=33010684/33010684
[pid=15401] ppid=15398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15401/stat : 15401 (run-dec-ls-log.) S 15398 15401 14359 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30701751 4292608 736 18446744073709551615 94018954395648 94018955290181 140724677025648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94018955529232 94018955576976 94018977001472 140724677032219 140724677032417 140724677032417 140724677038019 0
/proc/15401/statm: 1048 736 672 219 0 110 0
[pid=15403] ppid=15401 vsize=63560 memory=22532 CPUtime=3.08 cores=1,3
/proc/15403/stat : 15403 (roundingsat) R 15401 15401 14359 0 -1 4194304 2501 0 0 0 299 9 0 0 20 0 1 0 30701751 65085440 5633 18446744073709551615 4227072 8923433 140720428984240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41406464 140720428992848 140720428993064 140720428993064 140720428998634 0
/proc/15403/statm: 15890 5633 2464 1147 0 3317 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 67752 KiB
Current children cumulated memory: 25476 KiB
[startup+6.30018 s]
/proc/loadavg: 4.06 4.09 4.05 5/271 15403
/proc/meminfo: memFree=129598256/131249988 swapFree=33010684/33010684
[pid=15401] ppid=15398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15401/stat : 15401 (run-dec-ls-log.) S 15398 15401 14359 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30701751 4292608 736 18446744073709551615 94018954395648 94018955290181 140724677025648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94018955529232 94018955576976 94018977001472 140724677032219 140724677032417 140724677032417 140724677038019 0
/proc/15401/statm: 1048 736 672 219 0 110 0
[pid=15403] ppid=15401 vsize=64584 memory=23684 CPUtime=6.26 cores=1,3
/proc/15403/stat : 15403 (roundingsat) R 15401 15401 14359 0 -1 4194304 2783 0 0 0 611 15 0 0 20 0 1 0 30701751 66134016 5921 18446744073709551615 4227072 8923433 140720428984240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41406464 140720428992848 140720428993064 140720428993064 140720428998634 0
/proc/15403/statm: 16146 5921 2464 1147 0 3573 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 68776 KiB
Current children cumulated memory: 26628 KiB
[startup+12.7001 s]
/proc/loadavg: 4.05 4.09 4.05 5/271 15403
/proc/meminfo: memFree=129566964/131249988 swapFree=33010684/33010684
[pid=15401] ppid=15398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15401/stat : 15401 (run-dec-ls-log.) S 15398 15401 14359 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30701751 4292608 736 18446744073709551615 94018954395648 94018955290181 140724677025648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94018955529232 94018955576976 94018977001472 140724677032219 140724677032417 140724677032417 140724677038019 0
/proc/15401/statm: 1048 736 672 219 0 110 0
[pid=15403] ppid=15401 vsize=67812 memory=25092 CPUtime=12.65 cores=1,3
/proc/15403/stat : 15403 (roundingsat) R 15401 15401 14359 0 -1 4194304 3151 0 0 0 1239 26 0 0 20 0 1 0 30701751 69439488 6273 18446744073709551615 4227072 8923433 140720428984240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41406464 140720428992848 140720428993064 140720428993064 140720428998634 0
/proc/15403/statm: 16953 6273 2464 1147 0 4380 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 72004 KiB
Current children cumulated memory: 28036 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.08 4.05 5/271 15404
/proc/meminfo: memFree=129378844/131249988 swapFree=33010684/33010684
[pid=15401] ppid=15398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15401/stat : 15401 (run-dec-ls-log.) S 15398 15401 14359 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30701751 4292608 736 18446744073709551615 94018954395648 94018955290181 140724677025648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94018955529232 94018955576976 94018977001472 140724677032219 140724677032417 140724677032417 140724677038019 0
/proc/15401/statm: 1048 736 672 219 0 110 0
[pid=15403] ppid=15401 vsize=70952 memory=29572 CPUtime=25.42 cores=1,3
/proc/15403/stat : 15403 (roundingsat) R 15401 15401 14359 0 -1 4194304 4255 0 0 0 2494 48 0 0 20 0 1 0 30701751 72654848 7393 18446744073709551615 4227072 8923433 140720428984240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41406464 140720428992848 140720428993064 140720428993064 140720428998634 0
/proc/15403/statm: 17738 7393 2464 1147 0 5165 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 75144 KiB
Current children cumulated memory: 32516 KiB
[startup+51.1056 s]
/proc/loadavg: 3.97 4.06 4.04 5/271 15588
/proc/meminfo: memFree=129228460/131249988 swapFree=33010684/33010684
[pid=15401] ppid=15398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15401/stat : 15401 (run-dec-ls-log.) S 15398 15401 14359 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30701751 4292608 736 18446744073709551615 94018954395648 94018955290181 140724677025648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94018955529232 94018955576976 94018977001472 140724677032219 140724677032417 140724677032417 140724677038019 0
/proc/15401/statm: 1048 736 672 219 0 110 0
[pid=15403] ppid=15401 vsize=77608 memory=33284 CPUtime=50.95 cores=1,3
/proc/15403/stat : 15403 (roundingsat) R 15401 15401 14359 0 -1 4194304 5208 0 0 0 5006 89 0 0 20 0 1 0 30701751 79470592 8321 18446744073709551615 4227072 8923433 140720428984240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41406464 140720428992848 140720428993064 140720428993064 140720428998634 0
/proc/15403/statm: 19402 8321 2464 1147 0 6829 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 81800 KiB
Current children cumulated memory: 36228 KiB
[startup+69.9052 s]
# the end of solver process 15401 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=68.507 s, system=1.1832 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 3.97 4.06 4.04 5/271 15588
/proc/meminfo: memFree=129228460/131249988 swapFree=33010684/33010684
[pid=15401] ppid=15398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15401/stat : 15401 (run-dec-ls-log.) S 15398 15401 14359 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30701751 4292608 736 18446744073709551615 94018954395648 94018955290181 140724677025648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94018955529232 94018955576976 94018977001472 140724677032219 140724677032417 140724677032417 140724677038019 0
/proc/15401/statm: 1048 736 672 219 0 110 0
[pid=15403] ppid=15401 vsize=77608 memory=33284 CPUtime=51.06 cores=1,3
/proc/15403/stat : 15403 (roundingsat) R 15401 15401 14359 0 -1 4194304 5208 0 0 0 5016 90 0 0 20 0 1 0 30701751 79470592 8321 18446744073709551615 4227072 8923433 140720428984240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41406464 140720428992848 140720428993064 140720428993064 140720428998634 0
/proc/15403/statm: 19402 8321 2464 1147 0 6829 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 81800 KiB
Current children cumulated memory: 36228 KiB
[startup+57.6002 s]
/proc/loadavg: 3.97 4.06 4.04 5/271 15588
/proc/meminfo: memFree=129160232/131249988 swapFree=33010684/33010684
[pid=15401] ppid=15398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15401/stat : 15401 (run-dec-ls-log.) S 15398 15401 14359 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30701751 4292608 736 18446744073709551615 94018954395648 94018955290181 140724677025648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94018955529232 94018955576976 94018977001472 140724677032219 140724677032417 140724677032417 140724677038019 0
/proc/15401/statm: 1048 736 672 219 0 110 0
[pid=15403] ppid=15401 vsize=78904 memory=36800 CPUtime=57.43 cores=1,3
/proc/15403/stat : 15403 (roundingsat) R 15401 15401 14359 0 -1 4194304 5557 0 0 0 5644 99 0 0 20 0 1 0 30701751 80797696 9200 18446744073709551615 4227072 8923433 140720428984240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41406464 140720428992848 140720428993064 140720428993064 140720428998634 0
/proc/15403/statm: 19726 9200 2464 1147 0 7153 0
Current children cumulated CPU time: 57.43 s
Current children cumulated vsize: 83096 KiB
Current children cumulated memory: 39744 KiB
[startup+64.0001 s]*
/proc/loadavg: 3.98 4.06 4.04 5/271 15588
/proc/meminfo: memFree=129137352/131249988 swapFree=33010684/33010684
[pid=15401] ppid=15398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15401/stat : 15401 (run-dec-ls-log.) S 15398 15401 14359 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30701751 4292608 736 18446744073709551615 94018954395648 94018955290181 140724677025648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94018955529232 94018955576976 94018977001472 140724677032219 140724677032417 140724677032417 140724677038019 0
/proc/15401/statm: 1048 736 672 219 0 110 0
[pid=15403] ppid=15401 vsize=79128 memory=37128 CPUtime=63.82 cores=1,3
/proc/15403/stat : 15403 (roundingsat) R 15401 15401 14359 0 -1 4194304 5718 0 0 0 6273 109 0 0 20 0 1 0 30701751 81027072 9282 18446744073709551615 4227072 8923433 140720428984240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41406464 140720428992848 140720428993064 140720428993064 140720428998634 0
/proc/15403/statm: 19782 9282 2464 1147 0 7209 0
Current children cumulated CPU time: 63.82 s
Current children cumulated vsize: 83320 KiB
Current children cumulated memory: 40072 KiB
[startup+67.2001 s]
/proc/loadavg: 3.98 4.06 4.04 5/271 15588
/proc/meminfo: memFree=129114452/131249988 swapFree=33010684/33010684
[pid=15401] ppid=15398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15401/stat : 15401 (run-dec-ls-log.) S 15398 15401 14359 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30701751 4292608 736 18446744073709551615 94018954395648 94018955290181 140724677025648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94018955529232 94018955576976 94018977001472 140724677032219 140724677032417 140724677032417 140724677038019 0
/proc/15401/statm: 1048 736 672 219 0 110 0
[pid=15403] ppid=15401 vsize=79448 memory=37384 CPUtime=67.01 cores=1,3
/proc/15403/stat : 15403 (roundingsat) R 15401 15401 14359 0 -1 4194304 5888 0 0 0 6587 114 0 0 20 0 1 0 30701751 81354752 9346 18446744073709551615 4227072 8923433 140720428984240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41406464 140720428992848 140720428993064 140720428993064 140720428998634 0
/proc/15403/statm: 19862 9346 2464 1147 0 7289 0
Current children cumulated CPU time: 67.01 s
Current children cumulated vsize: 83640 KiB
Current children cumulated memory: 40328 KiB
[startup+68.8001 s]
/proc/loadavg: 3.98 4.06 4.04 5/271 15588
/proc/meminfo: memFree=129096936/131249988 swapFree=33010684/33010684
[pid=15401] ppid=15398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15401/stat : 15401 (run-dec-ls-log.) S 15398 15401 14359 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30701751 4292608 736 18446744073709551615 94018954395648 94018955290181 140724677025648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94018955529232 94018955576976 94018977001472 140724677032219 140724677032417 140724677032417 140724677038019 0
/proc/15401/statm: 1048 736 672 219 0 110 0
[pid=15403] ppid=15401 vsize=79448 memory=37384 CPUtime=68.6 cores=1,3
/proc/15403/stat : 15403 (roundingsat) R 15401 15401 14359 0 -1 4194304 5888 0 0 0 6744 116 0 0 20 0 1 0 30701751 81354752 9346 18446744073709551615 4227072 8923433 140720428984240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41406464 140720428992848 140720428993064 140720428993064 140720428998634 0
/proc/15403/statm: 19862 9346 2464 1147 0 7289 0
Current children cumulated CPU time: 68.6 s
Current children cumulated vsize: 83640 KiB
Current children cumulated memory: 40328 KiB
[startup+69.6001 s]
/proc/loadavg: 4.06 4.07 4.04 4/266 15596
/proc/meminfo: memFree=129096164/131249988 swapFree=33010684/33010684
[pid=15401] ppid=15398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15401/stat : 15401 (run-dec-ls-log.) S 15398 15401 14359 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30701751 4292608 736 18446744073709551615 94018954395648 94018955290181 140724677025648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94018955529232 94018955576976 94018977001472 140724677032219 140724677032417 140724677032417 140724677038019 0
/proc/15401/statm: 1048 736 672 219 0 110 0
[pid=15403] ppid=15401 vsize=79652 memory=37384 CPUtime=69.4 cores=1,3
/proc/15403/stat : 15403 (roundingsat) R 15401 15401 14359 0 -1 4194304 5899 0 0 0 6823 117 0 0 20 0 1 0 30701751 81563648 9346 18446744073709551615 4227072 8923433 140720428984240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41406464 140720428992848 140720428993064 140720428993064 140720428998634 0
/proc/15403/statm: 19913 9346 2464 1147 0 7340 0
Current children cumulated CPU time: 69.4 s
Current children cumulated vsize: 83844 KiB
Current children cumulated memory: 40328 KiB
[startup+69.8001 s]
/proc/loadavg: 4.06 4.07 4.04 4/266 15596
/proc/meminfo: memFree=129096164/131249988 swapFree=33010684/33010684
[pid=15401] ppid=15398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15401/stat : 15401 (run-dec-ls-log.) S 15398 15401 14359 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30701751 4292608 736 18446744073709551615 94018954395648 94018955290181 140724677025648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94018955529232 94018955576976 94018977001472 140724677032219 140724677032417 140724677032417 140724677038019 0
/proc/15401/statm: 1048 736 672 219 0 110 0
[pid=15403] ppid=15401 vsize=79984 memory=37768 CPUtime=69.6 cores=1,3
/proc/15403/stat : 15403 (roundingsat) R 15401 15401 14359 0 -1 4194304 5995 0 0 0 6843 117 0 0 20 0 1 0 30701751 81903616 9442 18446744073709551615 4227072 8923433 140720428984240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41406464 140720428992848 140720428993064 140720428993064 140720428998634 0
/proc/15403/statm: 19996 9442 2464 1147 0 7423 0
Current children cumulated CPU time: 69.6 s
Current children cumulated vsize: 84176 KiB
Current children cumulated memory: 40712 KiB
[startup+69.9001 s]
/proc/loadavg: 4.06 4.07 4.04 4/266 15596
/proc/meminfo: memFree=129096164/131249988 swapFree=33010684/33010684
[pid=15401] ppid=15398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15401/stat : 15401 (run-dec-ls-log.) S 15398 15401 14359 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30701751 4292608 736 18446744073709551615 94018954395648 94018955290181 140724677025648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94018955529232 94018955576976 94018977001472 140724677032219 140724677032417 140724677032417 140724677038019 0
/proc/15401/statm: 1048 736 672 219 0 110 0
[pid=15403] ppid=15401 vsize=80372 memory=38024 CPUtime=69.67 cores=1,3
/proc/15403/stat : 15403 (roundingsat) R 15401 15401 14359 0 -1 4194304 6074 0 0 0 6850 117 0 0 20 0 1 0 30701751 82300928 9506 18446744073709551615 4227072 8923433 140720428984240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41406464 140720428992848 140720428993064 140720428993064 140720428998634 0
/proc/15403/statm: 20093 9506 2464 1147 0 7520 0
Current children cumulated CPU time: 69.67 s
Current children cumulated vsize: 84564 KiB
Current children cumulated memory: 40968 KiB
Child status: 0
Real time (s): 69.9053
CPU time (s): 69.6902
CPU user time (s): 68.507
CPU system time (s): 1.1832
CPU usage (%): 99.6924
Max. virtual memory (cumulated for all children) (KiB): 84564
Max. memory (cumulated for all children) (KiB): 40968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.507
system time used= 1.1832
maximum resident set size= 38024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6307
page faults= 0
swaps= 0
block input operations= 0
block output operations= 474352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 804
involuntary context switches= 290
# summary of solver processes directly reported to runsolver:
# pid: 15401
# total CPU time (s): 69.6902
# total CPU user time (s): 68.507
# total CPU system time (s): 1.1832
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.1642 second user time and 0.312777 second system time
The end
Begin job on nodeC020 at 2025-06-29 00:37:22
IDJOB=4493519
IDBENCH=147865
IDSOLVER=3354
FILE ID=nodeC020/4493519-1751150242
RUNJOBID= nodeC020-1751146607-14374
SLURM_JOB_ID= 9587464
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army11.17bt.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493519-1751150242/watcher-4493519-1751150242 -o /tmp/evaluation-result-4493519-1751150242/solver-4493519-1751150242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751146607-14374 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4493519-1751150242.opb PROOFDIR/proof-4493519-1751150242
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 13744d26940a0db30366992d9fdeef8c
RANDOM SEED=88436617
nodeC020 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.914
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.79
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 : 3594.995
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.79
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 : 3685.160
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.79
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 : 3599.863
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.79
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.891
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.79
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.924
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.79
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 : 3740.558
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.79
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 : 3600.708
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129694916 kB
MemAvailable: 129594780 kB
Buffers: 3280 kB
Cached: 708072 kB
SwapCached: 0 kB
Active: 535456 kB
Inactive: 451396 kB
Active(anon): 293556 kB
Inactive(anon): 0 kB
Active(file): 241900 kB
Inactive(file): 451396 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 51144 kB
Writeback: 0 kB
AnonPages: 278292 kB
Mapped: 114876 kB
Shmem: 18056 kB
KReclaimable: 91612 kB
Slab: 177784 kB
SReclaimable: 91612 kB
SUnreclaim: 86172 kB
KernelStack: 4352 kB
PageTables: 3748 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 620460 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 53248 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC020 at 2025-06-29 00:38:32