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