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