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