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