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