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