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