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