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