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