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