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