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