(1,17) (2,29) (3,18) (4,20) (5,16) (6,27) (7,24) (8,25) (9,19) (10,28) (11,30) (12,26) (14,22) (15,23) 
nodes: 6554  conflicts: 21  modelTime: 1191  solveTime: 21562  totalTime: 22763  modelSize: 41292  readTime: 10 size: 14