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