(1,6) (2,20) (3,30) (4,22) (5,29) (7,9) (8,21) (10,12) (11,18) (13,27) (14,17) (15,16) (19,25) (23,26) (24,28) 
nodes: 75197  conflicts: 48  modelTime: 1669  solveTime: 250054  totalTime: 251736  modelSize: 72265  readTime: 13 size: 15