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