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