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