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