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