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