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