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