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