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