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