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