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