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