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