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