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