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