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