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