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