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