(1,17) (2,8) (3,10) (6,24) (7,28) (11,23) (12,18) (13,14) (15,16) (20,22) (21,29) (25,26) (27,30) 
nodes: 5243  conflicts: 111  modelTime: 934  solveTime: 11184  totalTime: 12129  modelSize: 72262  readTime: 11 size: 13