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