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