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