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