(1,13) (2,30) (3,29) (4,12) (5,27) (6,8) (7,23) (9,11) (10,15) (14,25) (16,17) (18,24) (21,28) (22,26) 
nodes: 101903  conflicts: 32  modelTime: 1711  solveTime: 349836  totalTime: 351565  modelSize: 72262  readTime: 18 size: 14