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