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