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