(1,14) (2,11) (3,30) (4,15) (5,10) (6,20) (7,12) (8,22) (9,25) (13,17) (16,18) (19,27) (21,29) (23,26) (24,28) 
nodes: 139834  conflicts: 9  modelTime: 1076  solveTime: 759448  totalTime: 760559  modelSize: 72268  readTime: 35 size: 15