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