(1,22) (2,10) (3,24) (4,14) (5,9) (6,17) (7,18) (8,21) (11,26) (12,19) (13,29) (15,23) (16,30) (20,25) (27,28) 
nodes: 37184  conflicts: 43  modelTime: 1215  solveTime: 157371  totalTime: 158604  modelSize: 72264  readTime: 18 size: 15