(1,29) (2,20) (3,12) (4,25) (5,9) (6,23) (7,28) (8,26) (10,21) (11,19) (13,18) (14,17) (15,30) (16,24) (22,27) 
nodes: 136604  conflicts: 40  modelTime: 1732  solveTime: 619782  totalTime: 621630  modelSize: 72263  readTime: 116 size: 15