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