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