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