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