(1,30) (2,16) (3,24) (4,28) (5,21) (7,23) (8,18) (9,25) (10,17) (11,29) (12,27) (13,26) (14,19) (15,20) 
nodes: 955  conflicts: 40  modelTime: 660  solveTime: 1406  totalTime: 2073  modelSize: 41293  readTime: 7 size: 14