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