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