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