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