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