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