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