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