(1,22) (2,4) (3,26) (5,12) (6,25) (7,8) (9,13) (10,16) (11,18) (14,28) (15,24) (17,21) (19,20) (23,30) (27,29) 
nodes: 940804  conflicts: 15  modelTime: 1675  solveTime: 4946530  totalTime: 4948223  modelSize: 72264  readTime: 18 size: 15