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