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