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