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