(1,12) (2,16) (3,17) (4,20) (5,21) (6,15) (7,22) (8,14) (9,13) (10,30) (11,18) (19,29) (23,26) (24,27) (25,28) 
nodes: 33482  conflicts: 32  modelTime: 1720  solveTime: 130712  totalTime: 132452  modelSize: 72265  readTime: 20 size: 15