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