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