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