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