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