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