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