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