(1,30) (2,16) (3,11) (4,24) (5,7) (6,25) (8,9) (10,20) (12,17) (13,19) (14,22) (15,28) (18,27) (21,26) (23,29) 
nodes: 83302  conflicts: 35  modelTime: 1710  solveTime: 210220  totalTime: 211949  modelSize: 72262  readTime: 19 size: 15