0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.01 c #variables 756 #constraints 3541
0.20/0.25 c #Conflicts: 1000 | #Constraints: 4540
0.20/0.25 WSVECS04 Frhs2[13]: 6 -5.00006 0 shouldn't be
0.20/0.25 WSVECS04 Frhs2[22]: 6 -5.00001 0 shouldn't be
0.20/0.25 WSVECS04 Frhs2[24]: 6 -5.00006 0 shouldn't be
0.20/0.25 WSVECS04 Frhs2[37]: 6 0 9.00007 shouldn't be
0.20/0.25 WSVECS04 Frhs2[40]: 6 0 12 shouldn't be
0.20/0.25 WSVECS04 Frhs2[42]: 6 -4.00008 0 shouldn't be
0.20/0.25 WSVECS04 Frhs2[91]: 6 0 1.00005 shouldn't be
0.20/0.25 WSVECS04 Frhs2[104]: 6 0 1.00008 shouldn't be
0.20/0.25 WSVECS04 Frhs2[113]: 6 0 1.00003 shouldn't be
0.20/0.25 WSVECS04 Frhs2[120]: 6 0 1.00002 shouldn't be
0.20/0.25 WSVECS04 Frhs2[126]: 6 0 2.00004 shouldn't be
0.20/0.25 WSVECS04 Frhs2[128]: 6 0 1.00002 shouldn't be
0.20/0.25 WSVECS04 Frhs2[140]: 6 0 1.00003 shouldn't be
0.20/0.25 WSVECS04 Frhs2[158]: 6 0 1.00002 shouldn't be
0.20/0.25 WSVECS04 Frhs2[240]: 6 0 1.00008 shouldn't be
0.20/0.25 WSVECS04 Frhs2[265]: 6 0 1.00007 shouldn't be
0.20/0.25 WSVECS04 Frhs2[291]: 6 0 1.00008 shouldn't be
0.20/0.25 WSVECS04 Frhs2[304]: 6 0 4.00002 shouldn't be
0.20/0.25 WSVECS04 Frhs2[315]: 6 0 1.00003 shouldn't be
0.20/0.25 WSVECS04 Frhs2[333]: 6 0 6.00004 shouldn't be
0.20/0.25 WSVECS04 Frhs2[341]: 6 0 1.00001 shouldn't be
0.20/0.25 WSVECS04 Frhs2[354]: 6 0 1.00004 shouldn't be
0.20/0.25 WSVECS04 Frhs2[362]: 6 0 1.00004 shouldn't be
0.20/0.25 WSVECS04 Frhs2[363]: 6 0 1.00002 shouldn't be
0.20/0.25 WSVECS04 Frhs2[366]: 6 0 1.00006 shouldn't be
0.20/0.25 WSVECS04 Frhs2[379]: 6 0 1.00002 shouldn't be
0.20/0.25 WSVECS04 Frhs2[392]: 6 0 1.00007 shouldn't be
0.20/0.25 WSVECS04 Frhs2[399]: 6 0 1.00009 shouldn't be
0.20/0.25 WSVECS04 Frhs2[406]: 6 0 1.00004 shouldn't be
0.20/0.25 WSVECS04 Frhs2[470]: 6 0 1.00002 shouldn't be
0.20/0.25 WSVECS04 Frhs2[483]: 6 0 1.00002 shouldn't be
0.20/0.25 WSVECS04 Frhs2[594]: 6 0 1.00007 shouldn't be
0.20/0.25 WSVECS04 Frhs2[607]: 6 0 7.00007 shouldn't be
0.20/0.25 WSVECS04 Frhs2[633]: 6 0 7.00006 shouldn't be
0.20/0.25 WSVECS04 Frhs2[683]: 6 0 1.00002 shouldn't be
0.20/0.25 WSVECS04 Frhs2[717]: 6 0 1.00006 shouldn't be
0.20/0.25 WSVECS04 Frhs2[718]: 6 0 1.00004 shouldn't be
0.88/0.97 c #Conflicts: 2000 | #Constraints: 5540
0.88/0.97 c INPROCESSING
0.88/0.97 c GARBAGE COLLECT
0.88/0.97 c #Conflicts: 3000 | #Constraints: 5328
0.88/0.97 c #Conflicts: 4000 | #Constraints: 6328
0.88/0.97 c INPROCESSING
0.88/0.97 c GARBAGE COLLECT
0.88/0.97 c #Conflicts: 5000 | #Constraints: 5732
0.88/0.97 WSVECS04 Frhs2[31]: 6 -5.00005 0 shouldn't be
0.88/0.97 WSVECS04 Frhs2[35]: 6 -6.00007 0 shouldn't be
0.88/0.97 WSVECS04 Frhs2[37]: 6 -5.00002 0 shouldn't be
0.88/0.97 WSVECS04 Frhs2[44]: 6 0 1.50008 shouldn't be
0.88/0.97 WSVECS04 Frhs2[45]: 6 0 7.0001 shouldn't be
0.88/0.97 WSVECS04 Frhs2[48]: 6 -5.00003 0 shouldn't be
0.88/0.97 WSVECS04 Frhs2[49]: 6 0 4.00001 shouldn't be
0.88/0.97 WSVECS04 Frhs2[138]: 6 0 1.00003 shouldn't be
0.88/0.97 WSVECS04 Frhs2[225]: 6 0 1.00003 shouldn't be
0.88/0.97 WSVECS04 Frhs2[235]: 6 0 1.00005 shouldn't be
0.88/0.97 WSVECS04 Frhs2[238]: 6 0 1.00007 shouldn't be
0.88/0.97 WSVECS04 Frhs2[249]: 6 0 1.00004 shouldn't be
0.88/0.97 WSVECS04 Frhs2[259]: 6 0 1.00002 shouldn't be
0.88/0.97 WSVECS04 Frhs2[290]: 6 0 1.00005 shouldn't be
0.88/0.97 WSVECS04 Frhs2[299]: 6 0 1.00008 shouldn't be
0.88/0.97 WSVECS04 Frhs2[309]: 6 0 1.00007 shouldn't be
0.88/0.97 WSVECS04 Frhs2[313]: 6 0 2.00002 shouldn't be
0.88/0.97 WSVECS04 Frhs2[365]: 6 0 2.00006 shouldn't be
0.88/0.97 WSVECS04 Frhs2[396]: 6 0 1.00001 shouldn't be
0.88/0.97 WSVECS04 Frhs2[397]: 6 0 1.00004 shouldn't be
0.88/0.97 WSVECS04 Frhs2[471]: 6 0 1.50003 shouldn't be
0.88/0.97 WSVECS04 Frhs2[472]: 6 0 1.00007 shouldn't be
0.88/0.97 WSVECS04 Frhs2[475]: 6 0 1.00009 shouldn't be
0.88/0.97 WSVECS04 Frhs2[497]: 6 0 1.50002 shouldn't be
0.88/0.97 WSVECS04 Frhs2[501]: 6 0 1.00002 shouldn't be
0.88/0.97 WSVECS04 Frhs2[523]: 6 0 1.50007 shouldn't be
0.88/0.97 WSVECS04 Frhs2[544]: 6 0 1.00001 shouldn't be
0.88/0.97 WSVECS04 Frhs2[547]: 6 0 1.00003 shouldn't be
0.88/0.97 WSVECS04 Frhs2[548]: 6 0 1.00003 shouldn't be
0.88/0.97 WSVECS04 Frhs2[588]: 6 0 1.00003 shouldn't be
0.88/0.97 WSVECS04 Frhs2[590]: 6 0 1.00005 shouldn't be
0.88/0.97 WSVECS04 Frhs2[592]: 6 0 1.00004 shouldn't be
0.88/0.97 WSVECS04 Frhs2[601]: 6 0 1.00003 shouldn't be
0.88/0.97 WSVECS04 Frhs2[612]: 6 0 1.00003 shouldn't be
0.88/0.97 WSVECS04 Frhs2[644]: 6 0 1.00008 shouldn't be
0.88/0.97 WSVECS04 Frhs2[648]: 6 0 1.00008 shouldn't be
0.88/0.97 WSVECS04 Frhs2[652]: 6 0 1.00003 shouldn't be
1.29/1.36 c #Conflicts: 6000 | #Constraints: 6732
1.29/1.36 c INPROCESSING
1.29/1.36 c GARBAGE COLLECT
1.29/1.36 c rational objective 139.75
1.68/1.73 c #Conflicts: 7000 | #Constraints: 5743
1.68/1.73 c #Conflicts: 8000 | #Constraints: 6743
1.68/1.73 c #Conflicts: 9000 | #Constraints: 7744
1.68/1.73 WSVECS04 Frhs2[5]: 6 0 8.00007 shouldn't be
1.68/1.73 WSVECS04 Frhs2[22]: 6 0 7.00009 shouldn't be
1.68/1.73 WSVECS04 Frhs2[32]: 6 0 12.0001 shouldn't be
1.68/1.73 WSVECS04 Frhs2[46]: 6 0 10 shouldn't be
1.68/1.73 WSVECS04 Frhs2[57]: 6 0 1.00006 shouldn't be
1.68/1.73 WSVECS04 Frhs2[82]: 6 -1.00002 0 shouldn't be
1.68/1.73 WSVECS04 Frhs2[83]: 6 0 1.00003 shouldn't be
1.68/1.73 WSVECS04 Frhs2[110]: 6 0 1.00004 shouldn't be
1.68/1.73 WSVECS04 Frhs2[122]: 6 -1.00004 0 shouldn't be
1.68/1.73 WSVECS04 Frhs2[135]: 6 0 1.00007 shouldn't be
1.68/1.73 WSVECS04 Frhs2[150]: 6 0 1.00005 shouldn't be
1.68/1.73 WSVECS04 Frhs2[156]: 6 0 1.00004 shouldn't be
1.68/1.73 WSVECS04 Frhs2[166]: 6 0 1.00004 shouldn't be
1.68/1.73 WSVECS04 Frhs2[167]: 6 0 1.00005 shouldn't be
1.68/1.73 WSVECS04 Frhs2[171]: 6 0 1.00003 shouldn't be
1.68/1.73 WSVECS04 Frhs2[214]: 6 0 1.00009 shouldn't be
1.68/1.73 WSVECS04 Frhs2[227]: 6 -1.00001 0 shouldn't be
1.68/1.73 WSVECS04 Frhs2[260]: 6 0 1.00002 shouldn't be
1.68/1.73 WSVECS04 Frhs2[346]: 6 0 1.00009 shouldn't be
1.68/1.73 WSVECS04 Frhs2[358]: 6 -5.00005 0 shouldn't be
1.68/1.73 WSVECS04 Frhs2[359]: 6 0 1.00004 shouldn't be
1.68/1.73 WSVECS04 Frhs2[366]: 6 -5.00001 0 shouldn't be
1.68/1.73 WSVECS04 Frhs2[451]: 6 0 2.00002 shouldn't be
1.68/1.73 WSVECS04 Frhs2[523]: 6 -1.00008 0 shouldn't be
1.68/1.73 WSVECS04 Frhs2[530]: 6 0 1.00007 shouldn't be
1.68/1.73 WSVECS04 Frhs2[545]: 6 0 1.00004 shouldn't be
1.68/1.73 WSVECS04 Frhs2[560]: 6 0 1.00004 shouldn't be
1.68/1.73 WSVECS04 Frhs2[577]: 6 -1.00006 0 shouldn't be
1.68/1.73 WSVECS04 Frhs2[638]: 6 0 1.00002 shouldn't be
1.68/1.73 WSVECS04 Frhs2[639]: 6 0 8.00002 shouldn't be
1.68/1.73 WSVECS04 Frhs2[643]: 6 0 1.00008 shouldn't be
1.68/1.73 WSVECS04 Frhs2[644]: 6 0 1.00002 shouldn't be
1.68/1.73 WSVECS04 Frhs2[662]: 6 -1.00008 0 shouldn't be
1.68/1.73 WSVECS04 Frhs2[670]: 6 0 1.00003 shouldn't be
1.68/1.73 WSVECS04 Frhs2[676]: 6 -1.00002 0 shouldn't be
1.68/1.73 WSVECS04 Frhs2[695]: 6 0 1.00009 shouldn't be
1.99/2.08 c INPROCESSING
1.99/2.08 c GARBAGE COLLECT
1.99/2.08 c rational objective 140.688
2.99/3.03 c #Conflicts: 10000 | #Constraints: 6444
2.99/3.03 c #Conflicts: 11000 | #Constraints: 7444
2.99/3.03 c #Conflicts: 12000 | #Constraints: 8445
2.99/3.03 c INPROCESSING
2.99/3.03 c GARBAGE COLLECT
2.99/3.03 c rational objective 140.806
3.18/3.23 c #Conflicts: 13000 | #Constraints: 6899
3.18/3.23 WSVECS04 Frhs2[5]: 6 -5.00002 0 shouldn't be
3.18/3.23 WSVECS04 Frhs2[12]: 6 -5.00004 0 shouldn't be
3.18/3.23 WSVECS04 Frhs2[19]: 6 -5.00003 0 shouldn't be
3.18/3.23 WSVECS04 Frhs2[32]: 6 -34.0001 0 shouldn't be
3.18/3.23 WSVECS04 Frhs2[46]: 6 -35.5 0 shouldn't be
3.18/3.23 WSVECS04 Frhs2[47]: 6 -34 0 shouldn't be
3.18/3.23 WSVECS04 Frhs2[48]: 6 -34.0001 0 shouldn't be
3.18/3.23 WSVECS04 Frhs2[50]: 6 -34.0001 0 shouldn't be
3.18/3.23 WSVECS04 Frhs2[53]: 6 0 18 shouldn't be
3.18/3.23 WSVECS04 Frhs2[65]: 6 0 32 shouldn't be
3.18/3.23 WSVECS04 Frhs2[87]: 6 0 4.00007 shouldn't be
3.18/3.23 WSVECS04 Frhs2[117]: 6 0 33 shouldn't be
3.18/3.23 WSVECS04 Frhs2[147]: 6 0 5.0001 shouldn't be
3.18/3.23 WSVECS04 Frhs2[148]: 6 0 1.00004 shouldn't be
3.18/3.23 WSVECS04 Frhs2[173]: 6 0 5.00007 shouldn't be
3.18/3.23 WSVECS04 Frhs2[174]: 6 0 1.0001 shouldn't be
3.18/3.23 WSVECS04 Frhs2[176]: 6 0 3.00002 shouldn't be
3.18/3.23 WSVECS04 Frhs2[200]: 6 0 1.00003 shouldn't be
3.18/3.23 WSVECS04 Frhs2[225]: 6 0 5.00004 shouldn't be
3.18/3.23 WSVECS04 Frhs2[280]: 6 0 2.00003 shouldn't be
3.18/3.23 WSVECS04 Frhs2[351]: 6 0 1.00005 shouldn't be
3.18/3.23 WSVECS04 Frhs2[359]: 6 0 1.00008 shouldn't be
3.18/3.23 WSVECS04 Frhs2[367]: 6 0 0.500074 shouldn't be
3.18/3.23 WSVECS04 Frhs2[377]: 6 0 1.00005 shouldn't be
3.18/3.23 WSVECS04 Frhs2[389]: 6 0 1.00004 shouldn't be
3.18/3.23 WSVECS04 Frhs2[404]: 6 0 1.00002 shouldn't be
3.18/3.23 WSVECS04 Frhs2[559]: 6 0 6.00001 shouldn't be
3.18/3.23 WSVECS04 Frhs2[585]: 6 0 6.00005 shouldn't be
3.18/3.23 WSVECS04 Frhs2[599]: 6 0 1.00002 shouldn't be
3.18/3.23 WSVECS04 Frhs2[602]: 6 0 1.00004 shouldn't be
3.18/3.23 WSVECS04 Frhs2[614]: 6 0 1.00007 shouldn't be
3.18/3.23 WSVECS04 Frhs2[657]: 6 0 1.00004 shouldn't be
3.18/3.23 WSVECS04 Frhs2[668]: 6 0 5.00004 shouldn't be
3.18/3.23 WSVECS04 Frhs2[686]: 6 0 6.00002 shouldn't be
3.18/3.23 WSVECS04 Frhs2[693]: 6 0 6.00008 shouldn't be
3.18/3.23 WSVECS04 Frhs2[704]: 6 0 1.00006 shouldn't be
3.18/3.23 WSVECS04 Frhs2[712]: 6 0 6.00003 shouldn't be
3.18/3.23 WSVECS04 Frhs2[718]: 6 0 6.00001 shouldn't be
3.18/3.23 WSVECS04 Frhs2[719]: 6 0 6.00008 shouldn't be
3.18/3.23 WSVECS04 Frhs2[730]: 6 0 1.00007 shouldn't be
4.58/4.62 c #Conflicts: 14000 | #Constraints: 7899
4.58/4.62 c #Conflicts: 15000 | #Constraints: 8899
4.58/4.62 c INPROCESSING
4.58/4.62 c GARBAGE COLLECT
4.58/4.62 c #Conflicts: 16000 | #Constraints: 7123
4.58/4.62 c #Conflicts: 17000 | #Constraints: 8124
4.58/4.62 c #Conflicts: 18000 | #Constraints: 9124
4.58/4.62 c INPROCESSING
4.58/4.62 c GARBAGE COLLECT
4.58/4.62 WSVECS04 Frhs2[3]: 6 -0.362786 0 shouldn't be
4.58/4.62 WSVECS04 Frhs2[5]: 6 -0.362806 0 shouldn't be
4.58/4.62 WSVECS04 Frhs2[9]: 6 -0.362824 0 shouldn't be
4.58/4.62 WSVECS04 Frhs2[11]: 6 -0.362801 0 shouldn't be
4.58/4.62 WSVECS04 Frhs2[16]: 6 -0.362806 0 shouldn't be
4.58/4.62 WSVECS04 Frhs2[18]: 6 -0.362792 0 shouldn't be
4.58/4.62 WSVECS04 Frhs2[27]: 6 -0.362777 0 shouldn't be
4.58/4.62 WSVECS04 Frhs2[115]: 6 0 0.871938 shouldn't be
4.58/4.62 WSVECS04 Frhs2[636]: 6 0 0.396128 shouldn't be
4.68/4.74 c #Conflicts: 19000 | #Constraints: 7140
4.68/4.74 WSVECS04 Frhs2[12]: 6 -1.42866 0 shouldn't be
4.68/4.74 WSVECS04 Frhs2[13]: 6 -1.42863 0 shouldn't be
4.68/4.74 WSVECS04 Frhs2[14]: 6 -1.4286 0 shouldn't be
4.68/4.74 WSVECS04 Frhs2[15]: 6 -1.42863 0 shouldn't be
4.68/4.74 WSVECS04 Frhs2[31]: 6 -3.42866 0 shouldn't be
4.68/4.74 WSVECS04 Frhs2[32]: 6 0 0.285763 shouldn't be
4.68/4.74 WSVECS04 Frhs2[35]: 6 -3.4286 0 shouldn't be
4.68/4.74 WSVECS04 Frhs2[40]: 6 0 1.14287 shouldn't be
4.68/4.74 WSVECS04 Frhs2[46]: 6 0 1.57146 shouldn't be
4.68/4.74 WSVECS04 Frhs2[49]: 6 -3.42863 0 shouldn't be
4.68/4.74 WSVECS04 Frhs2[51]: 6 0 1.85719 shouldn't be
4.68/4.74 WSVECS04 Frhs2[52]: 6 -3.4286 0 shouldn't be
4.68/4.74 WSVECS04 Frhs2[53]: 6 -4.4286 0 shouldn't be
4.68/4.74 WSVECS04 Frhs2[104]: 6 -1.00007 0 shouldn't be
4.68/4.74 WSVECS04 Frhs2[138]: 6 0 1.0001 shouldn't be
4.68/4.74 WSVECS04 Frhs2[153]: 6 0 2.4286 shouldn't be
4.68/4.74 WSVECS04 Frhs2[154]: 6 0 0.428667 shouldn't be
4.68/4.74 WSVECS04 Frhs2[164]: 6 0 1.00005 shouldn't be
4.68/4.74 WSVECS04 Frhs2[180]: 6 0 0.428606 shouldn't be
4.68/4.74 WSVECS04 Frhs2[222]: 6 0 1.00004 shouldn't be
4.68/4.74 WSVECS04 Frhs2[228]: 6 -1.00005 0 shouldn't be
4.68/4.74 WSVECS04 Frhs2[230]: 6 0 1.00002 shouldn't be
4.68/4.74 WSVECS04 Frhs2[232]: 6 0 0.571506 shouldn't be
4.68/4.74 WSVECS04 Frhs2[238]: 6 0 1.00002 shouldn't be
4.68/4.74 WSVECS04 Frhs2[250]: 6 0 1.00004 shouldn't be
4.68/4.74 WSVECS04 Frhs2[256]: 6 0 1.00009 shouldn't be
4.68/4.74 WSVECS04 Frhs2[259]: 6 0 0.285758 shouldn't be
4.68/4.74 WSVECS04 Frhs2[272]: 6 0 1.00009 shouldn't be
4.68/4.74 WSVECS04 Frhs2[277]: 6 0 1.00001 shouldn't be
4.68/4.74 WSVECS04 Frhs2[287]: 6 0 1.00009 shouldn't be
4.68/4.74 WSVECS04 Frhs2[300]: 6 0 0.285769 shouldn't be
4.68/4.74 WSVECS04 Frhs2[303]: 6 0 1.00009 shouldn't be
4.68/4.74 WSVECS04 Frhs2[309]: 6 0 1.00007 shouldn't be
4.68/4.74 WSVECS04 Frhs2[316]: 6 0 0.428632 shouldn't be
4.68/4.74 WSVECS04 Frhs2[335]: 6 0 1.00006 shouldn't be
4.68/4.74 WSVECS04 Frhs2[367]: 6 0 1.00005 shouldn't be
4.68/4.74 WSVECS04 Frhs2[397]: 6 0 1.00002 shouldn't be
4.68/4.74 WSVECS04 Frhs2[402]: 6 0 1.00004 shouldn't be
4.68/4.74 WSVECS04 Frhs2[414]: 6 0 0.428615 shouldn't be
4.68/4.74 WSVECS04 Frhs2[527]: 6 0 1.00002 shouldn't be
4.68/4.74 WSVECS04 Frhs2[535]: 6 0 0.142914 shouldn't be
4.68/4.74 WSVECS04 Frhs2[537]: 6 0 1.00005 shouldn't be
4.68/4.74 WSVECS04 Frhs2[544]: 6 0 0.428585 shouldn't be
4.68/4.74 WSVECS04 Frhs2[606]: 6 0 1.00007 shouldn't be
4.68/4.74 WSVECS04 Frhs2[664]: 6 0 1.00003 shouldn't be
4.68/4.74 WSVECS04 Frhs2[669]: 6 0 1.00007 shouldn't be
4.68/4.74 WSVECS04 Frhs2[674]: 6 0 0.571489 shouldn't be
4.68/4.74 WSVECS04 Frhs2[687]: 6 -1.00008 0 shouldn't be
4.68/4.74 WSVECS04 Frhs2[690]: 6 0 1.00007 shouldn't be
4.68/4.74 WSVECS04 Frhs2[702]: 6 0 0.428613 shouldn't be
4.68/4.74 WSVECS04 Frhs2[706]: 6 0 0.428644 shouldn't be
4.68/4.74 WSVECS04 Frhs2[707]: 6 -1.00008 0 shouldn't be
4.68/4.74 WSVECS04 Frhs2[727]: 6 0 0.428667 shouldn't be
4.68/4.74 WSVECS04 Frhs2[732]: 6 0 0.428669 shouldn't be
5.38/5.47 c #Conflicts: 20000 | #Constraints: 8140
5.38/5.47 c #Conflicts: 21000 | #Constraints: 9140
5.38/5.47 c INPROCESSING
5.38/5.47 c GARBAGE COLLECT
5.38/5.47 c #Conflicts: 22000 | #Constraints: 6944
5.38/5.47 c #Conflicts: 23000 | #Constraints: 7944
5.38/5.47 c #Conflicts: 24000 | #Constraints: 8944
5.38/5.47 c #Conflicts: 25000 | #Constraints: 9944
5.38/5.47 c INPROCESSING
5.38/5.47 c GARBAGE COLLECT
5.38/5.47 WSVECS04 Frhs2[41]: 6 -1.00003 0 shouldn't be
5.38/5.47 WSVECS04 Frhs2[51]: 6 -1.00004 0 shouldn't be
5.38/5.47 WSVECS04 Frhs2[52]: 6 -1.25009 0 shouldn't be
5.38/5.47 WSVECS04 Frhs2[54]: 6 0 0.333394 shouldn't be
5.38/5.47 WSVECS04 Frhs2[70]: 6 0 0.500066 shouldn't be
5.38/5.47 WSVECS04 Frhs2[78]: 6 0 1.00002 shouldn't be
5.38/5.47 WSVECS04 Frhs2[104]: 6 0 1.00005 shouldn't be
5.38/5.47 WSVECS04 Frhs2[119]: 6 -2.00004 0 shouldn't be
5.38/5.47 WSVECS04 Frhs2[346]: 6 0 0.25002 shouldn't be
5.38/5.47 WSVECS04 Frhs2[355]: 6 0 1.00001 shouldn't be
5.38/5.47 WSVECS04 Frhs2[424]: 6 0 0.250095 shouldn't be
5.38/5.47 WSVECS04 Frhs2[458]: 6 -1.00002 0 shouldn't be
5.38/5.47 WSVECS04 Frhs2[485]: 6 0 1.00003 shouldn't be
5.38/5.47 WSVECS04 Frhs2[681]: 6 0 1.00008 shouldn't be
5.38/5.47 WSVECS04 Frhs2[720]: 6 0 0.500049 shouldn't be
5.98/6.08 c #Conflicts: 26000 | #Constraints: 7550
5.98/6.08 c #Conflicts: 27000 | #Constraints: 8550
5.98/6.08 c #Conflicts: 28000 | #Constraints: 9550
5.98/6.08 c #Conflicts: 29000 | #Constraints: 10550
5.98/6.08 c INPROCESSING
5.98/6.08 c GARBAGE COLLECT
5.98/6.08 c rational objective 140.948
6.47/6.55 c #Conflicts: 30000 | #Constraints: 7950
6.47/6.55 c #Conflicts: 31000 | #Constraints: 8950
6.47/6.55 c #Conflicts: 32000 | #Constraints: 9953
6.47/6.55 WSVECS04 Frhs2[6]: 6 -1.00005 0 shouldn't be
6.47/6.55 WSVECS04 Frhs2[11]: 6 -1.00008 0 shouldn't be
6.47/6.55 WSVECS04 Frhs2[15]: 6 -1.00005 0 shouldn't be
6.47/6.55 WSVECS04 Frhs2[32]: 6 -4284.96 0 shouldn't be
6.47/6.55 WSVECS04 Frhs2[40]: 6 -1112.76 0 shouldn't be
6.47/6.55 WSVECS04 Frhs2[42]: 6 -4708.84 0 shouldn't be
6.47/6.55 WSVECS04 Frhs2[58]: 6 0 2211.18 shouldn't be
6.47/6.55 WSVECS04 Frhs2[92]: 6 0 132.614 shouldn't be
6.47/6.55 WSVECS04 Frhs2[110]: 6 0 2211.18 shouldn't be
6.47/6.55 WSVECS04 Frhs2[113]: 6 0 837.295 shouldn't be
6.47/6.55 WSVECS04 Frhs2[118]: 6 0 65.8069 shouldn't be
6.47/6.55 WSVECS04 Frhs2[119]: 6 0 8.57145 shouldn't be
6.47/6.55 WSVECS04 Frhs2[128]: 6 0 2204.9 shouldn't be
6.47/6.55 WSVECS04 Frhs2[136]: 6 0 2211.18 shouldn't be
6.47/6.55 WSVECS04 Frhs2[142]: 6 0 4412.8 shouldn't be
6.47/6.55 WSVECS04 Frhs2[168]: 6 0 4412.8 shouldn't be
6.47/6.55 WSVECS04 Frhs2[183]: 6 0 1105.88 shouldn't be
6.47/6.55 WSVECS04 Frhs2[258]: 6 0 2204.9 shouldn't be
6.47/6.55 WSVECS04 Frhs2[283]: 6 0 2378.27 shouldn't be
6.47/6.55 WSVECS04 Frhs2[288]: 6 0 16 shouldn't be
6.47/6.55 WSVECS04 Frhs2[289]: 6 0 19.2858 shouldn't be
6.47/6.55 WSVECS04 Frhs2[308]: 6 0 316.946 shouldn't be
6.47/6.55 WSVECS04 Frhs2[309]: 6 0 2378.27 shouldn't be
6.47/6.55 WSVECS04 Frhs2[315]: 6 0 19.2858 shouldn't be
6.47/6.55 WSVECS04 Frhs2[316]: 6 -6.92865 0 shouldn't be
6.47/6.55 WSVECS04 Frhs2[331]: 6 -52.4286 0 shouldn't be
6.47/6.55 WSVECS04 Frhs2[358]: 6 0 27.7858 shouldn't be
6.47/6.55 WSVECS04 Frhs2[379]: 6 0 1016.9 shouldn't be
6.47/6.55 WSVECS04 Frhs2[414]: 6 0 1.00005 shouldn't be
6.47/6.55 WSVECS04 Frhs2[431]: 6 0 1421.94 shouldn't be
6.47/6.55 WSVECS04 Frhs2[433]: 6 0 1433.04 shouldn't be
6.47/6.55 WSVECS04 Frhs2[558]: 6 0 2207.9 shouldn't be
6.47/6.55 WSVECS04 Frhs2[627]: 6 0 1.00007 shouldn't be
6.47/6.55 WSVECS04 Frhs2[720]: 6 0 121.318 shouldn't be
6.57/6.67 c #Conflicts: 33000 | #Constraints: 10955
6.57/6.67 c INPROCESSING
6.57/6.67 c GARBAGE COLLECT
6.57/6.67 WSVECS04 Frhs2[30]: 6 -771.402 0 shouldn't be
6.57/6.67 WSVECS04 Frhs2[44]: 6 0 533.886 shouldn't be
6.57/6.67 WSVECS04 Frhs2[45]: 6 -684.673 0 shouldn't be
6.57/6.67 WSVECS04 Frhs2[46]: 6 -41.8965 0 shouldn't be
6.57/6.67 WSVECS04 Frhs2[79]: 6 -104.372 0 shouldn't be
6.57/6.67 WSVECS04 Frhs2[87]: 6 0 1 shouldn't be
6.57/6.67 WSVECS04 Frhs2[121]: 6 0 358.448 shouldn't be
6.57/6.67 WSVECS04 Frhs2[139]: 6 0 1 shouldn't be
6.57/6.67 WSVECS04 Frhs2[143]: 6 0 1 shouldn't be
6.57/6.67 WSVECS04 Frhs2[204]: 6 0 1 shouldn't be
6.57/6.67 WSVECS04 Frhs2[227]: 6 0 9.84111 shouldn't be
6.57/6.67 WSVECS04 Frhs2[284]: 6 0 192.172 shouldn't be
6.57/6.67 WSVECS04 Frhs2[329]: 6 0 25.4679 shouldn't be
6.57/6.67 WSVECS04 Frhs2[332]: 6 0 1195.83 shouldn't be
6.57/6.67 WSVECS04 Frhs2[334]: 6 0 1 shouldn't be
6.57/6.67 WSVECS04 Frhs2[339]: 6 0 82.9038 shouldn't be
6.57/6.67 WSVECS04 Frhs2[474]: 6 0 25.4679 shouldn't be
6.57/6.67 WSVECS04 Frhs2[482]: 6 0 0.5 shouldn't be
6.57/6.67 WSVECS04 Frhs2[487]: 6 0 25.4679 shouldn't be
6.57/6.67 WSVECS04 Frhs2[500]: 6 0 25.4679 shouldn't be
6.57/6.67 WSVECS04 Frhs2[561]: 6 0 96.086 shouldn't be
6.57/6.67 WSVECS04 Frhs2[562]: 6 0 2 shouldn't be
6.57/6.67 WSVECS04 Frhs2[564]: 6 0 1 shouldn't be
6.57/6.67 WSVECS04 Frhs2[578]: 6 0 217.64 shouldn't be
6.57/6.67 WSVECS04 Frhs2[682]: 6 0 192.172 shouldn't be
6.57/6.67 WSVECS04 Frhs2[700]: 6 0 192.172 shouldn't be
6.57/6.67 WSVECS04 Frhs2[725]: 6 0 1 shouldn't be
6.57/6.67 WSVECS04 Frhs2[726]: 6 0 191.172 shouldn't be
6.57/6.67 WSVECS04 Frhs2[751]: 6 0 1 shouldn't be
8.28/8.30 c #Conflicts: 34000 | #Constraints: 8155
8.28/8.30 c #Conflicts: 35000 | #Constraints: 9155
8.28/8.30 c #Conflicts: 36000 | #Constraints: 10157
8.28/8.30 c #Conflicts: 37000 | #Constraints: 11159
8.28/8.30 c INPROCESSING
8.28/8.30 c GARBAGE COLLECT
8.28/8.30 c #Conflicts: 38000 | #Constraints: 8163
8.28/8.30 c #Conflicts: 39000 | #Constraints: 9163
8.28/8.30 c #Conflicts: 40000 | #Constraints: 10165
8.28/8.30 c #Conflicts: 41000 | #Constraints: 11167
8.28/8.30 c INPROCESSING
8.28/8.30 c GARBAGE COLLECT
8.28/8.30 c #Conflicts: 42000 | #Constraints: 7967
8.28/8.30 c #Conflicts: 43000 | #Constraints: 8967
8.28/8.30 c #Conflicts: 44000 | #Constraints: 9967
8.28/8.30 c #Conflicts: 45000 | #Constraints: 10968
8.28/8.30 c #Conflicts: 46000 | #Constraints: 11968
8.28/8.30 c INPROCESSING
8.28/8.30 c GARBAGE COLLECT
8.28/8.30 WSVECS04 Frhs2[3]: 6 -21.7222 0 shouldn't be
8.28/8.30 WSVECS04 Frhs2[16]: 6 -21.7222 0 shouldn't be
8.28/8.30 WSVECS04 Frhs2[19]: 6 -21.7222 0 shouldn't be
8.28/8.30 WSVECS04 Frhs2[22]: 6 -21.7222 0 shouldn't be
8.28/8.30 WSVECS04 Frhs2[23]: 6 -21.7222 0 shouldn't be
8.28/8.30 WSVECS04 Frhs2[26]: 6 -21.7222 0 shouldn't be
8.28/8.30 WSVECS04 Frhs2[30]: 6 -604.847 0 shouldn't be
8.28/8.30 WSVECS04 Frhs2[40]: 6 0 119.38 shouldn't be
8.28/8.30 WSVECS04 Frhs2[44]: 6 0 165.767 shouldn't be
8.28/8.30 WSVECS04 Frhs2[46]: 6 0 355.763 shouldn't be
8.28/8.30 WSVECS04 Frhs2[49]: 6 -2 0 shouldn't be
8.28/8.30 WSVECS04 Frhs2[50]: 6 -1 0 shouldn't be
8.28/8.30 WSVECS04 Frhs2[53]: 6 -413.109 0 shouldn't be
8.28/8.30 WSVECS04 Frhs2[56]: 6 0 15.4815 shouldn't be
8.28/8.30 WSVECS04 Frhs2[79]: 6 0 21.7222 shouldn't be
8.28/8.30 WSVECS04 Frhs2[95]: 6 0 190.891 shouldn't be
8.28/8.30 WSVECS04 Frhs2[131]: 6 0 66.1667 shouldn't be
8.28/8.30 WSVECS04 Frhs2[367]: 6 0 22.7222 shouldn't be
8.28/8.30 WSVECS04 Frhs2[393]: 6 0 22.7222 shouldn't be
8.28/8.30 WSVECS04 Frhs2[396]: 6 0 79.6962 shouldn't be
8.28/8.30 WSVECS04 Frhs2[399]: 6 0 46.0423 shouldn't be
8.28/8.30 WSVECS04 Frhs2[406]: 6 0 1 shouldn't be
8.28/8.30 WSVECS04 Frhs2[410]: 6 0 21.7222 shouldn't be
8.28/8.30 WSVECS04 Frhs2[417]: 6 0 66.1667 shouldn't be
8.28/8.30 WSVECS04 Frhs2[418]: 6 0 406.623 shouldn't be
8.28/8.30 WSVECS04 Frhs2[472]: 6 0 29.963 shouldn't be
8.28/8.30 WSVECS04 Frhs2[474]: 6 0 79.6962 shouldn't be
8.28/8.30 WSVECS04 Frhs2[503]: 6 0 46.0423 shouldn't be
8.28/8.30 WSVECS04 Frhs2[518]: 6 0 28.963 shouldn't be
8.28/8.30 WSVECS04 Frhs2[544]: 6 0 28.963 shouldn't be
8.28/8.30 WSVECS04 Frhs2[547]: 6 0 66.1667 shouldn't be
8.28/8.30 WSVECS04 Frhs2[601]: 6 0 77.0278 shouldn't be
8.28/8.30 WSVECS04 Frhs2[644]: 6 0 80.1481 shouldn't be
8.28/8.30 WSVECS04 Frhs2[652]: 6 0 50.6852 shouldn't be
8.28/8.30 WSVECS04 Frhs2[669]: 6 0 29.463 shouldn't be
8.28/8.30 WSVECS04 Frhs2[682]: 6 0 14.4815 shouldn't be
8.28/8.30 WSVECS04 Frhs2[693]: 6 0 95.1296 shouldn't be
8.28/8.37 WSVECS04 Frhs2[103]: 6 0 1 shouldn't be
8.28/8.37 WSVECS04 Frhs2[117]: 6 0 1 shouldn't be
8.28/8.37 WSVECS04 Frhs2[129]: 6 0 1 shouldn't be
8.28/8.37 WSVECS04 Frhs2[371]: 6 0 1 shouldn't be
8.28/8.37 WSVECS04 Frhs2[701]: 6 0 1 shouldn't be
8.28/8.37 WSVECS04 Frhs2[727]: 6 0 1 shouldn't be
8.38/8.43 WSVECS04 Frhs2[378]: 6 0 1 shouldn't be
8.38/8.43 WSVECS04 Frhs2[478]: 6 0 1 shouldn't be
8.38/8.43 WSVECS04 Frhs2[582]: 6 0 1 shouldn't be
8.38/8.43 WSVECS04 Frhs2[608]: 6 0 1 shouldn't be
9.08/9.10 c #Conflicts: 47000 | #Constraints: 8562
9.08/9.10 c #Conflicts: 48000 | #Constraints: 9563
9.08/9.10 c #Conflicts: 49000 | #Constraints: 10564
9.08/9.10 c #Conflicts: 50000 | #Constraints: 11566
9.08/9.10 c #Conflicts: 51000 | #Constraints: 12568
9.08/9.10 c INPROCESSING
9.08/9.10 c GARBAGE COLLECT
9.08/9.10 WSVECS04 Frhs2[20]: 6 0 142.846 shouldn't be
9.08/9.10 WSVECS04 Frhs2[22]: 6 0 71.798 shouldn't be
9.08/9.10 WSVECS04 Frhs2[32]: 6 0 193.111 shouldn't be
9.08/9.10 WSVECS04 Frhs2[39]: 6 0 235.359 shouldn't be
9.08/9.10 WSVECS04 Frhs2[54]: 6 0 1079.07 shouldn't be
9.08/9.10 WSVECS04 Frhs2[61]: 6 0 20.5897 shouldn't be
9.08/9.10 WSVECS04 Frhs2[68]: 6 0 0.500085 shouldn't be
9.08/9.10 WSVECS04 Frhs2[94]: 6 0 0.500048 shouldn't be
9.08/9.10 WSVECS04 Frhs2[97]: 6 -68.7587 0 shouldn't be
9.08/9.10 WSVECS04 Frhs2[127]: 6 0 481.878 shouldn't be
9.08/9.10 WSVECS04 Frhs2[131]: 6 0 25.9721 shouldn't be
9.08/9.10 WSVECS04 Frhs2[157]: 6 0 25.972 shouldn't be
9.08/9.10 WSVECS04 Frhs2[160]: 6 0 33.6294 shouldn't be
9.08/9.10 WSVECS04 Frhs2[167]: 6 -47.6473 0 shouldn't be
9.08/9.10 WSVECS04 Frhs2[177]: 6 0 1.00006 shouldn't be
9.08/9.10 WSVECS04 Frhs2[212]: 6 0 33.6293 shouldn't be
9.08/9.10 WSVECS04 Frhs2[254]: 6 0 215.433 shouldn't be
9.08/9.10 WSVECS04 Frhs2[264]: 6 0 33.6294 shouldn't be
9.08/9.10 WSVECS04 Frhs2[280]: 6 0 94.7164 shouldn't be
9.08/9.10 WSVECS04 Frhs2[290]: 6 0 33.6294 shouldn't be
9.08/9.10 WSVECS04 Frhs2[302]: 6 0 0.500084 shouldn't be
9.08/9.10 WSVECS04 Frhs2[304]: 6 0 298.09 shouldn't be
9.08/9.10 WSVECS04 Frhs2[332]: 6 -13.5004 0 shouldn't be
9.08/9.10 WSVECS04 Frhs2[339]: 6 0 76.916 shouldn't be
9.08/9.10 WSVECS04 Frhs2[362]: 6 0 780.248 shouldn't be
9.08/9.10 WSVECS04 Frhs2[365]: 6 0 76.9161 shouldn't be
9.08/9.10 WSVECS04 Frhs2[367]: 6 0 71.798 shouldn't be
9.08/9.10 WSVECS04 Frhs2[374]: 6 -244.489 0 shouldn't be
9.08/9.10 WSVECS04 Frhs2[391]: 6 0 76.916 shouldn't be
9.08/9.10 WSVECS04 Frhs2[417]: 6 0 25.9721 shouldn't be
9.08/9.10 WSVECS04 Frhs2[443]: 6 0 25.9721 shouldn't be
9.08/9.10 WSVECS04 Frhs2[447]: 6 -71.048 0 shouldn't be
9.08/9.10 WSVECS04 Frhs2[451]: 6 0 169.578 shouldn't be
9.08/9.10 WSVECS04 Frhs2[469]: 6 0 25.9721 shouldn't be
9.08/9.10 WSVECS04 Frhs2[470]: 6 0 58.7633 shouldn't be
9.08/9.10 WSVECS04 Frhs2[471]: 6 -6.11806 0 shouldn't be
9.08/9.10 WSVECS04 Frhs2[477]: 6 0 622.395 shouldn't be
9.08/9.10 WSVECS04 Frhs2[495]: 6 0 25.9721 shouldn't be
9.08/9.10 WSVECS04 Frhs2[499]: 6 -71.048 0 shouldn't be
9.08/9.10 WSVECS04 Frhs2[513]: 6 -33.8793 0 shouldn't be
9.08/9.10 WSVECS04 Frhs2[544]: 6 0 780.248 shouldn't be
9.08/9.10 WSVECS04 Frhs2[578]: 6 -732.934 0 shouldn't be
9.08/9.10 WSVECS04 Frhs2[617]: 6 0 34.6294 shouldn't be
9.08/9.10 WSVECS04 Frhs2[652]: 6 0 58.7633 shouldn't be
9.08/9.10 WSVECS04 Frhs2[667]: 6 0 228.419 shouldn't be
9.08/9.10 WSVECS04 Frhs2[675]: 6 0 1.00001 shouldn't be
9.08/9.10 WSVECS04 Frhs2[678]: 6 0 58.7633 shouldn't be
9.08/9.10 WSVECS04 Frhs2[706]: 6 -16.3147 0 shouldn't be
9.08/9.10 WSVECS04 Frhs2[721]: 6 -17.3147 0 shouldn't be
9.08/9.10 WSVECS04 Frhs2[732]: 6 -16.3147 0 shouldn't be
9.08/9.10 WSVECS04 Frhs2[747]: 6 0 12.736 shouldn't be
9.08/9.17 WSVECS04 Frhs2[43]: 6 0 245.271 shouldn't be
9.08/9.17 WSVECS04 Frhs2[99]: 6 0 1.00007 shouldn't be
9.08/9.17 WSVECS04 Frhs2[142]: 6 0 616.02 shouldn't be
9.08/9.17 WSVECS04 Frhs2[174]: 6 -74.629 0 shouldn't be
9.08/9.17 WSVECS04 Frhs2[202]: 6 0 108.217 shouldn't be
9.08/9.17 WSVECS04 Frhs2[376]: 6 0 222.481 shouldn't be
9.08/9.17 WSVECS04 Frhs2[424]: 6 0 0.250049 shouldn't be
9.08/9.17 WSVECS04 Frhs2[425]: 6 0 169.578 shouldn't be
9.08/9.17 WSVECS04 Frhs2[459]: 6 0 85.5734 shouldn't be
9.08/9.17 WSVECS04 Frhs2[530]: 6 0 1.00008 shouldn't be
9.08/9.17 WSVECS04 Frhs2[556]: 6 0 1.00005 shouldn't be
9.08/9.17 WSVECS04 Frhs2[643]: 6 0 34.6294 shouldn't be
9.17/9.25 WSVECS04 Frhs2[41]: 6 0 897.5 shouldn't be
9.17/9.25 WSVECS04 Frhs2[52]: 6 0 1326.06 shouldn't be
9.17/9.25 WSVECS04 Frhs2[77]: 6 0 1.00004 shouldn't be
9.17/9.25 WSVECS04 Frhs2[81]: 6 0 362.022 shouldn't be
9.17/9.25 WSVECS04 Frhs2[198]: 6 0 0.500099 shouldn't be
9.17/9.25 WSVECS04 Frhs2[251]: 6 0 514.111 shouldn't be
9.17/9.25 WSVECS04 Frhs2[263]: 6 0 363.022 shouldn't be
9.17/9.25 WSVECS04 Frhs2[366]: 6 0 60.6014 shouldn't be
9.17/9.25 WSVECS04 Frhs2[531]: 6 0 1.00007 shouldn't be
9.67/9.75 c rational objective 141.048
10.47/10.53 c #Conflicts: 52000 | #Constraints: 8966
10.47/10.53 c #Conflicts: 53000 | #Constraints: 9966
10.47/10.53 c #Conflicts: 54000 | #Constraints: 10967
10.47/10.53 c #Conflicts: 55000 | #Constraints: 11969
10.47/10.53 c #Conflicts: 56000 | #Constraints: 12969
10.47/10.53 c INPROCESSING
10.47/10.53 c GARBAGE COLLECT
10.47/10.53 WSVECS04 Frhs2[40]: 6 -239.251 0 shouldn't be
10.47/10.53 WSVECS04 Frhs2[44]: 6 -27.3078 0 shouldn't be
10.47/10.53 WSVECS04 Frhs2[45]: 6 0 87.0648 shouldn't be
10.47/10.53 WSVECS04 Frhs2[48]: 6 -262.762 0 shouldn't be
10.47/10.53 WSVECS04 Frhs2[50]: 6 -150.257 0 shouldn't be
10.47/10.53 WSVECS04 Frhs2[51]: 6 0 86.359 shouldn't be
10.47/10.53 WSVECS04 Frhs2[53]: 6 -455.887 0 shouldn't be
10.47/10.53 WSVECS04 Frhs2[54]: 6 0 53.34 shouldn't be
10.47/10.53 WSVECS04 Frhs2[70]: 6 0 109.66 shouldn't be
10.47/10.53 WSVECS04 Frhs2[76]: 6 0 364.845 shouldn't be
10.47/10.53 WSVECS04 Frhs2[92]: 6 0 7.38458 shouldn't be
10.47/10.53 WSVECS04 Frhs2[96]: 6 0 156.335 shouldn't be
10.47/10.53 WSVECS04 Frhs2[105]: 6 0 165.879 shouldn't be
10.47/10.53 WSVECS04 Frhs2[293]: 6 0 1.00008 shouldn't be
10.47/10.53 WSVECS04 Frhs2[302]: 6 0 130.093 shouldn't be
10.47/10.53 WSVECS04 Frhs2[376]: 6 0 215.015 shouldn't be
10.47/10.53 WSVECS04 Frhs2[379]: 6 0 52.5762 shouldn't be
10.47/10.53 WSVECS04 Frhs2[393]: 6 0 131.093 shouldn't be
10.47/10.53 WSVECS04 Frhs2[396]: 6 0 311.958 shouldn't be
10.47/10.53 WSVECS04 Frhs2[402]: 6 0 311.67 shouldn't be
10.47/10.53 WSVECS04 Frhs2[407]: 6 0 247.739 shouldn't be
10.47/10.53 WSVECS04 Frhs2[419]: 6 0 131.093 shouldn't be
10.47/10.53 WSVECS04 Frhs2[421]: 6 0 1.00009 shouldn't be
10.47/10.53 WSVECS04 Frhs2[428]: 6 0 311.67 shouldn't be
10.47/10.53 WSVECS04 Frhs2[432]: 6 0 130.093 shouldn't be
10.47/10.53 WSVECS04 Frhs2[440]: 6 0 142.229 shouldn't be
10.47/10.53 WSVECS04 Frhs2[444]: 6 0 18.8121 shouldn't be
10.47/10.53 WSVECS04 Frhs2[469]: 6 0 1.0001 shouldn't be
10.47/10.53 WSVECS04 Frhs2[473]: 6 0 1.00006 shouldn't be
10.47/10.53 WSVECS04 Frhs2[474]: 6 0 232.959 shouldn't be
10.47/10.53 WSVECS04 Frhs2[500]: 6 0 232.959 shouldn't be
10.47/10.53 WSVECS04 Frhs2[551]: 6 0 1.00002 shouldn't be
10.47/10.53 WSVECS04 Frhs2[568]: 6 0 63.0763 shouldn't be
10.47/10.53 WSVECS04 Frhs2[603]: 6 0 1.0001 shouldn't be
10.47/10.53 WSVECS04 Frhs2[621]: 6 0 179.802 shouldn't be
10.47/10.53 WSVECS04 Frhs2[629]: 6 0 1.00006 shouldn't be
10.47/10.53 WSVECS04 Frhs2[643]: 6 0 239.451 shouldn't be
10.47/10.53 WSVECS04 Frhs2[647]: 6 0 179.802 shouldn't be
10.47/10.53 WSVECS04 Frhs2[655]: 6 0 1.00004 shouldn't be
10.47/10.53 WSVECS04 Frhs2[657]: 6 0 1.00001 shouldn't be
10.47/10.53 WSVECS04 Frhs2[669]: 6 0 239.451 shouldn't be
10.47/10.53 WSVECS04 Frhs2[670]: 6 0 129.093 shouldn't be
10.47/10.53 WSVECS04 Frhs2[673]: 6 0 179.802 shouldn't be
10.47/10.53 WSVECS04 Frhs2[680]: 6 0 25.3276 shouldn't be
10.47/10.53 WSVECS04 Frhs2[682]: 6 0 0.734029 shouldn't be
10.47/10.53 WSVECS04 Frhs2[694]: 6 0 46.6758 shouldn't be
10.47/10.53 WSVECS04 Frhs2[695]: 6 0 239.451 shouldn't be
10.47/10.53 WSVECS04 Frhs2[698]: 6 0 63.0762 shouldn't be
10.47/10.53 WSVECS04 Frhs2[702]: 6 0 371.635 shouldn't be
10.47/10.53 WSVECS04 Frhs2[704]: 6 0 18.8122 shouldn't be
10.47/10.53 WSVECS04 Frhs2[706]: 6 0 46.0624 shouldn't be
10.47/10.53 WSVECS04 Frhs2[726]: 6 0 427.096 shouldn't be
10.47/10.53 WSVECS04 Frhs2[728]: 6 0 371.635 shouldn't be
10.47/10.53 WSVECS04 Frhs2[744]: 6 0 130.093 shouldn't be
10.47/10.53 WSVECS04 Frhs2[746]: 6 0 109.66 shouldn't be
10.47/10.53 WSVECS04 Frhs2[752]: 6 0 364.845 shouldn't be
10.47/10.53 WSVECS04 Frhs2[755]: 6 0 165.879 shouldn't be
10.57/10.68 WSVECS04 Frhs2[12]: 6 -1 0 shouldn't be
10.57/10.68 WSVECS04 Frhs2[13]: 6 -1 0 shouldn't be
10.57/10.68 WSVECS04 Frhs2[17]: 6 -1 0 shouldn't be
10.57/10.68 WSVECS04 Frhs2[20]: 6 -1 0 shouldn't be
10.57/10.68 WSVECS04 Frhs2[21]: 6 -1 0 shouldn't be
10.57/10.68 WSVECS04 Frhs2[23]: 6 -1 0 shouldn't be
10.57/10.68 WSVECS04 Frhs2[25]: 6 -1 0 shouldn't be
10.57/10.68 WSVECS04 Frhs2[40]: 6 -239.251 0 shouldn't be
10.57/10.68 WSVECS04 Frhs2[44]: 6 -27.3077 0 shouldn't be
10.57/10.68 WSVECS04 Frhs2[45]: 6 0 87.0647 shouldn't be
10.57/10.68 WSVECS04 Frhs2[47]: 6 -365.601 0 shouldn't be
10.57/10.68 WSVECS04 Frhs2[48]: 6 -262.762 0 shouldn't be
10.57/10.68 WSVECS04 Frhs2[50]: 6 -150.257 0 shouldn't be
10.57/10.68 WSVECS04 Frhs2[51]: 6 0 86.359 shouldn't be
10.57/10.68 WSVECS04 Frhs2[53]: 6 -455.887 0 shouldn't be
10.57/10.68 WSVECS04 Frhs2[66]: 6 0 7.38454 shouldn't be
10.57/10.68 WSVECS04 Frhs2[79]: 6 0 165.879 shouldn't be
10.57/10.68 WSVECS04 Frhs2[92]: 6 0 7.38454 shouldn't be
10.57/10.68 WSVECS04 Frhs2[96]: 6 0 156.335 shouldn't be
10.57/10.68 WSVECS04 Frhs2[105]: 6 0 165.879 shouldn't be
10.57/10.68 WSVECS04 Frhs2[370]: 6 0 311.958 shouldn't be
10.57/10.68 WSVECS04 Frhs2[379]: 6 0 52.5762 shouldn't be
10.57/10.68 WSVECS04 Frhs2[419]: 6 0 131.093 shouldn't be
10.57/10.68 WSVECS04 Frhs2[428]: 6 0 311.67 shouldn't be
10.57/10.68 WSVECS04 Frhs2[440]: 6 0 142.229 shouldn't be
10.57/10.68 WSVECS04 Frhs2[444]: 6 0 18.8121 shouldn't be
10.57/10.68 WSVECS04 Frhs2[455]: 6 0 1 shouldn't be
10.57/10.68 WSVECS04 Frhs2[503]: 6 0 118.781 shouldn't be
10.57/10.68 WSVECS04 Frhs2[551]: 6 0 1 shouldn't be
10.57/10.68 WSVECS04 Frhs2[568]: 6 0 63.0762 shouldn't be
10.57/10.68 WSVECS04 Frhs2[603]: 6 0 1 shouldn't be
10.57/10.68 WSVECS04 Frhs2[605]: 6 0 1 shouldn't be
10.57/10.68 WSVECS04 Frhs2[621]: 6 0 179.802 shouldn't be
10.57/10.68 WSVECS04 Frhs2[669]: 6 0 239.451 shouldn't be
10.57/10.68 WSVECS04 Frhs2[670]: 6 0 129.093 shouldn't be
10.57/10.68 WSVECS04 Frhs2[673]: 6 0 179.802 shouldn't be
10.57/10.68 WSVECS04 Frhs2[680]: 6 0 25.3276 shouldn't be
10.57/10.68 WSVECS04 Frhs2[682]: 6 0 0.733952 shouldn't be
10.57/10.68 WSVECS04 Frhs2[694]: 6 0 46.6757 shouldn't be
10.57/10.68 WSVECS04 Frhs2[696]: 6 0 129.093 shouldn't be
10.57/10.68 WSVECS04 Frhs2[698]: 6 0 63.0762 shouldn't be
10.57/10.68 WSVECS04 Frhs2[704]: 6 0 18.8121 shouldn't be
10.57/10.68 WSVECS04 Frhs2[725]: 6 0 20.501 shouldn't be
10.57/10.68 WSVECS04 Frhs2[726]: 6 0 427.096 shouldn't be
10.57/10.68 WSVECS04 Frhs2[732]: 6 0 46.0624 shouldn't be
10.57/10.68 WSVECS04 Frhs2[745]: 6 0 86.2581 shouldn't be
10.57/10.68 WSVECS04 Frhs2[746]: 6 0 109.66 shouldn't be
10.57/10.68 WSVECS04 Frhs2[755]: 6 0 165.879 shouldn't be
11.36/11.41 c #Conflicts: 57000 | #Constraints: 9169
11.36/11.41 c #Conflicts: 58000 | #Constraints: 10170
11.36/11.41 c #Conflicts: 59000 | #Constraints: 11170
11.36/11.41 c #Conflicts: 60000 | #Constraints: 12170
11.36/11.41 c #Conflicts: 61000 | #Constraints: 13170
11.36/11.41 c INPROCESSING
11.36/11.41 c GARBAGE COLLECT
11.36/11.41 WSVECS04 Frhs2[45]: 6 -274.442 0 shouldn't be
11.36/11.41 WSVECS04 Frhs2[46]: 6 0 51.2872 shouldn't be
11.36/11.41 WSVECS04 Frhs2[48]: 6 0 70.7848 shouldn't be
11.36/11.41 WSVECS04 Frhs2[49]: 6 0 119.76 shouldn't be
11.36/11.41 WSVECS04 Frhs2[97]: 6 0 169.628 shouldn't be
11.36/11.41 WSVECS04 Frhs2[105]: 6 0 214.926 shouldn't be
11.36/11.41 WSVECS04 Frhs2[506]: 6 0 118.485 shouldn't be
11.36/11.41 WSVECS04 Frhs2[578]: 6 0 93.8617 shouldn't be
11.36/11.41 WSVECS04 Frhs2[580]: 6 0 34.3647 shouldn't be
11.36/11.41 WSVECS04 Frhs2[582]: 6 0 58.3522 shouldn't be
11.36/11.41 WSVECS04 Frhs2[624]: 6 0 150.522 shouldn't be
11.36/11.41 WSVECS04 Frhs2[626]: 6 0 132.161 shouldn't be
11.36/11.41 WSVECS04 Frhs2[680]: 6 0 25.9327 shouldn't be
11.36/11.41 WSVECS04 Frhs2[682]: 6 0 82.8356 shouldn't be
11.36/11.41 WSVECS04 Frhs2[699]: 6 0 149.478 shouldn't be
11.36/11.41 WSVECS04 Frhs2[702]: 6 0 69.6097 shouldn't be
11.36/11.41 WSVECS04 Frhs2[732]: 6 0 25.9327 shouldn't be
11.36/11.41 WSVECS04 Frhs2[752]: 6 0 88.9611 shouldn't be
13.76/13.89 c #Conflicts: 62000 | #Constraints: 9171
13.76/13.89 c #Conflicts: 63000 | #Constraints: 10171
13.76/13.89 c #Conflicts: 64000 | #Constraints: 11171
13.76/13.89 c #Conflicts: 65000 | #Constraints: 12172
13.76/13.89 c #Conflicts: 66000 | #Constraints: 13172
13.76/13.89 c INPROCESSING
13.76/13.89 c GARBAGE COLLECT
13.76/13.89 c #Conflicts: 67000 | #Constraints: 8975
13.76/13.89 c #Conflicts: 68000 | #Constraints: 9976
13.76/13.89 c #Conflicts: 69000 | #Constraints: 10976
13.76/13.89 c #Conflicts: 70000 | #Constraints: 11978
13.76/13.89 c #Conflicts: 71000 | #Constraints: 12980
13.76/13.89 c #Conflicts: 72000 | #Constraints: 13980
13.76/13.89 c INPROCESSING
13.76/13.89 c GARBAGE COLLECT
13.76/13.89 c #Conflicts: 73000 | #Constraints: 9573
13.76/13.89 c #Conflicts: 74000 | #Constraints: 10574
13.76/13.89 c #Conflicts: 75000 | #Constraints: 11575
13.76/13.89 c #Conflicts: 76000 | #Constraints: 12576
13.76/13.89 c #Conflicts: 77000 | #Constraints: 13576
13.76/13.89 c #Conflicts: 78000 | #Constraints: 14577
13.76/13.89 c INPROCESSING
13.76/13.89 c GARBAGE COLLECT
13.76/13.89 WSVECS04 Frhs2[41]: 6 -175.839 0 shouldn't be
13.76/13.89 WSVECS04 Frhs2[45]: 6 0 0.0796608 shouldn't be
13.76/13.89 WSVECS04 Frhs2[47]: 6 0 30.5689 shouldn't be
13.76/13.89 WSVECS04 Frhs2[50]: 6 0 62.0846 shouldn't be
13.76/13.89 WSVECS04 Frhs2[52]: 6 -209.563 0 shouldn't be
13.76/13.89 WSVECS04 Frhs2[54]: 6 -62.3142 0 shouldn't be
13.76/13.89 WSVECS04 Frhs2[80]: 6 0 12.4004 shouldn't be
13.76/13.89 WSVECS04 Frhs2[96]: 6 0 30.0145 shouldn't be
13.76/13.89 WSVECS04 Frhs2[101]: 6 0 0.0902459 shouldn't be
13.76/13.89 WSVECS04 Frhs2[121]: 6 0 40.6819 shouldn't be
13.76/13.89 WSVECS04 Frhs2[146]: 6 0 0.86699 shouldn't be
13.76/13.89 WSVECS04 Frhs2[171]: 6 0 0.294779 shouldn't be
13.76/13.89 WSVECS04 Frhs2[321]: 6 0 24.5177 shouldn't be
13.76/13.89 WSVECS04 Frhs2[371]: 6 0 0.500054 shouldn't be
13.76/13.89 WSVECS04 Frhs2[403]: 6 0 0.500064 shouldn't be
13.76/13.89 WSVECS04 Frhs2[405]: 6 0 0.133123 shouldn't be
13.76/13.89 WSVECS04 Frhs2[406]: 6 0 0.866963 shouldn't be
13.76/13.89 WSVECS04 Frhs2[432]: 6 0 0.867025 shouldn't be
13.76/13.89 WSVECS04 Frhs2[448]: 6 0 62.7945 shouldn't be
13.76/13.89 WSVECS04 Frhs2[451]: 6 0 24.5177 shouldn't be
13.76/13.89 WSVECS04 Frhs2[452]: 6 0 0.788619 shouldn't be
13.76/13.89 WSVECS04 Frhs2[497]: 6 0 0.374471 shouldn't be
13.76/13.89 WSVECS04 Frhs2[498]: 6 0 0.814849 shouldn't be
13.76/13.89 WSVECS04 Frhs2[501]: 6 0 0.50009 shouldn't be
13.76/13.89 WSVECS04 Frhs2[503]: 6 0 23.5636 shouldn't be
13.76/13.89 WSVECS04 Frhs2[509]: 6 0 28.0872 shouldn't be
13.76/13.89 WSVECS04 Frhs2[512]: 6 0 16.5394 shouldn't be
13.76/13.89 WSVECS04 Frhs2[515]: 6 0 0.500083 shouldn't be
13.76/13.89 WSVECS04 Frhs2[520]: 6 0 0.0744028 shouldn't be
13.76/13.89 WSVECS04 Frhs2[521]: 6 0 0.234909 shouldn't be
13.76/13.89 WSVECS04 Frhs2[552]: 6 0 62.7945 shouldn't be
13.76/13.89 WSVECS04 Frhs2[557]: 6 0 0.566608 shouldn't be
13.76/13.89 WSVECS04 Frhs2[570]: 6 0 32.1105 shouldn't be
13.76/13.89 WSVECS04 Frhs2[578]: 6 0 114.868 shouldn't be
13.76/13.89 WSVECS04 Frhs2[581]: 6 0 24.5177 shouldn't be
13.76/13.89 WSVECS04 Frhs2[670]: 6 0 0.133137 shouldn't be
13.76/13.89 WSVECS04 Frhs2[694]: 6 0 30.0146 shouldn't be
13.76/13.89 WSVECS04 Frhs2[698]: 6 0 25.8141 shouldn't be
13.76/13.89 WSVECS04 Frhs2[744]: 6 0 0.133144 shouldn't be
13.76/13.89 WSVECS04 Frhs2[751]: 6 0 0.090234 shouldn't be
13.86/13.96 WSVECS04 Frhs2[41]: 6 -175.839 0 shouldn't be
13.86/13.96 WSVECS04 Frhs2[47]: 6 0 30.5688 shouldn't be
13.86/13.96 WSVECS04 Frhs2[48]: 6 -84.7316 0 shouldn't be
13.86/13.96 WSVECS04 Frhs2[50]: 6 0 62.0845 shouldn't be
13.86/13.96 WSVECS04 Frhs2[54]: 6 -62.3141 0 shouldn't be
13.86/13.96 WSVECS04 Frhs2[96]: 6 0 30.0145 shouldn't be
13.86/13.96 WSVECS04 Frhs2[121]: 6 0 40.6818 shouldn't be
13.86/13.96 WSVECS04 Frhs2[171]: 6 0 0.294753 shouldn't be
13.86/13.96 WSVECS04 Frhs2[405]: 6 0 0.133075 shouldn't be
13.86/13.96 WSVECS04 Frhs2[448]: 6 0 62.7944 shouldn't be
13.86/13.96 WSVECS04 Frhs2[498]: 6 0 0.814758 shouldn't be
13.86/13.96 WSVECS04 Frhs2[503]: 6 0 23.5635 shouldn't be
13.86/13.96 WSVECS04 Frhs2[506]: 6 0 31.5163 shouldn't be
13.86/13.96 WSVECS04 Frhs2[509]: 6 0 28.0872 shouldn't be
13.86/13.96 WSVECS04 Frhs2[516]: 6 0 18.9116 shouldn't be
13.86/13.96 WSVECS04 Frhs2[518]: 6 0 30.7421 shouldn't be
13.86/13.96 WSVECS04 Frhs2[520]: 6 0 0.0743741 shouldn't be
13.86/13.96 WSVECS04 Frhs2[522]: 6 0 12.4003 shouldn't be
13.86/13.96 WSVECS04 Frhs2[552]: 6 0 62.7944 shouldn't be
13.86/13.96 WSVECS04 Frhs2[557]: 6 0 0.566538 shouldn't be
13.86/13.96 WSVECS04 Frhs2[570]: 6 0 32.1104 shouldn't be
13.86/13.96 WSVECS04 Frhs2[578]: 6 0 114.868 shouldn't be
13.86/13.96 WSVECS04 Frhs2[581]: 6 0 24.5177 shouldn't be
13.86/13.96 WSVECS04 Frhs2[594]: 6 0 25.8141 shouldn't be
13.86/13.96 WSVECS04 Frhs2[598]: 6 0 0.0759373 shouldn't be
13.86/13.96 WSVECS04 Frhs2[627]: 6 0 0.133075 shouldn't be
13.86/13.96 WSVECS04 Frhs2[645]: 6 0 0.5 shouldn't be
13.86/13.96 WSVECS04 Frhs2[648]: 6 0 30.7421 shouldn't be
13.86/13.96 WSVECS04 Frhs2[694]: 6 0 30.0145 shouldn't be
15.56/15.61 c #Conflicts: 79000 | #Constraints: 9968
15.56/15.61 c #Conflicts: 80000 | #Constraints: 10968
15.56/15.61 c #Conflicts: 81000 | #Constraints: 11968
15.56/15.61 c #Conflicts: 82000 | #Constraints: 12968
15.56/15.61 c #Conflicts: 83000 | #Constraints: 13968
15.56/15.61 c #Conflicts: 84000 | #Constraints: 14968
15.56/15.61 c INPROCESSING
15.56/15.61 c GARBAGE COLLECT
15.56/15.61 c #Conflicts: 85000 | #Constraints: 10161
15.56/15.61 c #Conflicts: 86000 | #Constraints: 11162
15.56/15.61 c #Conflicts: 87000 | #Constraints: 12162
15.56/15.61 c #Conflicts: 88000 | #Constraints: 13162
15.56/15.61 c #Conflicts: 89000 | #Constraints: 14162
15.56/15.61 WSVECS04 Frhs2[43]: 6 0 2.29172 shouldn't be
15.56/15.61 WSVECS04 Frhs2[47]: 6 0 0.666753 shouldn't be
15.56/15.61 WSVECS04 Frhs2[51]: 6 -8.12504 0 shouldn't be
15.56/15.61 WSVECS04 Frhs2[226]: 6 0 0.166763 shouldn't be
15.56/15.61 WSVECS04 Frhs2[351]: 6 0 0.33338 shouldn't be
15.56/15.61 WSVECS04 Frhs2[376]: 6 0 1.00007 shouldn't be
15.56/15.61 WSVECS04 Frhs2[402]: 6 0 1.00007 shouldn't be
15.56/15.61 WSVECS04 Frhs2[423]: 6 0 1.00005 shouldn't be
15.56/15.61 WSVECS04 Frhs2[467]: 6 0 0.708348 shouldn't be
15.56/15.61 WSVECS04 Frhs2[476]: 6 0 1.00004 shouldn't be
15.56/15.61 WSVECS04 Frhs2[571]: 6 0 0.708402 shouldn't be
15.56/15.61 WSVECS04 Frhs2[577]: 6 0 5.55562 shouldn't be
15.56/15.61 WSVECS04 Frhs2[579]: 6 0 0.930654 shouldn't be
15.56/15.61 WSVECS04 Frhs2[601]: 6 0 1.0001 shouldn't be
15.56/15.61 WSVECS04 Frhs2[627]: 6 0 1.00008 shouldn't be
15.56/15.61 WSVECS04 Frhs2[629]: 6 0 5.55563 shouldn't be
15.56/15.61 WSVECS04 Frhs2[631]: 6 0 0.930627 shouldn't be
15.56/15.61 WSVECS04 Frhs2[642]: 6 0 0.166689 shouldn't be
15.56/15.61 WSVECS04 Frhs2[643]: 6 0 1.0001 shouldn't be
15.56/15.61 WSVECS04 Frhs2[644]: 6 0 0.500056 shouldn't be
15.56/15.61 WSVECS04 Frhs2[647]: 6 0 0.666701 shouldn't be
15.56/15.61 WSVECS04 Frhs2[652]: 6 0 1.00007 shouldn't be
15.56/15.61 WSVECS04 Frhs2[654]: 6 0 1.00007 shouldn't be
15.56/15.61 WSVECS04 Frhs2[669]: 6 0 1.00007 shouldn't be
15.56/15.61 WSVECS04 Frhs2[678]: 6 0 1.00007 shouldn't be
15.56/15.61 WSVECS04 Frhs2[726]: 6 0 1.00008 shouldn't be
15.56/15.61 WSVECS04 Frhs2[729]: 6 0 3.77785 shouldn't be
16.25/16.34 c #Conflicts: 90000 | #Constraints: 15162
16.25/16.34 c INPROCESSING
16.25/16.34 c GARBAGE COLLECT
16.25/16.34 c rational objective 141.055
16.85/17.00 c #Conflicts: 91000 | #Constraints: 10163
16.85/17.00 c #Conflicts: 92000 | #Constraints: 11163
16.85/17.00 c #Conflicts: 93000 | #Constraints: 12163
16.85/17.00 c #Conflicts: 94000 | #Constraints: 13163
16.85/17.00 WSVECS04 Frhs2[14]: 6 -0.100081 0 shouldn't be
16.85/17.00 WSVECS04 Frhs2[22]: 6 -0.100015 0 shouldn't be
16.85/17.00 WSVECS04 Frhs2[24]: 6 -0.100028 0 shouldn't be
16.85/17.00 WSVECS04 Frhs2[41]: 6 0 0.500033 shouldn't be
16.85/17.00 WSVECS04 Frhs2[46]: 6 -1.00005 0 shouldn't be
16.85/17.00 WSVECS04 Frhs2[53]: 6 -1.00002 0 shouldn't be
16.85/17.00 WSVECS04 Frhs2[79]: 6 0 1.00007 shouldn't be
16.85/17.00 WSVECS04 Frhs2[95]: 6 0 1.00002 shouldn't be
16.85/17.00 WSVECS04 Frhs2[124]: 6 0 0.300028 shouldn't be
16.85/17.00 WSVECS04 Frhs2[174]: 6 0 1.0001 shouldn't be
16.85/17.00 WSVECS04 Frhs2[224]: 6 0 0.100016 shouldn't be
16.85/17.00 WSVECS04 Frhs2[324]: 6 0 1.00007 shouldn't be
16.85/17.00 WSVECS04 Frhs2[349]: 6 0 0.300066 shouldn't be
16.85/17.00 WSVECS04 Frhs2[399]: 6 0 1.00003 shouldn't be
16.85/17.00 WSVECS04 Frhs2[430]: 6 0 1.00007 shouldn't be
16.85/17.00 WSVECS04 Frhs2[444]: 6 0 0.70009 shouldn't be
16.85/17.00 WSVECS04 Frhs2[479]: 6 -1.00007 0 shouldn't be
16.85/17.00 WSVECS04 Frhs2[482]: 6 0 1.00008 shouldn't be
16.85/17.00 WSVECS04 Frhs2[504]: 6 0 0.300039 shouldn't be
16.85/17.00 WSVECS04 Frhs2[505]: 6 0 0.200066 shouldn't be
16.85/17.00 WSVECS04 Frhs2[529]: 6 0 1.00006 shouldn't be
16.85/17.00 WSVECS04 Frhs2[531]: 6 0 0.200052 shouldn't be
16.85/17.00 WSVECS04 Frhs2[583]: 6 0 0.200079 shouldn't be
16.85/17.00 WSVECS04 Frhs2[585]: 6 0 1.00009 shouldn't be
16.85/17.00 WSVECS04 Frhs2[587]: 6 0 0.200092 shouldn't be
16.85/17.00 WSVECS04 Frhs2[591]: 6 0 1.00004 shouldn't be
16.85/17.00 WSVECS04 Frhs2[594]: 6 0 1.00005 shouldn't be
16.85/17.00 WSVECS04 Frhs2[600]: 6 0 1.00001 shouldn't be
16.85/17.00 WSVECS04 Frhs2[676]: 6 0 1.00007 shouldn't be
16.85/17.00 WSVECS04 Frhs2[680]: 6 0 1.00002 shouldn't be
16.85/17.00 WSVECS04 Frhs2[706]: 6 0 1.00004 shouldn't be
16.85/17.00 WSVECS04 Frhs2[722]: 6 -0.800056 0 shouldn't be
16.85/17.00 WSVECS04 Frhs2[724]: 6 0 1.00004 shouldn't be
16.85/17.00 WSVECS04 Frhs2[738]: 6 0 0.100095 shouldn't be
16.85/17.00 WSVECS04 Frhs2[745]: 6 0 1.00006 shouldn't be
16.85/17.00 WSVECS04 Frhs2[755]: 6 0 1.00005 shouldn't be
17.75/17.86 c #Conflicts: 95000 | #Constraints: 14163
17.75/17.86 c #Conflicts: 96000 | #Constraints: 15163
17.75/17.86 c INPROCESSING
17.75/17.86 c GARBAGE COLLECT
17.75/17.86 c rational objective 141.056
18.25/18.36 c #Conflicts: 97000 | #Constraints: 9968
18.25/18.36 c #Conflicts: 98000 | #Constraints: 10968
18.25/18.36 c #Conflicts: 99000 | #Constraints: 11970
18.25/18.36 WSVECS04 Frhs2[30]: 6 0 83.5433 shouldn't be
18.25/18.36 WSVECS04 Frhs2[53]: 6 0 0.506926 shouldn't be
18.25/18.36 WSVECS04 Frhs2[64]: 6 0 19.1079 shouldn't be
18.25/18.36 WSVECS04 Frhs2[71]: 6 0 11.5284 shouldn't be
18.25/18.36 WSVECS04 Frhs2[81]: 6 0 6.68638 shouldn't be
18.25/18.36 WSVECS04 Frhs2[86]: 6 -71.4986 0 shouldn't be
18.25/18.36 WSVECS04 Frhs2[100]: 6 -23.1264 0 shouldn't be
18.25/18.36 WSVECS04 Frhs2[113]: 6 -2.41322 0 shouldn't be
18.25/18.36 WSVECS04 Frhs2[142]: 6 0 33.4763 shouldn't be
18.25/18.36 WSVECS04 Frhs2[225]: 6 0 16.9049 shouldn't be
18.25/18.36 WSVECS04 Frhs2[233]: 6 0 1 shouldn't be
18.25/18.36 WSVECS04 Frhs2[283]: 6 -1.936 0 shouldn't be
18.25/18.36 WSVECS04 Frhs2[289]: 6 -14.9638 0 shouldn't be
18.25/18.36 WSVECS04 Frhs2[336]: 6 0 58.4833 shouldn't be
18.25/18.36 WSVECS04 Frhs2[356]: 6 0 25.3934 shouldn't be
18.25/18.36 WSVECS04 Frhs2[384]: 6 0 5.30163 shouldn't be
18.25/18.36 WSVECS04 Frhs2[403]: 6 -1 0 shouldn't be
18.25/18.36 WSVECS04 Frhs2[410]: 6 0 5.30163 shouldn't be
18.25/18.36 WSVECS04 Frhs2[416]: 6 0 0.198609 shouldn't be
18.25/18.36 WSVECS04 Frhs2[418]: 6 -2.96891 0 shouldn't be
18.25/18.36 WSVECS04 Frhs2[436]: 6 0 5.30163 shouldn't be
18.25/18.36 WSVECS04 Frhs2[448]: 6 0 0.908973 shouldn't be
18.25/18.36 WSVECS04 Frhs2[459]: 6 0 3.18098 shouldn't be
18.25/18.36 WSVECS04 Frhs2[470]: 6 0 10.429 shouldn't be
18.25/18.36 WSVECS04 Frhs2[478]: 6 0 9.95779 shouldn't be
18.25/18.36 WSVECS04 Frhs2[514]: 6 0 22.2065 shouldn't be
18.25/18.36 WSVECS04 Frhs2[570]: 6 0 5.55743 shouldn't be
18.25/18.36 WSVECS04 Frhs2[621]: 6 0 18.162 shouldn't be
18.25/18.36 WSVECS04 Frhs2[704]: 6 0 23.4621 shouldn't be
18.25/18.36 WSVECS04 Frhs2[734]: 6 0 10.4672 shouldn't be
18.25/18.36 WSVECS04 Frhs2[740]: 6 0 52.5842 shouldn't be
18.25/18.36 WSVECS04 Frhs2[745]: 6 0 16.9049 shouldn't be
18.25/18.36 WSVECS04 Frhs2[747]: 6 0 13.437 shouldn't be
18.25/18.36 WSVECS04 Frhs2[752]: 6 0 51.5896 shouldn't be
18.95/19.03 c #Conflicts: 100000 | #Constraints: 12971
18.95/19.03 c #Conflicts: 101000 | #Constraints: 13973
18.95/19.03 c #Conflicts: 102000 | #Constraints: 14975
18.95/19.03 c #Conflicts: 103000 | #Constraints: 15976
18.95/19.03 c INPROCESSING
18.95/19.03 c GARBAGE COLLECT
18.95/19.03 WSVECS04 Frhs2[41]: 6 -69.697 0 shouldn't be
18.95/19.03 WSVECS04 Frhs2[51]: 6 -43.8636 0 shouldn't be
18.95/19.03 WSVECS04 Frhs2[67]: 6 0 18.5152 shouldn't be
18.95/19.03 WSVECS04 Frhs2[402]: 6 0 49.7576 shouldn't be
18.95/19.03 WSVECS04 Frhs2[432]: 6 0 0.500001 shouldn't be
18.95/19.03 WSVECS04 Frhs2[572]: 6 0 0.5 shouldn't be
18.95/19.03 WSVECS04 Frhs2[674]: 6 -25.3788 0 shouldn't be
18.95/19.03 WSVECS04 Frhs2[717]: 6 0 10.3591 shouldn't be
19.95/20.03 c #Conflicts: 104000 | #Constraints: 10571
19.95/20.03 c #Conflicts: 105000 | #Constraints: 11572
19.95/20.03 c #Conflicts: 106000 | #Constraints: 12572
19.95/20.03 c #Conflicts: 107000 | #Constraints: 13574
19.95/20.03 c #Conflicts: 108000 | #Constraints: 14576
19.95/20.03 c #Conflicts: 109000 | #Constraints: 15577
19.95/20.03 c #Conflicts: 110000 | #Constraints: 16580
19.95/20.03 c INPROCESSING
19.95/20.03 c GARBAGE COLLECT
19.95/20.03 WSVECS04 Frhs2[31]: 6 0 5.33037 shouldn't be
19.95/20.03 WSVECS04 Frhs2[41]: 6 0 12.3997 shouldn't be
19.95/20.03 WSVECS04 Frhs2[54]: 6 0 5.59059 shouldn't be
19.95/20.03 WSVECS04 Frhs2[60]: 6 0 3.20078 shouldn't be
19.95/20.03 WSVECS04 Frhs2[127]: 6 0 11.8773 shouldn't be
19.95/20.03 WSVECS04 Frhs2[253]: 6 0 0.926406 shouldn't be
19.95/20.03 WSVECS04 Frhs2[301]: 6 -3.50862 0 shouldn't be
19.95/20.03 WSVECS04 Frhs2[328]: 6 0 3.32481 shouldn't be
19.95/20.03 WSVECS04 Frhs2[354]: 6 0 3.32481 shouldn't be
19.95/20.03 WSVECS04 Frhs2[355]: 6 0 0.876826 shouldn't be
19.95/20.03 WSVECS04 Frhs2[380]: 6 0 3.32481 shouldn't be
19.95/20.03 WSVECS04 Frhs2[387]: 6 0 2.68787 shouldn't be
19.95/20.03 WSVECS04 Frhs2[428]: 6 0 7.44301 shouldn't be
19.95/20.03 WSVECS04 Frhs2[430]: 6 0 0.703717 shouldn't be
19.95/20.03 WSVECS04 Frhs2[444]: 6 -1.26908 0 shouldn't be
19.95/20.03 WSVECS04 Frhs2[617]: 6 0 6.19638 shouldn't be
19.95/20.03 WSVECS04 Frhs2[621]: 6 0 11.5902 shouldn't be
19.95/20.03 WSVECS04 Frhs2[630]: 6 -8.64276 0 shouldn't be
19.95/20.03 WSVECS04 Frhs2[643]: 6 0 6.19638 shouldn't be
19.95/20.03 WSVECS04 Frhs2[669]: 6 0 9.39716 shouldn't be
21.44/21.52 c #Conflicts: 111000 | #Constraints: 10975
21.44/21.52 c #Conflicts: 112000 | #Constraints: 11975
21.44/21.52 c #Conflicts: 113000 | #Constraints: 12978
21.44/21.52 c #Conflicts: 114000 | #Constraints: 13979
21.44/21.52 c #Conflicts: 115000 | #Constraints: 14979
21.44/21.52 c #Conflicts: 116000 | #Constraints: 15979
21.44/21.52 c #Conflicts: 117000 | #Constraints: 16979
21.44/21.52 c INPROCESSING
21.44/21.52 c GARBAGE COLLECT
21.44/21.52 c rational objective 141.074
22.54/22.65 c #Conflicts: 118000 | #Constraints: 11180
22.54/22.65 c #Conflicts: 119000 | #Constraints: 12180
22.54/22.65 c #Conflicts: 120000 | #Constraints: 13181
22.54/22.65 c #Conflicts: 121000 | #Constraints: 14182
22.54/22.65 c #Conflicts: 122000 | #Constraints: 15184
22.54/22.65 c #Conflicts: 123000 | #Constraints: 16189
22.54/22.65 c #Conflicts: 124000 | #Constraints: 17190
22.54/22.65 c INPROCESSING
22.54/22.65 c GARBAGE COLLECT
22.54/22.65 WSVECS04 Frhs2[44]: 6 -8.16674 0 shouldn't be
22.54/22.65 WSVECS04 Frhs2[45]: 6 -13.2778 0 shouldn't be
22.54/22.65 WSVECS04 Frhs2[46]: 6 -1.00005 0 shouldn't be
22.54/22.65 WSVECS04 Frhs2[72]: 6 0 20.4167 shouldn't be
22.54/22.65 WSVECS04 Frhs2[80]: 6 0 6.61118 shouldn't be
22.54/22.65 WSVECS04 Frhs2[180]: 6 0 2.77786 shouldn't be
22.54/22.65 WSVECS04 Frhs2[202]: 6 0 10.7084 shouldn't be
22.54/22.65 WSVECS04 Frhs2[277]: 6 0 10.4445 shouldn't be
22.54/22.65 WSVECS04 Frhs2[320]: 6 -0.333358 0 shouldn't be
22.54/22.65 WSVECS04 Frhs2[544]: 6 -1.00003 0 shouldn't be
22.54/22.65 WSVECS04 Frhs2[578]: 6 0 1.88893 shouldn't be
22.54/22.65 WSVECS04 Frhs2[602]: 6 0 2.8889 shouldn't be
22.54/22.65 WSVECS04 Frhs2[682]: 6 0 1.88898 shouldn't be
22.54/22.65 WSVECS04 Frhs2[693]: 6 0 10.4445 shouldn't be
22.54/22.65 WSVECS04 Frhs2[729]: 6 0 6.66676 shouldn't be
22.54/22.65 WSVECS04 Frhs2[747]: 6 0 6.05561 shouldn't be
22.64/22.72 WSVECS04 Frhs2[701]: 6 0 1.00008 shouldn't be
22.64/22.78 WSVECS04 Frhs2[44]: 6 -8.16667 0 shouldn't be
22.64/22.78 WSVECS04 Frhs2[45]: 6 -13.2778 0 shouldn't be
22.64/22.78 WSVECS04 Frhs2[46]: 6 -1 0 shouldn't be
22.64/22.78 WSVECS04 Frhs2[71]: 6 0 5.91667 shouldn't be
22.64/22.78 WSVECS04 Frhs2[72]: 6 0 20.4167 shouldn't be
22.64/22.78 WSVECS04 Frhs2[80]: 6 0 6.61111 shouldn't be
22.64/22.78 WSVECS04 Frhs2[180]: 6 0 2.77778 shouldn't be
22.64/22.78 WSVECS04 Frhs2[202]: 6 0 10.7083 shouldn't be
22.64/22.78 WSVECS04 Frhs2[277]: 6 0 10.4444 shouldn't be
22.64/22.78 WSVECS04 Frhs2[320]: 6 -0.333334 0 shouldn't be
22.64/22.78 WSVECS04 Frhs2[544]: 6 -1 0 shouldn't be
22.64/22.78 WSVECS04 Frhs2[552]: 6 0 1.88889 shouldn't be
22.64/22.78 WSVECS04 Frhs2[578]: 6 0 1.88889 shouldn't be
22.64/22.78 WSVECS04 Frhs2[602]: 6 0 2.88889 shouldn't be
22.64/22.78 WSVECS04 Frhs2[682]: 6 0 1.88889 shouldn't be
22.64/22.78 WSVECS04 Frhs2[693]: 6 0 10.4444 shouldn't be
22.64/22.78 WSVECS04 Frhs2[747]: 6 0 6.05556 shouldn't be
22.74/22.84 WSVECS04 Frhs2[68]: 6 0 1 shouldn't be
22.74/22.84 WSVECS04 Frhs2[94]: 6 0 1 shouldn't be
22.74/22.84 WSVECS04 Frhs2[657]: 6 0 1 shouldn't be
22.74/22.84 WSVECS04 Frhs2[664]: 6 0 1 shouldn't be
22.74/22.84 WSVECS04 Frhs2[666]: 6 0 1 shouldn't be
22.84/22.90 WSVECS04 Frhs2[444]: 6 0 0.694445 shouldn't be
22.84/22.90 WSVECS04 Frhs2[604]: 6 -8.44445 0 shouldn't be
22.84/22.97 WSVECS04 Frhs2[593]: 6 0 1 shouldn't be
22.84/22.97 WSVECS04 Frhs2[619]: 6 0 1 shouldn't be
22.84/22.97 WSVECS04 Frhs2[646]: 6 0 1 shouldn't be
22.84/22.97 WSVECS04 Frhs2[698]: 6 0 1 shouldn't be
22.95/23.04 WSVECS04 Frhs2[191]: 6 0 1 shouldn't be
22.95/23.04 WSVECS04 Frhs2[380]: 6 0 1 shouldn't be
22.95/23.04 WSVECS04 Frhs2[633]: 6 0 1 shouldn't be
23.04/23.12 WSVECS04 Frhs2[77]: 6 0 1 shouldn't be
23.04/23.12 WSVECS04 Frhs2[506]: 6 0 1 shouldn't be
23.04/23.12 WSVECS04 Frhs2[656]: 6 0 0.666668 shouldn't be
23.04/23.12 WSVECS04 Frhs2[701]: 6 0 1 shouldn't be
23.04/23.12 WSVECS04 Frhs2[753]: 6 0 1 shouldn't be
23.04/23.19 WSVECS04 Frhs2[376]: 6 0 1 shouldn't be
23.04/23.19 WSVECS04 Frhs2[637]: 6 0 0.500001 shouldn't be
23.04/23.19 WSVECS04 Frhs2[669]: 6 0 2.88889 shouldn't be
23.04/23.19 WSVECS04 Frhs2[751]: 6 0 1 shouldn't be
23.24/23.38 WSVECS04 Frhs2[66]: 6 0 1 shouldn't be
23.24/23.38 WSVECS04 Frhs2[116]: 6 0 1 shouldn't be
23.24/23.38 WSVECS04 Frhs2[729]: 6 0 6.66667 shouldn't be
23.44/23.52 WSVECS04 Frhs2[472]: 6 0 2.88889 shouldn't be
23.44/23.52 WSVECS04 Frhs2[547]: 6 0 2.83333 shouldn't be
23.64/23.78 c rational objective 141.75
24.34/24.40 c #Conflicts: 125000 | #Constraints: 9514
24.34/24.40 c #Conflicts: 126000 | #Constraints: 10514
24.34/24.40 c #Conflicts: 127000 | #Constraints: 11514
24.34/24.40 c #Conflicts: 128000 | #Constraints: 12517
24.34/24.40 WSVECS04 Frhs2[16]: 6 0 0.800001 shouldn't be
24.34/24.40 WSVECS04 Frhs2[20]: 6 0 0.8 shouldn't be
24.34/24.40 WSVECS04 Frhs2[44]: 6 0 14.7279 shouldn't be
24.34/24.40 WSVECS04 Frhs2[45]: 6 -14.3752 0 shouldn't be
24.34/24.40 WSVECS04 Frhs2[49]: 6 0 5.67414 shouldn't be
24.34/24.40 WSVECS04 Frhs2[51]: 6 -8.03962 0 shouldn't be
24.34/24.40 WSVECS04 Frhs2[59]: 6 -0.800001 0 shouldn't be
24.34/24.40 WSVECS04 Frhs2[67]: 6 0 0.84 shouldn't be
24.34/24.40 WSVECS04 Frhs2[306]: 6 0 0.250001 shouldn't be
24.34/24.40 WSVECS04 Frhs2[436]: 6 -0.25 0 shouldn't be
24.34/24.40 WSVECS04 Frhs2[446]: 6 0 0.920001 shouldn't be
24.34/24.40 WSVECS04 Frhs2[448]: 6 0 0.92 shouldn't be
24.34/24.40 WSVECS04 Frhs2[591]: 6 0 0.63 shouldn't be
24.34/24.40 WSVECS04 Frhs2[617]: 6 0 0.71 shouldn't be
24.34/24.46 WSVECS04 Frhs2[427]: 6 0 1 shouldn't be
24.34/24.46 WSVECS04 Frhs2[495]: 6 0 14.5152 shouldn't be
24.34/24.46 WSVECS04 Frhs2[671]: 6 0 14.6352 shouldn't be
24.73/24.86 c #Conflicts: 129000 | #Constraints: 13518
24.73/24.86 c #Conflicts: 130000 | #Constraints: 14518
24.73/24.86 c #Conflicts: 131000 | #Constraints: 15519
24.73/24.86 c cpu time 23.8055 s
24.73/24.86 c deterministic time 613854705 6.14e+08
24.73/24.86 c optimization time 6.6e-05 s
24.73/24.86 c total solve time 23.7983 s
24.73/24.86 c core-guided solve time 0 s
24.73/24.86 c propagation time 12.3887 s
24.73/24.86 c conflict analysis time 2.43316 s
24.73/24.86 c propagations 16405513
24.73/24.86 c resolve steps 2148055
24.73/24.86 c decisions 161984
24.73/24.86 c conflicts 131273
24.73/24.86 c restarts 358
24.73/24.86 c inprocessing phases 27
24.73/24.86 c input clauses 3538
24.73/24.86 c input cardinalities 3
24.73/24.86 c input general constraints 0
24.73/24.86 c input average constraint length 3.21
24.73/24.86 c input average constraint degree 1.01
24.73/24.86 c learned clauses 119435
24.73/24.86 c learned cardinalities 5342
24.73/24.86 c learned general constraints 6594
24.73/24.86 c learned average constraint length 37.49
24.73/24.86 c learned average constraint degree 5414767.62
24.73/24.86 c watched constraints 5815
24.73/24.86 c counting constraints 779
24.73/24.86 c gcd simplifications 160
24.73/24.86 c detected cardinalities 148
24.73/24.86 c weakened non-implied lits 265861
24.73/24.86 c weakened non-implying lits 423
24.73/24.86 c original variables 756
24.73/24.86 c clausal propagations 15777381
24.73/24.86 c cardinality propagations 356559
24.73/24.86 c watched propagations 65593
24.73/24.86 c counting propagations 67976
24.73/24.86 c watch lookups 172375710
24.73/24.86 c watch backjump lookups 19928941
24.73/24.86 c watch checks 344493130
24.73/24.86 c propagation checks 28222923
24.73/24.86 c constraint additions 15341249
24.73/24.86 c trail pops 16698596
24.73/24.86 c formula constraints 3541
24.73/24.86 c learned constraints 131268
24.73/24.86 c bound constraints 0
24.73/24.86 c core-guided constraints 0
24.73/24.86 c encountered formula constraints 1751649
24.73/24.86 c encountered learned constraints 527671
24.73/24.86 c encountered bound constraints 0
24.73/24.86 c encountered core-guided constraints 0
24.73/24.86 c LP total time 14.374 s
24.73/24.86 c LP solve time 13.51 s
24.73/24.86 c LP constraints added 3649
24.73/24.86 c LP constraints removed 68
24.73/24.86 c LP pivots internal 131449
24.73/24.86 c LP pivots root 95209
24.73/24.86 c LP calls 148
24.73/24.86 c LP optimalities 30
24.73/24.86 c LP no pivot count 0
24.73/24.86 c LP infeasibilities 90
24.73/24.86 c LP valid Farkas constraints 88
24.73/24.86 c LP learned Farkas constraints 4
24.73/24.86 c LP basis resets 26
24.73/24.86 c LP cycling count 0
24.73/24.86 c LP singular count 24
24.73/24.86 c LP no primal count 0
24.73/24.86 c LP no farkas count 2
24.73/24.86 c LP other issue count 0
24.73/24.86 c LP Gomory cuts 11
24.73/24.86 c LP learned cuts 97
24.73/24.86 c LP deleted cuts 68
24.73/24.86 c LP encountered Gomory constraints 0
24.73/24.86 c LP encountered Farkas constraints 1
24.73/24.86 c LP encountered learned Farkas constraints 3
24.73/24.86 c CG auxiliary variables introduced 0
24.73/24.86 c CG solutions found 0
24.73/24.86 c CG cores constructed 0
24.73/24.86 c CG core cardinality constraints returned 0
24.73/24.86 c CG unit cores 0
24.73/24.86 c CG single cores 0
24.73/24.86 c CG blocks removed during cardinality reduction 0
24.73/24.86 c CG first core best 0
24.73/24.86 c CG decision core best 0
24.73/24.86 c CG core reduction tie 0
24.73/24.86 c CG core degree average 0.00
24.73/24.86 c CG core slack average 0.00
24.73/24.86 s UNSATISFIABLE
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: 63931 MiB (61061 MiB free)
memory of node 1: 64510 MiB (53496 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455837-1721467321/watcher-4455837-1721467321 -o /tmp/evaluation-result-4455837-1721467321/solver-4455837-1721467321 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721458682-1057477 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455837-1721467321.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1062578, runsolver pid=1062575
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.09 4.15 4.11 5/257 1062579
/proc/meminfo: memFree=117303768/131524600 swapFree=130799640/131071996
[pid=1062578] ppid=1062575 vsize=40056 memory=9968 CPUtime=0.1 cores=5,7
/proc/1062578/stat : 1062578 (roundingsat) R 1062575 1062578 1057331 0 -1 4194304 1266 0 0 0 9 1 0 0 20 0 1 0 198891262 41017344 2492 134679101440 4194304 7968373 140734151321760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29564928 140734151324604 140734151324768 140734151324768 140734151331785 0
/proc/1062578/statm: 10014 2492 1684 922 0 1966 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40056 KiB
Current children cumulated memory: 9968 KiB
[startup+0.205666 s]*
/proc/loadavg: 4.09 4.15 4.11 5/257 1062579
/proc/meminfo: memFree=117300992/131524600 swapFree=130799640/131071996
[pid=1062578] ppid=1062575 vsize=40056 memory=10352 CPUtime=0.2 cores=5,7
/proc/1062578/stat : 1062578 (roundingsat) R 1062575 1062578 1057331 0 -1 4194304 1349 0 0 0 19 1 0 0 20 0 1 0 198891262 41017344 2588 134679101440 4194304 7968373 140734151321760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29564928 140734151324604 140734151324768 140734151324768 140734151331785 0
/proc/1062578/statm: 10014 2588 1716 922 0 1966 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40056 KiB
Current children cumulated memory: 10352 KiB
[startup+0.305583 s]*
/proc/loadavg: 4.09 4.15 4.11 6/257 1062579
/proc/meminfo: memFree=117300516/131524600 swapFree=130799640/131071996
[pid=1062578] ppid=1062575 vsize=40196 memory=10676 CPUtime=0.3 cores=5,7
/proc/1062578/stat : 1062578 (roundingsat) R 1062575 1062578 1057331 0 -1 4194304 1370 0 0 0 29 1 0 0 20 0 1 0 198891262 41160704 2669 134679101440 4194304 7968373 140734151321760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29564928 140734151324604 140734151324768 140734151324768 140734151331785 0
/proc/1062578/statm: 10049 2669 1732 922 0 2001 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40196 KiB
Current children cumulated memory: 10676 KiB
[startup+0.700207 s]
/proc/loadavg: 4.09 4.15 4.11 5/257 1062579
/proc/meminfo: memFree=117298056/131524600 swapFree=130799640/131071996
[pid=1062578] ppid=1062575 vsize=40196 memory=10676 CPUtime=0.68 cores=5,7
/proc/1062578/stat : 1062578 (roundingsat) R 1062575 1062578 1057331 0 -1 4194304 1394 0 0 0 66 2 0 0 20 0 1 0 198891262 41160704 2669 134679101440 4194304 7968373 140734151321760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29564928 140734151324604 140734151324768 140734151324768 140734151331785 0
/proc/1062578/statm: 10049 2669 1732 922 0 2001 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40196 KiB
Current children cumulated memory: 10676 KiB
[startup+1.50024 s]
/proc/loadavg: 4.09 4.15 4.11 5/257 1062580
/proc/meminfo: memFree=117293040/131524600 swapFree=130799640/131071996
[pid=1062578] ppid=1062575 vsize=42408 memory=13240 CPUtime=1.49 cores=5,7
/proc/1062578/stat : 1062578 (roundingsat) R 1062575 1062578 1057331 0 -1 4194304 2059 0 0 0 144 5 0 0 20 0 1 0 198891262 43425792 3310 134679101440 4194304 7968373 140734151321760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29564928 140734151324604 140734151324768 140734151324768 140734151331785 0
/proc/1062578/statm: 10602 3310 1812 922 0 2554 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 13240 KiB
[startup+3.10586 s]
/proc/loadavg: 4.09 4.15 4.11 5/257 1062580
/proc/meminfo: memFree=117273152/131524600 swapFree=130799640/131071996
[pid=1062578] ppid=1062575 vsize=42408 memory=13504 CPUtime=3.08 cores=5,7
/proc/1062578/stat : 1062578 (roundingsat) R 1062575 1062578 1057331 0 -1 4194304 2137 0 0 0 299 9 0 0 20 0 1 0 198891262 43425792 3376 134679101440 4194304 7968373 140734151321760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29564928 140734151324604 140734151324768 140734151324768 140734151331785 0
/proc/1062578/statm: 10602 3376 1812 922 0 2554 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 13504 KiB
[startup+6.30023 s]
/proc/loadavg: 4.16 4.16 4.12 5/257 1062580
/proc/meminfo: memFree=117243376/131524600 swapFree=130799640/131071996
[pid=1062578] ppid=1062575 vsize=43968 memory=17072 CPUtime=6.28 cores=5,7
/proc/1062578/stat : 1062578 (roundingsat) R 1062575 1062578 1057331 0 -1 4194304 2516 0 0 0 605 23 0 0 20 0 1 0 198891262 45023232 4268 134679101440 4194304 7968373 140734151321760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29564928 140734151324604 140734151324768 140734151324768 140734151331785 0
/proc/1062578/statm: 10992 4268 1828 922 0 2944 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 43968 KiB
Current children cumulated memory: 17072 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.16 4.12 5/257 1062582
/proc/meminfo: memFree=117164424/131524600 swapFree=130799640/131071996
[pid=1062578] ppid=1062575 vsize=45028 memory=18568 CPUtime=12.66 cores=5,7
/proc/1062578/stat : 1062578 (roundingsat) R 1062575 1062578 1057331 0 -1 4194304 2803 0 0 0 1214 52 0 0 20 0 1 0 198891262 46108672 4642 134679101440 4194304 7968373 140734151321760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29564928 140734151324604 140734151324768 140734151324768 140734151331785 0
/proc/1062578/statm: 11257 4642 1948 922 0 3209 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 45028 KiB
Current children cumulated memory: 18568 KiB
[startup+24.8644 s]
# the end of solver process 1062578 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=23.8075 s, system=1.00281 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 4.15 4.16 4.12 5/257 1062582
/proc/meminfo: memFree=117164424/131524600 swapFree=130799640/131071996
[pid=1062578] ppid=1062575 vsize=45028 memory=18568 CPUtime=12.77 cores=5,7
/proc/1062578/stat : 1062578 (roundingsat) R 1062575 1062578 1057331 0 -1 4194304 2803 0 0 0 1224 53 0 0 20 0 1 0 198891262 46108672 4642 134679101440 4194304 7968373 140734151321760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29564928 140734151324604 140734151324768 140734151324768 140734151331785 0
/proc/1062578/statm: 11257 4642 1948 922 0 3209 0
Current children cumulated CPU time: 12.77 s
Current children cumulated vsize: 45028 KiB
Current children cumulated memory: 18568 KiB
[startup+19.2002 s]
/proc/loadavg: 4.13 4.16 4.12 5/257 1062582
/proc/meminfo: memFree=117090956/131524600 swapFree=130799640/131071996
[pid=1062578] ppid=1062575 vsize=45368 memory=19092 CPUtime=19.15 cores=5,7
/proc/1062578/stat : 1062578 (roundingsat) R 1062575 1062578 1057331 0 -1 4194304 2890 0 0 0 1835 80 0 0 20 0 1 0 198891262 46456832 4773 134679101440 4194304 7968373 140734151321760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29564928 140734151324604 140734151324768 140734151324768 140734151331785 0
/proc/1062578/statm: 11342 4773 1948 922 0 3294 0
Current children cumulated CPU time: 19.15 s
Current children cumulated vsize: 45368 KiB
Current children cumulated memory: 19092 KiB
[startup+22.4002 s]
/proc/loadavg: 4.12 4.16 4.11 5/257 1062585
/proc/meminfo: memFree=117068804/131524600 swapFree=130799640/131071996
[pid=1062578] ppid=1062575 vsize=45368 memory=19092 CPUtime=22.34 cores=5,7
/proc/1062578/stat : 1062578 (roundingsat) R 1062575 1062578 1057331 0 -1 4194304 2893 0 0 0 2142 92 0 0 20 0 1 0 198891262 46456832 4773 134679101440 4194304 7968373 140734151321760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29564928 140734151324604 140734151324768 140734151324768 140734151331785 0
/proc/1062578/statm: 11342 4773 1948 922 0 3294 0
Current children cumulated CPU time: 22.34 s
Current children cumulated vsize: 45368 KiB
Current children cumulated memory: 19092 KiB
[startup+24.0002 s]*
/proc/loadavg: 4.12 4.16 4.11 5/257 1062585
/proc/meminfo: memFree=117052084/131524600 swapFree=130799640/131071996
[pid=1062578] ppid=1062575 vsize=45520 memory=19092 CPUtime=23.94 cores=5,7
/proc/1062578/stat : 1062578 (roundingsat) R 1062575 1062578 1057331 0 -1 4194304 2933 0 0 0 2298 96 0 0 20 0 1 0 198891262 46612480 4773 134679101440 4194304 7968373 140734151321760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29564928 140734151324604 140734151324768 140734151324768 140734151331785 0
/proc/1062578/statm: 11380 4773 1948 922 0 3332 0
Current children cumulated CPU time: 23.94 s
Current children cumulated vsize: 45520 KiB
Current children cumulated memory: 19092 KiB
[startup+24.4002 s]
/proc/loadavg: 4.12 4.16 4.11 5/257 1062585
/proc/meminfo: memFree=117052084/131524600 swapFree=130799640/131071996
[pid=1062578] ppid=1062575 vsize=45520 memory=19092 CPUtime=24.34 cores=5,7
/proc/1062578/stat : 1062578 (roundingsat) R 1062575 1062578 1057331 0 -1 4194304 2934 0 0 0 2336 98 0 0 20 0 1 0 198891262 46612480 4773 134679101440 4194304 7968373 140734151321760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29564928 140734151324604 140734151324768 140734151324768 140734151331785 0
/proc/1062578/statm: 11380 4773 1948 922 0 3332 0
Current children cumulated CPU time: 24.34 s
Current children cumulated vsize: 45520 KiB
Current children cumulated memory: 19092 KiB
[startup+24.8002 s]
/proc/loadavg: 4.12 4.16 4.11 5/257 1062585
/proc/meminfo: memFree=117052084/131524600 swapFree=130799640/131071996
[pid=1062578] ppid=1062575 vsize=45520 memory=19092 CPUtime=24.73 cores=5,7
/proc/1062578/stat : 1062578 (roundingsat) R 1062575 1062578 1057331 0 -1 4194304 2934 0 0 0 2374 99 0 0 20 0 1 0 198891262 46612480 4773 134679101440 4194304 7968373 140734151321760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 29564928 140734151324604 140734151324768 140734151324768 140734151331785 0
/proc/1062578/statm: 11380 4773 1948 922 0 3332 0
Current children cumulated CPU time: 24.73 s
Current children cumulated vsize: 45520 KiB
Current children cumulated memory: 19092 KiB
Child status: 0
Real time (s): 24.8645
CPU time (s): 24.8103
CPU user time (s): 23.8075
CPU system time (s): 1.00281
CPU usage (%): 99.7823
Max. virtual memory (cumulated for all children) (KiB): 45520
Max. memory (cumulated for all children) (KiB): 19092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.8075
system time used= 1.00281
maximum resident set size= 19092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2942
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= 5
involuntary context switches= 32
# summary of solver processes directly reported to runsolver:
# pid: 1062578
# total CPU time (s): 24.8103
# total CPU user time (s): 23.8075
# total CPU system time (s): 1.00281
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063885 second user time and 0.141456 second system time
The end
Begin job on nodeC014 at 2024-07-20 11:22:14
IDJOB=4455837
IDBENCH=162834
IDSOLVER=3084
FILE ID=nodeC014/4455837-1721467321
RUNJOBID= nodeC014-1721458682-1057477
SLURM_JOB_ID= 7545705
Free space on /tmp= 889992 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_19.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-4455837-1721467321/watcher-4455837-1721467321 -o /tmp/evaluation-result-4455837-1721467321/solver-4455837-1721467321 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721458682-1057477 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455837-1721467321.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 93c30ced4b5200d34eb31ee4d6abbd8b
RANDOM SEED=709069081
nodeC014.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 : 0xb00002a
cpu MHz : 3668.746
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.532
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.731
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.847
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.723
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.562
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.916
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.155
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 117307640 kB
MemAvailable: 121521732 kB
Buffers: 514268 kB
Cached: 4494588 kB
SwapCached: 12820 kB
Active: 1574860 kB
Inactive: 11998132 kB
Active(anon): 9188 kB
Inactive(anon): 8584332 kB
Active(file): 1565672 kB
Inactive(file): 3413800 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130799640 kB
Dirty: 5352 kB
Writeback: 124 kB
AnonPages: 8555108 kB
Mapped: 60624 kB
Shmem: 29708 kB
KReclaimable: 148532 kB
Slab: 251604 kB
SReclaimable: 148532 kB
SUnreclaim: 103072 kB
KernelStack: 4092 kB
PageTables: 26744 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 10180716 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 36960 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3207168 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: 303828 kB
DirectMap2M: 38266880 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889984 MiB
End job on nodeC014 at 2024-07-20 11:22:39