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