(1,3) (2,21) (4,7) (5,28) (6,26) (8,23) (9,29) (10,19) (11,22) (12,20) (13,15) (14,17) (16,25) (18,30) (24,27) 
nodes: 485033  conflicts: 42  modelTime: 966  solveTime: 2275464  totalTime: 2276441  modelSize: 72269  readTime: 11 size: 15