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