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