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