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