(1,20) (2,29) (3,11) (4,9) (5,13) (6,27) (8,25) (10,28) (12,26) (14,30) (15,18) (16,22) (17,24) (21,23) 
nodes: 21913  conflicts: 55  modelTime: 1394  solveTime: 118568  totalTime: 119985  modelSize: 72266  readTime: 23 size: 14