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