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