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