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