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