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