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