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