0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.03 c #variables 2793 #constraints 3620
6.45/6.50 c #Conflicts: 1000 | #Constraints: 4619
6.45/6.50 c #Conflicts: 2000 | #Constraints: 5619
6.45/6.50 c INPROCESSING
6.45/6.50 c GARBAGE COLLECT
6.45/6.50 c #Conflicts: 3000 | #Constraints: 5222
6.45/6.50 c #Conflicts: 4000 | #Constraints: 6222
6.45/6.50 c INPROCESSING
6.45/6.50 c GARBAGE COLLECT
6.45/6.50 c #Conflicts: 5000 | #Constraints: 5685
6.45/6.50 c #Conflicts: 6000 | #Constraints: 6685
6.45/6.50 c INPROCESSING
6.45/6.50 c GARBAGE COLLECT
6.45/6.50 c #Conflicts: 7000 | #Constraints: 5746
6.45/6.50 c #Conflicts: 8000 | #Constraints: 6746
6.45/6.50 c #Conflicts: 9000 | #Constraints: 7746
6.45/6.50 c INPROCESSING
6.45/6.50 c GARBAGE COLLECT
6.45/6.50 c #Conflicts: 10000 | #Constraints: 6490
6.45/6.50 c #Conflicts: 11000 | #Constraints: 7490
6.45/6.50 c #Conflicts: 12000 | #Constraints: 8491
6.45/6.50 c #Conflicts: 13000 | #Constraints: 9491
6.45/6.50 c #Conflicts: 14000 | #Constraints: 10491
6.45/6.50 c #Conflicts: 15000 | #Constraints: 11491
6.45/6.50 c #Conflicts: 16000 | #Constraints: 12491
6.45/6.50 c INPROCESSING
6.45/6.50 c GARBAGE COLLECT
6.45/6.50 c rational objective 464.111
121.00/121.57 c #Conflicts: 17000 | #Constraints: 8713
121.00/121.57 c #Conflicts: 18000 | #Constraints: 9713
121.00/121.57 c #Conflicts: 19000 | #Constraints: 10713
121.00/121.57 c #Conflicts: 20000 | #Constraints: 11713
121.00/121.57 c INPROCESSING
121.00/121.57 c GARBAGE COLLECT
121.00/121.57 c #Conflicts: 21000 | #Constraints: 8315
121.00/121.57 c #Conflicts: 22000 | #Constraints: 9315
121.00/121.57 c #Conflicts: 23000 | #Constraints: 10315
121.00/121.57 c #Conflicts: 24000 | #Constraints: 11315
121.00/121.57 c INPROCESSING
121.00/121.57 c GARBAGE COLLECT
121.00/121.57 c #Conflicts: 25000 | #Constraints: 8126
121.00/121.57 c #Conflicts: 26000 | #Constraints: 9126
121.00/121.57 c #Conflicts: 27000 | #Constraints: 10126
121.00/121.57 c #Conflicts: 28000 | #Constraints: 11126
121.00/121.57 c #Conflicts: 29000 | #Constraints: 12126
121.00/121.57 c #Conflicts: 30000 | #Constraints: 13126
121.00/121.57 c #Conflicts: 31000 | #Constraints: 14126
121.00/121.57 c #Conflicts: 32000 | #Constraints: 15126
121.00/121.57 c #Conflicts: 33000 | #Constraints: 16126
121.00/121.57 c #Conflicts: 34000 | #Constraints: 17126
121.00/121.57 c #Conflicts: 35000 | #Constraints: 18126
121.00/121.57 c #Conflicts: 36000 | #Constraints: 19126
121.00/121.57 c INPROCESSING
121.00/121.57 c GARBAGE COLLECT
121.00/121.57 c #Conflicts: 37000 | #Constraints: 12305
121.00/121.57 c #Conflicts: 38000 | #Constraints: 13305
121.00/121.57 c #Conflicts: 39000 | #Constraints: 14305
121.00/121.57 c #Conflicts: 40000 | #Constraints: 15305
121.00/121.57 c #Conflicts: 41000 | #Constraints: 16305
121.00/121.57 c INPROCESSING
121.00/121.57 c GARBAGE COLLECT
121.00/121.57 c #Conflicts: 42000 | #Constraints: 10697
121.00/121.57 c #Conflicts: 43000 | #Constraints: 11697
121.00/121.57 c #Conflicts: 44000 | #Constraints: 12697
121.00/121.57 c #Conflicts: 45000 | #Constraints: 13697
121.00/121.57 c #Conflicts: 46000 | #Constraints: 14697
121.00/121.57 c #Conflicts: 47000 | #Constraints: 15697
121.00/121.57 c INPROCESSING
121.00/121.57 c GARBAGE COLLECT
121.00/121.57 c #Conflicts: 48000 | #Constraints: 10606
121.00/121.57 c #Conflicts: 49000 | #Constraints: 11606
121.00/121.57 c #Conflicts: 50000 | #Constraints: 12606
121.00/121.57 c #Conflicts: 51000 | #Constraints: 13606
121.00/121.57 c #Conflicts: 52000 | #Constraints: 14606
121.00/121.57 c #Conflicts: 53000 | #Constraints: 15606
121.00/121.57 c #Conflicts: 54000 | #Constraints: 16606
121.00/121.57 c #Conflicts: 55000 | #Constraints: 17606
121.00/121.57 c #Conflicts: 56000 | #Constraints: 18606
121.00/121.57 c #Conflicts: 57000 | #Constraints: 19606
121.00/121.57 c #Conflicts: 58000 | #Constraints: 20606
121.00/121.57 c #Conflicts: 59000 | #Constraints: 21606
121.00/121.57 c #Conflicts: 60000 | #Constraints: 22606
121.00/121.57 c #Conflicts: 61000 | #Constraints: 23606
121.00/121.57 c #Conflicts: 62000 | #Constraints: 24606
121.00/121.57 c INPROCESSING
121.00/121.57 c GARBAGE COLLECT
121.00/121.57 c #Conflicts: 63000 | #Constraints: 14729
121.00/121.57 c #Conflicts: 64000 | #Constraints: 15729
121.00/121.57 c #Conflicts: 65000 | #Constraints: 16729
121.00/121.57 c #Conflicts: 66000 | #Constraints: 17729
121.00/121.57 c #Conflicts: 67000 | #Constraints: 18729
121.00/121.57 c #Conflicts: 68000 | #Constraints: 19729
121.00/121.57 c #Conflicts: 69000 | #Constraints: 20729
121.00/121.57 c INPROCESSING
121.00/121.57 c GARBAGE COLLECT
121.00/121.57 c #Conflicts: 70000 | #Constraints: 12808
121.00/121.57 c #Conflicts: 71000 | #Constraints: 13808
121.00/121.57 c #Conflicts: 72000 | #Constraints: 14809
121.00/121.57 c #Conflicts: 73000 | #Constraints: 15809
121.00/121.57 c #Conflicts: 74000 | #Constraints: 16809
121.00/121.57 c #Conflicts: 75000 | #Constraints: 17809
121.00/121.57 c #Conflicts: 76000 | #Constraints: 18809
121.00/121.57 c INPROCESSING
121.00/121.57 c GARBAGE COLLECT
121.00/121.57 c #Conflicts: 77000 | #Constraints: 11812
121.00/121.57 c #Conflicts: 78000 | #Constraints: 12812
121.00/121.57 c #Conflicts: 79000 | #Constraints: 13812
121.00/121.57 c #Conflicts: 80000 | #Constraints: 14812
121.00/121.57 c #Conflicts: 81000 | #Constraints: 15812
121.00/121.57 c #Conflicts: 82000 | #Constraints: 16812
121.00/121.57 c #Conflicts: 83000 | #Constraints: 17812
121.00/121.57 c #Conflicts: 84000 | #Constraints: 18812
121.00/121.57 c #Conflicts: 85000 | #Constraints: 19812
121.00/121.57 c #Conflicts: 86000 | #Constraints: 20812
121.00/121.57 c #Conflicts: 87000 | #Constraints: 21812
121.00/121.57 c #Conflicts: 88000 | #Constraints: 22812
121.00/121.57 c #Conflicts: 89000 | #Constraints: 23812
121.00/121.57 c #Conflicts: 90000 | #Constraints: 24812
160.88/161.50 c #Conflicts: 91000 | #Constraints: 25812
160.88/161.50 c #Conflicts: 92000 | #Constraints: 26812
160.88/161.50 c #Conflicts: 93000 | #Constraints: 27812
160.88/161.50 c #Conflicts: 94000 | #Constraints: 28812
160.88/161.50 c #Conflicts: 95000 | #Constraints: 29812
160.88/161.50 c #Conflicts: 96000 | #Constraints: 30812
160.88/161.50 c INPROCESSING
160.88/161.50 c GARBAGE COLLECT
160.88/161.50 WSVECS04 Frhs2[5]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[6]: 6 -2.70046 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[8]: 6 -0.702383 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[9]: 6 -5.64384 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[10]: 6 -2.06839 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[11]: 6 -5.64384 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[12]: 6 -2.21321 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[14]: 6 -3.42792 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[16]: 6 -4.21655 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[17]: 6 -5.64384 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[21]: 6 -4.56959 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[49]: 6 0 3.9223 shouldn't be
160.88/161.50 WSVECS04 Frhs2[55]: 6 0 18.1837 shouldn't be
160.88/161.50 WSVECS04 Frhs2[57]: 6 0 37.687 shouldn't be
160.88/161.50 WSVECS04 Frhs2[61]: 6 0 649.942 shouldn't be
160.88/161.50 WSVECS04 Frhs2[161]: 6 -1.23576 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[191]: 6 -2 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[197]: 6 -0.0598483 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[199]: 6 -2.0654 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[203]: 6 -1.58545 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[205]: 6 -2 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[209]: 6 -11.4844 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[275]: 6 -1.99994 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[277]: 6 -1.99927 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[279]: 6 -2.23939 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[281]: 6 -2.92632 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[283]: 6 -3.04639 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[285]: 6 -4.3418 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[287]: 6 -4.99609 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[289]: 6 -13.4844 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[291]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[293]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[317]: 6 -1.99976 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[323]: 6 -5.70527 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[325]: 6 -6.18555 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[327]: 6 -9.65377 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[329]: 6 -13.9844 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[331]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[333]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[335]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[443]: 6 -1.98438 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[445]: 6 -1.8125 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[447]: 6 -40.0383 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[449]: 6 -187.576 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[459]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[527]: 6 -1.75 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[529]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[573]: 6 0 1.78941 shouldn't be
160.88/161.50 WSVECS04 Frhs2[575]: 6 0 1.97388 shouldn't be
160.88/161.50 WSVECS04 Frhs2[581]: 6 0 4.84351 shouldn't be
160.88/161.50 WSVECS04 Frhs2[645]: 6 -4 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[680]: 6 0 1.37109 shouldn't be
160.88/161.50 WSVECS04 Frhs2[703]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[723]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[725]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[738]: 6 0 2 shouldn't be
160.88/161.50 WSVECS04 Frhs2[743]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[761]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[763]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[765]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[792]: 6 0 4.81152 shouldn't be
160.88/161.50 WSVECS04 Frhs2[805]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[825]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[883]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[903]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[905]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[929]: 6 -2 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[949]: 6 -23.9688 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[953]: 6 -1958.39 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[969]: 6 0 1.5 shouldn't be
160.88/161.50 WSVECS04 Frhs2[978]: 6 -0.240853 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[986]: 6 -0.141114 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1002]: 6 -2.01626 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1005]: 6 -0.258057 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1006]: 6 -1.14111 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1007]: 6 -0.282227 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1017]: 6 -0.186943 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1021]: 6 -1.61788 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1023]: 6 -2.3363 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1025]: 6 -1.19507 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1044]: 6 -1.41455 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1047]: 6 -0.282227 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1086]: 6 -0.658203 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1207]: 6 -0.094727 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1227]: 6 -1.15723 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1228]: 6 -0.189453 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1279]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1299]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1304]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1376]: 6 0 141.083 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1433]: 6 -1.99775 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1436]: 6 -3 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1437]: 6 -2.00167 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1438]: 6 -1.96875 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1439]: 6 -2.00593 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1440]: 6 -1.91995 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1442]: 6 -1.38951 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1478]: 6 -2.00302 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1479]: 6 -2.00666 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1480]: 6 -1.875 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1481]: 6 -2.02371 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1482]: 6 -1.6798 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1484]: 6 -0.633799 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1487]: 6 -1.12598 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1489]: 6 0 1.12109 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1517]: 6 -1.96395 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1518]: 6 -2.01865 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1520]: 6 -2.01209 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1521]: 6 -2.02664 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1522]: 6 -1.5 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1523]: 6 -2.09484 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1524]: 6 -1.18967 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1526]: 6 -1.70361 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1527]: 6 0 0.181819 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1531]: 6 0 13.4844 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1559]: 6 -2.05292 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1560]: 6 -2.07459 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1562]: 6 -2.04836 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1563]: 6 -2.10656 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1564]: 6 -1.06839 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1565]: 6 -1.92993 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1569]: 6 0 0.371095 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1602]: 6 -2.29837 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1604]: 6 -2.19346 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1605]: 6 -1.97681 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1607]: 6 -1.71973 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1609]: 6 0 0.371094 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1611]: 6 0 10.4844 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1613]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1643]: 6 -2.84673 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1644]: 6 -3.19346 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1647]: 6 -1.90723 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1649]: 6 -0.878907 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1651]: 6 0 4.48438 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1652]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1685]: 6 -5.38692 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1686]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1689]: 6 -1.62891 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1692]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1694]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1727]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1732]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1733]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1734]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1738]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1769]: 6 -6.31957 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1771]: 6 0 12.4844 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1772]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1773]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1774]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1775]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1811]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1814]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1815]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1817]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1886]: 6 0 0.560547 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1921]: 6 -1.64726 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1926]: 6 0 1 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1943]: 6 -1.81445 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[1959]: 6 -0.949342 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2002]: 6 0 1 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2005]: 6 -9 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2022]: 6 0 1 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2042]: 6 0 1 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2044]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2077]: 6 -1.37891 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2080]: 6 0 12 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2099]: 6 0 14 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2101]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2121]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2152]: 6 -4.15979 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2158]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2176]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2212]: 6 0 18.2783 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2233]: 6 -5 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2236]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2272]: 6 -1.99999 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2279]: 6 -0.980375 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2315]: 6 -0.00450689 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2318]: 6 -1.00015 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2321]: 6 -0.908096 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2339]: 6 -1.00031 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2342]: 6 -0.816192 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2347]: 6 -1.06299 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2360]: 6 -1.00061 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2384]: 6 -0.264766 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2386]: 6 -1.64726 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2407]: 6 -1.29452 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2423]: 6 -1.00491 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2428]: 6 -1.40723 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2444]: 6 -1.00983 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2454]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2465]: 6 -1.01965 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2486]: 6 -1.03931 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2507]: 6 -1.07861 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2533]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2553]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2554]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2566]: 6 -12.4619 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2570]: 6 -1.62891 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2575]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2576]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2594]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2595]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2608]: 6 -30.3 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2634]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2660]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2674]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2694]: 6 -1 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2753]: 6 -0.999999 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2754]: 6 -0.999997 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2756]: 6 -0.999986 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2757]: 6 -0.999972 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2758]: 6 -0.999944 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2759]: 6 -0.999887 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2761]: 6 -0.999544 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2762]: 6 -0.999087 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2763]: 6 -0.998173 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2768]: 6 -0.941529 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2769]: 6 -0.883057 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2770]: 6 -0.766114 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2771]: 6 -0.532227 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2772]: 6 -0.0644537 0 shouldn't be
160.88/161.50 WSVECS04 Frhs2[2786]: 6 -9217 0 shouldn't be
188.20/188.97 c #Conflicts: 97000 | #Constraints: 17745
188.20/188.97 c #Conflicts: 98000 | #Constraints: 18745
188.20/188.97 c #Conflicts: 99000 | #Constraints: 19745
188.20/188.97 c #Conflicts: 100000 | #Constraints: 20745
188.20/188.97 c #Conflicts: 101000 | #Constraints: 21745
188.20/188.97 c #Conflicts: 102000 | #Constraints: 22745
188.20/188.97 c #Conflicts: 103000 | #Constraints: 23745
188.20/188.97 c #Conflicts: 104000 | #Constraints: 24745
188.20/188.97 c #Conflicts: 105000 | #Constraints: 25745
188.20/188.97 c INPROCESSING
188.20/188.97 c GARBAGE COLLECT
188.20/188.97 c #Conflicts: 106000 | #Constraints: 14483
188.20/188.97 c #Conflicts: 107000 | #Constraints: 15483
188.20/188.97 c #Conflicts: 108000 | #Constraints: 16483
188.20/188.97 c cpu time 187.132 s
188.20/188.97 c deterministic time 9424478384 9.42e+09
188.20/188.97 c optimization time 3.3e-05 s
188.20/188.97 c total solve time 187.113 s
188.20/188.97 c core-guided solve time 0 s
188.20/188.97 c propagation time 124.112 s
188.20/188.97 c conflict analysis time 58.5846 s
188.20/188.97 c propagations 30589144
188.20/188.97 c resolve steps 10061579
188.20/188.97 c decisions 156964
188.20/188.97 c conflicts 108815
188.20/188.97 c restarts 284
188.20/188.97 c inprocessing phases 15
188.20/188.97 c garbage collections 15 ,( 100.00 )
188.20/188.97 c input clauses 1998 ,( 55.19 )
188.20/188.97 c input cardinalities 1 ,( 0.03 )
188.20/188.97 c input general constraints 1621 ,( 44.78 )
188.20/188.97 c input average constraint length 3.12
188.20/188.97 c input average constraint degree 1214929977.25
188.20/188.97 c learned clauses 36554 ,( 33.58 )
188.20/188.97 c learned cardinalities 43 ,( 0.04 )
188.20/188.97 c learned general constraints 72252 ,( 66.38 )
188.20/188.97 c learned average constraint length 148.22
188.20/188.97 c learned average constraint degree 190045369.10
188.20/188.97 c watched CF 32, 64, 128, Arb: 4889 , 0 , 0 , 0
188.20/188.97 c counting CF 32, 64, 128, Arb: 68983 , 1 , 0 , 0
188.20/188.97 c watched constraints 4889 ,( 6.62 )
188.20/188.97 c counting constraints 68984 ,( 93.38 )
188.20/188.97 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 31804988 , 302362 , 4017228667 ,( 3955590 , 4013273077 )
188.20/188.97 c gcd simplifications 2187
188.20/188.97 c detected cardinalities 28
188.20/188.97 c weakened non-implied lits 3604129
188.20/188.97 c weakened non-implying lits 21952
188.20/188.97 c original variables 2793
188.20/188.97 c clausal propagations 10704073
188.20/188.97 c cardinality propagations 8667
188.20/188.97 c watched propagations 129310
188.20/188.97 c counting propagations 19636896
188.20/188.97 c watch lookups 5516412005
188.20/188.97 c watch backjump lookups 0
188.20/188.97 c watch checks 109726314
188.20/188.97 c propagation checks 3650708739
188.20/188.97 c constraint additions 86004845
188.20/188.97 c trail pops 30853927
188.20/188.97 c formula constraints 3620
188.20/188.97 c learned constraints 108813
188.20/188.97 c bound constraints 0
188.20/188.97 c core-guided constraints 0
188.20/188.97 c encountered formula constraints 7471592
188.20/188.97 c encountered learned constraints 2652965
188.20/188.97 c encountered bound constraints 0
188.20/188.97 c encountered core-guided constraints 0
188.20/188.97 c LP total time 2.95611 s
188.20/188.97 c LP solve time 2.72 s
188.20/188.97 c LP constraints added 3726
188.20/188.97 c LP constraints removed 0
188.20/188.97 c LP pivots internal 13793
188.20/188.97 c LP pivots root 12652
188.20/188.97 c LP calls 16
188.20/188.97 c LP optimalities 5
188.20/188.97 c LP no pivot count 0
188.20/188.97 c LP infeasibilities 2
188.20/188.97 c LP valid Farkas constraints 2
188.20/188.97 c LP learned Farkas constraints 1
188.20/188.97 c LP basis resets 6
188.20/188.97 c LP cycling count 1
188.20/188.97 c LP singular count 5
188.20/188.97 c LP no primal count 0
188.20/188.97 c LP no farkas count 0
188.20/188.97 c LP other issue count 0
188.20/188.97 c LP Gomory cuts 33
188.20/188.97 c LP learned cuts 73
188.20/188.97 c LP deleted cuts 0
188.20/188.97 c LP encountered Gomory constraints 25203
188.20/188.97 c LP encountered Farkas constraints 20631
188.20/188.97 c LP encountered learned Farkas constraints 2
188.20/188.97 c CG auxiliary variables introduced 0
188.20/188.97 c CG solutions found 0
188.20/188.97 c CG cores constructed 0
188.20/188.97 c CG core cardinality constraints returned 0
188.20/188.97 c CG unit cores 0
188.20/188.97 c CG single cores 0
188.20/188.97 c CG blocks removed during cardinality reduction 0
188.20/188.97 c CG first core best 0
188.20/188.97 c CG decision core best 0
188.20/188.97 c CG core reduction tie 0
188.20/188.97 c CG core degree average 0.00
188.20/188.97 c CG core slack average 0.00
188.20/188.97 c CG core upper bound improvements 0
188.20/188.97 c STR number of successful calls 0
188.20/188.97 c STR number of unsuccessful calls 0
188.20/188.97 c STR number of inconclusive calls 0
188.20/188.97 c STR number of successful attempts 0
188.20/188.97 c STR number of unsuccessful attempts 0
188.20/188.97 c STR number of inconclusive attempts 0
188.20/188.97 c STR average degree increase per successful call inf
188.20/188.97 c STR average degree increase per successful attempt inf
188.20/188.97 c STR total number of conflicts for successful attempts 0
188.20/188.97 c STR total number of conflicts for unsuccessful attempts 0
188.20/188.97 c STR total number of conflicts for inconclusive attempts 0
188.20/188.97 c STR average number of conflicts per successful attempt inf
188.20/188.97 c STR average number of conflicts per unsuccessful attempt inf
188.20/188.97 c STR average number of conflicts per inconclusive attempt inf
188.20/188.98 c AVG.sumWPerc 87.26
188.20/188.98 c bigint constraints 1
188.20/188.98 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: 63708 MiB (61160 MiB free)
memory of node 1: 64465 MiB (52033 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517003-1751225939/watcher-4517003-1751225939 -o /tmp/evaluation-result-4517003-1751225939/solver-4517003-1751225939 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751218188-36399 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4517003-1751225939.opb PROOFDIR/proof-4517003-1751225939
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=40620, runsolver pid=40617
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.10 4.12 4.09 5/276 40622
/proc/meminfo: memFree=115901204/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=62604 memory=18244 CPUtime=0.08 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 2562 0 0 0 8 0 0 0 20 0 1 0 38272711 64106496 4561 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 15651 4561 2240 1147 0 3078 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66796 KiB
Current children cumulated memory: 21188 KiB
[startup+0.20572 s]*
/proc/loadavg: 4.10 4.12 4.09 5/276 40622
/proc/meminfo: memFree=115901204/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=62748 memory=18628 CPUtime=0.19 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 2630 0 0 0 18 1 0 0 20 0 1 0 38272711 64253952 4657 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 15687 4657 2272 1147 0 3114 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 66940 KiB
Current children cumulated memory: 21572 KiB
[startup+0.305726 s]*
/proc/loadavg: 4.10 4.12 4.09 5/276 40622
/proc/meminfo: memFree=115901204/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=62880 memory=19012 CPUtime=0.28 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 2704 0 0 0 27 1 0 0 20 0 1 0 38272711 64389120 4753 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 15720 4753 2272 1147 0 3147 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 67072 KiB
Current children cumulated memory: 21956 KiB
[startup+0.7002 s]
/proc/loadavg: 4.10 4.12 4.09 5/276 40622
/proc/meminfo: memFree=115901204/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=63936 memory=19908 CPUtime=0.67 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 2956 0 0 0 65 2 0 0 20 0 1 0 38272711 65470464 4977 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 15984 4977 2272 1147 0 3411 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 68128 KiB
Current children cumulated memory: 22852 KiB
[startup+1.5002 s]
/proc/loadavg: 4.10 4.12 4.09 5/276 40622
/proc/meminfo: memFree=115880980/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=65828 memory=21828 CPUtime=1.47 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 3424 0 0 0 143 4 0 0 20 0 1 0 38272711 67407872 5457 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 16457 5457 2272 1147 0 3884 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 70020 KiB
Current children cumulated memory: 24772 KiB
[startup+3.10555 s]
/proc/loadavg: 4.10 4.12 4.09 5/276 40622
/proc/meminfo: memFree=115833440/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=67672 memory=24004 CPUtime=3.07 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 3878 0 0 0 301 6 0 0 20 0 1 0 38272711 69296128 6001 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 16918 6001 2368 1147 0 4345 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 71864 KiB
Current children cumulated memory: 26948 KiB
[startup+6.30019 s]
/proc/loadavg: 4.09 4.12 4.09 5/276 40622
/proc/meminfo: memFree=115748408/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=78968 memory=35568 CPUtime=6.25 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 6216 0 0 0 615 10 0 0 20 0 1 0 38272711 80863232 8892 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 19742 8892 2400 1147 0 7169 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 83160 KiB
Current children cumulated memory: 38512 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.12 4.09 5/275 40622
/proc/meminfo: memFree=115584708/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=82792 memory=39152 CPUtime=12.64 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 7127 0 0 0 1245 19 0 0 20 0 1 0 38272711 84779008 9788 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 20698 9788 2400 1147 0 8125 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 86984 KiB
Current children cumulated memory: 42096 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.13 4.09 5/270 40649
/proc/meminfo: memFree=116203332/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=108896 memory=57712 CPUtime=25.4 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 11279 0 0 0 2512 28 0 0 20 0 1 0 38272711 111509504 14428 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 27224 14428 2400 1147 0 14651 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 113088 KiB
Current children cumulated memory: 60656 KiB
[startup+51.1055 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 40676
/proc/meminfo: memFree=116093316/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=113740 memory=62960 CPUtime=50.91 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 12583 0 0 0 5046 45 0 0 20 0 1 0 38272711 116469760 15740 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 28435 15740 2400 1147 0 15862 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 117932 KiB
Current children cumulated memory: 65904 KiB
[startup+102.3 s]
/proc/loadavg: 4.47 4.21 4.12 5/269 40749
/proc/meminfo: memFree=116156676/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=129732 memory=82836 CPUtime=101.87 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 16491 0 0 0 10107 80 0 0 20 0 1 0 38272711 132845568 20709 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 32433 20709 2432 1147 0 19860 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 133924 KiB
Current children cumulated memory: 85780 KiB
[startup+162.3 s]
/proc/loadavg: 4.36 4.22 4.12 5/275 40771
/proc/meminfo: memFree=115615008/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=166212 memory=114496 CPUtime=161.68 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 21880 0 0 0 16068 100 0 0 20 0 1 0 38272711 170201088 28624 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 41553 28624 2432 1147 0 28980 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 170404 KiB
Current children cumulated memory: 117440 KiB
[startup+188.992 s]
# the end of solver process 40620 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=187.136 s, system=1.14965 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+166.4 s]
/proc/loadavg: 4.41 4.23 4.13 5/275 40772
/proc/meminfo: memFree=115582536/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=166812 memory=115136 CPUtime=165.77 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 22039 0 0 0 16473 104 0 0 20 0 1 0 38272711 170815488 28784 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 41703 28784 2432 1147 0 29130 0
Current children cumulated CPU time: 165.77 s
Current children cumulated vsize: 171004 KiB
Current children cumulated memory: 118080 KiB
[startup+179.2 s]
/proc/loadavg: 4.50 4.26 4.14 5/274 40773
/proc/meminfo: memFree=115456852/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=166812 memory=115264 CPUtime=178.53 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 22044 0 0 0 17744 109 0 0 20 0 1 0 38272711 170815488 28816 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 41703 28816 2432 1147 0 29130 0
Current children cumulated CPU time: 178.53 s
Current children cumulated vsize: 171004 KiB
Current children cumulated memory: 118208 KiB
[startup+185.6 s]
/proc/loadavg: 4.58 4.28 4.15 5/274 40773
/proc/meminfo: memFree=115417292/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=166812 memory=115264 CPUtime=184.9 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 22045 0 0 0 18378 112 0 0 20 0 1 0 38272711 170815488 28816 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 41703 28816 2432 1147 0 29130 0
Current children cumulated CPU time: 184.9 s
Current children cumulated vsize: 171004 KiB
Current children cumulated memory: 118208 KiB
[startup+187.2 s]
/proc/loadavg: 4.58 4.28 4.15 5/274 40773
/proc/meminfo: memFree=115392528/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=166812 memory=115264 CPUtime=186.5 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 22045 0 0 0 18537 113 0 0 20 0 1 0 38272711 170815488 28816 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 41703 28816 2432 1147 0 29130 0
Current children cumulated CPU time: 186.5 s
Current children cumulated vsize: 171004 KiB
Current children cumulated memory: 118208 KiB
[startup+188 s]*
/proc/loadavg: 4.58 4.28 4.15 5/274 40773
/proc/meminfo: memFree=115384716/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=166812 memory=115264 CPUtime=187.3 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 22045 0 0 0 18617 113 0 0 20 0 1 0 38272711 170815488 28816 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 41703 28816 2432 1147 0 29130 0
Current children cumulated CPU time: 187.3 s
Current children cumulated vsize: 171004 KiB
Current children cumulated memory: 118208 KiB
[startup+188.4 s]
/proc/loadavg: 4.58 4.28 4.15 5/274 40773
/proc/meminfo: memFree=115384716/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=166812 memory=115264 CPUtime=187.69 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 22045 0 0 0 18656 113 0 0 20 0 1 0 38272711 170815488 28816 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 41703 28816 2432 1147 0 29130 0
Current children cumulated CPU time: 187.69 s
Current children cumulated vsize: 171004 KiB
Current children cumulated memory: 118208 KiB
[startup+188.8 s]
/proc/loadavg: 4.58 4.28 4.15 5/274 40773
/proc/meminfo: memFree=115384716/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=166812 memory=115264 CPUtime=188.1 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 22045 0 0 0 18696 114 0 0 20 0 1 0 38272711 170815488 28816 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 41703 28816 2432 1147 0 29130 0
Current children cumulated CPU time: 188.1 s
Current children cumulated vsize: 171004 KiB
Current children cumulated memory: 118208 KiB
[startup+188.9 s]
/proc/loadavg: 4.58 4.28 4.15 5/274 40773
/proc/meminfo: memFree=115384716/131249992 swapFree=33010684/33010684
[pid=40620] ppid=40617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40620/stat : 40620 (run-dec-log.sh) S 40617 40620 36389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 38272711 4292608 736 18446744073709551615 94524613173248 94524614067781 140737340876304 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94524614306832 94524614354576 94524625022976 140737340881185 140737340881380 140737340881380 140737340886982 0
/proc/40620/statm: 1048 736 672 219 0 110 0
[pid=40622] ppid=40620 vsize=166812 memory=115264 CPUtime=188.2 cores=0,2
/proc/40622/stat : 40622 (roundingsat) R 40620 40620 36389 0 -1 4194304 22045 0 0 0 18706 114 0 0 20 0 1 0 38272711 170815488 28816 18446744073709551615 4227072 8923433 140736570453904 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10952704 140736570460519 140736570460712 140736570460712 140736570466282 0
/proc/40622/statm: 41703 28816 2432 1147 0 29130 0
Current children cumulated CPU time: 188.2 s
Current children cumulated vsize: 171004 KiB
Current children cumulated memory: 118208 KiB
Child status: 0
Real time (s): 188.992
CPU time (s): 188.286
CPU user time (s): 187.136
CPU system time (s): 1.14965
CPU usage (%): 99.626
Max. virtual memory (cumulated for all children) (KiB): 171004
Max. memory (cumulated for all children) (KiB): 118208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 187.136
system time used= 1.14965
maximum resident set size= 115264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22277
page faults= 0
swaps= 0
block input operations= 0
block output operations= 942816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 458
involuntary context switches= 275
# summary of solver processes directly reported to runsolver:
# pid: 40620
# total CPU time (s): 188.286
# total CPU user time (s): 187.136
# total CPU system time (s): 1.14965
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.381552 second user time and 0.88596 second system time
The end
Begin job on nodeC025 at 2025-06-29 21:39:00
IDJOB=4517003
IDBENCH=175951
IDSOLVER=3352
FILE ID=nodeC025/4517003-1751225939
RUNJOBID= nodeC025-1751218188-36399
SLURM_JOB_ID= 9587666
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/inequalities/ineq8/normalized-21array_ineq8.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517003-1751225939/watcher-4517003-1751225939 -o /tmp/evaluation-result-4517003-1751225939/solver-4517003-1751225939 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751218188-36399 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4517003-1751225939.opb PROOFDIR/proof-4517003-1751225939
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 15ee35ebe220ef81377737899de34856
RANDOM SEED=1937643626
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.811
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.876
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3539.746
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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.444
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.836
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.805
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3608.698
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.070
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 115910100 kB
MemAvailable: 124214656 kB
Buffers: 3280 kB
Cached: 9099536 kB
SwapCached: 0 kB
Active: 5868780 kB
Inactive: 8795240 kB
Active(anon): 5579348 kB
Inactive(anon): 0 kB
Active(file): 289432 kB
Inactive(file): 8795240 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 280652 kB
Writeback: 0 kB
AnonPages: 5564312 kB
Mapped: 116696 kB
Shmem: 18084 kB
KReclaimable: 118248 kB
Slab: 214780 kB
SReclaimable: 118248 kB
SUnreclaim: 96532 kB
KernelStack: 4432 kB
PageTables: 14404 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 6223512 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150712 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1736704 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC025 at 2025-06-29 21:42:09