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