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