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