(1,15) (2,26) (3,13) (4,27) (5,24) (6,18) (7,8) (9,16) (10,14) (11,17) (12,19) (20,28) (22,23) (29,30) 
nodes: 4269  conflicts: 123  modelTime: 935  solveTime: 9291  totalTime: 10238  modelSize: 72264  readTime: 12 size: 14