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