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