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