(1,22) (2,28) (3,14) (4,5) (6,27) (7,15) (8,11) (9,12) (10,18) (13,16) (17,29) (19,25) (20,30) (21,23) (24,26) 
nodes: 12678  conflicts: 5  modelTime: 954  solveTime: 51611  totalTime: 52573  modelSize: 72264  readTime: 8 size: 15