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