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