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