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