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