(1,16) (2,23) (3,17) (4,7) (5,20) (6,11) (8,24) (9,15) (10,13) (12,30) (14,28) (18,26) (19,27) (21,25) (22,29) 
nodes: 67994  conflicts: 36  modelTime: 1752  solveTime: 173453  totalTime: 175224  modelSize: 72262  readTime: 19 size: 15