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