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