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