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