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