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