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