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