| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | UNSAT | 3092.53 | 3099.7 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-tanglegram6.0.u.opb |
| MD5SUM | b4833b4bfdaca602656a4e797e1582c4 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 31.0437 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9182 |
| Total number of constraints | 17713 |
| Number of constraints which are clauses | 17712 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 8856 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1223 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 10079 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.09/0.18 c #variables 9182 #constraints 17713 0.21/0.28 c rational objective 101.5 224.71/225.20 c #Conflicts: 1000 | #Constraints: 18718 224.71/225.20 c #Conflicts: 2000 | #Constraints: 19718 224.71/225.20 c INPROCESSING 224.71/225.20 c GARBAGE COLLECT 224.71/225.20 c #Conflicts: 3000 | #Constraints: 19722 224.71/225.20 c #Conflicts: 4000 | #Constraints: 20722 224.71/225.20 c INPROCESSING 224.71/225.20 c GARBAGE COLLECT 224.71/225.20 c #Conflicts: 5000 | #Constraints: 20106 224.71/225.20 c #Conflicts: 6000 | #Constraints: 21106 224.71/225.20 c INPROCESSING 224.71/225.20 c GARBAGE COLLECT 224.71/225.20 c #Conflicts: 7000 | #Constraints: 20124 224.71/225.20 c #Conflicts: 8000 | #Constraints: 21124 224.71/225.20 c #Conflicts: 9000 | #Constraints: 22124 224.71/225.20 c INPROCESSING 224.71/225.20 c GARBAGE COLLECT 224.71/225.20 c #Conflicts: 10000 | #Constraints: 20827 224.71/225.20 c #Conflicts: 11000 | #Constraints: 21827 224.71/225.20 c #Conflicts: 12000 | #Constraints: 22827 224.71/225.20 c INPROCESSING 224.71/225.20 c GARBAGE COLLECT 224.71/225.20 c rational objective 103 303.03/303.79 c #Conflicts: 13000 | #Constraints: 21174 303.03/303.79 c #Conflicts: 14000 | #Constraints: 22175 303.03/303.79 c #Conflicts: 15000 | #Constraints: 23175 303.03/303.79 c INPROCESSING 303.03/303.79 c GARBAGE COLLECT 303.03/303.79 c #Conflicts: 16000 | #Constraints: 21455 303.03/303.79 WSVECS04 Frhs2[1754]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[1980]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[2005]: 6 -16.0001 0 shouldn't be 303.03/303.79 WSVECS04 Frhs2[2083]: 6 0 4.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[2084]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[2096]: 6 -34 0 shouldn't be 303.03/303.79 WSVECS04 Frhs2[2224]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[2299]: 6 -29 0 shouldn't be 303.03/303.79 WSVECS04 Frhs2[2306]: 6 -30.0001 0 shouldn't be 303.03/303.79 WSVECS04 Frhs2[2311]: 6 0 4.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[2312]: 6 0 6.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[2315]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[2316]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[3139]: 6 0 4.00002 shouldn't be 303.03/303.79 WSVECS04 Frhs2[3140]: 6 0 4.00002 shouldn't be 303.03/303.79 WSVECS04 Frhs2[3141]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[3142]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[3145]: 6 0 4.00003 shouldn't be 303.03/303.79 WSVECS04 Frhs2[5400]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[5401]: 6 0 4.00003 shouldn't be 303.03/303.79 WSVECS04 Frhs2[5402]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[5412]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[5477]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[5478]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[5488]: 6 0 4.0001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[5490]: 6 0 4.00003 shouldn't be 303.03/303.79 WSVECS04 Frhs2[5491]: 6 0 4.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6417]: 6 0 4.00001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6426]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6427]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6531]: 6 0 1.0001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6584]: 6 0 4.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6592]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6595]: 6 0 4.00002 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6596]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6597]: 6 0 4.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6598]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6599]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6600]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6601]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6602]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6603]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6604]: 6 0 4.00002 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6605]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6606]: 6 0 4.00002 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6607]: 6 0 4.0001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6608]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6611]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6613]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6614]: 6 0 4.00002 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6616]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6620]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6622]: 6 0 4.00003 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6637]: 6 0 4.0001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6644]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6646]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6655]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6656]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6657]: 6 0 4.00003 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6659]: 6 0 4.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6662]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6663]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6664]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6666]: 6 0 4.0001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6670]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6671]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6693]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6695]: 6 0 4.00003 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6696]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6697]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6698]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[6699]: 6 0 4.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7062]: 6 0 4.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7063]: 6 0 4.00003 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7064]: 6 0 4.0001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7066]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7067]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7068]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7110]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7113]: 6 0 4.0001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7115]: 6 0 4.00003 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7116]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7117]: 6 0 4.00001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7119]: 6 0 4.00003 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7120]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7121]: 6 0 4.00002 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7122]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7123]: 6 0 4.00003 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7125]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7130]: 6 0 4.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7134]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7140]: 6 0 4.00001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7142]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7143]: 6 0 4.00001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7147]: 6 0 4.0001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7149]: 6 0 4.00001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7151]: 6 0 4.0001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7152]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7156]: 6 0 4.00003 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7158]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7166]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7169]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7177]: 6 -147 0 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7179]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7181]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7182]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7188]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7208]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7209]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7210]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7211]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7212]: 6 0 4.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7213]: 6 0 4.00003 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7215]: 6 0 4.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7217]: 6 0 4.00002 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7226]: 6 0 4.00002 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7264]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7265]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7266]: 6 0 4.00003 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7267]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7268]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7269]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7270]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7271]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7274]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7277]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7278]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7281]: 6 0 4.00001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7346]: 6 0 4.00002 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7421]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7424]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7427]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7434]: 6 0 4.00003 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7435]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7437]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7438]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7440]: 6 0 4.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7441]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7442]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7447]: 6 0 4.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7450]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7452]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7457]: 6 0 4.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7459]: 6 0 4.00002 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7463]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7466]: 6 0 4.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7622]: 6 0 4.00002 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7646]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7647]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7648]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7649]: 6 0 4.00003 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7650]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7668]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7669]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7670]: 6 0 4.00002 shouldn't be 303.03/303.79 WSVECS04 Frhs2[7975]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8042]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8045]: 6 0 4.00003 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8046]: 6 0 4.00001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8047]: 6 0 4.00003 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8062]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8063]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8064]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8066]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8067]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8068]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8069]: 6 0 4.00002 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8075]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8100]: 6 0 4.00001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8104]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8171]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8187]: 6 -9.00006 0 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8283]: 6 0 4.00003 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8299]: 6 0 4.00001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8308]: 6 -6.0001 0 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8311]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8319]: 6 0 4.00003 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8320]: 6 0 4.00001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8321]: 6 0 4.0001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8322]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8323]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8324]: 6 0 4.00002 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8325]: 6 0 4.00002 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8326]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8327]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8328]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8345]: 6 0 4.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8366]: 6 0 4.00001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8367]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8374]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8377]: 6 0 4.00002 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8378]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8379]: 6 0 4.00002 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8385]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8399]: 6 -7.00006 0 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8405]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8406]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8407]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8416]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8417]: 6 0 4.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8420]: 6 0 4.0001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8421]: 6 0 4.00001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8433]: 6 0 4.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8434]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8435]: 6 0 4.00004 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8436]: 6 0 4.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8438]: 6 0 3.00007 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8445]: 6 0 4.00001 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8583]: 6 0 4.00006 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8588]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8601]: 6 0 4.00008 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8672]: 6 0 4.00005 shouldn't be 303.03/303.79 WSVECS04 Frhs2[8673]: 6 0 4.00009 shouldn't be 303.03/303.79 WSVECS04 Frhs2[9075]: 6 -6.00004 0 shouldn't be 303.03/303.79 WSVECS04 Frhs2[9112]: 6 -5.00002 0 shouldn't be 330.38/331.18 c #Conflicts: 17000 | #Constraints: 22456 330.38/331.18 c #Conflicts: 18000 | #Constraints: 23456 330.38/331.18 c INPROCESSING 330.38/331.18 c GARBAGE COLLECT 330.38/331.18 c rational objective 107 430.84/431.85 c #Conflicts: 19000 | #Constraints: 21502 430.84/431.85 c #Conflicts: 20000 | #Constraints: 22502 430.84/431.85 c #Conflicts: 21000 | #Constraints: 23502 430.84/431.85 c INPROCESSING 430.84/431.85 c GARBAGE COLLECT 430.84/431.85 c rational objective 109 535.09/536.35 c #Conflicts: 22000 | #Constraints: 21325 535.09/536.35 c #Conflicts: 23000 | #Constraints: 22325 535.09/536.35 c #Conflicts: 24000 | #Constraints: 23325 535.09/536.35 c #Conflicts: 25000 | #Constraints: 24325 535.09/536.35 c INPROCESSING 535.09/536.35 c GARBAGE COLLECT 535.09/536.35 c rational objective 111 591.68/593.05 c #Conflicts: 26000 | #Constraints: 21925 591.68/593.05 c #Conflicts: 27000 | #Constraints: 22926 591.68/593.05 WSVECS04 Frhs2[4490]: 6 -8.00001 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4493]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4500]: 6 -8.00001 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4504]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4506]: 6 -8.00003 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4507]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4510]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4513]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4514]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4515]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4516]: 6 -8.00001 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4517]: 6 -8.00001 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4518]: 6 -8.00003 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4523]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4527]: 6 -8.00001 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4531]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4532]: 6 -8.00003 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4538]: 6 -8.00006 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4548]: 6 -8.00001 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4550]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4554]: 6 -8.00001 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4555]: 6 -8.00003 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4566]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4567]: 6 -8.00003 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4568]: 6 -8.00001 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4569]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4570]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4572]: 6 -8.00003 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4573]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4575]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4589]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4603]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4625]: 6 -8.00003 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4626]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4630]: 6 -8.00003 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4632]: 6 -8.00001 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4922]: 6 -8.00005 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4923]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4925]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4927]: 6 -8.00003 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4929]: 6 -8.00007 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4930]: 6 -8.00006 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4931]: 6 -8.00007 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4932]: 6 -8.00006 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4933]: 6 -8.00005 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4934]: 6 -8.00007 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4935]: 6 -8.00007 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4936]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4938]: 6 -8.00003 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4939]: 6 -8.00005 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4941]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4942]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4943]: 6 -8.00003 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4945]: 6 -8.00003 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4946]: 6 -8.00007 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4947]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4948]: 6 -8.00003 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4949]: 6 -8.00004 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4950]: 6 -8.00006 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4951]: 6 -8.00006 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4952]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4955]: 6 -8.00005 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4956]: 6 -8.00005 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4957]: 6 -8.00004 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4958]: 6 -8.00005 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4959]: 6 -8.00005 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4960]: 6 -8.00005 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4961]: 6 -8.00006 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4962]: 6 -8.00004 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4964]: 6 -8.00005 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4967]: 6 -8.00008 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4968]: 6 -8.00006 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4970]: 6 -8.00006 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4971]: 6 -8.00005 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4972]: 6 -8.00008 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4973]: 6 -8.00004 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4974]: 6 -8.00008 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4975]: 6 -8.00003 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4976]: 6 -8.00006 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4977]: 6 -8.00005 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4978]: 6 -8.00004 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4979]: 6 -8.00006 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4980]: 6 -8.00003 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4981]: 6 -8.00006 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4982]: 6 -8.00001 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4984]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4985]: 6 -8.00003 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4986]: 6 -8.00004 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4988]: 6 -8.00004 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4989]: 6 -8.00008 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4990]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4991]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4992]: 6 -8.00004 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4993]: 6 -8.00005 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4994]: 6 -8.00001 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4996]: 6 -8.00007 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4997]: 6 -8.00006 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[4999]: 6 -8.00002 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[7868]: 6 -8.00005 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[8864]: 6 -367 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[8866]: 6 0 243 shouldn't be 591.68/593.05 WSVECS04 Frhs2[8877]: 6 -25 0 shouldn't be 591.68/593.05 WSVECS04 Frhs2[8931]: 6 -17 0 shouldn't be 651.33/652.80 c #Conflicts: 28000 | #Constraints: 23927 651.33/652.80 c #Conflicts: 29000 | #Constraints: 24927 651.33/652.80 c INPROCESSING 651.33/652.80 c GARBAGE COLLECT 651.33/652.80 c rational objective 112.3 784.63/786.43 c #Conflicts: 30000 | #Constraints: 22311 784.63/786.43 c #Conflicts: 31000 | #Constraints: 23311 784.63/786.43 c #Conflicts: 32000 | #Constraints: 24311 784.63/786.43 c #Conflicts: 33000 | #Constraints: 25311 784.63/786.43 c INPROCESSING 784.63/786.43 c GARBAGE COLLECT 784.63/786.43 c rational objective 113.2 900.95/903.10 c #Conflicts: 34000 | #Constraints: 22475 900.95/903.10 c #Conflicts: 35000 | #Constraints: 23475 900.95/903.10 c #Conflicts: 36000 | #Constraints: 24475 900.95/903.10 c #Conflicts: 37000 | #Constraints: 25475 900.95/903.10 c INPROCESSING 900.95/903.10 c GARBAGE COLLECT 900.95/903.10 c rational objective 114.05 986.36/988.61 c #Conflicts: 38000 | #Constraints: 22518 986.36/988.61 c #Conflicts: 39000 | #Constraints: 23518 986.36/988.61 WSVECS04 Frhs2[2395]: 6 -4.00001 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[2405]: 6 -4.00001 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[2595]: 6 -4.00001 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[2597]: 6 -4.00001 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[2657]: 6 -4.00001 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[2682]: 6 -4.00001 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[2733]: 6 -4.00001 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[2749]: 6 -4.00001 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[2776]: 6 -4.00001 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[3201]: 6 -4.00002 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[5652]: 6 -4.00001 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[5686]: 6 -4.00001 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[5691]: 6 -4.00002 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[5692]: 6 -4.00002 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[7804]: 6 -4.00001 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[7815]: 6 -4.00001 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[7818]: 6 -4.00001 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[7823]: 6 -4.00001 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[7836]: 6 -4.00001 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[8863]: 6 0 319 shouldn't be 986.36/988.61 WSVECS04 Frhs2[8864]: 6 -247 0 shouldn't be 986.36/988.61 WSVECS04 Frhs2[8940]: 6 0 401 shouldn't be 1073.19/1075.64 c #Conflicts: 40000 | #Constraints: 24519 1073.19/1075.64 c #Conflicts: 41000 | #Constraints: 25519 1073.19/1075.64 c INPROCESSING 1073.19/1075.64 c GARBAGE COLLECT 1073.19/1075.64 c rational objective 114.9 1154.61/1157.27 c #Conflicts: 42000 | #Constraints: 22334 1154.61/1157.27 c #Conflicts: 43000 | #Constraints: 23334 1154.61/1157.27 c #Conflicts: 44000 | #Constraints: 24334 1154.61/1157.27 c #Conflicts: 45000 | #Constraints: 25334 1154.61/1157.27 c #Conflicts: 46000 | #Constraints: 26334 1154.61/1157.27 c INPROCESSING 1154.61/1157.27 c GARBAGE COLLECT 1154.61/1157.27 c rational objective 115.4 1299.67/1302.65 c #Conflicts: 47000 | #Constraints: 22937 1299.67/1302.65 c #Conflicts: 48000 | #Constraints: 23937 1299.67/1302.65 c #Conflicts: 49000 | #Constraints: 24937 1299.67/1302.65 c #Conflicts: 50000 | #Constraints: 25937 1299.67/1302.65 c #Conflicts: 51000 | #Constraints: 26937 1299.67/1302.65 c INPROCESSING 1299.67/1302.65 c GARBAGE COLLECT 1299.67/1302.65 c rational objective 115.7 1423.80/1427.10 c #Conflicts: 52000 | #Constraints: 23337 1423.80/1427.10 c #Conflicts: 53000 | #Constraints: 24338 1423.80/1427.10 c #Conflicts: 54000 | #Constraints: 25338 1423.80/1427.10 WSVECS04 Frhs2[2475]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[3252]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[3256]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[3264]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[3266]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[3269]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[3272]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[3273]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[3275]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[3276]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[3278]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[5544]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[5545]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[5558]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[5563]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[5565]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[5566]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[5569]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[5578]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[5583]: 6 -30 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[8859]: 6 -355.667 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[8929]: 6 -3719 0 shouldn't be 1423.80/1427.10 WSVECS04 Frhs2[8949]: 6 0 6567 shouldn't be 1476.45/1479.87 c #Conflicts: 55000 | #Constraints: 26339 1476.45/1479.87 c #Conflicts: 56000 | #Constraints: 27339 1476.45/1479.87 c INPROCESSING 1476.45/1479.87 c GARBAGE COLLECT 1476.45/1479.87 c rational objective 116.2 1655.63/1659.43 c #Conflicts: 57000 | #Constraints: 23515 1655.63/1659.43 c #Conflicts: 58000 | #Constraints: 24515 1655.63/1659.43 c #Conflicts: 59000 | #Constraints: 25515 1655.63/1659.43 c #Conflicts: 60000 | #Constraints: 26515 1655.63/1659.43 c #Conflicts: 61000 | #Constraints: 27515 1655.63/1659.43 c INPROCESSING 1655.63/1659.43 c GARBAGE COLLECT 1655.63/1659.43 c rational objective 117.85 1784.82/1788.97 c #Conflicts: 62000 | #Constraints: 23537 1784.82/1788.97 c #Conflicts: 63000 | #Constraints: 24537 1784.82/1788.97 c #Conflicts: 64000 | #Constraints: 25537 1784.82/1788.97 c #Conflicts: 65000 | #Constraints: 26537 1784.82/1788.97 c #Conflicts: 66000 | #Constraints: 27537 1784.82/1788.97 c INPROCESSING 1784.82/1788.97 c GARBAGE COLLECT 1784.82/1788.97 c rational objective 118.85 1880.40/1884.76 c #Conflicts: 67000 | #Constraints: 23340 1880.40/1884.76 c #Conflicts: 68000 | #Constraints: 24340 1880.40/1884.76 c #Conflicts: 69000 | #Constraints: 25340 1880.40/1884.76 WSVECS04 Frhs2[1667]: 6 -12.0001 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1668]: 6 -12 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1669]: 6 -12 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1670]: 6 -12 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1671]: 6 -12.0001 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1672]: 6 -12 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1673]: 6 -12.0001 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1674]: 6 -12 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1675]: 6 -12.0001 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1676]: 6 -12 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1677]: 6 -12 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1678]: 6 -12 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1679]: 6 -12.0001 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1680]: 6 -12 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1681]: 6 -12 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1682]: 6 -12.0001 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1683]: 6 -12 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1684]: 6 -12 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1685]: 6 -12.0001 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1686]: 6 -12.0001 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1687]: 6 -12 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1688]: 6 -12.0001 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1689]: 6 -12 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1690]: 6 -12 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1691]: 6 -12.0001 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1692]: 6 -12 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1693]: 6 -12 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1694]: 6 -12 0 shouldn't be 1880.40/1884.76 WSVECS04 Frhs2[1695]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[1696]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[1697]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[1698]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[1699]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[1700]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[1701]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[1702]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[1703]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[1704]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[1705]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[1706]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[1707]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2853]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2855]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2856]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2857]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2860]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2865]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2866]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2868]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2869]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2870]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2872]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2875]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2878]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2881]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2885]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2886]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2887]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2888]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2889]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2891]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2895]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2897]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2898]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2899]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2900]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2903]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2904]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2905]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[2912]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5000]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5002]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5023]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5024]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5028]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5030]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5031]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5032]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5033]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5034]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5035]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5036]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5037]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5038]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5041]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5042]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5043]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5046]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5047]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5051]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5052]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5058]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5059]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5060]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5065]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5066]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5067]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5068]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5074]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5120]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5121]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5122]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5123]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5124]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5125]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5126]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5127]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5128]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5129]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5130]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5131]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5132]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5133]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5134]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5135]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5136]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5137]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5138]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5139]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5140]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5141]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5142]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5143]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5144]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5145]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5146]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5147]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5148]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5149]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5150]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5151]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5152]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5153]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5154]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5155]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5156]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5157]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5158]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5159]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5160]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5161]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5162]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5163]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5164]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5165]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5166]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5167]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5168]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5169]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5170]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5171]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5172]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5173]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5174]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[5175]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6298]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6299]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6302]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6303]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6304]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6306]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6310]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6316]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6324]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6327]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6331]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6493]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6497]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6501]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6502]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6503]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6504]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6505]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6506]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6508]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6509]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6510]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[6511]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[7036]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[7037]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[7038]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[7039]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[7040]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[7041]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[7042]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[7043]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[7044]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[7045]: 6 -12 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[7046]: 6 -12.0001 0 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[8867]: 6 0 191 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[8878]: 6 0 48 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[8891]: 6 0 95.0001 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[8930]: 6 0 239 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[8949]: 6 0 4454 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[8965]: 6 0 1865 shouldn't be 1880.40/1884.77 WSVECS04 Frhs2[9117]: 6 0 219 shouldn't be 1987.64/1992.22 c #Conflicts: 70000 | #Constraints: 26341 1987.64/1992.22 c #Conflicts: 71000 | #Constraints: 27341 1987.64/1992.22 c #Conflicts: 72000 | #Constraints: 28341 1987.64/1992.22 c INPROCESSING 1987.64/1992.22 c GARBAGE COLLECT 1987.64/1992.22 WSVECS04 Frhs2[2399]: 6 -1.00005 0 shouldn't be 1987.64/1992.22 WSVECS04 Frhs2[2433]: 6 -1.00005 0 shouldn't be 1987.64/1992.22 WSVECS04 Frhs2[7840]: 6 -1.00001 0 shouldn't be 1987.64/1992.22 WSVECS04 Frhs2[8275]: 6 0 4.00007 shouldn't be 1987.64/1992.22 WSVECS04 Frhs2[8339]: 6 0 1.00008 shouldn't be 1987.64/1992.22 WSVECS04 Frhs2[8858]: 6 0 286 shouldn't be 1987.64/1992.22 WSVECS04 Frhs2[8860]: 6 -112 0 shouldn't be 1987.64/1992.22 WSVECS04 Frhs2[8863]: 6 0 89.0001 shouldn't be 1987.64/1992.22 WSVECS04 Frhs2[8865]: 6 -123 0 shouldn't be 1987.64/1992.22 WSVECS04 Frhs2[8929]: 6 0 285 shouldn't be 1987.64/1992.22 WSVECS04 Frhs2[8940]: 6 0 375 shouldn't be 1987.64/1992.22 WSVECS04 Frhs2[8968]: 6 -97 0 shouldn't be 1987.64/1992.22 WSVECS04 Frhs2[9018]: 6 -1.00005 0 shouldn't be 1987.64/1992.22 WSVECS04 Frhs2[9049]: 6 -82 0 shouldn't be 2211.82/2216.93 c #Conflicts: 73000 | #Constraints: 23945 2211.82/2216.93 c #Conflicts: 74000 | #Constraints: 24945 2211.82/2216.93 c #Conflicts: 75000 | #Constraints: 25945 2211.82/2216.93 c #Conflicts: 76000 | #Constraints: 26945 2211.82/2216.93 c #Conflicts: 77000 | #Constraints: 27945 2211.82/2216.93 c #Conflicts: 78000 | #Constraints: 28945 2211.82/2216.93 c INPROCESSING 2211.82/2216.93 c GARBAGE COLLECT 2211.82/2216.93 c rational objective 119.05 2334.73/2340.18 c #Conflicts: 79000 | #Constraints: 24351 2334.73/2340.18 c #Conflicts: 80000 | #Constraints: 25351 2334.73/2340.18 WSVECS04 Frhs2[2543]: 6 -26 0 shouldn't be 2334.73/2340.18 WSVECS04 Frhs2[8858]: 6 0 6375 shouldn't be 2334.73/2340.18 WSVECS04 Frhs2[8860]: 6 0 2265 shouldn't be 2334.73/2340.18 WSVECS04 Frhs2[8863]: 6 0 2706 shouldn't be 2334.73/2340.18 WSVECS04 Frhs2[8865]: 6 -2736 0 shouldn't be 2334.73/2340.18 WSVECS04 Frhs2[8940]: 6 0 4628 shouldn't be 2334.73/2340.18 WSVECS04 Frhs2[8949]: 6 0 5199.5 shouldn't be 2434.49/2440.19 c #Conflicts: 81000 | #Constraints: 26352 2434.49/2440.19 c #Conflicts: 82000 | #Constraints: 27352 2434.49/2440.19 c #Conflicts: 83000 | #Constraints: 28352 2434.49/2440.19 c #Conflicts: 84000 | #Constraints: 29352 2434.49/2440.19 c INPROCESSING 2434.49/2440.19 c GARBAGE COLLECT 2434.49/2440.19 c rational objective 120.05 2713.73/2720.01 c #Conflicts: 85000 | #Constraints: 24553 2713.73/2720.01 c #Conflicts: 86000 | #Constraints: 25553 2713.73/2720.01 c #Conflicts: 87000 | #Constraints: 26553 2713.73/2720.01 c #Conflicts: 88000 | #Constraints: 27553 2713.73/2720.01 c #Conflicts: 89000 | #Constraints: 28553 2713.73/2720.01 c #Conflicts: 90000 | #Constraints: 29553 2713.73/2720.01 c INPROCESSING 2713.73/2720.01 c rational objective 120.55 2876.34/2883.02 c #Conflicts: 91000 | #Constraints: 24555 2876.34/2883.02 c #Conflicts: 92000 | #Constraints: 25555 2876.34/2883.02 c #Conflicts: 93000 | #Constraints: 26555 2876.34/2883.02 c #Conflicts: 94000 | #Constraints: 27556 2876.34/2883.02 c #Conflicts: 95000 | #Constraints: 28557 2876.34/2883.02 c #Conflicts: 96000 | #Constraints: 29557 2876.34/2883.02 WSVECS04 Frhs2[162]: 6 0 0.33342 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[163]: 6 0 0.333367 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[868]: 6 0 0.333349 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[869]: 6 0 0.333405 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[967]: 6 0 0.333364 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[973]: 6 0 0.333387 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[974]: 6 0 0.333407 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1056]: 6 0 0.333426 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1141]: 6 0 0.333371 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1155]: 6 0 0.333349 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1157]: 6 0 0.333427 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1172]: 6 0 0.333347 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1173]: 6 0 0.333414 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1174]: 6 0 0.333381 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1175]: 6 0 0.33336 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1176]: 6 0 0.333409 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1177]: 6 0 0.333353 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1178]: 6 0 0.333369 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1180]: 6 0 0.333418 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1183]: 6 0 0.333393 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1262]: 6 0 0.333385 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1264]: 6 0 0.333384 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1288]: 6 0 0.333383 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1448]: 6 0 0.333368 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1531]: 6 0 0.333395 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1532]: 6 0 0.333411 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1533]: 6 0 0.333357 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1725]: 6 0 0.333382 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1726]: 6 0 0.333359 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1730]: 6 0 0.333354 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1743]: 6 0 0.333356 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1746]: 6 0 0.333428 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1747]: 6 0 0.333394 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1769]: 6 0 2.33335 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1889]: 6 0 0.333416 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1890]: 6 0 0.333357 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1932]: 6 0 0.333356 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[1979]: 6 -1.33339 0 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2000]: 6 0 0.333361 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2074]: 6 0 0.333393 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2075]: 6 0 0.333372 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2100]: 6 0 2.33336 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2126]: 6 0 0.333427 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2159]: 6 0 0.333414 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2160]: 6 0 0.333391 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2161]: 6 0 0.333412 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2162]: 6 0 0.33343 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2194]: 6 0 0.333381 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2195]: 6 0 0.333364 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2203]: 6 0 0.333381 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2224]: 6 0 0.333378 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2227]: 6 0 0.333366 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2233]: 6 0 0.333353 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2234]: 6 0 1.33337 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2307]: 6 0 0.333349 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2308]: 6 0 0.333404 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2310]: 6 0 1.3334 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2322]: 6 0 0.33337 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2323]: 6 0 0.333378 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2324]: 6 0 0.333344 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2328]: 6 0 0.333391 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2331]: 6 0 0.333367 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2333]: 6 0 0.333406 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2334]: 6 0 0.333392 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2335]: 6 0 0.333368 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2336]: 6 0 0.33337 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2337]: 6 0 0.333371 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2338]: 6 0 0.333433 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2339]: 6 0 0.333374 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2340]: 6 0 0.333408 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2341]: 6 0 0.333376 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2342]: 6 0 0.333399 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2345]: 6 0 0.333429 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2349]: 6 0 0.333396 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2357]: 6 0 0.333376 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2378]: 6 0 0.333415 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2379]: 6 0 0.333388 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2380]: 6 0 0.333411 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2381]: 6 0 0.333354 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2382]: 6 0 0.333392 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2383]: 6 0 0.333408 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2384]: 6 0 0.333413 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2385]: 6 0 0.333405 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2386]: 6 0 0.333413 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2387]: 6 0 0.333386 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2388]: 6 0 0.333392 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2389]: 6 0 0.333359 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2390]: 6 0 0.333385 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2391]: 6 0 0.333364 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2402]: 6 0 0.333414 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2405]: 6 0 0.333401 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2406]: 6 0 0.333407 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2407]: 6 0 0.333425 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2408]: 6 0 0.333375 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2409]: 6 0 0.333392 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2410]: 6 0 0.333428 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2411]: 6 0 0.333409 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2852]: 6 0 0.333355 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2872]: 6 0 0.333391 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2890]: 6 0 0.333388 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2920]: 6 0 0.333426 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2921]: 6 0 0.333394 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2922]: 6 0 0.33341 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2923]: 6 0 0.333421 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2924]: 6 0 0.333357 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2925]: 6 0 0.333378 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2926]: 6 0 0.33343 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2955]: 6 0 0.333393 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2956]: 6 0 0.333368 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2989]: 6 0 0.333407 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[2990]: 6 0 0.333346 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[3142]: 6 0 0.333427 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[3148]: 6 0 0.333401 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[3155]: 6 0 1.33335 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[3156]: 6 0 0.333431 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[3162]: 6 0 0.333376 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[3163]: 6 0 0.333369 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[3165]: 6 0 0.33335 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[3280]: 6 0 0.333394 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4489]: 6 0 0.333384 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4634]: 6 0 0.333396 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4635]: 6 0 0.333404 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4649]: 6 0 0.333419 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4665]: 6 0 0.333388 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4669]: 6 0 0.333361 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4672]: 6 0 0.333382 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4679]: 6 0 0.333379 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4686]: 6 0 0.333373 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4687]: 6 0 0.333392 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4727]: 6 0 0.333432 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4764]: 6 0 0.333348 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4775]: 6 0 0.333382 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4785]: 6 0 0.333419 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4838]: 6 0 0.333373 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4855]: 6 0 0.333369 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4893]: 6 0 0.333378 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4913]: 6 0 0.333385 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4917]: 6 0 0.333362 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4918]: 6 0 0.333368 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4919]: 6 0 0.333404 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4920]: 6 0 0.333394 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[4921]: 6 0 0.333411 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5075]: 6 0 0.333404 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5080]: 6 0 0.333398 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5092]: 6 0 0.333405 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5094]: 6 0 0.333349 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5095]: 6 0 0.333365 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5220]: 6 0 0.33339 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5399]: 6 0 0.333407 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5402]: 6 0 0.333374 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5411]: 6 0 0.333357 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5497]: 6 0 0.33339 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5498]: 6 0 0.333375 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5540]: 6 0 0.333419 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5592]: 6 0 0.33336 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5593]: 6 0 0.333393 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5640]: 6 0 0.333419 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5641]: 6 0 0.333377 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5642]: 6 0 0.333402 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5643]: 6 0 0.3334 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5644]: 6 0 0.333364 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5662]: 6 0 0.333398 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5665]: 6 0 0.333351 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[5687]: 6 0 0.333357 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6296]: 6 0 0.333365 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6297]: 6 0 0.333423 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6298]: 6 0 0.333422 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6299]: 6 0 0.33335 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6307]: 6 0 0.33341 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6308]: 6 0 0.333389 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6334]: 6 0 0.333423 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6350]: 6 0 0.333381 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6351]: 6 0 1.33336 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6437]: 6 0 0.333366 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6439]: 6 0 0.333414 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6443]: 6 0 0.333389 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6444]: 6 0 0.333425 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6445]: 6 0 0.333394 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6447]: 6 0 0.33336 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6448]: 6 0 0.333398 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6450]: 6 0 0.33337 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6451]: 6 0 0.333403 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6452]: 6 0 0.333406 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6453]: 6 0 0.333423 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6454]: 6 0 0.333389 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6456]: 6 0 0.333366 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6457]: 6 0 0.333414 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6458]: 6 0 0.333419 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6519]: 6 0 0.333346 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6520]: 6 0 0.333366 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6521]: 6 0 0.333347 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6522]: 6 0 0.333423 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6523]: 6 0 0.333395 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6524]: 6 0 0.333385 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6525]: 6 0 0.333395 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6526]: 6 0 0.333352 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6531]: 6 0 0.333396 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6532]: 6 0 0.333428 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6534]: 6 0 0.333378 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6535]: 6 0 0.333362 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6539]: 6 0 0.333375 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6570]: 6 0 0.333399 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6572]: 6 0 0.333384 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6573]: 6 0 0.333392 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[6843]: 6 -0.333368 0 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7012]: 6 0 0.333403 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7013]: 6 0 0.333369 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7070]: 6 0 0.333375 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7201]: 6 0 0.333358 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7202]: 6 0 0.333426 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7203]: 6 0 0.333413 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7204]: 6 0 0.333432 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7205]: 6 0 0.333377 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7206]: 6 0 0.333396 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7207]: 6 0 0.333353 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7208]: 6 0 0.333383 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7209]: 6 0 0.333427 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7211]: 6 0 0.333344 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7212]: 6 0 0.333394 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7213]: 6 0 0.333381 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7214]: 6 0 0.333404 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7215]: 6 0 0.333423 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7216]: 6 0 0.333376 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7217]: 6 0 0.333425 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7218]: 6 0 0.333429 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7220]: 6 0 0.333431 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7221]: 6 0 0.333365 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7226]: 6 0 0.333401 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7230]: 6 0 0.333427 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7247]: 6 0 0.333386 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7248]: 6 0 0.333413 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7250]: 6 0 0.333361 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7254]: 6 0 0.333398 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7376]: 6 0 0.333379 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7377]: 6 0 0.333358 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7378]: 6 0 0.333365 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7379]: 6 0 0.333396 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7385]: 6 0 0.333381 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7386]: 6 0 0.333429 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7447]: 6 0 0.333385 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7459]: 6 0 0.333367 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7515]: 6 0 0.333345 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7523]: 6 0 0.333378 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7531]: 6 0 0.333372 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7532]: 6 0 0.333415 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7535]: 6 0 0.333412 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7554]: 6 0 0.333387 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7555]: 6 0 0.333375 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7556]: 6 0 0.333409 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7557]: 6 0 0.333413 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7558]: 6 0 0.333363 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7559]: 6 0 0.333384 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7561]: 6 0 0.333431 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7625]: 6 0 0.333371 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7626]: 6 0 0.333374 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7635]: 6 0 0.33343 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7636]: 6 0 0.333404 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7642]: 6 0 0.333354 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7643]: 6 0 0.33338 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7735]: 6 0 0.333415 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7737]: 6 0 0.333357 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7748]: 6 0 0.333346 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7749]: 6 0 0.333409 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7752]: 6 0 0.333379 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7821]: 6 0 0.333375 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7978]: 6 0 0.333377 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7992]: 6 0 0.33337 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[7993]: 6 0 0.333399 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[8004]: 6 0 1.33338 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[8005]: 6 0 0.333403 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[8008]: 6 0 0.333407 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[8009]: 6 0 0.333412 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[8010]: 6 0 0.333367 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[8011]: 6 0 0.3334 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[8012]: 6 0 0.333365 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[8013]: 6 0 0.333391 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[8018]: 6 0 0.33339 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[8019]: 6 0 0.33337 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[8020]: 6 0 0.33343 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[8021]: 6 0 0.33341 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[8022]: 6 0 0.333386 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[8023]: 6 0 0.333397 shouldn't be 2876.34/2883.02 WSVECS04 Frhs2[8024]: 6 0 0.333358 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8025]: 6 0 0.333346 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8034]: 6 0 0.333373 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8037]: 6 0 0.333386 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8041]: 6 0 0.333397 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8043]: 6 0 0.333391 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8044]: 6 0 0.333426 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8045]: 6 0 0.333349 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8046]: 6 0 0.333408 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8047]: 6 0 0.333398 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8048]: 6 0 0.333397 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8106]: 6 0 0.33342 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8107]: 6 0 0.333382 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8108]: 6 0 0.333388 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8109]: 6 0 0.333375 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8110]: 6 0 0.333401 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8111]: 6 0 0.33336 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8112]: 6 0 0.333379 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8113]: 6 0 0.3334 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8114]: 6 0 0.333414 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8115]: 6 0 0.333359 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8125]: 6 0 0.333369 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8141]: 6 0 0.333428 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8142]: 6 0 0.333349 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8143]: 6 0 0.333409 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8146]: 6 0 1.33343 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8148]: 6 0 0.333424 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8149]: 6 0 0.333409 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8150]: 6 0 0.333422 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8151]: 6 0 1.33338 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8188]: 6 0 0.333389 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8189]: 6 0 0.333365 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8190]: 6 0 0.333398 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8191]: 6 0 0.333352 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8194]: 6 0 0.333395 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8205]: 6 0 0.33342 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8206]: 6 0 0.333409 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8207]: 6 0 0.333414 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8210]: 6 0 0.333359 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8211]: 6 0 0.333431 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8223]: 6 0 0.333388 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8240]: 6 0 0.333361 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8275]: 6 0 0.333349 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8276]: 6 0 0.333414 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8300]: 6 0 0.333428 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8317]: 6 0 0.333368 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8323]: 6 0 0.33336 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8324]: 6 0 0.333373 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8365]: 6 0 0.333385 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8366]: 6 0 0.333353 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8370]: 6 0 1.33335 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8373]: 6 0 0.333381 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8374]: 6 0 0.333431 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8375]: 6 0 0.333355 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8376]: 6 0 0.333351 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8398]: 6 0 0.333407 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8411]: 6 0 0.333411 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8412]: 6 0 0.333376 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8415]: 6 0 0.333356 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8423]: 6 0 1.33338 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8451]: 6 0 0.333375 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8535]: 6 0 0.333381 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8546]: 6 0 0.333399 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8547]: 6 0 0.333426 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8854]: 6 0 0.333346 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8855]: 6 0 0.333362 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[8891]: 6 -1.66673 0 shouldn't be 2876.34/2883.03 WSVECS04 Frhs2[9087]: 6 0 1.33336 shouldn't be 2887.91/2894.66 c INPROCESSING 2887.91/2894.66 c GARBAGE COLLECT 2887.91/2894.66 c rational objective 121.05 3092.42/3099.68 c #Conflicts: 97000 | #Constraints: 24358 3092.42/3099.68 c #Conflicts: 98000 | #Constraints: 25358 3092.42/3099.68 c #Conflicts: 99000 | #Constraints: 26358 3092.42/3099.68 c #Conflicts: 100000 | #Constraints: 27358 3092.42/3099.68 c #Conflicts: 101000 | #Constraints: 28358 3092.42/3099.68 c #Conflicts: 102000 | #Constraints: 29358 3092.42/3099.68 c cpu time 3089.6 s 3092.42/3099.68 c deterministic time 48229571210 4.82e+10 3092.42/3099.68 c optimization time 6.5e-05 s 3092.42/3099.68 c total solve time 3089.47 s 3092.42/3099.68 c core-guided solve time 0 s 3092.42/3099.68 c propagation time 667.324 s 3092.42/3099.68 c conflict analysis time 2358.4 s 3092.42/3099.68 c propagations 403007260 3092.42/3099.68 c resolve steps 26432883 3092.42/3099.68 c decisions 1056908 3092.42/3099.68 c conflicts 102784 3092.42/3099.68 c restarts 254 3092.42/3099.68 c inprocessing phases 23 3092.42/3099.68 c input clauses 17712 3092.42/3099.68 c input cardinalities 1 3092.42/3099.68 c input general constraints 0 3092.42/3099.68 c input average constraint length 3.50 3092.42/3099.68 c input average constraint degree 1.43 3092.42/3099.68 c learned clauses 86283 3092.42/3099.68 c learned cardinalities 21 3092.42/3099.68 c learned general constraints 16535 3092.42/3099.68 c learned average constraint length 1757.35 3092.42/3099.68 c learned average constraint degree 407259684.88 3092.42/3099.68 c watched constraints 9500 3092.42/3099.68 c counting constraints 7035 3092.42/3099.68 c gcd simplifications 59089 3092.42/3099.68 c detected cardinalities 0 3092.42/3099.68 c weakened non-implied lits 503485302 3092.42/3099.68 c weakened non-implying lits 391250 3092.42/3099.68 c original variables 9182 3092.42/3099.68 c clausal propagations 41907017 3092.42/3099.68 c cardinality propagations 349440 3092.42/3099.68 c watched propagations 1880990 3092.42/3099.68 c counting propagations 358439581 3092.42/3099.68 c watch lookups 18342022555 3092.42/3099.68 c watch backjump lookups 17973205205 3092.42/3099.68 c watch checks 6714476696 3092.42/3099.68 c propagation checks 1888727552 3092.42/3099.68 c constraint additions 2502723140 3092.42/3099.68 c trail pops 404165915 3092.42/3099.68 c formula constraints 17713 3092.42/3099.68 c learned constraints 102763 3092.42/3099.68 c bound constraints 0 3092.42/3099.68 c core-guided constraints 0 3092.42/3099.68 c encountered formula constraints 26123345 3092.42/3099.68 c encountered learned constraints 409608 3092.42/3099.68 c encountered bound constraints 0 3092.42/3099.68 c encountered core-guided constraints 0 3092.42/3099.68 c LP total time 76.5261 s 3092.42/3099.68 c LP solve time 63.56 s 3092.42/3099.68 c LP constraints added 17797 3092.42/3099.68 c LP constraints removed 42 3092.42/3099.68 c LP pivots internal 109899 3092.42/3099.68 c LP pivots root 76079 3092.42/3099.68 c LP calls 44 3092.42/3099.68 c LP optimalities 19 3092.42/3099.68 c LP no pivot count 0 3092.42/3099.68 c LP infeasibilities 20 3092.42/3099.68 c LP valid Farkas constraints 20 3092.42/3099.68 c LP learned Farkas constraints 20 3092.42/3099.68 c LP basis resets 0 3092.42/3099.68 c LP cycling count 0 3092.42/3099.68 c LP singular count 0 3092.42/3099.68 c LP no primal count 0 3092.42/3099.68 c LP no farkas count 0 3092.42/3099.68 c LP other issue count 0 3092.42/3099.68 c LP Gomory cuts 36 3092.42/3099.68 c LP learned cuts 55 3092.42/3099.68 c LP deleted cuts 47 3092.42/3099.68 c LP encountered Gomory constraints 1 3092.42/3099.68 c LP encountered Farkas constraints 2207 3092.42/3099.68 c LP encountered learned Farkas constraints 486 3092.42/3099.68 c CG auxiliary variables introduced 0 3092.42/3099.68 c CG solutions found 0 3092.42/3099.68 c CG cores constructed 0 3092.42/3099.68 c CG core cardinality constraints returned 0 3092.42/3099.68 c CG unit cores 0 3092.42/3099.68 c CG single cores 0 3092.42/3099.68 c CG blocks removed during cardinality reduction 0 3092.42/3099.68 c CG first core best 0 3092.42/3099.68 c CG decision core best 0 3092.42/3099.68 c CG core reduction tie 0 3092.42/3099.68 c CG core degree average 0.00 3092.42/3099.68 c CG core slack average 0.00 3092.42/3099.68 s UNSATISFIABLE
ERROR: no interpretation found !
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: 64059 MiB (61683 MiB free)
memory of node 1: 64510 MiB (61198 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455867-1721467918/watcher-4455867-1721467918 -o /tmp/evaluation-result-4455867-1721467918/solver-4455867-1721467918 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721460659-1046575 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455867-1721467918.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1050955, runsolver pid=1050952
[startup+0.100423 s]*
/proc/loadavg: 4.15 4.15 4.16 5/245 1050956
/proc/meminfo: memFree=125826952/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=40660 memory=8756 CPUtime=0.09 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 1484 0 0 0 7 2 0 0 20 0 1 0 198948177 41635840 2189 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 10165 2189 1265 922 0 2117 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40660 KiB
Current children cumulated memory: 8756 KiB
[startup+0.213232 s]*
/proc/loadavg: 4.15 4.15 4.16 5/245 1050956
/proc/meminfo: memFree=125813956/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=52588 memory=22420 CPUtime=0.21 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 5382 0 0 0 16 5 0 0 20 0 1 0 198948177 53850112 5605 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 13147 5605 1595 922 0 5099 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 52588 KiB
Current children cumulated memory: 22420 KiB
[startup+0.313013 s]*
/proc/loadavg: 4.15 4.15 4.16 5/245 1050956
/proc/meminfo: memFree=125813844/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=53244 memory=23100 CPUtime=0.31 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 5481 0 0 0 26 5 0 0 20 0 1 0 198948177 54521856 5775 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 13311 5775 1707 922 0 5263 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 53244 KiB
Current children cumulated memory: 23100 KiB
[startup+0.700323 s]
/proc/loadavg: 4.15 4.15 4.16 5/245 1050956
/proc/meminfo: memFree=125813368/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=56976 memory=26328 CPUtime=0.68 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 6252 0 0 0 60 8 0 0 20 0 1 0 198948177 58343424 6582 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 14244 6582 1723 922 0 6196 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56976 KiB
Current children cumulated memory: 26328 KiB
[startup+1.50033 s]
/proc/loadavg: 4.15 4.15 4.16 5/245 1050956
/proc/meminfo: memFree=125809752/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=58512 memory=29048 CPUtime=1.48 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 6872 0 0 0 140 8 0 0 20 0 1 0 198948177 59916288 7262 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 14628 7262 1815 922 0 6580 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58512 KiB
Current children cumulated memory: 29048 KiB
[startup+3.1133 s]
/proc/loadavg: 4.14 4.14 4.16 5/245 1050956
/proc/meminfo: memFree=125797268/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=61192 memory=33172 CPUtime=3.09 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 7389 0 0 0 299 10 0 0 20 0 1 0 198948177 62660608 8293 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 15298 8293 1815 922 0 7250 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61192 KiB
Current children cumulated memory: 33172 KiB
[startup+6.30031 s]
/proc/loadavg: 4.14 4.14 4.16 5/245 1050957
/proc/meminfo: memFree=125767812/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=61192 memory=33960 CPUtime=6.27 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 7552 0 0 0 617 10 0 0 20 0 1 0 198948177 62660608 8490 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 15298 8490 1815 922 0 7250 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 61192 KiB
Current children cumulated memory: 33960 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.14 4.16 5/245 1050957
/proc/meminfo: memFree=125725356/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=75116 memory=47864 CPUtime=12.66 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 10036 0 0 0 1254 12 0 0 20 0 1 0 198948177 76918784 11966 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 18779 11966 1815 922 0 10731 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 75116 KiB
Current children cumulated memory: 47864 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.13 4.16 5/245 1050961
/proc/meminfo: memFree=125626944/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=121044 memory=89588 CPUtime=25.43 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 17431 0 0 0 2525 18 0 0 20 0 1 0 198948177 123949056 22397 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 30261 22397 1815 922 0 22213 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 121044 KiB
Current children cumulated memory: 89588 KiB
[startup+51.1127 s]
/proc/loadavg: 4.21 4.15 4.17 5/245 1050964
/proc/meminfo: memFree=125564756/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=149044 memory=108036 CPUtime=51 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 20004 0 0 0 5076 24 0 0 20 0 1 0 198948177 152621056 27009 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 37261 27009 1815 922 0 29213 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 149044 KiB
Current children cumulated memory: 108036 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/244 1051018
/proc/meminfo: memFree=125956480/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=204748 memory=151792 CPUtime=102.07 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 26827 0 0 0 10175 32 0 0 20 0 1 0 198948177 209661952 37948 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 51187 37948 1815 922 0 43139 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 204748 KiB
Current children cumulated memory: 151792 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/244 1051028
/proc/meminfo: memFree=125558716/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=205552 memory=152320 CPUtime=161.95 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 26971 0 0 0 16156 39 0 0 20 0 1 0 198948177 210485248 38080 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 51388 38080 1815 922 0 43340 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 205552 KiB
Current children cumulated memory: 152320 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.12 4.15 5/244 1051040
/proc/meminfo: memFree=125327208/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=210504 memory=167804 CPUtime=221.81 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 28285 0 0 0 22140 41 0 0 20 0 1 0 198948177 215556096 41951 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 52626 41951 1815 922 0 44578 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 210504 KiB
Current children cumulated memory: 167804 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/241 1051051
/proc/meminfo: memFree=125098644/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=215720 memory=187128 CPUtime=281.67 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 29575 0 0 0 28116 51 0 0 20 0 1 0 198948177 220897280 46782 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 53930 46782 1815 922 0 45882 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 215720 KiB
Current children cumulated memory: 187128 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/241 1051061
/proc/meminfo: memFree=124508672/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=330888 memory=281692 CPUtime=341.53 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 45078 0 0 0 34091 62 0 0 20 0 1 0 198948177 338829312 70423 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 82722 70423 1815 922 0 74674 0
Current children cumulated CPU time: 341.53 s
Current children cumulated vsize: 330888 KiB
Current children cumulated memory: 281692 KiB
[startup+402.3 s]
/proc/loadavg: 4.23 4.14 4.15 5/241 1051071
/proc/meminfo: memFree=124358676/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=330888 memory=281692 CPUtime=401.4 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 45093 0 0 0 40076 64 0 0 20 0 1 0 198948177 338829312 70423 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 82722 70423 1815 922 0 74674 0
Current children cumulated CPU time: 401.4 s
Current children cumulated vsize: 330888 KiB
Current children cumulated memory: 281692 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/241 1051082
/proc/meminfo: memFree=124267404/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=331272 memory=282336 CPUtime=461.27 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 45244 0 0 0 46059 68 0 0 20 0 1 0 198948177 339222528 70584 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 82818 70584 1815 922 0 74770 0
################
# More data... #
################
/proc/loadavg: 4.12 4.15 4.14 5/241 1052052
/proc/meminfo: memFree=121191544/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=506920 memory=446048 CPUtime=2676.11 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 69281 0 0 0 267359 252 0 0 20 0 1 0 198948177 519086080 111512 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 126730 111512 1831 922 0 118682 0
Current children cumulated CPU time: 2676.11 s
Current children cumulated vsize: 506920 KiB
Current children cumulated memory: 446048 KiB
[startup+2742.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/241 1052062
/proc/meminfo: memFree=121149072/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=506920 memory=446048 CPUtime=2735.97 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 69372 0 0 0 273344 253 0 0 20 0 1 0 198948177 519086080 111512 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 126730 111512 1831 922 0 118682 0
Current children cumulated CPU time: 2735.97 s
Current children cumulated vsize: 506920 KiB
Current children cumulated memory: 446048 KiB
[startup+2802.3 s]
/proc/loadavg: 4.21 4.16 4.14 5/241 1052072
/proc/meminfo: memFree=121003572/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=697144 memory=587352 CPUtime=2795.82 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 85968 0 0 0 279316 266 0 0 20 0 1 0 198948177 713875456 146838 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 174286 146838 1831 922 0 166238 0
Current children cumulated CPU time: 2795.82 s
Current children cumulated vsize: 697144 KiB
Current children cumulated memory: 587352 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/241 1052083
/proc/meminfo: memFree=120982412/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=701652 memory=603244 CPUtime=2855.67 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 87389 0 0 0 285298 269 0 0 20 0 1 0 198948177 718491648 150811 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 175413 150811 1831 922 0 167365 0
Current children cumulated CPU time: 2855.67 s
Current children cumulated vsize: 701652 KiB
Current children cumulated memory: 603244 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.15 4.14 5/244 1052098
/proc/meminfo: memFree=120940068/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=707452 memory=628776 CPUtime=2915.53 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 89234 0 0 0 291275 278 0 0 20 0 1 0 198948177 724430848 157194 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 176863 157194 1831 922 0 168815 0
Current children cumulated CPU time: 2915.53 s
Current children cumulated vsize: 707452 KiB
Current children cumulated memory: 628776 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/244 1052108
/proc/meminfo: memFree=120934476/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=707452 memory=628776 CPUtime=2975.4 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 89316 0 0 0 297257 283 0 0 20 0 1 0 198948177 724430848 157194 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 176863 157194 1831 922 0 168815 0
Current children cumulated CPU time: 2975.4 s
Current children cumulated vsize: 707452 KiB
Current children cumulated memory: 628776 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/244 1052119
/proc/meminfo: memFree=120925368/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=707452 memory=628776 CPUtime=3035.25 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 89480 0 0 0 303240 285 0 0 20 0 1 0 198948177 724430848 157194 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 176863 157194 1831 922 0 168815 0
Current children cumulated CPU time: 3035.25 s
Current children cumulated vsize: 707452 KiB
Current children cumulated memory: 628776 KiB
[startup+3099.7 s]
# the end of solver process 1050955 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3089.6 s, system=2.92388 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3072 s]*
/proc/loadavg: 4.11 4.12 4.12 5/244 1052125
/proc/meminfo: memFree=120913300/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=707452 memory=628776 CPUtime=3064.89 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 89480 0 0 0 306203 286 0 0 20 0 1 0 198948177 724430848 157194 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 176863 157194 1831 922 0 168815 0
Current children cumulated CPU time: 3064.89 s
Current children cumulated vsize: 707452 KiB
Current children cumulated memory: 628776 KiB
[startup+3084.8 s]
/proc/loadavg: 4.09 4.12 4.12 5/244 1052126
/proc/meminfo: memFree=120911620/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=707452 memory=628776 CPUtime=3077.65 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 89562 0 0 0 307476 289 0 0 20 0 1 0 198948177 724430848 157194 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 176863 157194 1831 922 0 168815 0
Current children cumulated CPU time: 3077.65 s
Current children cumulated vsize: 707452 KiB
Current children cumulated memory: 628776 KiB
[startup+3091.2 s]
/proc/loadavg: 4.08 4.12 4.12 5/244 1052128
/proc/meminfo: memFree=120897772/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=707452 memory=628776 CPUtime=3084.04 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 89562 0 0 0 308114 290 0 0 20 0 1 0 198948177 724430848 157194 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 176863 157194 1831 922 0 168815 0
Current children cumulated CPU time: 3084.04 s
Current children cumulated vsize: 707452 KiB
Current children cumulated memory: 628776 KiB
[startup+3094.4 s]
/proc/loadavg: 4.16 4.13 4.13 5/244 1052128
/proc/meminfo: memFree=120897016/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=707452 memory=628776 CPUtime=3087.23 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 89562 0 0 0 308433 290 0 0 20 0 1 0 198948177 724430848 157194 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 176863 157194 1831 922 0 168815 0
Current children cumulated CPU time: 3087.23 s
Current children cumulated vsize: 707452 KiB
Current children cumulated memory: 628776 KiB
[startup+3097.6 s]
/proc/loadavg: 4.14 4.13 4.12 5/244 1052129
/proc/meminfo: memFree=120896652/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=707452 memory=628776 CPUtime=3090.42 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 89562 0 0 0 308752 290 0 0 20 0 1 0 198948177 724430848 157194 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 176863 157194 1831 922 0 168815 0
Current children cumulated CPU time: 3090.42 s
Current children cumulated vsize: 707452 KiB
Current children cumulated memory: 628776 KiB
[startup+3098.4 s]
/proc/loadavg: 4.14 4.13 4.12 5/244 1052129
/proc/meminfo: memFree=120896428/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=707452 memory=628776 CPUtime=3091.21 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 89562 0 0 0 308831 290 0 0 20 0 1 0 198948177 724430848 157194 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 176863 157194 1831 922 0 168815 0
Current children cumulated CPU time: 3091.21 s
Current children cumulated vsize: 707452 KiB
Current children cumulated memory: 628776 KiB
[startup+3099.2 s]
/proc/loadavg: 4.14 4.13 4.12 5/244 1052129
/proc/meminfo: memFree=120896288/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=707452 memory=628776 CPUtime=3092.02 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 89562 0 0 0 308911 291 0 0 20 0 1 0 198948177 724430848 157194 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 176863 157194 1831 922 0 168815 0
Current children cumulated CPU time: 3092.02 s
Current children cumulated vsize: 707452 KiB
Current children cumulated memory: 628776 KiB
[startup+3099.6 s]
/proc/loadavg: 4.14 4.13 4.12 5/244 1052129
/proc/meminfo: memFree=120896288/131655788 swapFree=131071996/131071996
[pid=1050955] ppid=1050952 vsize=707452 memory=628776 CPUtime=3092.42 cores=4,6
/proc/1050955/stat : 1050955 (roundingsat) R 1050952 1050955 1046564 0 -1 4194304 89562 0 0 0 308951 291 0 0 20 0 1 0 198948177 724430848 157194 134679101440 4194304 7968373 140726762171728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29319168 140726762173372 140726762173536 140726762173536 140726762180553 0
/proc/1050955/statm: 176863 157194 1831 922 0 168815 0
Current children cumulated CPU time: 3092.42 s
Current children cumulated vsize: 707452 KiB
Current children cumulated memory: 628776 KiB
Child status: 0
Real time (s): 3099.7
CPU time (s): 3092.53
CPU user time (s): 3089.6
CPU system time (s): 2.92388
CPU usage (%): 99.7685
Max. virtual memory (cumulated for all children) (KiB): 878848
Max. memory (cumulated for all children) (KiB): 628776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3089.6
system time used= 2.92388
maximum resident set size= 628776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89572
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= 41
involuntary context switches= 1563
# summary of solver processes directly reported to runsolver:
# pid: 1050955
# total CPU time (s): 3092.53
# total CPU user time (s): 3089.6
# total CPU system time (s): 2.92388
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3728 second user time and 29.4929 second system time
The end
Begin job on nodeC008 at 2024-07-20 11:32:10 IDJOB=4455867 IDBENCH=164182 IDSOLVER=3084 FILE ID=nodeC008/4455867-1721467918 RUNJOBID= nodeC008-1721460659-1046575 SLURM_JOB_ID= 7545711 Free space on /tmp= 723740 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-tanglegram6.0.u.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455867-1721467918/watcher-4455867-1721467918 -o /tmp/evaluation-result-4455867-1721467918/solver-4455867-1721467918 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721460659-1046575 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455867-1721467918.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b4833b4bfdaca602656a4e797e1582c4 RANDOM SEED=1572009433 nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3637.664 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.91 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3547.444 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.502 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.91 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.255 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.967 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.91 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3640.762 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.248 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.91 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.407 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 125831056 kB MemAvailable: 128310068 kB Buffers: 601496 kB Cached: 2702316 kB SwapCached: 0 kB Active: 1145904 kB Inactive: 4077112 kB Active(anon): 1500 kB Inactive(anon): 1963268 kB Active(file): 1144404 kB Inactive(file): 2113844 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 28556 kB Writeback: 0 kB AnonPages: 1917388 kB Mapped: 116488 kB Shmem: 45896 kB KReclaimable: 121592 kB Slab: 227940 kB SReclaimable: 121592 kB SUnreclaim: 106348 kB KernelStack: 3948 kB PageTables: 13004 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2451332 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61824 kB HardwareCorrupted: 0 kB AnonHugePages: 1503232 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203592 kB DirectMap2M: 24866816 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 723728 MiB End job on nodeC008 at 2024-07-20 12:23:50