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