(1,29) (3,19) (5,17) (6,30) (7,18) (8,27) (9,28) (10,23) (11,22) (12,24) (13,20) (14,26) (15,16) 
nodes: 497  conflicts: 49  modelTime: 658  solveTime: 797  totalTime: 1461  modelSize: 41292  readTime: 6 size: 13