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