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