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