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