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