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