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