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