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