(1,13) (2,11) (3,7) (4,6) (5,22) (8,28) (9,17) (10,23) (12,18) (14,16) (15,26) (19,20) (21,27) (24,29) (25,30) 
nodes: 50385  conflicts: 36  modelTime: 957  solveTime: 111114  totalTime: 112088  modelSize: 72273  readTime: 17 size: 15