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