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