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