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