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