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