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