(1,10) (2,25) (3,16) (4,5) (6,23) (7,20) (9,14) (11,22) (12,27) (13,19) (15,28) (18,26) (21,24) (29,30) 
nodes: 2929  conflicts: 60  modelTime: 1595  solveTime: 10268  totalTime: 11875  modelSize: 72264  readTime: 12 size: 14