(1,3) (4,14) (5,7) (6,17) (8,13) (9,23) (10,12) (11,28) (15,21) (16,26) (18,29) (20,22) (24,25) (27,30) 
nodes: 16549  conflicts: 42  modelTime: 931  solveTime: 39083  totalTime: 40025  modelSize: 72264  readTime: 11 size: 14