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