(1,16) (2,18) (3,9) (4,20) (5,6) (8,25) (10,30) (11,12) (13,24) (15,23) (21,28) (22,29) (26,27) 
nodes: 1376  conflicts: 62  modelTime: 926  solveTime: 3771  totalTime: 4709  modelSize: 72264  readTime: 12 size: 13