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