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