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