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