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