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