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