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