(3,24) (4,13) (5,11) (7,21) (8,29) (9,20) (10,28) (12,30) (14,19) (15,18) (16,26) (17,25) (22,23) 
nodes: 21555  conflicts: 61  modelTime: 928  solveTime: 46264  totalTime: 47222  modelSize: 72264  readTime: 30 size: 13