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