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