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