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