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