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