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