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