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