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