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