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