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