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