(1,13) (2,27) (3,20) (4,26) (5,17) (6,15) (7,10) (8,9) (11,25) (12,21) (14,18) (16,29) (19,23) (22,28) (24,30) 
nodes: 39948  conflicts: 38  modelTime: 1610  solveTime: 155476  totalTime: 157105  modelSize: 72265  readTime: 19 size: 15