(1,11) (2,22) (3,18) (4,25) (5,21) (6,9) (7,10) (8,24) (12,19) (13,16) (15,23) (26,30) (27,28) 
nodes: 11808  conflicts: 57  modelTime: 1134  solveTime: 43576  totalTime: 44730  modelSize: 72262  readTime: 20 size: 13