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