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