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