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