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