(1,19) (2,21) (4,18) (6,20) (7,29) (8,24) (9,30) (10,28) (12,27) (13,26) (14,22) (15,16) 
nodes: 968  conflicts: 49  modelTime: 668  solveTime: 1026  totalTime: 1701  modelSize: 41292  readTime: 7 size: 12