(1,11) (2,30) (3,15) (4,22) (5,6) (7,23) (9,25) (10,12) (13,18) (14,20) (16,26) (17,28) (19,24) (27,29) 
nodes: 60117  conflicts: 38  modelTime: 1230  solveTime: 258778  totalTime: 260026  modelSize: 72262  readTime: 18 size: 14