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