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