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