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