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