(1,23) (2,22) (3,16) (4,29) (5,25) (7,27) (8,20) (9,24) (10,21) (12,30) (13,19) (14,17) (15,18) 
nodes: 935  conflicts: 38  modelTime: 658  solveTime: 994  totalTime: 1658  modelSize: 41293  readTime: 6 size: 13