(1,25) (2,27) (3,9) (4,30) (5,18) (6,21) (7,24) (8,11) (10,19) (12,22) (13,16) (14,26) (15,17) (20,28) (23,29) 
nodes: 11484  conflicts: 56  modelTime: 1435  solveTime: 38673  totalTime: 40120  modelSize: 72262  readTime: 12 size: 15