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