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