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