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