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