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