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