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