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