(1,16) (2,18) (3,19) (5,25) (6,30) (7,23) (8,24) (9,29) (10,17) (13,26) (14,22) (15,20) 
nodes: 1274  conflicts: 53  modelTime: 658  solveTime: 843  totalTime: 1508  modelSize: 41293  readTime: 7 size: 12