(1,19) (2,23) (3,25) (4,26) (5,21) (6,27) (7,22) (8,24) (9,16) (10,28) (11,20) (12,30) (14,29) (15,18) 
nodes: 19863  conflicts: 35  modelTime: 654  solveTime: 38401  totalTime: 39061  modelSize: 41292  readTime: 6 size: 14