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