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